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.");
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
