This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
representing symbolic expressions like 'x'+3 and 'x'+'y'. The design is
subjected to change later when we fix the class hierarchy of symbolic
expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67678 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index e2dde76..22ccd7b 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -230,11 +230,16 @@
case nonloc::SymbolValKind:
if (isa<nonloc::ConcreteInt>(R)) {
- const SymIntConstraint& C =
- BasicVals.getConstraint(cast<nonloc::SymbolVal>(L).getSymbol(), Op,
- cast<nonloc::ConcreteInt>(R).getValue());
-
- return nonloc::SymIntConstraintVal(C);
+ if (Op >= BinaryOperator::LT && Op <= BinaryOperator::NE) {
+ const SymIntConstraint& C =
+ BasicVals.getConstraint(cast<nonloc::SymbolVal>(L).getSymbol(),
+ Op, cast<nonloc::ConcreteInt>(R).getValue());
+ return nonloc::SymIntConstraintVal(C);
+ } else {
+ return NonLoc::MakeVal(Eng.getSymbolManager(),
+ cast<nonloc::SymbolVal>(L).getSymbol(),
+ Op, cast<nonloc::ConcreteInt>(R).getValue());
+ }
}
else
return UnknownVal();