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 | eb149ee8f223f328476712e2db444d906be37ecc (patch) | |
| tree | b4a85c698ffe8f4d08465176dfbe652eee9f5f9f | |
| parent | 763bd3bba0318e97b3f7974e666c669141c8b532 (diff) | |
Call GRExprEngine::setTransferFunctions() after registering all Checkers. This allows GRTransferFuncs::RegisterChecks() to always be called after all checkers have been registered.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89887 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Frontend/AnalysisConsumer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Frontend/AnalysisConsumer.cpp b/lib/Frontend/AnalysisConsumer.cpp index 4449de7086..2209c0e8be 100644 --- a/lib/Frontend/AnalysisConsumer.cpp +++ b/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; |