Always print out the function we're analyzing.

llvm-svn: 55488
This commit is contained in:
Ted Kremenek 2008-08-28 18:34:41 +00:00
parent b45e6b91c6
commit 2eb49f295d
1 changed files with 4 additions and 2 deletions

View File

@ -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;