=

> I find it interesting that there are now a slew of testing programs (Valgrind, Address Sanitizer, Purify, etc) that will add the ‘missing’
> array bounds checking for C.

And nothing prevents a C compiler from doing bounds checking, it's just not obliged to.   There are C compilers that will allow you to enable such checks for debugging purposes.