Call GRExprEngine::setTransferFunctions() after registering all Checkers. This allows GRTransferFuncs::RegisterChecks() to always be called after all checkers have been registered.

llvm-svn: 89887
This commit is contained in:
Ted Kremenek 2009-11-25 21:58:39 +00:00
parent 916061f613
commit de820039b6
1 changed files with 2 additions and 2 deletions

View File

@ -328,8 +328,6 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr,
return;
GRExprEngine Eng(mgr);
Eng.setTransferFunctions(tf);
if (C.Opts.EnableExperimentalInternalChecks)
RegisterExperimentalInternalChecks(Eng);
@ -338,6 +336,8 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr,
if (C.Opts.EnableExperimentalChecks)
RegisterExperimentalChecks(Eng);
Eng.setTransferFunctions(tf);
// Set the graph auditor.
llvm::OwningPtr<ExplodedNode::Auditor> Auditor;