規格では B の型の最大値 + 1 + A だから型のサイズが同じ処理系なら
負数の表現方法にかかわらず同じ結果になるんじゃないですか?