From d1d8929370ec3904e4b53364ed5fcc59968bd9cd Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Sun, 24 Mar 2013 20:25:22 +0000 Subject: [PATCH] [analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons. These aren't generated by default, but they are needed when either side of the comparison is tainted. Should fix our internal buildbot. llvm-svn: 177846 --- .../StaticAnalyzer/Core/SimpleConstraintManager.cpp | 9 +++++++-- clang/test/Analysis/taint-generic.c | 11 +++++++++++ 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp index f6404f0f7773..9b759df48f28 100644 --- a/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp @@ -50,8 +50,13 @@ bool SimpleConstraintManager::canReasonAbout(SVal X) const { } if (const SymSymExpr *SSE = dyn_cast(SE)) { - if (BinaryOperator::isComparisonOp(SSE->getOpcode())) - return true; + if (BinaryOperator::isComparisonOp(SSE->getOpcode())) { + // We handle Loc <> Loc comparisons, but not (yet) NonLoc <> NonLoc. + if (Loc::isLocType(SSE->getLHS()->getType())) { + assert(Loc::isLocType(SSE->getRHS()->getType())); + return true; + } + } } return false; diff --git a/clang/test/Analysis/taint-generic.c b/clang/test/Analysis/taint-generic.c index 696db67713ae..fe27070026bd 100644 --- a/clang/test/Analysis/taint-generic.c +++ b/clang/test/Analysis/taint-generic.c @@ -212,3 +212,14 @@ int SymSymExprWithDiffTypes(void* p) { return 5/j; // expected-warning {{Division by a tainted value, possibly zero}} } + +void constraintManagerShouldTreatAsOpaque(int rhs) { + int i; + scanf("%d", &i); + // This comparison used to hit an assertion in the constraint manager, + // which didn't handle NonLoc sym-sym comparisons. + if (i < rhs) + return; + if (i < rhs) + *(volatile int *) 0; // no-warning +}