>>767
volatile は、最適化されてメモリ上にとられなくなってしまう、という事態をなくすのではなかったかと。
とすれば 必要条件であっても十分条件ではないのは vc でも gcc でも同じはずでは