From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 27 Aug 2008 22:46:55 +0000 (+0000)
Subject: Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d1289327f7d2126d732e23cc189ecd0aa5d07cbb;p=clang

Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55446 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp
index 7142b79181..81f14554fa 100644
--- a/Driver/AnalysisConsumer.cpp
+++ b/Driver/AnalysisConsumer.cpp
@@ -531,6 +531,7 @@ void UbigraphViz::AddEdge(ExplodedNodeImpl* Src, ExplodedNodeImpl* Dst) {
     DstID = DstI->second;
 
   // Add the edge.
-  *Out << "('edge', " << SrcID << ", " << DstID << ")\n";
+  *Out << "('edge', " << SrcID << ", " << DstID 
+       << ", ('arrow','true'), ('oriented', 'true'))\n";
 }