[Bug fortran/102314] New: [11/12 Regression] ICE in verify_ssa, at tree-ssa.c:1076

["gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 102314
           Summary: [11/12 Regression] ICE in verify_ssa, at
                    tree-ssa.c:1076
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20210606 and 20210613 :


$ cat z1.f90
program p
   character(:), allocatable :: y
   call s(y)
   !$omp target
   y = 'abc'
   !$omp end target
contains
   subroutine s(x)
      character(:), allocatable :: x
      x = '123'
   end
end


$ gfortran-12-20210905 -c z1.f90 -fopenmp -O0
$
$ gfortran-12-20210905 -c z1.f90 -fopenmp -O2
during GIMPLE pass: ccp
z1.f90:4:15:

    4 |    !$omp target
      |               ^
internal compiler error: Segmentation fault
0xd09e4f crash_signal
        ../../gcc/toplev.c:328
0xde9ef1 gimple_code
        ../../gcc/gimple.h:1803
0xde9ef1 gimple_nop_p
        ../../gcc/gimple.h:6673
0xde9ef1 get_default_value
        ../../gcc/tree-ssa-ccp.c:283
0xdea60a get_value
        ../../gcc/tree-ssa-ccp.c:376
0xdea60a ccp_finalize
        ../../gcc/tree-ssa-ccp.c:992
0xdeac64 do_ssa_ccp
        ../../gcc/tree-ssa-ccp.c:2960
0xdeac64 execute
        ../../gcc/tree-ssa-ccp.c:3003

---

$ gfortran-12-20210905 -c z1.f90 -fopenmp   # with --enable-checking=yes
during GIMPLE pass: ssa
z1.f90:4:15:

    4 |    !$omp target
      |               ^
internal compiler error: Segmentation fault
0xeace0f crash_signal
        ../../gcc/toplev.c:328
0x11327f0 verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1076
0xdb3187 execute_function_todo
        ../../gcc/passes.c:2049
0xdb3ef2 execute_todo
        ../../gcc/passes.c:2096