diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-11-25 21:58:39 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-11-25 21:58:39 +0000 |
commit | de820039b6236e5f9562a6554c07c7ba6319755a (patch) | |
tree | fa8b3a72e5749e426088f05cb660395dacc84bff | |
parent | 916061f61394a2ce079d3a926e129b46dd05bbea (diff) | |
download | bcm5719-llvm-de820039b6236e5f9562a6554c07c7ba6319755a.tar.gz bcm5719-llvm-de820039b6236e5f9562a6554c07c7ba6319755a.zip |
Call GRExprEngine::setTransferFunctions() after registering all Checkers. This allows GRTransferFuncs::RegisterChecks() to always be called after all checkers have been registered.
llvm-svn: 89887
-rw-r--r-- | clang/lib/Frontend/AnalysisConsumer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Frontend/AnalysisConsumer.cpp b/clang/lib/Frontend/AnalysisConsumer.cpp index 4449de70860..2209c0e8be5 100644 --- a/clang/lib/Frontend/AnalysisConsumer.cpp +++ b/clang/lib/Frontend/AnalysisConsumer.cpp @@ -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; |