アンダーフロー、オーバーフローチェックの公式はあるの？

最近、とある数ととある数を足したり引いたりした時、オーバー,アンダーフローしたら一回のチェックで知る事が出来るビット演算を考えなくては！
との命題を受信したのでちょっと考えてみた・・・。

• アセが確実か？
• 今の所思いつかない。
• やね本２に書いていたような・・・

公式があるのか！？

最近、この手のエラーに対して自分に厳しくなってきた^^;