I wrote: > Hmm, yeah, their bug #70066 shows clearly that the __attribute__ > spelling should work.
Sorry, copy-and-paste-o; it's https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89357 that has the full statement of the problem and ACK of the fix. regards, tom lane
