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

with Range_Check3_Pkg; use Range_Check3_Pkg;
procedure Range_Check3 is
   Ptr : Array_Access;
begin
   Ptr := Allocate;
   raise Program_Error;
exception
   when Constraint_Error => null;
end Range_Check3;