gcc/testsuite/gnat.dg/opt48.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Opt48_Pkg1; use Opt48_Pkg1;
   5 with Opt48_Pkg2; use Opt48_Pkg2;
   6
   7 procedure Opt48 is
   8 begin
   9    if Get_Z /= (12, "Hello world!") then
  10       raise Program_Error;
  11    end if;
  12 end;