diff options
Diffstat (limited to 'Driver/AnalysisConsumer.cpp')
| -rw-r--r-- | Driver/AnalysisConsumer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp index 49ebde71c8..73ce3f6625 100644 --- a/Driver/AnalysisConsumer.cpp +++ b/Driver/AnalysisConsumer.cpp @@ -415,7 +415,7 @@ static void ActionGRExprEngine(AnalysisManager& mgr, GRTransferFuncs* tf, LiveVariables* L = mgr.getLiveVariables(); if (!L) return; - GRExprEngine Eng(*mgr.getCFG(), *mgr.getCodeDecl(), mgr.getContext(), *L, + GRExprEngine Eng(*mgr.getCFG(), *mgr.getCodeDecl(), mgr.getContext(), *L, mgr, PurgeDead, mgr.getStoreManagerCreator(), mgr.getConstraintManagerCreator()); @@ -442,7 +442,7 @@ static void ActionGRExprEngine(AnalysisManager& mgr, GRTransferFuncs* tf, ExplodedNodeImpl::SetAuditor(0); // Display warnings. - Eng.EmitWarnings(mgr); + Eng.getBugReporter().FlushReports(); // Visualize the exploded graph. if (mgr.shouldVisualizeGraphviz()) |