http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50121
--- Comment #1 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-18 23:16:31 UTC --- The snippet above is rejected with: pr50121.f90:1.1: 1 type t 1 pr50121.f90:6.1: 1 print *, 'Hello' 2 Error: Duplicate statement label 1 at (1) and (2) pr50121.f90:1.1: 1 type t 1 pr50121.f90:5.9: goto 1 2 Error: Statement at (1) is not a valid branch target statement for the branch statement at (2)