[Bug gcov-profile/53915] gcov can call format_gcov with top > bottom, which is unexpected

[vincent-gcc at vinc17 dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53915

Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|gcov -f rounding problem    |gcov can call format_gcov
                   |                            |with top > bottom, which is
                   |                            |unexpected
           Severity|minor                       |normal

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> 2012-07-10 15:19:20 UTC ---
After recompiling gcov with the -g option and testing with gdb:

Function 'mpfr_round_raw_2'

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

and obviously the format_gcov function doesn't handle this case.