https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103695
Bug ID: 103695
Summary: [12 Regression] ICE: verify_ssa failed
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Changed between 20210523 and 20210530, at -O1+ :
$ cat z1.f90
program p
integer :: i
do i = 1, 3
call sub (s(i))
end do
contains
function s(n) result(z)
integer, target, intent(in) :: n
integer, pointer :: z
integer :: a(8), b(8), c(8)
!$omp task affinity (iterator(j=1:8) : a(j), b(j), c(j))
!$omp end task
z => n
end
end
$ gfortran-12-20211212 -c z1.f90 -fopenmp -O0
$
$ gfortran-12-20211212 -c z1.f90 -fopenmp -O2
z1.f90:3:14:
3 | do i = 1, 3
| ^
Error: virtual definition of statement not up to date
i = 1;
during GIMPLE pass: ssa
z1.f90:3:14: internal compiler error: verify_ssa failed
0x11a066b verify_ssa(bool, bool)
../../gcc/tree-ssa.c:1211
0xe14347 execute_function_todo
../../gcc/passes.c:2091
0xe14c92 execute_todo
../../gcc/passes.c:2138
