[analyzer] Highlight sink nodes in red

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@342769 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp
index 063f7444eebc03cb0114a942af0b8cc1a2984b7e..067749ec9e1882ff3529c7db2e1da352a19990f1 100644 (file)
--- a/lib/StaticAnalyzer/Core/ExprEngine.cpp
+++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -2957,6 +2957,8 @@ struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
   // work.
   static std::string getNodeAttributes(const ExplodedNode *N,
                                        ExplodedGraph *G) {
+    if (N->isSink())
+      return "color=red";
     return {};
   }