gcc-4.9/gcc/testsuite/gnat.dg/thin_pointer2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13

-- PR ada/42253
-- Testcase by Duncan Sands <baldrick@gcc.gnu.org>

-- { dg-do run }

with Thin_Pointer2_Pkg; use Thin_Pointer2_Pkg;

procedure Thin_Pointer2 is
begin
   if F /= '*' then
      raise Program_Error;
   end if;
end;