B.3. The Stack - JulTob/Ada GitHub Wiki

By default, object cannot be referenced – and can be optimized out in registers by the compiler

“aliased” declares an object to be referenced through an access

“ 'Access ” gives a reference to the object

V : aliased Integer;
A : Int_Access := V'Access;

type Acc is access all Integer;
G : Acc;

procedure P is
   V : aliased Integer;
   begin
   G := V'Access;
   end P;