BFE>Именно знакового — не знаю, но есть общий пункт (ANSI ISO IEC 14882 2003):

BFE>[q]
BFE>5.5
BFE>If during the evaluation of an expression, the result is not mathematically defined or not in the range of representable
BFE>values for its type, the behavior is undefined,

беззнаковое переполнение всегда было well-defined, потому что оно определяется по модулю степени двойки.
Соответственно, твой пункт не применим, потому что результат попадает в range по определению