The behavior of that is undefined, although unlikely to lead to problems in
practice.

Found by running regression tests with Valgrind.