Safer D first draft
Richard (Rikki) Andrew Cattermole
richard at cattermole.co.nz
Mon Sep 23 13:16:02 UTC 2024
On 24/09/2024 1:13 AM, Walter Bright wrote:
> `a.ptr` is an array overflow issue, not a pointer validation issue, as
> one can have an array of 0 length.
That is a good point, the pointer can be non-null, but length is zero.
At which point yes, can overflow.
Ok, do a length check first and the safety check can be disabled. I'm ok
with that!
More information about the dip.development
mailing list