On 12/05/2012, Christian Sasso wrote: > Hi Jonathan, > > thanks a lot: googling for "gcc attributes"" I never hit any gcc > manual page, instead, the type of pages I always found look like this > one > <http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html#Variable-Attributes> Erm, that is part of the manual, but Google isn't the best way to read a manual :) If you go to the GCC homepage there's a link to the manual and the list of options is near the start of the manual.
