gcc/testsuite/gnat.dg/opt22.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Opt22_Pkg; use Opt22_Pkg;
   5
   6 procedure Opt22 is
   7
   8    procedure Go (S : String) is
   9    begin
  10       begin
  11         Fail;
  12       exception
  13         when Constraint_Error => Put ("the " & S);
  14       end;
  15       Put ("the " & S);
  16    end;
  17
  18 begin
  19    Go ("message");
  20 end;