r342769 - [analyzer] Highlight sink nodes in red

George Karpenkov via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 21 13:37:01 PDT 2018


Author: george.karpenkov
Date: Fri Sep 21 13:37:01 2018
New Revision: 342769

URL: http://llvm.org/viewvc/llvm-project?rev=342769&view=rev
Log:
[analyzer] Highlight sink nodes in red

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

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=342769&r1=342768&r2=342769&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Fri Sep 21 13:37:01 2018
@@ -2957,6 +2957,8 @@ struct DOTGraphTraits<ExplodedGraph*> :
   // work.
   static std::string getNodeAttributes(const ExplodedNode *N,
                                        ExplodedGraph *G) {
+    if (N->isSink())
+      return "color=red";
     return {};
   }
 




More information about the cfe-commits mailing list