[Bug c/51245] New: ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[Bug c/51245] New: ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[regehr at cs dot utah.edu]

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

             Bug #: 51245
           Summary: ICE in vn_reference_insert_pieces, at
                    tree-ssa-sccvn.c:1983
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu


[regehr@gamow tmp065]$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r181530-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.7.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-r181530-install
--program-prefix=r181530- --enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20111120 (experimental) (GCC) 

[regehr@gamow tmp065]$ current-gcc -Ofast -c -w small.c

small.c: In function 'func_1':
small.c:11:1: internal compiler error: in vn_reference_insert_pieces, at
tree-ssa-sccvn.c:1983
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[regehr@gamow tmp065]$ cat small.c 


struct S0
{
  int f4;
};
struct S0 g_122;
struct S0 *g_140;
struct S0 **g_348;
unsigned func_10 (int, int, char);
int func_75;
struct S0
func_1 ()
{
  struct S0 l_444 = {
  };
  if (func_10 (0, 0, 0))
    {
      struct S0 *l_463 = &g_122;
      for (;;)
    {
      *g_140 = l_444;
      *l_463 = *g_140;
      if (g_122.f4)
        break;
    }
    }
  return **g_348;
}

unsigned
func_10 (int p_11, int p_12, char p_13)
{
  if (func_75)
    **g_348 = *g_140;
  return 1;
}

[Bug tree-optimization/51245] [4.7 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-11-25
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |4.7.0
            Summary|ICE in                      |[4.7 Regression] ICE in
                   |vn_reference_insert_pieces, |vn_reference_insert_pieces,
                   |at tree-ssa-sccvn.c:1983    |at tree-ssa-sccvn.c:1983
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-25 08:30:15 UTC ---
Shorter testcase for -O2/-O3:

struct S { int s; } a, *b, **c;
int d;

struct S
foo (void)
{
  struct S s = { 0 }, *e = &a;
  if (d)
    **c = *b;
  while (1)
    {
      *b = s;
      *e = *b;
      if (a.s)
    break;
    }
  return **c;
}

Caused by http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179556 aka
PR38885.

[Bug tree-optimization/51245] [4.7 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-05 15:20:19 UTC ---
Mine.

[Bug tree-optimization/51245] [4.7 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-06 11:41:04 UTC ---
Author: rguenth
Date: Tue Dec  6 11:41:00 2011
New Revision: 182044

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182044
Log:
2011-12-06  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/51245
    * tree-ssa-sccvn.c (vn_reference_lookup_or_insert_constant_for_pieces):
    New function.
    (vn_reference_lookup_3): Use it.  Properly valueize all refs
    we create.

    * gcc.dg/torture/pr51245.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr51245.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-sccvn.c

[Bug tree-optimization/51245] [4.7 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:1983

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-06 12:06:01 UTC ---
Fixed.