The following program pragma Restrictions (No_Local_Allocators);
procedure Restrict_Bug is generic package Generic_Pkg is I : Integer; end Generic_Pkg; package Instance is new Generic_Pkg; begin null; end Restrict_Bug; creates the error message: gnatmake -v restrict_bug GNATMAKE 4.4.2 Copyright (C) 1995-2008, Free Software Foundation, Inc. "restrict_bug.ali" being checked ... -> "restrict_bug.ali" missing. gcc -c restrict_bug.adb restrict_bug.adb:10:04: violation of restriction "No_Local_Allocators" at line 1 End of compilation gnatmake: "restrict_bug.adb" compilation error -- Summary: instantiation incorrectly considered allocation for restrictions check Product: gcc Version: 4.4.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: rolf dot ebert dot gcc at gmx dot de GCC host triplet: MinGW http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42190