There's "implementation-defined" behavior, and then there is "undefined behavior". I think you're conflating the two.