Index: lib/StaticAnalyzer/Core/ExprEngine.cpp =================================================================== --- lib/StaticAnalyzer/Core/ExprEngine.cpp +++ lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -2957,6 +2957,8 @@ // work. static std::string getNodeAttributes(const ExplodedNode *N, ExplodedGraph *G) { + if (N->isSink()) + return "color=red"; return {}; }