When visualizing ExplodedNodes created by GRExprEngine, color nodes with

null-dereferences or bad control-flow red.

llvm-svn: 47140

clang/Analysis/GRExprEngine.cpp

@@ -1116,6 +1116,15 @@ struct VISIBILITY_HIDDEN DOTGraphTraits<GRExprEngine::NodeTy*> :
     }
   }
     
+  static std::string getNodeAttributes(const GRExprEngine::NodeTy* N, void*) {
+    
+    if (GraphPrintCheckerState->isImplicitNullDeref(N) ||
+        GraphPrintCheckerState->isExplicitNullDeref(N))
+      return "color=\"red\",style=\"filled\"";
+    
+    return "";
+  }
+    
   static std::string getNodeLabel(const GRExprEngine::NodeTy* N, void*) {
     std::ostringstream Out;