演算レジスタが 16 ビットの CPU で符号付き 16 ビット整数 x1、x2 を 16 ビット符号付き加算(x1+x2)するときに、全ての x1、x2 の組合せにおいて加算結果がオーバフローしないものはどれか。ここで、|x| は x の絶対値を表し、負数は 2 の補数で表すものとする。
|x1|+|x2|≦ 32,768 の場合
|x1| 及び |x2| がともに 32,767 未満の場合
x1 × x2 > 0 の場合
x1 と x2 の符号が異なる場合