From aeca2cc3a6f486abff3fdfb4e82903cd3ca4267e Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Sat, 26 Jan 2013 01:28:15 +0000 Subject: [analyzer] Add 'prune-paths' config option to disable path pruning. This should be used for testing only. Path pruning is still on by default. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173545 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/BugReporter.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/StaticAnalyzer/Core/BugReporter.cpp') diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp index 38069a56ac..473472872b 100644 --- a/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -2123,7 +2123,8 @@ bool GRBugReporter::generatePathDiagnostic(PathDiagnostic& PD, // Remove messages that are basically the same. removeRedundantMsgs(PD.getMutablePieces()); - if (R->shouldPrunePath()) { + if (R->shouldPrunePath() && + getEngine().getAnalysisManager().options.shouldPrunePaths()) { bool hasSomethingInteresting = RemoveUnneededCalls(PD.getMutablePieces(), R); assert(hasSomethingInteresting); -- cgit v1.2.3-70-g09d2