This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/15605] invalid program not detected, RM 8.3(22)
- 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: 16 Dec 2007 14:04:29 -0000
- Subject: [Bug ada/15605] invalid program not detected, RM 8.3(22)
- References: <bug-15605-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #4 from ludovic at ludovic-brenta dot org 2007-12-16 14:04 -------
As of 4.2.2, only the first of the two errors is detected. Reopening. The
second error violates 8.5.4(6): "A name that denotes a formal parameter of the
subprogram_specification is not allowed within the callable_entity_name." and
is not diagnosed.
GCC 4.1.2:
gnatmake -gnat05 pak1
gcc-4.1 -c -gnat05 pak1.ads
pak1.ads:8:15: formal parameter "list" cannot be used before end of
specification
GCC 4.2.2:
gnatmake -gnat05 pak1
gcc-4.2 -c -gnat05 pak1.ads
pak1.ads:8:15: formal parameter "list" cannot be used before end of
specification
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15605