From e3f8429a583cd298883a741c563c6d66f758c680 Mon Sep 17 00:00:00 2001 From: George Karpenkov Date: Thu, 27 Sep 2018 22:31:13 +0000 Subject: [PATCH] [analyzer] Hotfix for the bug in exploded graph printing git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@343276 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 6fc862857e..90f8920927 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -2985,11 +2985,13 @@ struct DOTGraphTraits : public DefaultDOTGraphTraits { } const ExplodedNode *OtherNode = FirstHiddenNode; while (true) { + PreCallback(OtherNode); if (Stop(OtherNode)) return true; if (OtherNode == N) break; + PostCallback(OtherNode); OtherNode = *OtherNode->succ_begin(); } -- 2.50.1