This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/42190] New: instantiation incorrectly considered allocation for restrictions check
- From: "rolf dot ebert dot gcc at gmx dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 26 Nov 2009 22:10:17 -0000
- Subject: [Bug ada/42190] New: instantiation incorrectly considered allocation for restrictions check
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
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