diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-25 03:07:22 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-25 03:07:22 +0000 |
commit | bc6c676448f4726dbdf086d4cb066b0fa3e97db2 (patch) | |
tree | c0e2117790eaf482ff72e036160c31d4dbfdcbfd | |
parent | d975206755e26a391f4a1cd8bf8f96a6a65b05e6 (diff) |
UndefResults is not needed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89834 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRExprEngine.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h index 5c6475acf8..89a21d7875 100644 --- a/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -88,13 +88,6 @@ class GRExprEngine : public GRSubEngine { 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); ~GRExprEngine(); @@ -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); |