This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Add GPL compatibility check for plugins
> IANAL, but wasn't this sort of check proven legally ineffective in
> Sega v. Accolade anyway?
>
> As I understand it, the plugin is free to define this symbol and not
> be GPL-compatible no matter what the name of the symbol says.
Sure, the check isn't legally effective. But there's no way to write
something that's as intimately related to GCC as a plug-in is without
being a derived work of GCC. The check is just a reminder of that fact.