This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/42411] Illegal program accepted, RM 4.1(8), 8.6(27)/2
- From: "ludovic at ludovic-brenta dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 17 Dec 2009 19:47:51 -0000
- Subject: [Bug ada/42411] Illegal program accepted, RM 4.1(8), 8.6(27)/2
- References: <bug-42411-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from ludovic at ludovic-brenta dot org 2009-12-17 19:47 -------
RM 8.6(27)/2 is also relevant:
When a construct is one that requires that its expected type be a
single type in a given class, the type of the construct shall be
determinable solely from the context in which the construct appears,
excluding the construct itself, but using the requirement that it be in
the given class. Furthermore, the context shall not be one that expects
any type in some class that contains types of the given class; in
particular, the construct shall not be the operand of a
type_conversion.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42411