https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61430
jgreenhalgh at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jgreenhalgh at gcc dot gnu.org --- Comment #5 from jgreenhalgh at gcc dot gnu.org --- This looks like: https://gcc.gnu.org/ml/gcc-patches/2014-06/msg00971.html Which has been approved by Vladimir. I guess if I don't hear anything from Chung-Lin in the next few hours I'll commit this on their behalf.