(A) 「(1-1)は定数式の0ではない。定数式の0になるのはリテラルの0だけ。仕様上NULL扱いされるのはリテラルの0だけ」 派
(B) 「(1-1)は定数式の0に含まれる」派
(B-0) 「仕様上NULL扱いされるのはリテラルの0だけ。(1-1)のような定数式の0は対象外」派
(B-1) 「仕様上NULL扱いされるのはリテラルの0だけでなく (1-1)のような定数式の0も含む」派