No_Implicit_Heap_Allocations

[Maciej Sobczak <see.my.homepage@gmail.com>]

Consider this reduced test:

--  file p.ads:
package P is
   procedure Wait_Until_Something;
end P;

--  file p.adb:
package body P is

   protected Object is
      entry Wait_Until_Something;
   private
      Something : Boolean := False;
   end Object;

   protected body Object is
      entry Wait_Until_Something when Something is
      begin
         null;
      end Wait_Until_Something;
   end Object;

   procedure Wait_Until_Something is
   begin
      Object.Wait_Until_Something;
   end Wait_Until_Something;

end P;

--  file foo.adb:
pragma Restrictions (No_Implicit_Heap_Allocations);

with P;

procedure Foo is
begin
   null;
end Foo;

Now the interesting part:

$ gnatmake foo
gcc -c p.adb
gnatbind -x foo.ali
error: "foo.adb" has restriction No_Implicit_Heap_Allocations
error: but the following files violate this restriction:
error:   "p.adb"
gnatmake: *** bind failed.
$

What happens here? In what way p.adb violates the restriction on
implicit heap usage?
I don't see anything there that could possibly violate it and if it
does due to internals of this trivial protected object, then I think
Ravenscar programs are in trouble.

This is GNAT GPL 2009 on Linux-x86.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com