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

Reply via email to