FYI: clang static analyzer page has moved to
erik at cederstrand.dk
Thu Jan 6 08:01:11 UTC 2011
Den 05/01/2011 kl. 20.36 skrev Jilles Tjoelker:
> On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote:
>> On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote:
>>> These are all marked as __dead2, so the compiler should "know" that these do
>>> not return.
>> And clang did the right thing here in the past. Beware that it does no
>> inter-procedural analysis yet, so it will usually miss that usage()
>> calls exit unconditionally.
>> *But*, it should grok that for err(3) and exit(3). Now there are some
>> possible remedies:
>> - get IPA to work with clang, or at least file a bug
>> - mark functions as __dead2 (please don't do that)
> Why not?
Because the analyzer is supposed to find bugs. Only the function that really doesn't return should be marked as such. If we begin spewing __dead2's everywhere, it's bound to silence a valid bug somewhere down the line when e.g. a conditional in a print_help() function is changed subtly so it doesn't always reach exit().
More information about the freebsd-current