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

Ted Kremenek kremenek at apple.com
Mon Apr 16 10:38:23 PDT 2012

FWIW, you can use the open source checker builds and use the set-xcode-analyzer script to get a newer version of the analyzer with this functionality.

On Apr 16, 2012, at 10:30 AM, Sean McBride <sean at rogue-research.com> wrote:

> 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