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


1
2
3
4
5
6
7
8
9
10
11


package body TREE_STATIC_Def is

 procedure check (i : int; v : integer) is
 begin
    if i.value /= v then
      raise program_error;
    end if;
 end;
end;