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: gs...@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
