gcc/testsuite/gnat.dg/thin_pointer2.adb

   1 -- PR ada/42253
   2 -- Testcase by Duncan Sands <baldrick@gcc.gnu.org>
   3
   4 -- { dg-do run }
   5
   6 with Thin_Pointer2_Pkg; use Thin_Pointer2_Pkg;
   7
   8 procedure Thin_Pointer2 is
   9 begin
  10    if F /= '*' then
  11       raise Program_Error;
  12    end if;
  13 end;