On Tue, Jul 21, 2015 at 7:55 AM, Rafael Espíndola <rafael.espindola@gmail.com> wrote: >> Interesting. Where are ABI tags documented? > > I just realized you were probably talking about > https://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Attributes.html and not > .note.ABI-tag. Yes, that. Ian