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