Tom Tromey wrote:
"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.
I don't agree necessarily on the syntax, but I strongly agree that plugins should have their own attribute name, a single "user" attribute is impractical to share between plugins.
Plugins dhould be able to register their attribute names. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***
