[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

--- Comment #7 from Dominik Vogt  ---
The ICE (s390x) has gone away with this commit:

2017-01-31  Richard Biener  

PR tree-optimization/77318
* graphite-sese-to-poly.c (extract_affine): Fix assert.
(create_pw_aff_from_tree): Take loop parameter.
(add_condition_to_pbb): Pass loop of the condition to
create_pw_aff_from_tree.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@245064
138bc75d-0d04-0410-96

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

--- Comment #6 from Dominik Vogt  ---
This no longer happens with current trunk.  The warnings are still present, but
the ICE is gone:

(In reply to Dominik Vogt from comment #1)
> I get (pprobably) the same ICE on s390x with today's devel branch in
> pr68279.f90.  Reduced test case (which intentionally has some out of bound
> array accesses):
> 
> MODULE foo 
>   CONTAINS 
>   SUBROUTINE bar(o) 
> INTEGER, DIMENSION(2, 1) :: a 
> INTEGER, DIMENSION(1) :: b 
> INTEGER, DIMENSION(1, 1) :: o 
> INTEGER :: d 
>  DO i=1,2 
> b(1:2) = b(1:2) 
> o(1:1, 1:d) = a(1:1, 1:d) 
> a(1:2, 2) = b(1:2) 
> d = d + 1 
>  END DO 
>   END SUBROUTINE bar 
> END MODULE 

> internal compiler error: Aborted
> 0x806bd397 crash_signal
>   /home/vogt/src/t/gcc/toplev.c:335
> 0x80b3b683 extract_affine_chrec
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:239
> 0x80b3b683 extract_affine
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:381
> 0x80b3b8b7 extract_affine
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:421
> 0x80b3c52d add_condition_to_pbb
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:458
> 0x80b3c52d add_conditions_to_domain
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:525
> 0x80b3c52d build_iteration_domains
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:1017
> 0x80b3c2dd build_iteration_domains
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:1040
> 0x80b3c95f build_poly_scop(scop*)
>   /home/vogt/src/t/gcc/graphite-sese-to-poly.c:1364
> 0x80b296c9 graphite_transform_loops()
>   /home/vogt/src/t/gcc/graphite.c:319
> 0x80b29c4f graphite_transforms
>   /home/vogt/src/t/gcc/graphite.c:356
> 0x80b29c4f execute
>   /home/vogt/src/t/gcc/graphite.c:433

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|6.3 |6.4

--- Comment #5 from Jakub Jelinek  ---
GCC 6.3 is being released, adjusting target milestone.

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|6.2 |6.3

--- Comment #3 from Richard Biener  ---
GCC 6.2 is being released, adjusting target milestone.

--- Comment #4 from Richard Biener  ---
GCC 6.2 is being released, adjusting target milestone.

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|6.2 |6.3

--- Comment #3 from Richard Biener  ---
GCC 6.2 is being released, adjusting target milestone.

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Arseny Solokha  changed:

   What|Removed |Added

 CC||asolokha at gmx dot com

--- Comment #2 from Arseny Solokha  ---
I cannot reproduce this ICE w/ testcase from #c0, compiling it w/ current gcc 7
snapshot for both x86_64 and 32-bit powerpc. Note that I have ISL 0.17.1
installed. However, I see a similar ICE on both archs w/ the following
testcase:

int j6, u6, ip;
int vi[2], sx[3];

void
i0 (void)
{
  for (ip = 0; ip < 2; ++ip)
{
  static int xj[2] = { 0 };

  for (j6 = 0; j6 < 2; ++j6)
u6 = xj[j6];
  if (xj[ip] != 0)
u6 = sx[ip + 1];
  for (j6 = 0; j6 < 2; ++j6)
vi[j6] = 0;
}
}

% x86_64-pc-linux-gnu-gcc-7.0.0-alpha20160703 -c -O2 -floop-nest-optimize
uagtztry.c
isl-0.17.1/work/isl-0.17.1/isl_aff.c:1019: position out of bounds
uagtztry.c: In function 'i0':
uagtztry.c:5:1: internal compiler error: Aborted
 i0 (void)
 ^~

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Dominik Vogt  changed:

   What|Removed |Added

 CC||vogt at linux dot vnet.ibm.com

--- Comment #1 from Dominik Vogt  ---
I get (pprobably) the same ICE on s390x with today's devel branch in
pr68279.f90.  Reduced test case (which intentionally has some out of bound
array accesses):

MODULE foo 
  CONTAINS 
  SUBROUTINE bar(o) 
INTEGER, DIMENSION(2, 1) :: a 
INTEGER, DIMENSION(1) :: b 
INTEGER, DIMENSION(1, 1) :: o 
INTEGER :: d 
 DO i=1,2 
b(1:2) = b(1:2) 
o(1:1, 1:d) = a(1:1, 1:d) 
a(1:2, 2) = b(1:2) 
d = d + 1 
 END DO 
  END SUBROUTINE bar 
END MODULE 

==>

.../gcc/testsuite/gfortran2/../../gfortran -B.../gcc/testsuite/gfortran2/../../
-B.../s390x-ibm-linux-gnu/32/libgfortran/ x.f90 -floop-nest-optimize -O1 -S
-m64
x.f90:9:10:

 b(1:2) = b(1:2)
  1
Warning: Upper array reference at (1) is out of bounds (2 > 1) in dimension 1
x.f90:9:19:

 b(1:2) = b(1:2)
   1
Warning: Upper array reference at (1) is out of bounds (2 > 1) in dimension 1
x.f90:11:15:

 a(1:2, 2) = b(1:2)
   1
Warning: Array reference at (1) is out of bounds (2 > 1) in dimension 2
x.f90:11:22:

 a(1:2, 2) = b(1:2)
  1
Warning: Upper array reference at (1) is out of bounds (2 > 1) in dimension 1
isl_aff.c:944: position out of bounds
x.f90:3:0:

   SUBROUTINE bar(o)

internal compiler error: Aborted
0x806bd397 crash_signal
/home/vogt/src/t/gcc/toplev.c:335
0x80b3b683 extract_affine_chrec
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:239
0x80b3b683 extract_affine
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:381
0x80b3b8b7 extract_affine
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:421
0x80b3c52d add_condition_to_pbb
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:458
0x80b3c52d add_conditions_to_domain
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:525
0x80b3c52d build_iteration_domains
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:1017
0x80b3c2dd build_iteration_domains
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:1040
0x80b3c95f build_poly_scop(scop*)
/home/vogt/src/t/gcc/graphite-sese-to-poly.c:1364
0x80b296c9 graphite_transform_loops()
/home/vogt/src/t/gcc/graphite.c:319
0x80b29c4f graphite_transforms
/home/vogt/src/t/gcc/graphite.c:356
0x80b29c4f execute
/home/vogt/src/t/gcc/graphite.c:433

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Jakub Jelinek  changed:

   What|Removed |Added

   Priority|P3  |P4
 CC||jakub at gcc dot gnu.org,
   ||spop at gcc dot gnu.org

[Bug tree-optimization/71144] [6/7 Regression] isl_aff.c:1001: position out of bounds

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |6.2