SAM7X, IAR
Требуется обнаружить переполнение переменной при выполнении операций сложения и умножения для разных целочисленных типов.
При этом не хотелось бы производить вычисления в переменной заведомо большей размерности чтобы потом сделать простое сравнение с максимально возможным значением для меньшего типа. Дабы не потерять на этом ОЗУ и время.

Надеялся, что получится определить переполнение по регистру CPSR, и биту C в нём. Бит отлично выставляется при переполнениях на сложении, но, к сожалению, не выставляется на умножении.

Может есть другие варианты определения переполнений?

Действительно флаги переполнения не выставляются для MUL. Можете использовать SMMUL команду, для обнаружения переполнения в команде MUL.