This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/16086] Legal program rejected, procedure of protected object should be visible
- 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: 3 May 2007 18:27:06 -0000
- Subject: [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
- References: <bug-16086-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #5 from ludovic at ludovic-brenta dot org 2007-05-03 19:27 -------
I disagree. Per RM 9.5.1(1), "a protected subprogram IS a subprogram..."
(emphasis mine). Furthermore, the last sentence of 12.6(9) says: "The view is
a function or procedure, never an entry". Both of these sentences consistently
imply that protected procedures and functions are allowed as actuals for
generic formal subprograms.
GNAT must accept the sample program if it is to comply with the ARM. If you
still disagree, please quote chapter and verse.
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086