FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian GCC

 
 
LinkBack Thread Tools
 
Old 07-10-2012, 01:17 PM
Vincent Lefevre
 
Default Bug#681076: gcc-4.7: gcov -f rounding problem

Package: gcc-4.7
Version: 4.7.1-4
Severity: minor

I have the following problem with gcov:

ypig:/tmp/ompfr-gcov/src> gcov -f round_prec.c
Function 'mpfr_can_round_raw'
Lines executed:100.00% of 44

Function 'mpfr_can_round'
Lines executed:100.00% of 4

Function 'mpfr_prec_round'
Lines executed:100.00% of 31

Function 'mpfr_round_raw_4'
Lines executed:95.00% of 60

Function 'mpfr_round_raw_2'
Lines executed:99.99% of 9

Function 'mpfr_round_raw'
Lines executed:100.00% of 7

File 'round_prec.c'
Lines executed:100.00% of 79
Creating 'round_prec.c.gcov'

File 'round_raw_generic.c'
Lines executed:97.37% of 76
Creating 'round_raw_generic.c.gcov'

File '/usr/include/gmp-x86_64.h'
No executable lines
Removing 'gmp-x86_64.h.gcov'

See the result for Function 'mpfr_round_raw_2': 99.99% of 9.
This is not possible! Either all the lines are executed, in which
case one should get 100%, or at most 8 lines of 9 are executed,
in which case one should get 88.89% at most.

This is reproducible on a Debian/unstable amd64 machine with MPFR
trunk r8346 by running the tools/coverage script.

-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-3-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gcc-4.7 depends on:
ii binutils 2.22-7+local1
ii cpp-4.7 4.7.1-4
ii gcc-4.7-base 4.7.1-4
ii libc6 2.13-34
ii libgcc1 1:4.7.1-4
ii libgmp10 2:5.0.5+dfsg-2
ii libgomp1 4.7.1-4
ii libitm1 4.7.1-4
ii libmpc2 0.9-4
ii libmpfr4 3.1.0-5
ii libquadmath0 4.7.1-4
ii zlib1g 1:1.2.7.dfsg-13

Versions of packages gcc-4.7 recommends:
ii libc6-dev 2.13-34

Versions of packages gcc-4.7 suggests:
pn binutils-gold <none>
pn gcc-4.7-doc <none>
ii gcc-4.7-locales 4.7.1-4
ii gcc-4.7-multilib 4.7.1-4
ii libgcc1-dbg 1:4.7.1-4
ii libgomp1-dbg 4.7.1-4
ii libitm1-dbg 4.7.1-4
pn libmudflap0-4.7-dev <none>
ii libmudflap0-dbg 4.7.1-4
ii libquadmath0-dbg 4.7.1-4

-- no debconf information



--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20120710131700.GA9526@ypig.lip.ens-lyon.fr">http://lists.debian.org/20120710131700.GA9526@ypig.lip.ens-lyon.fr
 
Old 07-10-2012, 03:26 PM
Vincent Lefevre
 
Default Bug#681076: gcc-4.7: gcov -f rounding problem

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)



--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20120710152631.GA26542@xvii.vinc17.org">http://lists.debian.org/20120710152631.GA26542@xvii.vinc17.org
 

Thread Tools




All times are GMT. The time now is 01:44 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright ©2007 - 2008, www.linux-archive.org