diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-02-07 00:24:33 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-02-07 00:24:33 +0000 |
| commit | a2bbac3ffc9047a92cb50d2a0ff5773ce91c7ef5 (patch) | |
| tree | 2ff2b39da489b09ec4e19b17c6a9301b49ba349d /clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |
| parent | dd053f6fba2a6a0e44685ea1ae36b7fad80cd783 (diff) | |
| download | bcm5719-llvm-a2bbac3ffc9047a92cb50d2a0ff5773ce91c7ef5.tar.gz bcm5719-llvm-a2bbac3ffc9047a92cb50d2a0ff5773ce91c7ef5.zip | |
Add basic BugReporter support for CallEnter/CallExit. WIP.
llvm-svn: 149939
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BugReporter.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BugReporter.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp index 94368b5f4e8..5101827d715 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -1646,6 +1646,11 @@ void GRBugReporter::GeneratePathDiagnostic(PathDiagnostic& PD, // Register additional node visitors. R->addVisitor(new NilReceiverBRVisitor()); R->addVisitor(new ConditionBRVisitor()); + + // If inlining is turning out, emit diagnostics for CallEnter and + // CallExit at the top level. + bool showTopLevel = Eng.getAnalysisManager().shouldInlineCall(); + R->addVisitor(new CallEnterExitBRVisitor(showTopLevel)); // Generate the very last diagnostic piece - the piece is visible before // the trace is expanded. |
