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

M>

M>bool add(int* result, int x, int y)
M>{
M>  *result = x + y;
M>  return *result >= x && *result >= y;
M>}
M>

Для беззнаковых типов все еще проще — вполне хватило бы сравнения результата только с одним из операндов. Но как я понял, ТС не устраивает такое ограничение — ему нужна максимально простая но в то же время универсальная проверка, которая будет работать со знаковыми и беззнаковыми, положительными и отрицательными числами.