[Bug ada/62205] New: GNAT does not accept class types for Default_Iterator

[Bug ada/62205] New: GNAT does not accept class types for Default_Iterator

[porton at narod dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

            Bug ID: 62205
           Summary: GNAT does not accept class types for Default_Iterator
           Product: gcc
           Version: 4.9.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: porton at narod dot ru

Created attachment 33370
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33370&action=edit
An Ada file whose semantics does not verify

I attach an Ada package file which does not verify:

gprbuild -q -c -gnatc -u -P/home/porton/t/default.gpr test.ads --subdirs=check
-cargs:Ada -g -O0 -gnato -fstack-check -gnatVa -cargs:C -g -O0 -fstack-check
-cargs:C++ -g -O0 -fstack-check
test.ads:19:28: Default Iterator must be a primitive of "Descriptions_List"
gprbuild: *** compilation phase failed

But from Ada Reference Manual 2012 (5.5.1 8/3):

[[[
Default_Iterator

This aspect is specified by a name that denotes exactly one function declared
immediately within the same declaration list in which T is declared, whose
first parameter is of type T or T'Class or an access parameter whose designated
type is type T or T'Class, whose other parameters, if any, have default
expressions, and whose result type is an iterator type.
]]]

That is T'Class (in our case Descriptions_List'Class) should work.

I think this is a bug in GNAT 4.9.1.

[Bug ada/62205] GNAT does not accept class types for Default_Iterator

[porton at narod dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

--- Comment #1 from Victor Porton <porton at narod dot ru> ---
It does not work with GNAT GPL 2014.

$ gnat compile -gnatc -gnat12 test.ads 
gcc -c -gnatc -gnat12 test.ads
test.ads:19:28: Default Iterator must be a primitive of "Descriptions_List"
gnatmake: "test.ads" compilation error

[Bug ada/62205] GNAT does not accept class types for Default_Iterator

[porton at narod dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

Victor Porton <porton at narod dot ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|4.9.1                       |4.9.2

--- Comment #2 from Victor Porton <porton at narod dot ru> ---
It does not work also with GNAT 4.9.2.

[Bug ada/62205] GNAT does not accept class types for Default_Iterator

[demoonlit at panathenaia dot halfmoon.jp]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

--- Comment #3 from yuta tomino <demoonlit at panathenaia dot halfmoon.jp> ---
It seems fixed with gcc-5-20150405.

[Bug c/62205] GNAT does not accept class types for Default_Iterator

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

Arnaud Charlet <charlet at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |charlet at gcc dot gnu.org
          Component|ada                         |c
         Resolution|---                         |FIXED
   Target Milestone|---                         |5.0

--- Comment #4 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Closing then