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>
