I agree that integer overflow is implementation-defined, but I wasn't talking about integer overflow, I was talking about char *. Reading from a pointer past t

I agree that integer overflow is implementation-defined, but I wasn't talking about integer overflow, I was talking about char *. Reading from a pointer past the bounds of the object being pointed to is undefined, not implementation-defined. How do you propose to write a size_t strlen(const char *s) that successfully compiles with your proposed compiler?