зеркало из https://github.com/microsoft/clang-1.git
UndefResults is not needed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89834 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
d975206755
Коммит
bc6c676448
|
@ -87,13 +87,6 @@ class GRExprEngine : public GRSubEngine {
|
||||||
// destructor is called before the rest of the GRExprEngine is destroyed.
|
// destructor is called before the rest of the GRExprEngine is destroyed.
|
||||||
GRBugReporter BR;
|
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:
|
public:
|
||||||
GRExprEngine(AnalysisManager &mgr);
|
GRExprEngine(AnalysisManager &mgr);
|
||||||
|
|
||||||
|
@ -153,10 +146,6 @@ public:
|
||||||
return static_cast<CHECKER*>(lookupChecker(CHECKER::getTag()));
|
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, Stmt::StmtClass C);
|
||||||
void AddCheck(GRSimpleAPICheck* A);
|
void AddCheck(GRSimpleAPICheck* A);
|
||||||
|
|
||||||
|
|
Загрузка…
Ссылка в новой задаче