[cfe-commits] r55488 - /cfe/trunk/Driver/AnalysisConsumer.cpp

Ted Kremenek kremenek at apple.com
Thu Aug 28 11:34:41 PDT 2008


Author: kremenek
Date: Thu Aug 28 13:34:41 2008
New Revision: 55488

URL: http://llvm.org/viewvc/llvm-project?rev=55488&view=rev
Log:
Always print out the function we're analyzing.

Modified:
    cfe/trunk/Driver/AnalysisConsumer.cpp

Modified: cfe/trunk/Driver/AnalysisConsumer.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Driver/AnalysisConsumer.cpp?rev=55488&r1=55487&r2=55488&view=diff

==============================================================================
--- cfe/trunk/Driver/AnalysisConsumer.cpp (original)
+++ cfe/trunk/Driver/AnalysisConsumer.cpp Thu Aug 28 13:34:41 2008
@@ -322,8 +322,7 @@
   if (!L) return;
   
   // Display progress.
-  if (!mgr.shouldVisualize())
-    mgr.DisplayFunction();
+  mgr.DisplayFunction();
   
   GRExprEngine Eng(*mgr.getCFG(), *mgr.getCodeDecl(), mgr.getContext(), *L);
   Eng.setTransferFunctions(tf);
@@ -515,6 +514,9 @@
 }
 
 void UbigraphViz::AddEdge(ExplodedNodeImpl* Src, ExplodedNodeImpl* Dst) {
+  
+  assert (Src != Dst && "Self-edges are not allowed.");
+  
   // Lookup the Src.  If it is a new node, it's a root.
   VMap::iterator SrcI= M.find(Src);
   unsigned SrcID;





More information about the cfe-commits mailing list