Ist der Typ unsigned short + int implementation-defined?

Gegeben diesen Code,

ist der Typ von sum implementation-defined? Mein Lesen des C ++ 11 Standards sagt ja:

• 5.7 / 1 besagt, dass die üblichen arithmetischen Konvertierungen angewendet werden.
• 4.13 / 1 Die Punkte 2 und 3 sagen, dass der Rang von int größer ist als der Rang von unsigned short.
• 5/9 bullet 5 subbullet 4 besagt, dass, wenn int alle Werte in unsigned short darstellen kann, die vorzeichenlose Abkürzung in int konvertiert wird und der Typ von sum int ist.
• 5/9 bullet 5 subbullet 5 besagt, dass, wenn int nicht alle Werte in unsigned short darstellen kann, beide Operanden in unsigned int konvertiert werden und der Typ von sum unsigned int.
ist

Wenn die obige Analyse legitim ist, bedeutet dies, dass die Verwendung von auto zum Deklarieren von Variablen, die mit arithmetischen Ausdrücken für integrierte Typen initialisiert wurden, zu implementierungsdefinierten Ergebnissen führen kann. Ich nehme an, es würde viele Programmierer überraschen, dass der Typ von sum oben nicht vollständig vom Standard bestimmt wird.

Ist meine Argumentation legitim?