>>>>> "Diego" == Diego Novillo <dnovi...@google.com> writes:
Diego> void foo(void) __attribute__((user("bleh")));
Diego> foo.cc:1: 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.
Tom
