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

[Zhongxing Xu]

Author: zhongxingxu
Date: Tue Feb  3 20:30:11 2009
New Revision: 63715

URL: http://llvm.org/viewvc/llvm-project?rev=63715&view=rev
Log:
Remove dead code.

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=63715&r1=63714&r2=63715&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h Tue Feb  3 20:30:11 2009
@@ -660,7 +660,7 @@
   //  loads aren't fully implemented.  Eventually this option will go away.
   
   void EvalLoad(NodeSet& Dst, Expr* Ex, NodeTy* Pred,
-                const GRState* St, SVal location, bool CheckOnly = false);
+                const GRState* St, SVal location);
   
   NodeTy* EvalLocation(Stmt* Ex, NodeTy* Pred,
                        const GRState* St, SVal location);

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=63715&r1=63714&r2=63715&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Tue Feb  3 20:30:11 2009
@@ -978,8 +978,7 @@
 }
 
 void GRExprEngine::EvalLoad(NodeSet& Dst, Expr* Ex, NodeTy* Pred,
-                            const GRState* St, SVal location,
-                            bool CheckOnly) {
+                            const GRState* St, SVal location) {
 
   // Evaluate the location (checks for bad dereferences).  
   Pred = EvalLocation(Ex, Pred, St, location);
@@ -995,15 +994,6 @@
   // FIXME: Currently symbolic analysis "generates" new symbols
   //  for the contents of values.  We need a better approach.
 
-  // FIXME: The "CheckOnly" option exists only because Array and Field
-  //  loads aren't fully implemented.  Eventually this option will go away.
-  assert(!CheckOnly);
-
-  if (CheckOnly) {
-    Dst.Add(Pred);
-    return;
-  }
-
   if (location.isUnknown()) {
     // This is important.  We must nuke the old binding.
     MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, UnknownVal()), K);