[Bug c/56144] New: ICE in get_reload_reg, at lra-constraints.c:421

[Bug c/56144] New: ICE in get_reload_reg, at lra-constraints.c:421

[regehr at cs dot utah.edu]

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

             Bug #: 56144
           Summary: ICE in get_reload_reg, at lra-constraints.c:421
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu
                CC: chenyang@cs.utah.edu


regehr@home:~/z/reduce/r200$ gcc -O small.c
small.c: In function ‘main’:
small.c:43:1: internal compiler error: in get_reload_reg, at
lra-constraints.c:421
 }
 ^
0x7f66a2 get_reload_reg
    /home/regehr/z/compiler-source/gcc/gcc/lra-constraints.c:421
0x7f6838 process_addr_reg
    /home/regehr/z/compiler-source/gcc/gcc/lra-constraints.c:1106
0x7f6b94 process_address
    /home/regehr/z/compiler-source/gcc/gcc/lra-constraints.c:2360
0x7f977f curr_insn_transform
    /home/regehr/z/compiler-source/gcc/gcc/lra-constraints.c:2720
0x7fbe04 lra_constraints(bool)
    /home/regehr/z/compiler-source/gcc/gcc/lra-constraints.c:3554
0x7eeeae lra(_IO_FILE*)
    /home/regehr/z/compiler-source/gcc/gcc/lra.c:2279
0x7b7218 do_reload
    /home/regehr/z/compiler-source/gcc/gcc/ira.c:4623
0x7b7218 rest_of_handle_reload
    /home/regehr/z/compiler-source/gcc/gcc/ira.c:4736
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.


regehr@home:~/z/reduce/r200$ cat small.c
int a;
union U0
{
  volatile unsigned f2;
  volatile unsigned f4;
};
volatile b;
static union U0 c;
volatile unsigned d, f;
volatile e;
volatile g;
volatile h;
volatile i;
volatile j;
volatile k;
volatile l;
volatile m;
volatile n;
volatile o;
volatile p;
main ()
{
  a = b;
  a += c.f2;
  a += c.f4;
  unsigned q = h;
  a += q;
  q = g;
  a += q;
  a += f;
  q = e;
  a += q;
  a += d;
  a += 2L;
  a += j;
  a += i;
  a += k;
  a += p;
  a += o;
  a += n;
  a += m;
  a += l;
}


regehr@home:~/z/reduce/r200$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r195565-install/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r195565-install
--enable-languages=c,c++
Thread model: posix
gcc version 4.8.0 20130129 (experimental) (GCC)

[Bug rtl-optimization/56144] [4.8 Regression] ICE in get_reload_reg, at lra-constraints.c:421

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-01-30
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org
          Component|c                           |rtl-optimization
   Target Milestone|---                         |4.8.0
            Summary|ICE in get_reload_reg, at   |[4.8 Regression] ICE in
                   |lra-constraints.c:421       |get_reload_reg, at
                   |                            |lra-constraints.c:421
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-30 09:42:26 UTC ---
Slightly adjusted testcase:

int a;
union U0 { volatile unsigned f2, f4; };
volatile int b;
static union U0 c;
volatile unsigned d, f;
volatile int e, g, h, i, j, k, l, m, n, o, p;
int
main ()
{
  a = b;
  a += c.f2;
  a += c.f4;
  unsigned q = h;
  a += q;
  q = g;
  a += q;
  a += f;
  q = e;
  a += q;
  a += d;
  a += 2L;
  a += j;
  a += i;
  a += k;
  a += p;
  a += o;
  a += n;
  a += m;
  a += l;
  return 0;
}

Started with LRA merge: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192719

[Bug rtl-optimization/56144] [4.8 Regression] ICE in get_reload_reg, at lra-constraints.c:421

[vmakarov at gcc dot gnu.org]

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

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2013-01-30 16:33:20 UTC ---
I am working on it.  The fix will be ready today.

[Bug rtl-optimization/56144] [4.8 Regression] ICE in get_reload_reg, at lra-constraints.c:421

[vmakarov at gcc dot gnu.org]

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

--- Comment #3 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2013-01-30 17:20:47 UTC ---
Author: vmakarov
Date: Wed Jan 30 17:20:39 2013
New Revision: 195582

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195582
Log:
2013-01-30  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/56144
    * lra-constraints.c (get_reload_reg): Don't reuse reload pseudo
    for values with side effects.

2013-01-30  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/56144
    * gcc.dg/pr56144.c: New.


Added:
    trunk/gcc/testsuite/gcc.dg/pr56144.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/56144] [4.8 Regression] ICE in get_reload_reg, at lra-constraints.c:421

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-30 18:38:42 UTC ---
Fixed, thanks.