蒸し返して悪いのですが、>>599-602って明確に定義されているんでしたっけ？
この例でいうと、&&の左辺が真の場合、右辺は絶対評価されることはない、
って決まってるんでしたっけ？