演算レジスタが16ビットのCPUで符号付き16ビット整数 x1x_1x2x_2 を16ビット符号付き加算 (x1+x2)(x_1+x_2) するときに、全ての x1x_1x2x_2 の組合せにおいて加算結果がオーバフローしないものはどれか。ここで、 x|x|xx の絶対値を表し、負数は2の補数で表すものとする。

出典令和3年度 秋期 高度情報処理技術者試験 午前Ⅰ 問4
x1+x232,768|x_1|+|x_2|\le 32,768 の場合
x1|x_1| 及び x2|x_2| がともに32,767 未満の場合
x1×x2>0x_1 \times x_2>0 の場合
x1x_1x2x_2 の符号が異なる場合