[cfe-dev] Static Analyzer false positive looking into impossible branch
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