http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47136
janus at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|rejects-valid |accepts-invalid
--- Comment #7 from janus at gcc dot gnu.org 2011-01-02 15:21:34 UTC ---
(In reply to comment #6)
> Within the scope of module "a" everything is fine, since the module "s" is not
> used. Within the scope of module "s", however, the subroutine "s" is a local
> identifier (by means of use association) and conflicts with the global
> identifier of module "s" itself. Right?
By this reasoning the PR is actually of the type "accepts-invalid" and not
"rejects-valid".