tree_static_def.adb « gnat.dg « testsuite « gcc - cbb-gcc-4.6.4 - compiler building blocks: cbb-gcc-4.6.4: including full support for the midipix targets

summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/tree_static_def.adb

blob: ed86747a8b156f62ef66e0e40a046d06b58c2e55 (plain)

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;