Re:Pointers Are More Abstract Than You Might Expect in C
by bitwize on Monday July 02, 2018 @12:22PM
(#17442990)
C doesn't have anything to say about whether bounds are checked or not. That's why so many things, including pointers to arbitrary locations in memory, are undefined: the standard was built to accommodate both embedded system implementations where scribbling all over RAM is desirable, and implementations that do things like bound checking.
C's paradigm is really about working with memory. Anything that restricts memory access with bound or type checking is going to feel like "not C"...