// 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);
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);