From dd179f303a1570bd4f197095cb8c849bd9332c17 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Thu, 27 Aug 2009 08:52:44 +0000 Subject: [PATCH] Remove unused utility methods of GRStmtNodeBuilder. llvm-svn: 80236 --- .../Analysis/PathSensitive/GRCoreEngine.h | 20 ------------------- 1 file changed, 20 deletions(-) diff --git a/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 36b52f135fb8..aae87c00c327 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -190,17 +190,6 @@ public: 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, @@ -211,15 +200,6 @@ public: ProgramPoint::Kind K = ProgramPoint::PostStmtKind, 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();