[Bug fortran/103474] New: ICE in simplify_cobound, at fortran/simplify.c:4415

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

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

            Bug ID: 103474
           Summary: ICE in simplify_cobound, at fortran/simplify.c:4415
           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: ---

With a missing attribute allocatable or pointer :
(affects version down to at least r5)
(gcc configured with --enable-checking=yes)


$ cat z1.f90
program p
   type t
      integer :: a
   end type
   class(t) :: x[:]
   print *, ucobound(x)
end


$ cat z2.f90   # ok
program p
   type t
      integer :: a
   end type
   class(t), allocatable :: x[:]
   print *, ucobound(x)
end


$ gfortran-12-20211128 -c z1.f90 -fcoarray=lib
z1.f90:5:19:

    5 |    class(t) :: x[:]
      |                   1
Error: Coarray variable 'x' at (1) shall not have codimensions with deferred
shape
f951: internal compiler error: in simplify_cobound, at fortran/simplify.c:4415
0x866f12 simplify_cobound
        ../../gcc/fortran/simplify.c:4415
0x7ee36a do_simplify
        ../../gcc/fortran/intrinsic.c:4655
0x7f94aa gfc_intrinsic_func_interface(gfc_expr*, int)
        ../../gcc/fortran/intrinsic.c:5034
0x84d41c resolve_unknown_f
        ../../gcc/fortran/resolve.c:2972
0x84d41c resolve_function
        ../../gcc/fortran/resolve.c:3329
0x84d41c gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:7166
0x853944 gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:7133
0x853944 gfc_resolve_code(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:11928
0x85228f gfc_resolve_blocks(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:10944
0x852658 gfc_resolve_code(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:11918
0x854f97 resolve_codes
        ../../gcc/fortran/resolve.c:17536
0x85505e gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.c:17571
0x83d314 resolve_all_program_units
        ../../gcc/fortran/parse.c:6573
0x83d314 gfc_parse_file()
        ../../gcc/fortran/parse.c:6829
0x88b37f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216