

That’s the kind of logic people historically used when designing low level programming languages. It’s not the kind of logic you should use or that people nowadays usually do use. Undefined behavior is widely seen as a Bad Thing in the programming language design community.
I am pretty sure he’s standing behind the fire, but I guess I wouldn’t bet on it.