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. Erik