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... romanReceived on Wed Jan 05 2011 - 19:26:24 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:10 UTC