Debian Bug report logs - #361883
Incorrect integer division (wrong sign)

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: submit@bugs.debian.org

Subject: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 00:46:55 +0200

Package: mpfr
Version: 2.2.0.dfsg.1-4

Your package fails to build with GCC 4.2.  Version 4.2 has not been
released yet but I'm building with a snapshot in order to find errors
and give people an advance warning.  The tpow test fails when I
compile your package with a 4.2 snapshot from 20060325, but not with
4.0.3 or 4.1.0.  I'm not sure whether this is a bug in your package or
in the compiler - I tried removin the -O3 from Makefile but it still
shows the problem.  Do you think you can investigate, and in the case
it's a compiler bug come up with a minimal test case?


> Automatic build of mpfr_2.2.0.dfsg.1-4 on em64t by sbuild/amd64 1.112
...
> Seed GMP_CHECK_RANDOMIZE=1145505026 (include this in bug reports)
> Error in pow_si(x,x,-2) for x=2
> FAIL: tpow
...
> =====================
> 1 of 117 tests failed
> =====================
> make[3]: *** [check-TESTS] Error 1
> make[3]: Leaving directory `/build/tbm/mpfr-2.2.0.dfsg.1/tests'

-- 
Martin Michlmayr
http://www.cyrius.com/

Message #10 received at 361883@bugs.debian.org (full text, mbox, reply):

From: Laurent Fousse <laurent@komite.net>

To: Martin Michlmayr <tbm@cyrius.com>, 361883@bugs.debian.org

Subject: Re: Bug#361883: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 09:27:02 +0200

Hello Martin,

* Martin Michlmayr [Tue, Apr 11, 2006 at 12:46:55AM +0200]:
> Package: mpfr
> Version: 2.2.0.dfsg.1-4
> 
> Your package fails to build with GCC 4.2.  Version 4.2 has not been
> released yet but I'm building with a snapshot in order to find errors
> and give people an advance warning.  The tpow test fails when I
> compile your package with a 4.2 snapshot from 20060325, but not with
> 4.0.3 or 4.1.0.  I'm not sure whether this is a bug in your package or
> in the compiler - I tried removin the -O3 from Makefile but it still
> shows the problem.  Do you think you can investigate, and in the case
> it's a compiler bug come up with a minimal test case?

Thanks for your report. I've forwarded it upstream, and I'm currently
trying to reproduce it to see if it's package-specific. I assume you
are using the gcc-snapshot package for your testing ?

Laurent.

Message #17 received at 361883@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: Laurent Fousse <laurent@komite.net>

Cc: 361883@bugs.debian.org

Subject: Re: Bug#361883: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 10:44:00 +0200

* Laurent Fousse <laurent@komite.net> [2006-04-11 09:27]:
> Thanks for your report. I've forwarded it upstream, and I'm currently
> trying to reproduce it to see if it's package-specific. I assume you
> are using the gcc-snapshot package for your testing ?

Yes, sorry for forgetting to mention this.

I used gcc-snapshot (20060325-1):
Target: x86_64-linux-gnu
gcc version 4.2.0 20060325 (experimental)
-- 
Martin Michlmayr
http://www.cyrius.com/

Message #22 received at 361883@bugs.debian.org (full text, mbox, reply):

From: Laurent Fousse <laurent@komite.net>

To: Martin Michlmayr <tbm@cyrius.com>, 361883@bugs.debian.org

Subject: Re: Bug#361883: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 12:08:43 +0200

[Message part 1 (text/plain, inline)]

* Martin Michlmayr [Tue, Apr 11, 2006 at 10:44:00AM +0200]:
> * Laurent Fousse <laurent@komite.net> [2006-04-11 09:27]:
> > Thanks for your report. I've forwarded it upstream, and I'm currently
> > trying to reproduce it to see if it's package-specific. I assume you
> > are using the gcc-snapshot package for your testing ?
> 
> Yes, sorry for forgetting to mention this.
> 
> I used gcc-snapshot (20060325-1):
> Target: x86_64-linux-gnu
> gcc version 4.2.0 20060325 (experimental)

The attached C file demonstrate the bug.
4.0.3 passes.
4.2-snap-20060325 from gcc-snapshot package fails.
4.2-snap-20060408 from upstream tarball fails.

Laurent.

[minimal.c (text/x-csrc, attachment)]

Message #27 received at 361883@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: Laurent Fousse <laurent@komite.net>

Cc: 361883@bugs.debian.org

Subject: Re: Bug#361883: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 12:18:23 +0200

reassign 361883 gcc-snapshot
retitle 361883 wrong code compilation in conditional
thanks

* Laurent Fousse <laurent@komite.net> [2006-04-11 12:08]:
> The attached C file demonstrate the bug.
> 4.0.3 passes.
> 4.2-snap-20060325 from gcc-snapshot package fails.
> 4.2-snap-20060408 from upstream tarball fails.

Wow, thanks a lot!  That was quick.
-- 
Martin Michlmayr
http://www.cyrius.com/

Message #32 received at 361883@bugs.debian.org (full text, mbox, reply):

From: Laurent Fousse <laurent@komite.net>

To: Martin Michlmayr <tbm@cyrius.com>

Cc: 361883@bugs.debian.org

Subject: Re: Bug#361883: FTBFS with GCC 4.2: tpow test fails

Date: Tue, 11 Apr 2006 12:28:41 +0200

* Martin Michlmayr [Tue, Apr 11, 2006 at 12:18:23PM +0200]:
> * Laurent Fousse <laurent@komite.net> [2006-04-11 12:08]:
> > The attached C file demonstrate the bug.
> > 4.0.3 passes.
> > 4.2-snap-20060325 from gcc-snapshot package fails.
> > 4.2-snap-20060408 from upstream tarball fails.
> 
> Wow, thanks a lot!  That was quick.

You're welcome :-)

Since the problem is only in the division, you can have an even
smaller testcase :

#include <stdio.h>

int main (void)
{
    volatile long int n;
    n = -2;

    printf ("%ld\n", (-2147483647L - 1L) / (-n));
    return 0;
}

The output gets the sign wrong in recent snapshots. Reported upstream
as #27116.

Message #45 received at 361883-close@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: 361883-close@bugs.debian.org

Subject: Bug#361883: fixed in gcc-snapshot 20060613-1

Date: Tue, 13 Jun 2006 17:32:31 -0700

Source: gcc-snapshot
Source-Version: 20060613-1

We believe that the bug you reported is fixed in the latest version of
gcc-snapshot, which is due to be installed in the Debian FTP archive:

gcc-snapshot_20060613-1.dsc
  to pool/main/g/gcc-snapshot/gcc-snapshot_20060613-1.dsc
gcc-snapshot_20060613-1.tar.gz
  to pool/main/g/gcc-snapshot/gcc-snapshot_20060613-1.tar.gz
gcc-snapshot_20060613-1_i386.deb
  to pool/main/g/gcc-snapshot/gcc-snapshot_20060613-1_i386.deb
gcc-snapshot_20060613-1_powerpc.deb
  to pool/main/g/gcc-snapshot/gcc-snapshot_20060613-1_powerpc.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 361883@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Martin Michlmayr <tbm@cyrius.com> (supplier of updated gcc-snapshot package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Tue, 13 Jun 2006 15:44:42 +0200
Source: gcc-snapshot
Binary: gcc-snapshot
Architecture: i386 powerpc source 
Version: 20060613-1
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Martin Michlmayr <tbm@cyrius.com>
Description: 
 gcc-snapshot - A SNAPSHOT of the GNU Compiler Collection
Closes: 361883 369606 369710 369810
Changes: 
 gcc-snapshot (20060613-1) unstable; urgency=low
 .
    * SVN 20060613, taken from the trunk, revision 114610.
      - PR target/27858: ICE in spill_failure, at reload1.c:1911.
        Fixes build failure on alpha (closes: #369810).
      - PR libgcj/27860: check if FFI closures are available.
        Fixes build failure on m68k.
      - PR middle-end/27116: Incorrect integer division (wrong sign)
        (closes: #361883).
      - PR tree-optimization/27830: ICE: verify_stmts failed (invalid
        operand to unary operator) (closes: #369606).
      - PR c++/27804: ICE: tree check: expected class 'type', have
        'exceptional' (error_mark) in ocp_convert, at cp/cvt.c:630
        (closes: #369710).
    * Sync the debian directory with the gcc-4.2 package.
      - Don't build gomp on hppa to fix a build failure.
Files: 
 1f1406ecd6dded2acb134d6fd615eb34 62841616 devel extra gcc-snapshot_20060613-1_powerpc.deb
 afc6280eaccb3055df87f1500859d09c 38150162 devel standard gcc-snapshot_20060613-1.tar.gz
 c23679d2a1df99759864136d5555bd98 56764824 devel extra gcc-snapshot_20060613-1_i386.deb
 567bff35c27bb51d4105d9397585200c 2440 devel standard gcc-snapshot_20060613-1.dsc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)

iD8DBQFEj1ZYKb5dImj9VJ8RAk+JAJ9FMoXaGrXUaKOg9KgXjT4JkUeY/gCfeDyi
O23iwVyxtUyQ+iTBbb4nOZE=
=rACw
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.