> An iteration statement may be assumed by the implementation to terminate if its controlling
expression is not a constant expression,158) and none of the following operations are performed in its
body, controlling expression or (in the case of a for statement) its expression-3:159)
> — input/output operations
> — accessing a volatile object
> — synchronization or atomic operations.
So I guess this behavior is totally legitimate now after all.
C Compilers Disprove Fermat’s Last Theorem (2010) · HackerTrans
> An iteration statement may be assumed by the implementation to terminate if its controlling expression is not a constant expression,158) and none of the following operations are performed in its body, controlling expression or (in the case of a for statement) its expression-3:159)
> — input/output operations
> — accessing a volatile object
> — synchronization or atomic operations.
So I guess this behavior is totally legitimate now after all.