[cfe-commits] r89834 - /cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
Zhongxing Xu
xuzhongxing at gmail.com
Tue Nov 24 19:07:22 PST 2009
Author: zhongxingxu
Date: Tue Nov 24 21:07:22 2009
New Revision: 89834
URL: http://llvm.org/viewvc/llvm-project?rev=89834&view=rev
Log:
UndefResults is not needed.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h?rev=89834&r1=89833&r2=89834&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h Tue Nov 24 21:07:22 2009
@@ -88,13 +88,6 @@
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 @@
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);
More information about the cfe-commits
mailing list