[analyzer] Hotfix for the bug in exploded graph printing

1 files changed, 2 insertions, 0 deletions

diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
index 6fc862857ec..90f89209275 100644
--- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -2985,11 +2985,13 @@ struct DOTGraphTraits<ExplodedGraph*> : 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();
     }