[Bug tree-optimization/102387] New: [12 Regression] ICE Segmentation fault since r12-2429-g62acc72a957b5614

[marxin at gcc dot gnu.org]

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

            Bug ID: 102387
           Summary: [12 Regression] ICE Segmentation fault since
                    r12-2429-g62acc72a957b5614
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: richard.sandiford at arm dot com
  Target Milestone: ---

The following crashes:

$ cat loop.f90
   integer, dimension (3, 3) :: a
   call test1(a, (/123456/))
   call test1(a(:2, :), (/124578/))
contains
subroutine test1(p, q)
   integer, dimension(*) :: p
   integer, dimension(:) :: q
   if (any (p(size0) .ne. q)) STOP 
end 
end 

$ gfortran loop.f90 --param=unroll-jam-min-percent=0 -Ofast -fno-tree-ch
--param=max-completely-peeled-insns=1 --param=early-inlining-insns=100
-fno-tree-vrp
loop.f90:8:14:

    8 |    if (any (p(size0) .ne. q)) STOP
      |              1
Warning: Legacy Extension: REAL array index at (1)
during GIMPLE pass: unrolljam
loop.f90:3:35:

    3 |    call test1(a(:2, :), (/124578/))
      |                                   ^
internal compiler error: Segmentation fault
0xf7a54a crash_signal
        /home/marxin/Programming/gcc/gcc/toplev.c:328
0x7ffff786239f ???
        ../sysdeps/unix/sysv/linux/sigaction.c:10
0x10ef65c tree_transform_and_unroll_loop(loop*, unsigned int, edge_def*,
tree_niter_desc*, void (*)(loop*, void*), void*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-loop-manip.c:1425
0x1bc688b tree_loop_unroll_and_jam
        /home/marxin/Programming/gcc/gcc/gimple-loop-jam.c:590
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.