FYI: clang static analyzer page has moved to
http://scan.freebsd.your.org/freebsd-head/
Roman Divacky
rdivacky at FreeBSD.ORG
Wed Jan 5 20:26:24 UTC 2011
On Wed, Jan 05, 2011 at 09:22:42PM +0100, Erik Cederstrand wrote:
>
> Den 05/01/2011 kl. 17.55 skrev Ulrich Sp?rlein:
>
> > 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
>
> I filed a bug with LLVM (http://llvm.org/bugs/show_bug.cgi?id=8914) but it seems IPA bugs filed on the analyzer have been rejected in the past.
I have a dumb patch that may help here... can someone test it?
http://lev.vlakno.cz/~rdivacky/clang-checker-no-return.patch
it may slow down the analysis a lot, if it does please add a recursion limit
there...
roman
More information about the freebsd-current
mailing list