[Bug tree-optimization/55687] New: [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[Bug tree-optimization/55687] New: [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

             Bug #: 55687
           Summary: [4.8 Regression] ICE in
                    hide_evolution_in_other_loops_than_loop, at
                    tree-chrec.c:716
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org
            Target: i?86-*-*


Created attachment 28953
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28953
preprocessed source

/usr/lib/gcc/i586-suse-linux/4.8/cc1 -fpreprocessed splashy_functions.i -quiet
-dumpbase splashy_functions.c -mtune=generic -march=i586 -auxbase-strip
splashy-splashy_functions.o -g -O2 -Wall -Werror -version -fomit-frame-pointer
-fmessage-length=0 -fstack-protector -funwind-tables
-fasynchronous-unwind-tables -o splashy_functions.s
GNU C (SUSE Linux) version 4.8.0 20121212 [trunk revision 194442]
(i586-suse-linux)
        compiled by GNU C version 4.8.0 20121212 [trunk revision 194442], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (SUSE Linux) version 4.8.0 20121212 [trunk revision 194442]
(i586-suse-linux)
        compiled by GNU C version 4.8.0 20121212 [trunk revision 194442], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: e68fcd130690afd931631ae80bbb1d1f
splashy_functions.c: In function 'verbose_text_loop':
splashy_functions.c:1392:1: internal compiler error: in
hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716
 }

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|i?86-*-*                    |i?86-*-*, x86_64-*-*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-12-14
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-14 09:50:57 UTC ---
Reduced testcase, fails at -O2

typedef struct _IO_FILE FILE;
typedef short gshort;
typedef struct _GString GString;
void verbose_text_loop (void *data)
{
  FILE *dev_vcs;
  char buf[81];
  GString *buf_str;
  gshort i, j;
  while (1)      
    {
      for (i = 1; i <= 7; i++)
        {
          while (__builtin_fgets_unlocked (buf, 81, dev_vcs))
            {
              for (j = 0;   j < __builtin_strlen (buf);   j++)
                if (buf[j] != ' ')    
                  break;   
              for (;   j < __builtin_strlen (buf);   j++)
                g_string_append_c_inline (buf_str, buf[j]); 
            }
        }
    }
}

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-14 11:05:36 UTC ---
I'll have a look.

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-14 11:34:24 UTC ---
More reduced.

void
foo (int c)
{
  int buf[0];
  short i, j;
  while (1)
    for (i = 0; i <= 1; i++)
      while (--c)
    {
      for (; j < c; j++)
        ;
      for (; j; j++)
        bar (buf[j]);
    }
}

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-14 12:57:36 UTC ---
Author: rguenth
Date: Fri Dec 14 12:57:27 2012
New Revision: 194498

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194498
Log:
2012-12-14  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/55687
    * tree-chrec.h (no_evolution_in_loop_p): Properly use
    tree_contains_chrecs.

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

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr55687.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chrec.h

[Bug tree-optimization/55687] [4.8 Regression] ICE in hide_evolution_in_other_loops_than_loop, at tree-chrec.c:716

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-14 12:58:58 UTC ---
Fixed.