r343276 - [analyzer] Hotfix for the bug in exploded graph printing

[George Karpenkov via cfe-commits]

Author: george.karpenkov
Date: Thu Sep 27 15:31:13 2018
New Revision: 343276

URL: http://llvm.org/viewvc/llvm-project?rev=343276&view=rev
Log:
[analyzer] Hotfix for the bug in exploded graph printing

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=343276&r1=343275&r2=343276&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Thu Sep 27 15:31:13 2018
@@ -2985,11 +2985,13 @@ struct DOTGraphTraits<ExplodedGraph*> :
     }
     const ExplodedNode *OtherNode = FirstHiddenNode;
     while (true) {
+      PreCallback(OtherNode);
       if (Stop(OtherNode))
         return true;
 
       if (OtherNode == N)
         break;
+      PostCallback(OtherNode);
 
       OtherNode = *OtherNode->succ_begin();
     }