aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-05-12 17:41:30 +0000
committerTed Kremenek <kremenek@apple.com>2008-05-12 17:41:30 +0000
commit666de3be924efb85e12c27ae1937c459a4b6ecc7 (patch)
treef8f0605357386261b9ecd9f2a37b8dfb746bdbd4
parent81edea8a1aaafe0df69a8a8b3c908354acc85e9c (diff)
Support StringLiteralVal when comparing LVal types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50979 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Analysis/GRSimpleVals.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index b57cb57c32..0933265493 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -569,6 +569,7 @@ RVal GRSimpleVals::EvalEQ(GRExprEngine& Eng, LVal L, LVal R) {
case lval::DeclValKind:
case lval::FuncValKind:
case lval::GotoLabelKind:
+ case lval::StringLiteralValKind:
return NonLVal::MakeIntTruthVal(BasicVals, L == R);
}
@@ -632,6 +633,7 @@ RVal GRSimpleVals::EvalNE(GRExprEngine& Eng, LVal L, LVal R) {
case lval::DeclValKind:
case lval::FuncValKind:
case lval::GotoLabelKind:
+ case lval::StringLiteralValKind:
return NonLVal::MakeIntTruthVal(BasicVals, L != R);
}