[Bug tree-optimization/39007] New: -ftree-loop-distribution ICEs

[Bug tree-optimization/39007] New: -ftree-loop-distribution ICEs

[kazu at gcc dot gnu dot org]

Consider:

void
foo (int *__restrict__ p, int *__restrict__ q, int count)
{
  while (--count >= 0)
    {
      *p++ = 0;
      *q++ = 0;
    }
}

I get:

$ ./cc1 -quiet -O2 -ftree-loop-distribution min.c
min.c: In function 'foo':
min.c:2: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

This is as of Revision 143741, which is after the fix for PR
tree-optimization/38997 has gone in:

http://gcc.gnu.org/ml/gcc-cvs/2009-01/msg00752.html

FWIW, if I try:

void
foo (int *__restrict__ p, int *__restrict__ q, int count)
{
  int i;
  for (i = 0; i < count; i++)
    {
      *p++ = 0;
      *q++ = 0;
    }
}

I get:

*** glibc detected *** ./cc1: malloc(): memory corruption: 0xf7efd160 ***

I am guessing that depending on the exact memory allocation pattern,
different parts of memory get corrupted.


-- 
           Summary: -ftree-loop-distribution ICEs
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: kazu at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/39007] -ftree-loop-distribution ICEs

[kazu at gcc dot gnu dot org]

------- Comment #1 from kazu at gcc dot gnu dot org  2009-01-29 02:23 -------
I've got a patch.


-- 

kazu at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/39007] -ftree-loop-distribution ICEs

[kazu at gcc dot gnu dot org]

------- Comment #2 from kazu at gcc dot gnu dot org  2009-01-29 16:11 -------
Patch posted.


-- 

kazu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2009-
                   |                            |01/msg01449.html


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

[Bug tree-optimization/39007] -ftree-loop-distribution ICEs

[kazu at gcc dot gnu dot org]

------- Comment #3 from kazu at gcc dot gnu dot org  2009-01-29 18:23 -------
Subject: Bug 39007

Author: kazu
Date: Thu Jan 29 18:23:21 2009
New Revision: 143767

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143767
Log:
gcc/
        PR tree-optimization/39007
        * tree-loop-distribution.c (generate_builtin): Use
        recompute_dominator to compute the immediate dominator of the
        basic block just after the loop.

gcc/testsuite/
        PR tree-optimization/39007
        * gcc.dg/tree-ssa/pr39007.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr39007.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-loop-distribution.c


-- 


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

[Bug tree-optimization/39007] -ftree-loop-distribution ICEs

[kazu at gcc dot gnu dot org]

------- Comment #4 from kazu at gcc dot gnu dot org  2009-01-29 18:31 -------
Fixed.


-- 

kazu at gcc dot gnu dot org changed:

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


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