The argument given for undefined behavior is that it simplifies
maintenance of Emacs internals.

I like to keep some corner of the behavior undefined, when I think
that user code that depends on such details is undesirable (e.g. return
values of primitives which are only called for side-effects).
Stefan