aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRSimpleVals.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-03-26 08:40:37 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-03-26 08:40:37 +0000
commit4b8f99b5de15968fac9209dc6594154b7cf4219e (patch)
tree917d990f50e93095222568db71ca3cf560e2a9dd /lib/Analysis/GRSimpleVals.cpp
parent7fddc33f4ff7faa0f38a9364258e5854151b7bd9 (diff)
Simplify some code. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67748 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRSimpleVals.cpp')
-rw-r--r--lib/Analysis/GRSimpleVals.cpp20
1 files changed, 4 insertions, 16 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index 3bd51ecd72..a38d76d260 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -231,22 +231,10 @@ SVal GRSimpleVals::DetermEvalBinOpNN(GRExprEngine& Eng,
}
case nonloc::SymbolValKind:
- if (isa<nonloc::ConcreteInt>(R)) {
- if (Op >= BinaryOperator::LT && Op <= BinaryOperator::NE) {
- const SymIntExpr *SE =
- Eng.getSymbolManager().getSymIntExpr(
- cast<nonloc::SymbolVal>(L).getSymbol(), Op,
- cast<nonloc::ConcreteInt>(R).getValue(),T);
-
-
- return nonloc::SymExprVal(SE);
- } else {
- return NonLoc::MakeVal(Eng.getSymbolManager(),
- cast<nonloc::SymbolVal>(L).getSymbol(),
- Op, cast<nonloc::ConcreteInt>(R).getValue(),
- T);
- }
- }
+ if (isa<nonloc::ConcreteInt>(R))
+ return NonLoc::MakeVal(Eng.getSymbolManager(),
+ cast<nonloc::SymbolVal>(L).getSymbol(), Op,
+ cast<nonloc::ConcreteInt>(R).getValue(), T);
else
return UnknownVal();
}