Maybe D is right about GC after all !

[Walter Bright]

On 12/27/2017 7:01 PM, rjframe wrote:
> The MSVC compiler does buffer security checks, by default, in release
> builds[1].

This is simply not checkable memory safety. All it is is setting aside some 
memory locations in strategic places with known values in that memory. If those 
values change, then some code somewhere must have a memory safety bug in it.

It's like picking two triangles and showing Pythagorean's theorem holds for 
them, vs proving Pythagorean's theorem works for all right triangles.