[Bug c/44816] New: ice in subst_reloads, at reload.c:6328

[Bug c/44816] New: ice in subst_reloads, at reload.c:6328

[regehr at cs dot utah dot edu]

[regehr@gamow tmp418]$ current-gcc -v               
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r161681-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r161681-install
--program-prefix=r161681- --enable-languages=c,c++
Thread model: posix
gcc version 4.6.0 20100701 (experimental) (GCC) 

[regehr@gamow tmp418]$ current-gcc -Os small.c -c -w

small.c: In function 'int329':
small.c:34:1: internal compiler error: in subst_reloads, at reload.c:6328
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[regehr@gamow tmp418]$ cat small.c

static int
foo (int si1, int si2)
{
  return si1 ^ si2 & si1 ^ si1 ^ si2 & ~1 - si2 ^ si2 ? : si1 - si2;
}

static unsigned
bar (unsigned ui1, unsigned ui2)
{
  return ui1 + ui2;
}

int g_29;
int g_75;
int g_83;
int func_53 (unsigned char p_54, long p_55, unsigned char p_56);

int safe (int);

void int325 (long p_6, int p_7)
{
  int *l_28 = &g_29;
  *l_28 |= safe (0) <= foo;
}

void int329 (unsigned long p_50)
{
  int *l_74 = &g_75;
  int *l_82 = &g_83;
  *l_74 ^= foo (func_53 (6L, 1L, 1), 0);
  *l_82 |=
    func_53 (0L, 0, 0) <= bar (func_53 (0, 1, 0),
                                                      p_50);
}

int
func_53 (unsigned char p_54, long p_55, unsigned char p_56)
{
  return g_29;
}


-- 
           Summary: ice in subst_reloads, at reload.c:6328
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: regehr at cs dot utah dot edu
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug target/44816] [4.5/4.6 Regression] ice in subst_reloads, at reload.c:6328

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-07-05 09:13 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|                            |4.5.0
      Known to work|                            |4.4.3
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-05 09:13:20
               date|                            |
            Summary|ice in subst_reloads, at    |[4.5/4.6 Regression] ice in
                   |reload.c:6328               |subst_reloads, at
                   |                            |reload.c:6328
   Target Milestone|---                         |4.5.1
            Version|unknown                     |4.5.1


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

[Bug target/44816] [4.5/4.6 Regression] ice in subst_reloads, at reload.c:6328

[ubizjak at gmail dot com]

------- Comment #2 from ubizjak at gmail dot com  2010-07-05 11:43 -------
The problem is with:

Breakpoint 1, fancy_abort (file=0xcd1f88 "../../gcc-svn/trunk/gcc/reload.c", 
    line=6327, function=0xcd2722 "subst_reloads")
    at ../../gcc-svn/trunk/gcc/diagnostic.c:878
878     {
(gdb) up
#1  0x000000000075b3e2 in subst_reloads (insn=0x2b0b822718b8)
    at ../../gcc-svn/trunk/gcc/reload.c:6327
6327            gcc_assert (rld[r->what].optional);
(gdb) p debug_rtx (insn)
(insn 14 13 15 2 pr44816.c:32 (parallel [
            (set (reg:CCC 17 flags)
                (compare:CCC (plus:SI (subreg:SI (reg/v:DI 6 bp [orig:68 p_50 ]
[68]) 0)
                        (reg:SI 3 bx [orig:66 D.2792 ] [66]))
                    (subreg:SI (reg/v:DI 6 bp [orig:68 p_50 ] [68]) 0)))
            (clobber (scratch:SI))
        ]) 316 {*addsi3_cconly_overflow} (expr_list:REG_DEAD (reg/v:DI 6 bp
[orig:68 p_50 ] [68])
        (expr_list:REG_DEAD (reg:SI 3 bx [orig:66 D.2792 ] [66])
            (nil))))

I see nothing wrong with this RTX.


-- 


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

[Bug target/44816] [4.5/4.6 Regression] ice in subst_reloads, at reload.c:6328

[hjl dot tools at gmail dot com]

------- Comment #3 from hjl dot tools at gmail dot com  2010-07-12 18:25 -------
It is caused by revision 149210:

http://gcc.gnu.org/ml/gcc-cvs/2009-07/msg00087.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org


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

[Bug target/44816] [4.5/4.6 Regression] ice in subst_reloads, at reload.c:6328

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug target/44816] [4.5/4.6 Regression] ice in subst_reloads, at reload.c:6328

[ubizjak at gmail dot com]

------- Comment #4 from ubizjak at gmail dot com  2010-07-25 18:06 -------
This is duplicate of PR 44031.

*** This bug has been marked as a duplicate of 44031 ***


-- 

ubizjak at gmail dot com changed:

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


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