http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58546
--- Comment #2 from John Regehr <regehr at cs dot utah.edu> --- I agree, this is not very likely to cause problems in practice, though I selfishly hope that it gets fixed because then this bug will stop getting in our way when we look for other volatile bugs.
