]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb712af) | patch
[analyzer] Skip printing trivial nodes in exploded graph
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 7 Sep 2018 00:42:32 +0000 (00:42 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 7 Sep 2018 00:42:32 +0000 (00:42 +0000)
commit3f0bc9eab10c49c980a5e3147fc81f0be1aba753
tree74a9f4fd412f6c642582652f720907e4f4ce9876tree | snapshot
parentcb712aff1f7079c5bb958503a9b6461c5610f266commit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@341616 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h diff | blob | history
lib/StaticAnalyzer/Core/ExplodedGraph.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.