Микроконтроллеры

Это ты просто рафинированный программист, который тупо смотрит на код, и делает какие-то свои выводы, исходя из абстрактной вычислительной системы в вакууме. В реальной жизни у микропроцессора есть всякие там шины памяти, кеши, ПДП и пр. вещи, которые тоже влияют на вычислительный процесс. Например ваш цикл в volatile легко может использоваться для проверки эффективности кеширования и предсказателя переходов. Посему ни один компилятор никогда его не станет выкидывать. Если он не забагован, конечно. И именно для этого и придуман этот квалификатор, а не для того узкого подмножества целей, которое ты сам себе насочинял. Выкинь фантазии из головы и опускайся на цифровую электрическую землю - мой тебе совет.