C/C++ でオーバーフローを検知する手段は用意されているのでしょうか？ 調べてみてもよく分りません。
あと、オーバーフローが発生しないことがほぼ確実に保証されてるとき、
if( a と b が等しいとき) return 1; を if( オーバーフローが発生していないとき) return 1;
に書き換えても問題ないような気がします。実際にこのような書き換えをおこなったとき
発生しうる問題はどのようなものが考えられるでしょうか？

お暇な方いましたら、ご回答のほどお願いします。