while(a);
一見aの値が変わらないように見えるから無限ループだけど、もしも他の要因でaが書き換えられることがあったら・・・
でもそんなことコンパイラは分からないから、volatileつけないと条件式すらなくして完全な無限ループにしてしまうかも。