diff options
author | George Karpenkov <ekarpenkov@apple.com> | 2018-09-07 00:42:32 +0000 |
---|---|---|
committer | George Karpenkov <ekarpenkov@apple.com> | 2018-09-07 00:42:32 +0000 |
commit | 98bee0229749b9164c70579c34f6258f4fcb639b (patch) | |
tree | dc53277eb148728b5802619575b18af985f4c8ff /clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |
parent | 93ce8b24d5392db60a4cf91c269639cc591ad006 (diff) | |
download | bcm5719-llvm-98bee0229749b9164c70579c34f6258f4fcb639b.tar.gz bcm5719-llvm-98bee0229749b9164c70579c34f6258f4fcb639b.zip |
[analyzer] Skip printing trivial nodes in exploded graph
A node is considered to be trivial if it only has one successor, one
predecessor, and a state equal to the predecessor.
Can drastically (> 2x) reduce the size of the generated exploded
graph.
Differential Revision: https://reviews.llvm.org/D51665
llvm-svn: 341616
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BugReporter.cpp')
0 files changed, 0 insertions, 0 deletions