]> granicus.if.org Git - clang/commitdiff
UndefResults is not needed.
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 25 Nov 2009 03:07:22 +0000 (03:07 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 25 Nov 2009 03:07:22 +0000 (03:07 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89834 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/GRExprEngine.h

index 5c6475acf8ef913fd6df0d3bf66e77b63471045d..89a21d7875e1fe72a5c39e7d9cb0c87d898f0a77 100644 (file)
@@ -87,13 +87,6 @@ class GRExprEngine : public GRSubEngine {
   //   destructor is called before the rest of the GRExprEngine is destroyed.
   GRBugReporter BR;
 
-public:
-  typedef llvm::SmallPtrSet<ExplodedNode*,2> ErrorNodes;
-
-  /// UndefResults - Nodes in the ExplodedGraph where the operands are defined
-  ///  by the result is not.  Excludes divide-by-zero errors.
-  ErrorNodes UndefResults;
-
 public:
   GRExprEngine(AnalysisManager &mgr);
 
@@ -153,10 +146,6 @@ public:
      return static_cast<CHECKER*>(lookupChecker(CHECKER::getTag()));
   }
 
-  typedef ErrorNodes::iterator undef_result_iterator;
-  undef_result_iterator undef_results_begin() { return UndefResults.begin(); }
-  undef_result_iterator undef_results_end() { return UndefResults.end(); }
-
   void AddCheck(GRSimpleAPICheck* A, Stmt::StmtClass C);
   void AddCheck(GRSimpleAPICheck* A);