gcc/testsuite/gnat.dg/opt13.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Opt13_Pkg; use Opt13_Pkg;
   5
   6 procedure Opt13 is
   7   T : My_Type;
   8 begin
   9   Allocate (T);
  10   if N /= 1 then
  11     raise Program_Error;
  12   end if;
  13 end;