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 | 7c15040e9880e31514780efd6460e3e86ffca6ac (patch) | |
| tree | 5a4281f2aff5a1e477eb853c79676f68a53ef648 /clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
| parent | 1cb637cc37c60a4f18a33f80f56489a5a7602330 (diff) | |
| download | bcm5719-llvm-7c15040e9880e31514780efd6460e3e86ffca6ac.tar.gz bcm5719-llvm-7c15040e9880e31514780efd6460e3e86ffca6ac.zip | |
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.
llvm-svn: 163372
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
0 files changed, 0 insertions, 0 deletions
