> we do CFG manipulations based on debug stmts (verified with a later > assert that triggers on -O2 -g -fprofile-use). > > It's of course unfortunate that we do this BB splitting at all when > not doing coverage test.
The BB splitting is neccesary so the CFG can be solved (i.e. you have explicit edges to exit when program can terminate). Honza
