[Bug target/23453] New: [4.0 4.1 regression] miscompilation of PARI/GP on x86

["debian-gcc at lists dot debian dot org" <gcc-bugzilla at gcc dot gnu dot org>]

[forwarded from http://bugs.debian.org/309210]

rechecked with 4.0 CVS 20050816

wrong code for PARI/GP 2.2.10 on x86.
The pari source code can be found here:
<http://pari.math.u-bordeaux.fr/pub/pari/unstable/pari-2.2.10.alpha.tar.gz>

The problem is in the file src/basemath/alglin1.c, function ker0().

The compilation command used was:
gcc-4.0  -c -O3 -DGCC_INLINE -Wall -fno-strict-aliasing -fomit-frame-pointer
-DBOTH_GNUPLOT_AND_X11 -I. -I../src/headers  -o alglin1.o alglin1.i

using gcc-4.0 -O2 or gcc-3.4 -O3 generates correct code.

The problem can be reproduces running the gp interpreter:

1) download the tarball mentionned in the bug report and untar it
2) do 
CC=gcc-4.0 ./Configure
3) do 
make bench

One test-case fails (alglin).
Alternatively, you can do
make gp
./gp
matker([1,2;3,4])
  *** matker: bug in GP (Segmentation Fault), please report

More information about compiler options that fix this problem:
<http://pari.math.u-bordeaux.fr/archives/pari-dev-0505/msg00007.html>

> Can you make a stand-alone testcase?

Not at that time, unfortunately. The bug only occurs inside deeply inlined
code.

-- 
           Summary: [4.0 4.1 regression] miscompilation of PARI/GP on x86
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i486-linux


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