Register internal checks with GRExprEngine when it is constructed, not manually in AnalysisConsumer.cpp.

llvm-svn: 89883
This commit is contained in:
Ted Kremenek 2009-11-25 21:45:48 +00:00
parent acdc817ed9
commit efb5003f95
2 changed files with 5 additions and 3 deletions

View File

@ -216,7 +216,11 @@ GRExprEngine::GRExprEngine(AnalysisManager &mgr)
CurrentStmt(NULL),
NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL),
RaiseSel(GetNullarySelector("raise", G.getContext())),
BR(mgr, *this) {}
BR(mgr, *this)
{
// Register internal checks.
RegisterInternalChecks();
}
GRExprEngine::~GRExprEngine() {
BR.FlushReports();

View File

@ -329,8 +329,6 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, Decl *
GRExprEngine Eng(mgr);
Eng.setTransferFunctions(tf);
Eng.RegisterInternalChecks(); // FIXME: Internal checks should just
// automatically register.
if (C.Opts.EnableExperimentalInternalChecks)
RegisterExperimentalInternalChecks(Eng);