Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 28 Jun 2004 17:31:51 -0400 (EDT)
From:      Andrew Gallatin <gallatin@cs.duke.edu>
To:        Brian Fundakowski Feldman <green@FreeBSD.org>
Cc:        cvs-all@FreeBSD.org
Subject:   Re: cvs commit: src/sys/vm vm_map.c
Message-ID:  <16608.36423.596831.48148@grasshopper.cs.duke.edu>
In-Reply-To: <20040628201821.GA23618@green.homeunix.org>
References:  <200406281915.i5SJFeaV060231@repoman.freebsd.org> <20040628152232.A2977@grasshopper.cs.duke.edu> <20040628193858.GG5635@green.homeunix.org> <16608.30892.745161.730935@grasshopper.cs.duke.edu> <20040628201821.GA23618@green.homeunix.org>

next in thread | previous in thread | raw e-mail | index | archive | help

Brian Fundakowski Feldman writes:
 > 
 > GCC not actually type-checking here is certainly a bug from my
 > viewpoint and one whose existence makes me more than a little
 > worried about further problems with min() and friends (ones that
 > I did not introduced ;).  Are there any GCC experts that can help
 > out, here?
 > 

-Wconversion would find this..

       -Wconversion
              Warn  if  a prototype causes a type conversion that is different
              from what would happen to the same argument in the absence of  a
              prototype.  This includes conversions of fixed point to floating
              and vice versa, and conversions changing the width or signedness
              of  a  fixed  point argument except when the same as the default
              promotion.

However its a little bit too restrictive, as it complains about any
mismatch and the compile doesn't get even one C file done before
erroring out. 

If I add -Wconversion to my cflags, it first trips on sys/bus.h
(harmless passing of "1" to a function taking a long),
and then it pukes all over atomic.h:

In file included from ../../../sys/systm.h:41,
                 from ../../../cam/cam.c:35:
machine/atomic.h: In function `atomic_set_acq_8':
machine/atomic.h:308: warning: passing arg 2 of `atomic_set_8' with different width due to prototype
machine/atomic.h: In function `atomic_set_rel_8':
machine/atomic.h:308: warning: passing arg 2 of `atomic_set_8' with different width due to prototype


Any idea what its problem is?

Drew

PS:  What we want is something like -msg_enable level6 on
the compaq compiler, which just warns about truncations:

 cc: Info: foo.c, line 14: In this statement, "l" has a larger data
     size than "int".  Assignment might result in data loss. (truncintasn)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?16608.36423.596831.48148>