gcc/testsuite/gnat.dg/opt80.adb

   1 --  { dg-do run }
   2 --  { dg-options "-O2" }
   3
   4 with Ada.Text_IO; use Ada.Text_IO;
   5
   6 procedure Opt80 is
   7    Item : Integer;
   8 begin
   9    Item := Integer'Value ("zzz");
  10    Put_Line (Boolean'Image (Item'Valid));
  11    raise Program_Error;
  12 exception
  13    when Constraint_Error =>
  14       null;
  15 end;