On Nov 9, 2009, at 4:33 PM, Zhongxing Xu wrote:
2009/11/10 Ted Kremenek <[email protected]>:
Hi Zhongxing,
Very nice I vaguely recall we use to do this check, albeit not as
directly.
Perhaps in EvalLocation().
How do we want to handle cases like PR 5272
(http://llvm.org/bugs/show_bug.cgi?id=5272)?
Leave it as a false positive.
Using hardcoded addresses is
fine in certain circumstances.
Definitely. So I see this kind of check as some kind of guide to the
programmer, not as some absolute judger of the code. False positives
are allowed. There should not be too much.
Makes sense. Eventually we should provide a mechanism to silence
false positives of this nature._______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
