[cfe-commits] r53740 - in /cfe/trunk: include/clang/Analysis/PathSensitive/GRExprEngine.h lib/Analysis/GRExprEngine.cpp

[Ted Kremenek]

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);
 }
 
 //===----------------------------------------------------------------------===//