[Bug fortran/50071] gfortran does not distinguish labels in different type scoping units

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50071

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-08-18 12:36:21 UTC ---
Submitted patch by Mikael: http://gcc.gnu.org/ml/fortran/2011-08/msg00127.html
The submitted patch fixes the issue of comment 0 and an issue affecting BLOCK
and ASSOCIATE.

It does not fix the following two programs, which should be valid and are
currently rejected.

! ----------
1 type t
    integer :: i
  end type t

  goto 1
1 print *, 'Hello'
end

! ----------
   block
     goto 1
     print *, 'Hello'
1    continue
   end block
1  continue
end

Regarding the validity of the latter, I have now asked at J3:
http://j3-fortran.org/pipermail/j3/2011-August/004585.html