[cfe-commits] r53740 - in /cfe/trunk: include/clang/Analysis/PathSensitive/GRExprEngine.h lib/Analysis/GRExprEngine.cpp
Ted Kremenek
kremenek at apple.com
Thu Jul 17 14:36:43 PDT 2008
Author: kremenek
Date: Thu Jul 17 16:36:43 2008
New Revision: 53740
URL: http://llvm.org/viewvc/llvm-project?rev=53740&view=rev
Log:
Remove redundant logic.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
cfe/trunk/lib/Analysis/GRExprEngine.cpp
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h?rev=53740&r1=53739&r2=53740&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h Thu Jul 17 16:36:43 2008
@@ -391,9 +391,9 @@
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);
Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=53740&r1=53739&r2=53740&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Thu Jul 17 16:36:43 2008
@@ -217,21 +217,6 @@
}
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);
}
//===----------------------------------------------------------------------===//
More information about the cfe-commits
mailing list