[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