]> granicus.if.org Git - clang/commit
[analyzer] Fix hidden node traversal in exploded graph dumps.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:29 +0000 (20:15 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:29 +0000 (20:15 +0000)
commit0836645ecf90c2813830bb68ef74d8be7b67a8a2
treed2a3bc131cc78c1e5ba30787fe848cd571e70ab8
parente43eb432de21ed58e59e9fa7514750b901396916
[analyzer] Fix hidden node traversal in exploded graph dumps.

The joined nodes now actually have the same state. That was intended
from the start but the original implementation turned out to be buggy.

Differential Revision: https://reviews.llvm.org/D69150

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