https://gcc.gnu.org/bugzilla/show_bug.cgi?id=29186
--- Comment #22 from Richard B. Kreckel <kreckel at ginac dot de> --- I can't reproduce this bug any more, with any of the optimization settings on x86 or x86_64 going back as far as GCC 4.9.2. Delighted to see that this has been addressed in the meantime (even without supporting that pragma.) I suppose this bug can just be closed. I don't know about 30568. (Don't understand why it's related at all).
