http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53528
--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> 2012-07-26 15:27:17 UTC --- A candidate implementation patch for this has been posted to http://gcc.gnu.org/ml/gcc-patches/2012-07/msg01348.html @Joseph: Thank you for the note. I believe the patch handles this, unless I have forgotten things. @Michal Malecki / Jonathan Wakely The scoped attributes syntax [[gnu::priority(200)]] is now supported. The patch has put all the GNU attributes in the "gnu" namespace by default. So now whenever one writes __attribute__((priority(200))), the priority attribute is looked up from or put into the "gnu" namespace. We'll see what comes out of the discussion that arises from the patch submission.
