[Bug tree-optimization/44303] New: [graphite] Segmentation fault within CLooG

[Bug tree-optimization/44303] New: [graphite] Segmentation fault within CLooG

[nbenoit at tuxfamily dot org]

The following code segfaults GCC 4.5 (and GCC trunk 159536) when compiled with
:

$ gcc -O1 -floop-parallelize-all test-17.c

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7bce389 in cloog_domain_stride (domain=<value optimized out>,
strided_level=<value optimized out>, nb_par=<value optimized out>, 
    stride=<value optimized out>, offset=<value optimized out>) at
source/ppl/domain.c:2813
2813          cloog_vector_gcd (U->p[0], U->NbColumns, stride);

GCC built with : cloog-ppl-0.15.9 ; gmp-4.3.2 ; mpc-0.8.1 ; mpfr-2.4.2 ;
ppl-0.10.2

The crash seems to be very specific to this value of N.


#define N 4
int A[N][N][N];

void
kernel ( void )
{
  unsigned int i, j, k;
  for ( i=0; i<N; ++i )
    {
      for ( j=0; j<N; ++j )
        {
          for ( k=0; k<N; ++k )
            {
              if ( i == j )
                {
                  if ( (k+1) == j )
                    A[i][j][k] = 1;
                  else
                    A[i][j][k] = k;
                }
              else
                {
                  if ( (i+1) == k )
                    A[i][j][k] = j;

                  A[i][j][k] += 3;
                }
            }
        }
    }
}


-- 
           Summary: [graphite] Segmentation fault within CLooG
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nbenoit at tuxfamily dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug tree-optimization/44303] [graphite] Segmentation fault within CLooG

[hjl dot tools at gmail dot com]

------- Comment #1 from hjl dot tools at gmail dot com  2010-05-28 14:04 -------
It is caused by revision 159886:

http://gcc.gnu.org/ml/gcc-cvs/2010-05/msg00942.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-05-28 14:04:12
               date|                            |


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

[Bug tree-optimization/44303] [graphite] Segmentation fault within CLooG

[hjl dot tools at gmail dot com]

------- Comment #2 from hjl dot tools at gmail dot com  2010-05-28 14:04 -------
(In reply to comment #1)
> It is caused by revision 159886:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2010-05/msg00942.html
> 

Oops. Wrong comments.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl dot tools at gmail dot
                   |                            |com


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

[Bug tree-optimization/44303] [graphite] Segmentation fault within CLooG

[spop at gcc dot gnu dot org]

------- Comment #3 from spop at gcc dot gnu dot org  2010-05-28 14:46 -------
Confirmed.

I think that this one is a bug in CLooG-PPL.  I will have a look at it.


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-05-28 14:04:12         |2010-05-28 14:46:22
               date|                            |


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