Re: [PATCH] memorder: Silence compiler warnings in litmus tests

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Sep 05, 2017 at 07:35:40AM +0900, Akira Yokosawa wrote:
> On 2017/09/04 09:58:27 -0700, Paul E. McKenney wrote:
> > On Tue, Sep 05, 2017 at 12:05:37AM +0900, Akira Yokosawa wrote:
> >> >From 410b1edcf1255563371b9b9bc8b54f10b3125090 Mon Sep 17 00:00:00 2001
> >> From: Akira Yokosawa <akiyks@xxxxxxxxx>
> >> Date: Mon, 4 Sep 2017 23:35:06 +0900
> >> Subject: [PATCH] memorder: Silence compiler warnings in litmus tests
> >>
> >> Silence warnings from gcc:
> >>
> >>     C-MP+o-r+o-ctrl-o.c:
> >>         warning: 'r3' may be used uninitialized in this function
> >>         [-Wmaybe-uninitialized]
> >>     C-W+RWC+o-mb-o+a-o+o-mb-o.c, C-W+RWC+o-r+a-o+o-mb-o.c:
> >>         warning: assignment makes pointer from integer without a cast
> >>         [-Wint-conversion]
> >>     C-W+RWC+o-mb-o+a-o+o-mb-o.c, C-W+RWC+o-r+a-o+o-mb-o.c:
> >>         warning: cast from pointer to integer of different size
> >>         [-Wpointer-to-int-cast]
> >>
> >> Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
> > 
> > Good catches, fixed, thank you!
> > 
> > I am clearly going to have train myself to scroll up beyond the
> > final-state histogram, aren't I?
> 
> ;-)
> 
> I noticed these warnings when I cross compiled on PPC.
> You can see warnings (without executing) on x86 by:
> 
>     $ make cross-x86
>     $ cd X86
>     $ sh comp.sh

Thank you for the tip!

							Thanx, Paul

> Thanks, Akira
> 
> > 
> > 							Thanx, Paul
> > 
> >> ---
> >>  CodeSamples/advsync/herd/C-MP+o-r+o-ctrl-o.litmus         |  2 +-
> >>  CodeSamples/advsync/herd/C-W+RWC+o-mb-o+a-o+o-mb-o.litmus |  6 +++---
> >>  CodeSamples/advsync/herd/C-W+RWC+o-r+a-o+o-mb-o.litmus    |  6 +++---
> >>  memorder/memorder.tex                                     | 14 +++++++-------
> >>  4 files changed, 14 insertions(+), 14 deletions(-)
> >>
> >> diff --git a/CodeSamples/advsync/herd/C-MP+o-r+o-ctrl-o.litmus b/CodeSamples/advsync/herd/C-MP+o-r+o-ctrl-o.litmus
> >> index fe44072..82cf629 100644
> >> --- a/CodeSamples/advsync/herd/C-MP+o-r+o-ctrl-o.litmus
> >> +++ b/CodeSamples/advsync/herd/C-MP+o-r+o-ctrl-o.litmus
> >> @@ -16,7 +16,7 @@ P0(int* x0, int* x1) {
> >>
> >>  P1(int* x0, int* x1) {
> >>  	int r2;
> >> -	int r3;
> >> +	int r3 = 0;
> >>
> >>  	r2 = READ_ONCE(*x1);
> >>  	if (r2 >= 0)
> >> diff --git a/CodeSamples/advsync/herd/C-W+RWC+o-mb-o+a-o+o-mb-o.litmus b/CodeSamples/advsync/herd/C-W+RWC+o-mb-o+a-o+o-mb-o.litmus
> >> index 1e0f1b7..23050e6 100644
> >> --- a/CodeSamples/advsync/herd/C-W+RWC+o-mb-o+a-o+o-mb-o.litmus
> >> +++ b/CodeSamples/advsync/herd/C-W+RWC+o-mb-o+a-o+o-mb-o.litmus
> >> @@ -19,8 +19,8 @@ P0(int *x, int *y)
> >>
> >>  P1(int *y, int *z)
> >>  {
> >> -	int *r1;
> >> -	int *r2;
> >> +	int r1;
> >> +	int r2;
> >>
> >>  	r1 = smp_load_acquire(y);
> >>  	r2 = READ_ONCE(*z);
> >> @@ -28,7 +28,7 @@ P1(int *y, int *z)
> >>
> >>  P2(int *z, int *x)
> >>  {
> >> -	int *r3;
> >> +	int r3;
> >>
> >>  	WRITE_ONCE(*z, 1);
> >>  	smp_mb();
> >> diff --git a/CodeSamples/advsync/herd/C-W+RWC+o-r+a-o+o-mb-o.litmus b/CodeSamples/advsync/herd/C-W+RWC+o-r+a-o+o-mb-o.litmus
> >> index a71f1ac..527b373 100644
> >> --- a/CodeSamples/advsync/herd/C-W+RWC+o-r+a-o+o-mb-o.litmus
> >> +++ b/CodeSamples/advsync/herd/C-W+RWC+o-r+a-o+o-mb-o.litmus
> >> @@ -18,8 +18,8 @@ P0(int *x, int *y)
> >>
> >>  P1(int *y, int *z)
> >>  {
> >> -	int *r1;
> >> -	int *r2;
> >> +	int r1;
> >> +	int r2;
> >>
> >>  	r1 = smp_load_acquire(y);
> >>  	r2 = READ_ONCE(*z);
> >> @@ -27,7 +27,7 @@ P1(int *y, int *z)
> >>
> >>  P2(int *z, int *x)
> >>  {
> >> -	int *r3;
> >> +	int r3;
> >>
> >>  	WRITE_ONCE(*z, 1);
> >>  	smp_mb();
> >> diff --git a/memorder/memorder.tex b/memorder/memorder.tex
> >> index 624f9a8..151af4e 100644
> >> --- a/memorder/memorder.tex
> >> +++ b/memorder/memorder.tex
> >> @@ -1567,7 +1567,7 @@ P0(int* x0, int* x1) {
> >>
> >>  P1(int* x0, int* x1) {
> >>    int r2;
> >> -  int r3;
> >> +  int r3 = 0;
> >>
> >>    r2 = READ_ONCE(*x1);
> >>    if (r2 >= 0)
> >> @@ -2162,8 +2162,8 @@ P0(int *x, int *y)
> >>
> >>  P1(int *y, int *z)
> >>  {
> >> -  int *r1;
> >> -  int *r2;
> >> +  int r1;
> >> +  int r2;
> >>
> >>    r1 = smp_load_acquire(y);
> >>    r2 = READ_ONCE(*z);
> >> @@ -2171,7 +2171,7 @@ P1(int *y, int *z)
> >>
> >>  P2(int *z, int *x)
> >>  {
> >> -  int *r3;
> >> +  int r3;
> >>
> >>    WRITE_ONCE(*z, 1);
> >>    smp_mb();
> >> @@ -2258,8 +2258,8 @@ P0(int *x, int *y)
> >>
> >>  P1(int *y, int *z)
> >>  {
> >> -  int *r1;
> >> -  int *r2;
> >> +  int r1;
> >> +  int r2;
> >>
> >>    r1 = smp_load_acquire(y);
> >>    r2 = READ_ONCE(*z);
> >> @@ -2267,7 +2267,7 @@ P1(int *y, int *z)
> >>
> >>  P2(int *z, int *x)
> >>  {
> >> -  int *r3;
> >> +  int r3;
> >>
> >>    WRITE_ONCE(*z, 1);
> >>    smp_mb();
> >> -- 
> >> 2.7.4
> >>
> > 
> > 
> 

--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux