[Bug fortran/101102] ICE in propagate_necessity, at tree-ssa-dce.c:980

[rguenth at gcc dot gnu.org via Gcc-bugs]

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.