Does `pragma inline` work when instantiating generic code?

Does `pragma inline` work when instantiating generic code?

[EGarrulo]

Assuming this generic code (see the comment in the second file):

------ negate.ads ------

generic
   with function Predicate return Boolean;
function Negate return Boolean;

------ negate.adb ------

function Negate return Boolean is
begin
   return not Predicate; -- ##### Will the compiler inline this call? ######
end Negate;

------ test.adb ------

procedure Test is
   function My_Predicate return Boolean is begin
     return True;
   end My_Predicate;

   pragma inline(My_Predicate);

   function My_Not_Predicate is new Negate (My_Predicate);
   
   X : Boolean := My_Not_Predicate;
begin
   null;
end Test;

------------------------


Thank you.

Re: Does `pragma inline` work when instantiating generic code?

[Georg Bauhaus]

On 26.07.15 13:15, EGarrulo wrote:
[Subject]
Yes, inlining works with generics; e.g., the GNAT User's Guide
explains how inlining (which requires optimization) affects
source dependence: inlining needs looking into bodies, thence
of instances. In fact, compiler switches are required for your
original example to produce any instructions at all. as it is devoid
of effects, so no op code needs to be generated.