summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/check_elaboration_code.adb
blob: 63dde56f23a910577e0eb7104139abc7853667dd (plain)
1
2
3
4
5
6
7
8
9
-- { dg-do run }
with Bug_Elaboration_Code; use Bug_Elaboration_Code;

procedure Check_Elaboration_Code is
begin
   if I /= J then
      raise Program_Error;
   end if;
end Check_Elaboration_Code;