gcc/testsuite/gnat.dg/thin_pointer2_pkg.adb

   1 package body Thin_Pointer2_Pkg is
   2
   3    type SB is access constant String;
   4
   5    function Inner (S : SB) return Character is
   6    begin
   7       if S /= null and then S'Length > 0 then
   8          return S (S'First);
   9       end if;
  10       return '*';
  11    end;
  12
  13    function F return Character is
  14    begin
  15       return Inner (SB (S));
  16    end;
  17
  18 end Thin_Pointer2_Pkg;