Bug#681076: gcc-4.7: gcov -f rounding problem

[Vincent Lefevre <vincent@vinc17.net>]

retitle 681076 gcc-4.7: gcov can call format_gcov with top > bottom, which is unexpected and gives 99.99%
tags 681076 upstream
thanks

On 2012-07-10 15:17:00 +0200, Vincent Lefevre wrote:
> I have the following problem with gcov:
> 
> ypig:/tmp/ompfr-gcov/src> gcov -f round_prec.c
[...]
> Function 'mpfr_round_raw_2'
> Lines executed:99.99% of 9
[...]

Actually this is not a rounding problem, but due to the fact that
format_gcov is called with top > bottom:

Breakpoint 1, format_gcov (top=10, bottom=9, dp=2) at ../../src/gcc/gcov.c:1651

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)