[Bug c/52073] New: ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[Bug c/52073] New: ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[regehr at cs dot utah.edu]

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

             Bug #: 52073
           Summary: ICE: vector VEC(vec_void_p,base) index domain error,
                    in vinfo_for_stmt at tree-vectorizer.h:620
    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
                CC: chenyang@cs.utah.edu


[regehr@gamow tmp]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r183767-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-r183767-install
--program-prefix=r183767- --enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20120131 (experimental) (GCC) 
[regehr@gamow tmp]$ current-gcc -Ofast small.c
small.c: In function 'fn8':
small.c:28:1: internal compiler error: vector VEC(vec_void_p,base) index domain
error, in vinfo_for_stmt at tree-vectorizer.h:620
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[regehr@gamow tmp]$ cat small.c
int c;
int
fn3 ()
{
  return c;
}

int d;
int
fn4 (ui2)
{
  d = ui2;
  return 0 == d;
}

struct S0
{
};
int e;
int f;
int g;
int h;
static unsigned long long fn5 (unsigned char);
void fn6 (struct S0);
void fn7 ();
struct S0 j;
void
fn8 ()
{
  fn6 (j);
  fn5 (0);
}

unsigned long long
fn5 (unsigned char p_7)
{
  for (;; h--)
    fn7 ();
}

void
fn6 (struct S0 p_16)
{
  e = 1;
}

int m;
int n;
void
fn7 ()
{
  int p;
lbl_140:p = fn3 ();
  if (f)
    {
      if (e)
    goto lbl_140;
      for (; m;)
    --g;
    }
  else
    for (n = 5; n; n--)
      p = fn4 (p);
  if (p)
    {
    }
  else
    f = 0;
}

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
      Known to work|                            |4.6.3
   Last reconfirmed|                            |2012-01-31
          Component|c                           |tree-optimization
                 CC|                            |jakub at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1
            Summary|ICE: vector                 |[4.7 Regression] ICE:
                   |VEC(vec_void_p,base) index  |vector VEC(vec_void_p,base)
                   |domain error, in            |index domain error, in
                   |vinfo_for_stmt at           |vinfo_for_stmt at
                   |tree-vectorizer.h:620       |tree-vectorizer.h:620
   Target Milestone|---                         |4.7.0
      Known to fail|                            |4.7.0

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-31 21:31:28 UTC ---
Started with my http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180057

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-01 09:43:07 UTC ---
Created attachment 26538
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26538
gcc47-pr52073.patch

Thanks for the report.  Untested fix.

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-01 09:45:18 UTC ---
Ira, does this look reasonable?  We give up later on because we don't handle
such reductions, but for the test "is this pattern result used by some other
pattern stmt" I think it is correct to ignore uses outside of the loop.

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[irar at il dot ibm.com]

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

Ira Rosen <irar at il dot ibm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |irar at il dot ibm.com

--- Comment #5 from Ira Rosen <irar at il dot ibm.com> 2012-02-01 10:42:42 UTC ---
Yes, looks fine to me.

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-02 08:09:43 UTC ---
Author: jakub
Date: Thu Feb  2 08:09:37 2012
New Revision: 183829

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183829
Log:
    PR tree-optimization/52073
    * tree-vect-stmts.c (vect_mark_relevant): When checking uses of
    a pattern stmt for pattern uses, ignore uses outside of the loop.

    * gcc.c-torture/compile/pr52073.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr52073.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/52073] [4.7 Regression] ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-02 08:33:01 UTC ---
Fixed.