aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-02-21 22:08:33 +0000
committerTed Kremenek <kremenek@apple.com>2008-02-21 22:08:33 +0000
commit10c16657eec144def180ee53d1e0249c9ed2b3b5 (patch)
tree5e5429c54d87f45a156d71fb097130cb838cdcab
parent03da0d7eaa6da319f6a1816b886f3ad796ef50cc (diff)
Regression fix: Handle binary operators where both the left and right
operands are symbolic lvalues. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47459 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/GRExprEngine.h6
1 files changed, 1 insertions, 5 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 8e66b9c327..7fa5297daa 100644
--- a/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h
@@ -358,11 +358,7 @@ public:
RVal EvalComplement(RVal X) {
return X.isValid() ? TF->EvalComplement(ValMgr, cast<NonLVal>(X)) : X;
}
-
- RVal EvalBinOp(BinaryOperator::Opcode Op, LVal L, RVal R) {
- return R.isValid() ? TF->EvalBinOp(ValMgr, Op, L, cast<NonLVal>(R)) : R;
- }
-
+
RVal EvalBinOp(BinaryOperator::Opcode Op, NonLVal L, RVal R) {
return R.isValid() ? TF->EvalBinOp(ValMgr, Op, L, cast<NonLVal>(R)) : R;
}