This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/34251] New: Illegal program not detected - component of type with limited public and nonlimited private view
- From: "vgodunko at rostel dot ru" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Nov 2007 21:07:54 -0000
- Subject: [Bug ada/34251] New: Illegal program not detected - component of type with limited public and nonlimited private view
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
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