https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101102
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2021-06-17
Keywords| |wrong-code
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
> ./f951 -quiet t.f90 -fcoarray=lib
t.f90:1:9:
1 | program p
| ^
Error: type mismatch in binary expression
real(kind=4)
real(kind=4)[2]
real(kind=4)
_5 = a + 2.0e+0;
t.f90:1:9: internal compiler error: 'verify_gimple' failed
0x1457e27 verify_gimple_in_seq(gimple*)
/home/rguenther/src/gcc2/gcc/tree-cfg.c:5161
0x1018cb7 gimplify_body(tree_node*, bool)
/home/rguenther/src/gcc2/gcc/gimplify.c:15407
0x1018f51 gimplify_function_tree(tree_node*)
/home/rguenther/src/gcc2/gcc/gimplify.c:15478
0x14f6031 gimplify_all_functions
/home/rguenther/src/gcc2/gcc/tree-nested.c:3672
so the fortran FE emits an add of real(2) and real.
