[Bug tree-optimization/48768] New: ICE in get_expr_operands()

[Bug tree-optimization/48768] New: ICE in get_expr_operands()

[arthur.j.odwyer at gmail dot com]

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

           Summary: ICE in get_expr_operands()
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: arthur.j.odwyer@gmail.com


Created attachment 24098
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24098
Output of "ajo-gcc -O1 -finline-small-functions test746970675.c -g -c -v"

This reproduces for me with svn revision 172950 (2011-04-25), but it doesn't
reproduce with gcc-4.5.  I'm on Ubuntu 10.10, x86-64.  Attached "gcc-v.txt".

cat >test746970675.c <<EOF
extern int g_79, g_23;
int foo(int si1, int si2) {
    return (si1 > 0 && si1 > si2) || (si1 < 0 && si1 < si2) ? 0 : (si1 + 1);
}
int func_75() {
    int i, l_90 = 1;
    for (i = 0; i != 10; i = foo(i, 1)) {
  lbl_131:
        if (i) {
            int *l_126 = &l_90;
        } else if (l_90)
            goto lbl_131;
    }
    return 0;
}
unsigned func_58(int p_59) {
    return g_23;
}
int func_62() {
    unsigned char p_67;
    int i, p_63;
    if (func_58(func_75())) {
        return 0;
    } else {
        for (p_67 = 250; p_67 > 0; p_67 += 6) {
            for (i = 10; i >= 0; --i) {
                if (func_58(p_63) >= 0u) {
                    p_63 = func_75();
                    g_79 = (g_23 < 0) ? 0 : (g_23 - 1);
                }
            }
        }
    }
    return p_63;
}
EOF
gcc -O1 -finline-small-functions test746970675.c -g -c


unhandled expression in get_expr_operands():
 <error_mark 0x7ff771ced9f0>

test746970675.c: In function ‘func_62’:
test746970675.c:19:5: internal compiler error: in get_expr_operands, at
tree-ssa-operands.c:1024


This test case is reduced from the output of Csmith
(http://embed.cs.utah.edu/csmith/), using the following command line:
csmith --bitfields --packed-struct -s 746970675 > test746970675.c

[Bug tree-optimization/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.04.26 08:35:09
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |4.6.1
            Summary|ICE in get_expr_operands()  |[4.6/4.7 Regression] ICE in
                   |                            |get_expr_operands()
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-26 08:35:09 UTC ---
Smaller testcase for -O -g:

int a, b;

int
bar (void)
{
  int i, j = 1;
  for (i = 0; i != 10; i++)
    {
    lab:
      if (i)
    {
      int *k = &j;
    }
      else if (j)
    goto lab;
    }
  return 1;
}

inline int
foo (int x)
{
  unsigned int c = x;
  int d = x;
  if (bar ())
    for (; c; c++)
      while (x >= 0)
    if (foo (d) >= 0)
      {
        d = bar ();
        a = b ? b : 1;
      }
  return 0;
}

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

[Bug debug/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[jakub at gcc dot gnu.org]

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

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 #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-26 09:01:42 UTC ---
Created attachment 24100
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24100
gcc46-pr48768.patch

Untested fix.

[Bug debug/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-26 11:35:01 UTC ---
Ugh.  Well, ok I suppose.

[Bug debug/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-26 13:35:24 UTC ---
Author: jakub
Date: Tue Apr 26 13:35:21 2011
New Revision: 172968

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172968
Log:
    PR debug/48768
    * tree-ssa.c (insert_debug_temp_for_var_def): If degenerate_phi_result
    is error_mark_node, set value to NULL.

    * gcc.dg/pr48768.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr48768.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa.c

[Bug debug/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-26 13:48:46 UTC ---
Fixed.

[Bug debug/48768] [4.6/4.7 Regression] ICE in get_expr_operands()

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-26 13:47:17 UTC ---
Author: jakub
Date: Tue Apr 26 13:47:13 2011
New Revision: 172970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172970
Log:
    PR debug/48768
    * tree-ssa.c (insert_debug_temp_for_var_def): If degenerate_phi_result
    is error_mark_node, set value to NULL.

    * gcc.dg/pr48768.c: New test.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/pr48768.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/tree-ssa.c