3 with Ada
.Unchecked_Deallocation
;
5 procedure Array_Bounds_Test2
is
7 type String_Ptr_T
is access String;
8 procedure Free
is new Ada
.Unchecked_Deallocation
(String, String_Ptr_T
);
9 String_Data
: String_Ptr_T
:= new String'("Hello World");
11 function Peek return String_Ptr_T is
18 Corrupted_String : String := Peek.all;
21 if Corrupted_String'First /= 1 then