[analyzer] Add 'prune-paths' config option to disable path pruning.
authorJordan Rose <jordan_rose@apple.com>
Sat, 26 Jan 2013 01:28:15 +0000 (01:28 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 26 Jan 2013 01:28:15 +0000 (01:28 +0000)
commit329bbe8e11fd04540cf8ffd6794eddde0f4cd056
tree3d2d1efb02997fec03272790fc4fa0056a0a98ef
parent8de30305f67693c3ebf0f74fad30177a9d7b1398
[analyzer] Add 'prune-paths' config option to disable path pruning.

This should be used for testing only. Path pruning is still on by default.

llvm-svn: 173545
clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
clang/lib/StaticAnalyzer/Core/BugReporter.cpp
clang/test/Analysis/diagnostics/no-prune-paths.c [new file with mode: 0644]