Man könnte vielleicht Yalus Gedanken so weiterführen:
Falls ein bestimmtes Verhalten undefiniert ist, dann ist es nützlich,
das erwünschte Verhalten ausdrücklich als Code hin zu schreiben. Das hat
zwei positive Effekte.
1. und ganz offensichtlich, wird eben genau das erwünschte Verhalten
erreicht. Und zwar nichts Anderes und definitiv und mit absoluter
Sicherheit.
2. Die Varianten des unterschiedlichen Compilerverhaltens in einem, dem
Standard nach undefinierten Fall, müssen nicht jeweils erinnert und
festgestellt werden und der Code ist ohne weiteres portabel. Es reicht
im Code eine Bemerkung wie: "Explicitly describing conversion behaviour
due to undefined case (converting negative floats to unsigned) from
standard" oder sinngemäß.
Das wäre so meine Idee dazu. Hoffe, dass ist nützlich.