gcc/testsuite/gnat.dg/range_check3_pkg.adb

   1 package body Range_Check3_Pkg is
   2    function One return Positive is
   3    begin
   4       return 1;
   5    end One;
   6
   7    function Zero return Natural is
   8    begin
   9       return 0;
  10    end Zero;
  11
  12    function Allocate return Array_Access is
  13    begin
  14       return
  15         new Array_Type
  16              (Positive (One) .. Positive (Zero)); -- Failed range check
  17    end Allocate;
  18 end Range_Check3_Pkg;