gcc/testsuite/gnat.dg/range_check5.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnateF -O0" }
   3
   4 procedure Range_Check5 is
   5
   6   subtype Small_Float is Float range -100.0 .. 100.0;
   7
   8   function Conv (F : Long_Float) return Small_Float is
   9   begin
  10     return Small_Float (F);
  11   end;
  12
  13   R : Small_Float;
  14
  15 begin
  16   R := Conv (4.0E+38);
  17   raise Program_Error;
  18 exception
  19    when Constraint_Error =>
  20       null;
  21 end;