gcc/testsuite/gnat.dg/access3.adb

   1
   2 package body access3 is
   3
   4    type IT_Access is not null access all IT'Class;
   5    for IT_Access'Storage_Size use 0;
   6
   7    procedure Op
   8      (Obj_T2 : in out T2;
   9       Obj_IT : not null access IT'Class)
  10    is
  11       X : constant IT_Access := Obj_IT.all'Unchecked_Access;
  12    begin
  13       null;
  14    end Op;
  15
  16 end access3;