diff --git a/afl_transforms/tools/zafl/zafl.cpp b/afl_transforms/tools/zafl/zafl.cpp index 0dc8ae980a9509208dfdf78eb95554a9402fb0fb..7663a4b415b4969c9a012961463ef703c034d9f0 100644 --- a/afl_transforms/tools/zafl/zafl.cpp +++ b/afl_transforms/tools/zafl/zafl.cpp @@ -408,14 +408,13 @@ int Zafl_t::execute() bool leafAnnotation = true; if (m_use_stars) leafAnnotation = hasLeafAnnotation(f, m_stars_analysis_engine.getAnnotations()); - if (f) - { - if (leafAnnotation) - cout << "Processing leaf function: "; - else - cout << "Processing function: "; - cout << f->GetName() << endl; - } + + cout << end; + if (leafAnnotation) + cout << "Processing leaf function: "; + else + cout << "Processing function: "; + cout << f->GetName() << endl; auto current = num_bb_instrumented; ControlFlowGraph_t cfg(f);