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