[cfe-commits] r80236 - /cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h

Zhongxing Xu xuzhongxing at gmail.com
Thu Aug 27 01:52:44 PDT 2009


Author: zhongxingxu
Date: Thu Aug 27 03:52:44 2009
New Revision: 80236

URL: http://llvm.org/viewvc/llvm-project?rev=80236&view=rev
Log:
Remove unused utility methods of GRStmtNodeBuilder.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h?rev=80236&r1=80235&r2=80236&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h Thu Aug 27 03:52:44 2009
@@ -190,17 +190,6 @@
   ExplodedNode* generateNode(const Stmt* S, const GRState* St, ExplodedNode* Pred) {
     return generateNode(S, St, Pred, PointKind);
   }
-  
-  ExplodedNode* generateNode(const Stmt* S, const GRState* St, ProgramPoint::Kind K) {
-    HasGeneratedNode = true;
-    if (PurgingDeadSymbols) 
-      K = ProgramPoint::PostPurgeDeadSymbolsKind;      
-    return generateNodeInternal(S, St, K, Tag);
-  }
-  
-  ExplodedNode* generateNode(const Stmt* S, const GRState* St) {
-    return generateNode(S, St, PointKind);
-  }
 
   ExplodedNode*
   generateNodeInternal(const ProgramPoint &PP, const GRState* State,
@@ -212,15 +201,6 @@
                    const void *tag = 0);
 
   ExplodedNode*
-  generateNodeInternal(const Stmt* S, const GRState* State,
-                   ProgramPoint::Kind K = ProgramPoint::PostStmtKind,
-                   const void *tag = 0) {
-    ExplodedNode* N = getLastNode();
-    assert (N && "Predecessor of new node is infeasible.");
-    return generateNodeInternal(S, State, N, K, tag);
-  }
-  
-  ExplodedNode*
   generateNodeInternal(const Stmt* S,const GRState* State,const void *tag = 0) {
     ExplodedNode* N = getLastNode();
     assert (N && "Predecessor of new node is infeasible.");





More information about the cfe-commits mailing list