summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/thin_pointer2.adb
blob: 52c4dd6deab1a864bc9460f50056147c57911d98 (plain)
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;