If I understand correctly, this case seems to be explicitly spelled out in Section J2 ("Undefined Behavior"):