rt_gccstream/gcc/testsuite/gnat.dg/thin_pointer2_pkg.adb

19 lines
350 B
Ada

package body Thin_Pointer2_Pkg is
type SB is access constant String;
function Inner (S : SB) return Character is
begin
if S /= null and then S'Length > 0 then
return S (S'First);
end if;
return '*';
end;
function F return Character is
begin
return Inner (SB (S));
end;
end Thin_Pointer2_Pkg;