ああ、ごめん嘘書いた。
X 3010:2003見たらこう書いてある。(7.19.1)
EOFは、型がintで、負の値を持つ整数定数式に展開する。（以下略）