[analyzer] Highlight sink nodes in red

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

llvm-svn: 342769
This commit is contained in:
George Karpenkov 2018-09-21 20:37:01 +00:00
parent 33e5a15896
commit 200e809dbd
1 changed files with 2 additions and 0 deletions

View File

@ -2957,6 +2957,8 @@ struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
// work. // work.
static std::string getNodeAttributes(const ExplodedNode *N, static std::string getNodeAttributes(const ExplodedNode *N,
ExplodedGraph *G) { ExplodedGraph *G) {
if (N->isSink())
return "color=red";
return {}; return {};
} }