http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61127
Bug ID: 61127
Summary: GNAT incorrectly accepts <> as a second association of
a generic formal package
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: georggcc at googlemail dot com
Assuming that in generic associations, a box needs to have "others =>" before
it unless it is the sole item, GNAT should reject:
with Ada.Containers.Vectors;
generic
with package G is new Ada.Containers.Vectors (Natural, Positive, <>);
package Gen_Pak is end Gen_Pak;
$ gnatmake -gnatwa -gnatg gen_pak.ads
gcc -c -gnatwa gen_pak.ads
$ gcc -v
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/Volumes/Macintosh\
HD/Users/bauhaus/4.9/bin/../libexec/gcc/x86_64-apple-darwin13.1.0/4.9.0/lto-wrapper
Target: x86_64-apple-darwin13.1.0
Configured with: /Macintosh_HD/Users/bauhaus/src/GCC-trunk/configure
--prefix=/Macintosh_HD/Users/bauhaus/4.9 --disable-nls
--enable-languages=c,ada,c++ CC=gcc
Thread model: posix
gcc version 4.9.0 20140331 (experimental) (GCC)