[cfe-commits] r141432 - /cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

Anna Zaks ganna at apple.com
Fri Oct 7 15:35:23 PDT 2011


Author: zaks
Date: Fri Oct  7 17:35:23 2011
New Revision: 141432

URL: http://llvm.org/viewvc/llvm-project?rev=141432&view=rev
Log:
[analyzer] Remove dead code.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h?rev=141432&r1=141431&r2=141432&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h Fri Oct  7 17:35:23 2011
@@ -202,13 +202,6 @@
                                            B.getBlockID());
   }
 
-  ExplodedNode *generateNode(PostStmt PP,
-                             const ProgramState *St,
-                             ExplodedNode *Pred) {
-    hasGeneratedNode = true;
-    return generateNodeInternal(PP, St, Pred);
-  }
-
   ExplodedNode *generateNode(const Stmt *S,
                              const ProgramState *St,
                              ExplodedNode *Pred,
@@ -245,7 +238,7 @@
   generateNodeInternal(const Stmt *S,
                        const ProgramState *State,
                        ExplodedNode *Pred,
-                       ProgramPoint::Kind K = ProgramPoint::PostStmtKind,
+                       ProgramPoint::Kind K,
                        const ProgramPointTag *tag = 0);
 
   /// getStmt - Return the current block-level expression associated with





More information about the cfe-commits mailing list