The C standard says nothing about accesses via lvalue expressions with volatile types