Dealing with warnings on __attribute__((user)) when dehydra is not loaded

Tom Tromey
Fri Oct 16 16:34:00 GMT 2009

>>>>> "Diego" == Diego Novillo <> writes:

Diego> void foo(void) __attribute__((user("bleh")));

Diego> warning: 'user' attribute directive ignored

Diego> We could change the compiler to never complain about the 'user'
Diego> attribute, unless plugins are loaded,but that also seems incomplete.

How about just having __attribute__ ((plugin (pluginname, arg...)))
and ignoring an attribute when the named plugin is not loaded?
It seems to me that having a single "user" attribute shared by all
plugins will lead to some pain later on.


More information about the Gcc mailing list