From 9d7fcc690dcdbf1ea1c92c9e7bdeb7abb1a737e0 Mon Sep 17 00:00:00 2001 From: George Karpenkov Date: Fri, 21 Sep 2018 20:37:01 +0000 Subject: [PATCH] [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 --- 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 063f7444ee..067749ec9e 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -2957,6 +2957,8 @@ struct DOTGraphTraits : public DefaultDOTGraphTraits { // work. static std::string getNodeAttributes(const ExplodedNode *N, ExplodedGraph *G) { + if (N->isSink()) + return "color=red"; return {}; } -- 2.50.1