[Bug libstdc++/57403] A vector of volatile int doesn't work, but one of volatile void * does

[nmm1 at cam dot ac.uk]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57403

--- Comment #5 from Nick Maclaren <nmm1 at cam dot ac.uk> ---
Because of the last comment, I am not going to close this as resolved,
invalid, but please do so if appropriate.