Hello,
I have following output from the compiler for attached testcase:
gcc -c items.adb -gnat05
items.adb:11:21: expected type
"System.Finalization_Implementation.Limited_Record_Controller"
items.adb:11:21: found type
"System.Finalization_Implementation.Record_Controller"
This strange diagnosis seems as result of accept illegal program by the
compiler. Type Item is a non-limited type with component of type with limited
public and non-limited private view, so Item also must be a limited type.
--
Summary: Illegal program not detected - component of type with
limited public and nonlimited private view
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: vgodunko at rostel dot ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34251
