diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-07-17 21:36:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-07-17 21:36:43 +0000 |
| commit | a79d9a9c79a92fb1c12fd9e99282ae73297ea1af (patch) | |
| tree | aa724ea86a5f15c82e296dd6729fe82c70b6552c | |
| parent | bc9118b165291ef8abdfbd19b2cce3bf8e8c83eb (diff) | |
| download | bcm5719-llvm-a79d9a9c79a92fb1c12fd9e99282ae73297ea1af.tar.gz bcm5719-llvm-a79d9a9c79a92fb1c12fd9e99282ae73297ea1af.zip | |
Remove redundant logic.
llvm-svn: 53740
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 6 | ||||
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 15 |
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); } //===----------------------------------------------------------------------===// |

