[Bug gcov-profile/53915] gcov -f rounding problem

2012-07-10 Thread vincent-gcc at vinc17 dot net
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53915 --- Comment #2 from Vincent Lefèvre 2012-07-10 14:46:28 UTC --- Actually this should not be the problem, because if top = bottom = 9, then the division is done exactly anyway; moreover "percent = limit - 1;" won't be executed in this case due to

[Bug gcov-profile/53915] gcov -f rounding problem

2012-07-10 Thread vincent-gcc at vinc17 dot net
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53915 --- Comment #1 from Vincent Lefèvre 2012-07-10 14:27:28 UTC --- The problem is probably in gcc/gcov.c, function format_gcov, which has: float ratio = bottom ? (float)top / bottom : 0; int ix; unsigned limit = 100; unsigne