]> granicus.if.org Git - clang/commit
[analyzer] Drop the logic for collapsing the state if it's same as in preds.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:35 +0000 (20:15 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:35 +0000 (20:15 +0000)
commitd1127baaf9c936305883eac6e16fee7de406c627
treebd111c77cf872cb6eb9629e55109a803b4d34df1
parentf094784d9e40d20777eb5b7d17830f02864cfd2b
[analyzer] Drop the logic for collapsing the state if it's same as in preds.

One of the first attempts to reduce the size of the exploded graph dumps
was to skip the state dump as long as the state is the same as in all of
the predecessor nodes. With all the new facilities in place (node joining,
diff dumps), this feature doesn't do much, and when it does,
it's more harmful than useful. Let's remove it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375280 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/dump_egraph.c