summaryrefslogtreecommitdiffstats
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
commita79d9a9c79a92fb1c12fd9e99282ae73297ea1af (patch)
treeaa724ea86a5f15c82e296dd6729fe82c70b6552c
parentbc9118b165291ef8abdfbd19b2cce3bf8e8c83eb (diff)
downloadbcm5719-llvm-a79d9a9c79a92fb1c12fd9e99282ae73297ea1af.tar.gz
bcm5719-llvm-a79d9a9c79a92fb1c12fd9e99282ae73297ea1af.zip
Remove redundant logic.
llvm-svn: 53740
-rw-r--r--clang/include/clang/Analysis/PathSensitive/GRExprEngine.h6
-rw-r--r--clang/lib/Analysis/GRExprEngine.cpp15
2 files changed, 3 insertions, 18 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 752f5cbe8a2..bb805ba092e 100644
--- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/clang/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/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index e32fd0b331f..5159f4a4cdf 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/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);
}
//===----------------------------------------------------------------------===//
OpenPOWER on IntegriCloud