https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80298
--- Comment #4 from roland at gnu dot org ---
I'd assumed it would be fixed just with more #pragma push_options,
target("sse"), pop_options, sequences.
It seems like a separate issue about automagically allowing things in
always_inline cases, and I'm not at all sure that is a general case that ought
to be fixed.
