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