[Patch, fortran] PR20880 - Failure to detect procedures encompassing own interface

Paul Richard Thomas paul.richard.thomas@gmail.com
Mon Nov 27 14:06:00 GMT 2006


> "Two or more accessible entities, other than generic interfaces or
> defined operators, may have the same
> identifier only if the identifier is not used to refer to an entity in
> the scoping unit. Generic interfaces and
> defined operators are handled as described in section 16.2.3. Except for
> these cases, the local identifier
> of any entity given accessibility by a USE statement shall differ from
> the local identifiers of all other
> entities accessible to the scoping unit through USE statements and
> otherwise."

> At the moment I fail to see whether this allows or forbids it.

The key is the "not used to refer to" in the first sentence.  Clearly
two modules can contain any amount of ambiguity and, indeed, must be
able to do so, just as long as the ambiguous symbols are not referred
to.

I believe that the test should include && sym->referenced.  I will
check this tonight and will commit under the obvious rule if it's OK.

Paul



More information about the Gcc-patches mailing list