[Bug ada/42190] New: instantiation incorrectly considered allocation for restrictions check

[rolf dot ebert dot gcc at gmx dot de]

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