[cfe-dev] static analyzer false positive? (when reinterpreting buffer as char*)

Sean McBride sean at rogue-research.com
Tue Sep 25 13:54:03 PDT 2012


On Tue, 25 Sep 2012 13:48:34 -0700, Ted Kremenek said:

>Yes it is a false positive.  The analyzer doesn't handle well dealing
>with re-interpretation casts of arrays like this.  While we don't have a
>good way to reason about this now, it should be straightforward to
>suppress the false positive.
>
>Please file a PR.

Thanks Eli and Ted for the fast responses.  Bugs:
<http://llvm.org/bugs/show_bug.cgi?id=13919>
<rdar://problem/12370655>

Cheers,

-- 
____________________________________________________________
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