This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/67744] polymorphic associating entity is refused TBP invocation
- From: "Bader at lrz dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 12 Oct 2015 19:15:50 +0000
- Subject: [Bug fortran/67744] polymorphic associating entity is refused TBP invocation
- Auto-submitted: auto-generated
- References: <bug-67744-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67744
--- Comment #3 from Bader at lrz dot de <Bader at lrz dot de> ---
The question on validity is not unjustified. The 2008 standard appears to be
not fully clear on this, but the current 2015 draft has the following amended
text in para 2 of section 8.1.3.3:
---
The associating entity itself is a variable, but if the selector is not a
definable variable, the associating entity is not definable and shall not be
defined or become undefined. If the selector is not permitted to appear in a
variable definition context (16.6.7), the associate name shall not appear in a
variable definition context.
---
The first sentence, I think, implies that my code example is valid.
Cheers
Reinhold