Mac OS X 10.5 にはオーバーフローをチェックする関数があった

ひょんなことから発見。
http://developer.apple.com/documentation/Darwin/Reference/Manpages/man3/checkint.3.html

/usr/include/checkint.h を見ると、実に様々なインライン関数が並んでいた。
インターフェイスは check_[u]int{32,64}_{add,sub,mul,div} という #define された関数たちで、それぞれはいくつかの GNU extension を活用した関数で構成されているようだ。
err には今のところ CHECKINT_NO_ERROR, CHECKINT_OVERFLOW, CHECKINT_TYPE_ERROR が入るようだけど、これから拡張される予定があるのかなぁ。