Index: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp =================================================================== --- clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ clang/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 {}; }