]> granicus.if.org Git - clang/commitdiff
Remove redundant logic.
authorTed Kremenek <kremenek@apple.com>
Thu, 17 Jul 2008 21:36:43 +0000 (21:36 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 17 Jul 2008 21:36:43 +0000 (21:36 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53740 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/GRExprEngine.h
lib/Analysis/GRExprEngine.cpp

index 752f5cbe8a24a057993bed96ae9dbbd7598b6786..bb805ba092e09db6dc683a780c765983e1f9bcdb 100644 (file)
@@ -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);
index e32fd0b331f102c8beeae4ed5d8783bcda44b8d9..5159f4a4cdf648ce0b02537179b7f54a0af46205 100644 (file)
@@ -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);
 }
 
 //===----------------------------------------------------------------------===//