gcc/testsuite/gnat.dg/range_check3_pkg.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package body Range_Check3_Pkg is
   function One return Positive is
   begin
      return 1;
   end One;

   function Zero return Natural is
   begin
      return 0;
   end Zero;

   function Allocate return Array_Access is
   begin
      return
        new Array_Type
             (Positive (One) .. Positive (Zero)); -- Failed range check
   end Allocate;
end Range_Check3_Pkg;