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

[Basile STARYNKEVITCH]

Tom Tromey wrote:
>>>>>> "Diego" == Diego Novillo <dnovillo@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} ***