[Bug fortran/77382] New: ICE: verify_gimple failed -- expand_expr_real_1, at expr.c:9651

["gerhard dot steinmetz dot fortran at t-online dot de" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 77382
           Summary: ICE: verify_gimple failed -- expand_expr_real_1, at
                    expr.c:9651
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerhard.steinmetz.fortran@t-online.de
  Target Milestone: ---

With invalid code, and configured with --enable-checking=yes :


$ cat z1.f90
subroutine s
entry f(s)
end
call s
end


$ cat z2.f90
program p
call s
end
subroutine s
entry f(s)
end


$ gfortran-7-20160821 z1.f90
z1.f90:4:0:

 call s

Error: Local declaration from a different function
s
z1.f90:4:0:

 call s

note: in statement
s ();
z1.f90:4:0:

 call s

internal compiler error: verify_gimple failed
0xc5ed96 verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.c:5212
0xb4a363 execute_function_todo
        ../../gcc/passes.c:1964
0xb4ac95 execute_todo
        ../../gcc/passes.c:2014