1-- { dg-do run } 2-- { dg-options "-gnatp" } 3 4procedure Empty_Vector_Length is 5 6 type Vector is array (Integer range <>) of Integer; 7 8 function Empty_Vector return Vector is 9 begin 10 return (2 .. Integer'First => 0); 11 end; 12 13 My_Vector : Vector := Empty_Vector; 14 My_Length : Integer := My_Vector'Length; 15begin 16 if My_Length /= 0 then 17 raise Program_Error; 18 end if; 19end; 20