Re: Eliminating copying in Gnat

[Stephen Leake <Stephen.A.Leake@nasa.gov>]

porton@ex-code.com (Victor Porton) writes:

> Is it possible to cause Gnat to not do unnecessary copying
> when calling this fynction?
> 
> function Pass(X: T) return T is
>   pragma Inline(Pass);
> begin
>   return X;
> end;

Try using a separate specification for Pass, and applying pragma
Inline there:

function Pass(X: T) return T;
pragma Inline(Pass);

function Pass(X: T) return T is
begin
  return X;
end;

I'm not clear if this is the problem.

> If T is a controlled type, it calls Adjust 3(!) times even if I
> compile with optimization ("-O3 -gnatN").

Post complete code that demonstrates this; maybe I'll have other
suggestions. 

> It is in Gnat-3.14p. May be it was fixed in Gnat-3.2/3.15p?

I can test with Gnat 3.15p that if I have complete code.

-- 
-- Stephe