Volatile also tempts you to break the aliasing rules. If you find yourself casting pointers, you are probably violating the C standard. You'll need something like -fno-strict-aliasing to enable a non-standard C dialect.