--  { dg-do run }
--  { dg-options "-O2" }

with Ada.Text_IO; use Ada.Text_IO;

procedure Opt80 is
   Item : Integer;
begin
   Item := Integer'Value ("zzz");
   Put_Line (Boolean'Image (Item'Valid));
   raise Program_Error;
exception
   when Constraint_Error =>
      null;
end;