------- Comment #1 from frodak17 at gmail dot com 2009-11-12 17:21 ------- I would have expected the output to report: Branches executed:75.00% of 4 and not Branches executed:100.00% of 4 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42015