Не надо. Можно просто взглянуть на дизассемблер кода с volatile переменными. Хотя, после чтения стандарта, я бы пока отнёс эту ситуацию в категорию implementation-defined: Вот что говорит стандарт:
An assignment expression has the value of the left operand after the assignment
Правда, чуть ниже написано:
The side effect of updating the stored value of the left operand shall occur between the previous and the next sequence point.
Что, по-видимому, позволяет компиляторописателям отложить запись в volatile переменные до конца цепочки присваиваний.