https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85002
--- Comment #5 from G. Steinmetz <gs...@t-online.de> --- Please note that switching to a test-version (configured with --enable-checking=yes) allows further reduction to another branch : $ cat z7.f90 program p type t2 integer, allocatable :: b(:) end type type(t2) :: y[*] y = t2([123]) end $ gfortran-10-20191215 -c z7.f90 -fcoarray=single z7.f90:1:0: 1 | program p | Error: non-trivial conversion in 'var_decl' struct array02_integer(kind=4) struct array01_integer(kind=4) t2.0.b = parm.2; z7.f90:1:0: internal compiler error: 'verify_gimple' failed 0xd4efad verify_gimple_in_seq(gimple*) ../../gcc/tree-cfg.c:5097 0xa1a055 gimplify_body(tree_node*, bool) ../../gcc/gimplify.c:14670 0xa1a344 gimplify_function_tree(tree_node*) ../../gcc/gimplify.c:14760 0x855fa7 cgraph_node::analyze() ../../gcc/cgraphunit.c:669 0x859335 analyze_functions ../../gcc/cgraphunit.c:1212 0x85a692 symbol_table::finalize_compilation_unit() ../../gcc/cgraphunit.c:2958