|

»

Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0

View: New views

6 Messages — Rating Filter: Alert me

	Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 by Vincent Lefevre :: Rate this Message: \| View Threaded \| Show Only this Message Package: gcc-4.3 Version: 4.3.2-1.1 Severity: important Tags: lenny When I build GMP 4.3.0 with gcc 4.3.2, I get the following errors in "make check": rootrem.c:338: GNU MP assertion failed: bn >= qn /bin/sh: line 4: 2231 Aborted (core dumped) ${dir}$tst FAIL: reuse rootrem.c:338: GNU MP assertion failed: bn >= qn /bin/sh: line 4: 2256 Aborted (core dumped) ${dir}$tst FAIL: t-root This is a known bug in GCC 4.3.2 (I don't have any reference for the moment, but I can ask for more information), that has been fixed in GCC 4.3.3. I wonder if the patch can be backported to lenny, as such bugs (compiler bugs which silently lead to incorrect code) can have nasty effects on software the user or administrator has compiled: incorrect results, erratic behavior... -- System Information: Debian Release: 5.0.1 APT prefers stable APT policy: (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.26-1-amd64 (SMP w/1 CPU core) Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1 (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/bash Versions of packages gcc-4.3 depends on: ii binutils 2.18.1~cvs20080103-7 The GNU assembler, linker and bina ii cpp-4.3 4.3.2-1.1 The GNU C preprocessor ii gcc-4.3-base 4.3.2-1.1 The GNU Compiler Collection (base ii libc6 2.7-18 GNU C Library: Shared libraries ii libgcc1 1:4.3.2-1.1 GCC support library ii libgomp1 4.3.2-1.1 GCC OpenMP (GOMP) support library Versions of packages gcc-4.3 recommends: ii libc6-dev 2.7-18 GNU C Library: Development Librari Versions of packages gcc-4.3 suggests: pn gcc-4.3-doc <none> (no description available) pn gcc-4.3-locales <none> (no description available) ii gcc-4.3-multilib 4.3.2-1.1 The GNU C compiler (multilib files pn libgcc1-dbg <none> (no description available) pn libgomp1-dbg <none> (no description available) pn libmudflap0-4.3-dev <none> (no description available) pn libmudflap0-dbg <none> (no description available) -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@... with a subject of "unsubscribe". Trouble? Contact listmaster@...
	Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 by Vincent Lefevre :: Rate this Message: \| View Threaded \| Show Only this Message retitle 524472 gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 thanks I've tracked down the bug and managed to write a simple testcase: /* With GCC 4.3.2 and -O2 option: output value is 1 instead of 0. * If -fno-strict-aliasing is added, this bug disappears. / #include <stdio.h> #include <stdlib.h> int test (int n) { unsigned long p, q; int i; q = p = malloc (n sizeof (unsigned long)); if (p == NULL) return 2; for (i = 0; i < n - 1; i++) p[i] = 0; p[n - 1] = 1; while ((*(q++))-- == 0) ; return p[n - 1] == 1; } int main (void) { int r; r = test (17); printf ("%d\n", r); return r; } -- Vincent Lefèvre <vincent@...> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@... with a subject of "unsubscribe". Trouble? Contact listmaster@...
	Processed: Re: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 by Debian Bug Tracking System :: Rate this Message: \| View Threaded \| Show Only this Message Processing commands for control@...: > retitle 524472 gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 Changed Bug title to `gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0' from `gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0'. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-gcc-REQUEST@... with a subject of "unsubscribe". Trouble? Contact listmaster@...
	Bug#524472: marked as done (gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0) by Debian Bug Tracking System :: Rate this Message: \| View Threaded \| Show Only this Message Your message dated Mon, 20 Apr 2009 16:34:16 +0200 with message-id <49EC87E8.6080602@...> and subject line Re: Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 has caused the Debian Bug report #524472, regarding gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@... immediately.) -- 524472: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=524472 Debian Bug Tracking System Contact owner@... with problems Package: gcc-4.3 Version: 4.3.2-1.1 Severity: important Tags: lenny When I build GMP 4.3.0 with gcc 4.3.2, I get the following errors in "make check": rootrem.c:338: GNU MP assertion failed: bn >= qn /bin/sh: line 4: 2231 Aborted (core dumped) ${dir}$tst FAIL: reuse rootrem.c:338: GNU MP assertion failed: bn >= qn /bin/sh: line 4: 2256 Aborted (core dumped) ${dir}$tst FAIL: t-root This is a known bug in GCC 4.3.2 (I don't have any reference for the moment, but I can ask for more information), that has been fixed in GCC 4.3.3. I wonder if the patch can be backported to lenny, as such bugs (compiler bugs which silently lead to incorrect code) can have nasty effects on software the user or administrator has compiled: incorrect results, erratic behavior... -- System Information: Debian Release: 5.0.1 APT prefers stable APT policy: (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.26-1-amd64 (SMP w/1 CPU core) Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1 (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/bash Versions of packages gcc-4.3 depends on: ii binutils 2.18.1~cvs20080103-7 The GNU assembler, linker and bina ii cpp-4.3 4.3.2-1.1 The GNU C preprocessor ii gcc-4.3-base 4.3.2-1.1 The GNU Compiler Collection (base ii libc6 2.7-18 GNU C Library: Shared libraries ii libgcc1 1:4.3.2-1.1 GCC support library ii libgomp1 4.3.2-1.1 GCC OpenMP (GOMP) support library Versions of packages gcc-4.3 recommends: ii libc6-dev 2.7-18 GNU C Library: Development Librari Versions of packages gcc-4.3 suggests: pn gcc-4.3-doc <none> (no description available) pn gcc-4.3-locales <none> (no description available) ii gcc-4.3-multilib 4.3.2-1.1 The GNU C compiler (multilib files pn libgcc1-dbg <none> (no description available) pn libgomp1-dbg <none> (no description available) pn libmudflap0-4.3-dev <none> (no description available) pn libmudflap0-dbg <none> (no description available) -- no debconf information Version: 4.3.3-8 this is fixed in testing/unstable, and in GCC-4.4 (experimental).
	Bug#524472: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 by Vincent Lefevre :: Rate this Message: \| View Threaded \| Show Only this Message retitle 524472 [PR tree-optimization/36765] gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 thanks I've added the upstream bug reference to the title, in case someone else wonders... -- Vincent Lefèvre <vincent@...> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@... with a subject of "unsubscribe". Trouble? Contact listmaster@...
	Processed: Re: gcc-4.3: gcc 4.3.2 miscompiles GMP 4.3.0 by Debian Bug Tracking System :: Rate this Message: \| View Threaded \| Show Only this Message Processing commands for control@...: > retitle 524472 [PR tree-optimization/36765] gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 Bug#524472: gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0 Changed Bug title to `[PR tree-optimization/36765] gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0' from `gcc-4.3: gcc 4.3.2 strict-aliasing bug / miscompiles GMP 4.3.0'. (By the way, that Bug is currently marked as done.) > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-gcc-REQUEST@... with a subject of "unsubscribe". Trouble? Contact listmaster@...