diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-08-28 18:34:41 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-08-28 18:34:41 +0000 |
commit | 45479c88c8a44c55d27c3bd855273bb318082f37 (patch) | |
tree | b43d31dba23b4b4fc3f43f81d11d0767edf909a3 | |
parent | e6c62e3d43728b0a4477fffd543723dd2170af1a (diff) |
Always print out the function we're analyzing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55488 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | Driver/AnalysisConsumer.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp index 0a59797549..83ad624179 100644 --- a/Driver/AnalysisConsumer.cpp +++ b/Driver/AnalysisConsumer.cpp @@ -322,8 +322,7 @@ static void ActionGRExprEngine(AnalysisManager& mgr, GRTransferFuncs* tf, 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 @@ static ExplodedNodeImpl::Auditor* CreateUbiViz() { } 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; |