aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-07-17 21:36:43 +0000
committerTed Kremenek <kremenek@apple.com>2008-07-17 21:36:43 +0000
commitb48c6455dde10395cd4f3b6b054b2de34a73f7f5 (patch)
treec6c4535a0450c7bc63d248c97165f09db7284536
parentdf7533b5e523a3def04b5c33b56361a94dd97d35 (diff)
Remove redundant logic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53740 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/GRExprEngine.h6
-rw-r--r--lib/Analysis/GRExprEngine.cpp15
2 files changed, 3 insertions, 18 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 752f5cbe8a..bb805ba092 100644
--- a/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h
@@ -391,9 +391,9 @@ protected:
public:
- // FIXME: Maybe make these accesible only within the StmtBuilder?
-
- const ValueState* SetRVal(const ValueState* St, Expr* Ex, RVal V);
+ const ValueState* SetRVal(const ValueState* St, Expr* Ex, RVal V) {
+ return StateMgr.SetRVal(St, Ex, V);
+ }
const ValueState* SetRVal(const ValueState* St, const Expr* Ex, RVal V) {
return SetRVal(St, const_cast<Expr*>(Ex), V);
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index e32fd0b331..5159f4a4cd 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -217,21 +217,6 @@ const ValueState* GRExprEngine::getInitialState() {
}
return StateMgr.getPersistentState(StateImpl);
-}
-
-const ValueState* GRExprEngine::SetRVal(const ValueState* St, Expr* Ex,
- RVal V) {
-
- bool isBlkExpr = false;
-
- if (Ex == CurrentStmt) {
- isBlkExpr = getCFG().isBlkExpr(Ex);
-
- if (!isBlkExpr)
- return St;
- }
-
- return StateMgr.SetRVal(St, Ex, V, isBlkExpr, true);
}
//===----------------------------------------------------------------------===//