16 ビット符号付き加算でオーバフローしない条件
テクノロジ難易度: ★★★★☆
演算レジスタが 16 ビットの CPU で符号付き 16 ビット整数 x1，x2 を 16 ビット符号付き加算（x1＋x2）するときに，全ての x1，x2 の組合せにおいて加算結果がオーバフローしないものはどれか。ここで，|x| は x の絶対値を表し，負数は 2 の補数で表すものとする。
出典: 令和3年度秋期 情報処理安全確保支援士 午前I 問4
演算レジスタが 16 ビットの CPU で符号付き 16 ビット整数 x1，x2 を 16 ビット符号付き加算（x1＋x2）するときに，全ての x1，x2 の組合せにおいて加算結果がオーバフローしないものはどれか。ここで，|x| は x の絶対値を表し，負数は 2 の補数で表すものとする。