結局自分で調べてみた。。。

JIS では、やっぱりちゃんと規定されていた(6.5.15 条件演算子)。

制約 第２及び第３オペランドの型は、次のいずれかの条件を満たさなければならない。
− 両オペランドの型が算術型である。
− 両オペランドの型が同じ構造体又は共用体である。
− 両オペランドの型がvoid型である。
− 両オペランドが適合する型の修飾版又は非修飾版へのポインタである。
− 一方のオペランドがポインタであり、かつ他方が空ポインタ定数である。
− 一方のオペランドがオブジェクト型又は不完全型へのポインタであり、かつ他方がvoidの修飾版又は非修飾版へのポインタである。

今回のケースはどれにも当たらないと思うのだが？
要するに VC が規格に準拠していなかっただけってオチか。
勉強になりました。

>>803さん、ありがとう。