diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-09-07 06:51:37 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-09-07 06:51:37 +0000 |
| commit | c47dc1b9734ea9bebb281499d58d22c2647713a9 (patch) | |
| tree | c3b99282de2a677b2a315622a9565d45f752e849 /lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
| parent | 6964b3f80ce1ba489e7e25e7cd58062699af9b0c (diff) | |
Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoring
implicit pointer-to-boolean conversions in condition expressions. This would
result in inconsistent diagnostic emission between C and C++.
A consequence of this is now ConditionBRVisitor and TrackConstraintBRVisitor may
emit redundant diagnostics, for example:
"Assuming pointer value is null" (TrackConstraintBRVisitor)
"Assuming 'p' is null" (ConditionBRVisitor)
We need to reconcile the two, and perhaps prefer one over the other in some
cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163372 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
0 files changed, 0 insertions, 0 deletions