なお、符号付整数型に2の補数を用いる処理系でcodice_1を実行する場合など、結果が表現できない場合の動作はc言語の仕様上は未定義であるが、gccなどの典型的な実装では(絶対値ではない)元の値をそのまま返す。