FYI: clang static analyzer page has moved to
erik at cederstrand.dk
Wed Jan 5 20:22:45 UTC 2011
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.
More information about the freebsd-current