Does anyone have any further insight with respect to this potential problem?
I don't believe there is any problem here if attributes are used correctly. If you need attributes to work differently than they already do, then you will have to extend gcc yourself.
I also think this is off topic, as you seem to be talking about something different than the original poster.
--
Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com