From 200e809dbd04b074b77fb6cc0644ebff82150d1c Mon Sep 17 00:00:00 2001 From: George Karpenkov Date: Fri, 21 Sep 2018 20:37:01 +0000 Subject: [analyzer] Highlight sink nodes in red Differential Revision: https://reviews.llvm.org/D52337 llvm-svn: 342769 --- clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'clang/lib/StaticAnalyzer') diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 063f7444eeb..067749ec9e1 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/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 {}; } -- cgit v1.2.3