Здравствуйте, quodum, Вы писали:

Q>При сложении элементарно:

Q>

if ( a + b < a )
Q>{
Q>    // overflow!
Q>}

Q>NB: верно только для беззнаковых типов

А разве здесь не undefined behavior в соответствии с пунктом 5.5 стандарта 2003-его года ?