[Bug fortran/71758] ICE in verify_gimple_in_cfg, at tree-cfg.c:5212

[gerhard.steinmetz.fortran@t-online.de]

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

--- Comment #2 from Gerhard Steinmetz <gerhard.steinmetz.fortran@t-online.de> ---
Reduced to mismatch in device(.), without option -fdefault* :


$ cat z1.f90
program p
  use omp_lib, only: omp_is_initial_device
  integer(8), parameter :: n = 10
  integer(8) :: i
  logical(8) :: offload(N)
  !$omp parallel do
  do i = 1, n
    !$omp target device(i-1) map(from: offload(i:i))
      offload(i) = omp_is_initial_device ()
    !$omp end target
  end do
end program


$ gfortran-6 -fopenmp z1.f90


$ gfortran-7-20160703 -fopenmp z1.f90
z1.f90:2:0:

   use omp_lib, only: omp_is_initial_device

Error: invalid argument to gimple call
(integer(kind=4)) D.3548
__builtin_GOMP_target_ext ((integer(kind=4)) D.3548, MAIN__._omp_fn.1, 3,
&.omp_data_arr.5, &.omp_data_sizes.6, &.omp_data_kinds.7, 0, 0B,
&.omp_target_args.9);
z1.f90:2:0: internal compiler error: verify_gimple failed
0xc51336 verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.c:5212
0xb41283 execute_function_todo
        ../../gcc/passes.c:1964
0xb41aed do_per_function
        ../../gcc/passes.c:1655
0xb41c3b execute_todo
        ../../gcc/passes.c:2016