[Bug c/50092] New: internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[Bug c/50092] New: internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[mario.trangoni at intel dot com]

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

             Bug #: 50092
           Summary: internal compiler error: in elimination_costs_in_insn,
                    at reload1.c:3633
    Classification: Unclassified
           Product: gcc
           Version: 4.6.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: mario.trangoni@intel.com


Created attachment 25018
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25018
preprocessed source

Description of problem:
Error declaring a big vector by value of datatype complex long double and long
double.
I'm using the library complex.h
If I do the same with malloc there's no problem with memory allocation.

Version-Release number of selected component (if applicable):

Using built-in specs.
COLLECT_GCC=gcc-4.6.1
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/4.6.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-4.6.1/work/gcc-4.6.1/configure
--prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/4.6.1
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.6.1/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.1
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.1/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.1/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.6.1/include/g++-v4
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec
--disable-fixed-point --without-ppl --without-cloog --enable-lto --enable-nls
--without-included-gettext --with-system-zlib --disable-werror
--enable-secureplt --enable-multilib --enable-libmudflap --disable-libssp
--enable-libgomp --enable-cld
--with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/4.6.1/python
--enable-checking=release --disable-libgcj --enable-languages=c,c++,fortran
--enable-shared --enable-threads=posix --enable-__cxa_atexit
--enable-clocale=gnu --with-bugurl=http://bugs.gentoo.org/
--with-pkgversion='Gentoo 4.6.1 p1.0, pie-0.4.5'
Thread model: posix
gcc version 4.6.1 (Gentoo 4.6.1 p1.0, pie-0.4.5)

How reproducible:

Steps to Reproduce:
1. Compile the source file with gcc-4.6.1 -Wall test.c -o test

Actual results:

test.c: In function 'main':
test.c:21:1: internal compiler error: in elimination_costs_in_insn, at
reload1.c:3633
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://bugs.gentoo.org/> for instructions.

Expected results:

With malloc:

Valor: 0.671913
Valor: 0.580317
Valor: 0.235468
Valor: 0.285724
Valor: 0.198874
Valor: 0.445921
Valor: 0.102851
Valor: 0.881226
Valor: 0.080384
Valor: 0.988736
La posicion 5 tiene el valor: 3.115597e-01

With gcc4.1: Segmentation Fault (Logically this result is espected)

Additional info:


I'm running a Gentoo:

Linux version 2.6.39-gentoo-r3 (root@gentoo) (gcc version 4.4.5 (Gentoo 4.4.5
p1.2, pie-0.4.5) ) #4 SMP Tue Jul 19 01:03:04 Local time zone must be set--see
zic 

I became a similar error reported to redhat with gcc 4.4 Bug 730382

[Bug target/50092] [4.4/4.5/4.6/4.7 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-08-16
      Known to work|                            |4.3.6
   Target Milestone|---                         |4.4.7
            Summary|internal compiler error: in |[4.4/4.5/4.6/4.7
                   |elimination_costs_in_insn,  |Regression] internal
                   |at reload1.c:3633           |compiler error: in
                   |                            |elimination_costs_in_insn,
                   |                            |at reload1.c:3633
     Ever Confirmed|0                           |1
      Known to fail|                            |4.4.6, 4.5.3, 4.6.1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-16 08:42:04 UTC ---
Confirmed.  Reduced testcase:

int main(int argc, char **argv) 
{
  int i;
  _Complex long double vector[100000000];
  for (i=0 ; i<10 ; i++)
    printf("Valor: %Lf\n", (long double) rand()/ 2147483648.0);
  printf ("La posicion 5 tiene el valor: %Le\n", (long double) vector[5]);
} 


ICEs in various ways depending on optimization level.  With -m32 the
array is diagnosed as being too large.  At -O1:

t.3.i: In function 'main':
t.3.i:6:5: warning: incompatible implicit declaration of built-in function
'printf' [enabled by default]
t.3.i:8:1: error: unrecognizable insn:
(insn 46 15 18 3 (parallel [
            (set (reg:XF 71)
                (float:XF (reg:SI 63 [ D.2730 ])))
            (clobber (mem/c:SI (plus:DI (reg/f:DI 20 frame)
                        (const_int -3200000004 [0xffffffff4143dffc])) [0 S4
A32]))
        ]) t.3.i:6 -1
     (nil))
t.3.i:8:1: internal compiler error: in extract_insn, at recog.c:2115
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

4.3 is happy with the code.

[Bug target/50092] [4.4/4.5/4.6/4.7 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-18 09:01:25 UTC ---
Smaller testcase:
volatile int v;

void bar (long double);
void baz (_Complex long double *);

void
foo (void)
{
  _Complex long double w[100000000];
  bar ((long double) v / 2147483648.0);
  baz (w);
}

Started failing with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133798

[Bug target/50092] [4.4/4.5/4.6/4.7 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-18 09:36:12 UTC ---
Created attachment 25046
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25046
gcc47-pr50092.patch

Untested fix.

[Bug target/50092] [4.4/4.5/4.6/4.7 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-18 14:27:41 UTC ---
Author: jakub
Date: Thu Aug 18 14:27:38 2011
New Revision: 177859

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177859
Log:
    PR target/50092
    * config/i386/i386.c (assign_386_stack_local): Call validize_mem
    on the result before returning it.

    * gcc.dg/torture/pr50092.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr50092.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c
    trunk/gcc/testsuite/ChangeLog

[Bug target/50092] [4.4/4.5/4.6/4.7 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-18 14:37:59 UTC ---
Author: jakub
Date: Thu Aug 18 14:37:56 2011
New Revision: 177861

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177861
Log:
    PR target/50092
    * config/i386/i386.c (assign_386_stack_local): Call validize_mem
    on the result before returning it.

    * gcc.dg/torture/pr50092.c: New test.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/torture/pr50092.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/config/i386/i386.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug target/50092] [4.4/4.5 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.2, 4.7.0
            Summary|[4.4/4.5/4.6/4.7            |[4.4/4.5 Regression]
                   |Regression] internal        |internal compiler error: in
                   |compiler error: in          |elimination_costs_in_insn,
                   |elimination_costs_in_insn,  |at reload1.c:3633
                   |at reload1.c:3633           |

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-18 14:39:05 UTC ---
Fixed for 4.6+ so far.

[Bug target/50092] [4.5 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.7                       |4.5.4

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 12:45:46 UTC ---
4.4 branch is being closed, moving to 4.5.4 target.

[Bug target/50092] [4.5 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug target/50092] [4.5 Regression] internal compiler error: in elimination_costs_in_insn, at reload1.c:3633

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.5.4                       |4.6.2

--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-02 10:09:12 UTC ---
Fixed for 4.6.2.