https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91517
--- Comment #5 from Peter Boyle <paboyle at ph dot ed.ac.uk> --- Hi Jakub, The difference between these two cases (one maintaining the pragma in right place, the other note) suggested a viable work around in the code. I can eliminate the extra naked_for macro and (with some undesired code replication) get a working solution. However, that doesn't mean it isn't a bug, and it should of course be fixed, ! Thanks for the pointer - I will make the change to the code to tolerate the issue, because GCC is clearly an important target for us. Best wishes, Peter
