Here are a few examples of CoFlo’s handiwork:
Here’s the control flow graph of GNU Make 3.82‘s “print_version” function as generated by CoFlo 0.0.4. To see it in full-size, click on it, then click on the image that brings up (sorry, it’s something with this WP theme):
…more as I get time to upload them….
….and I just got more time. Here’s the same graph rendered by the current CoFlo 0.0.5 work-in-progress. Note the compiler-created GOTOs have been eliminated, as have most of the generated labels, while the if()’s now contain the text of the condition expressions: