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


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;