[cfe-dev] Static Analyzer false positive looking into impossible branch

Sean McBride sean at rogue-research.com
Mon Apr 16 10:30:51 PDT 2012

On Mon, 16 Apr 2012 10:24:36 -0700, Ted Kremenek said:

>Top-of-tree doesn't emit a warning for this code.  Before we had (basic)
>inter-procedural analysis, it would be reasonable for the analyzer to
>warn, since it wouldn't look across logic between function boundaries. 
>Essentially, it would be as if you had written:

Thanks Ted.  Current Xcode (4.3.2) does warn.  Looking forward to Xcode catching up to ToT! :)

Sean McBride, B. Eng                 sean at rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada

More information about the cfe-dev mailing list