Licensing of libgcc and libstdc++ as shared libraries

[Paolo Bonzini]

> So for example, if you distribute a proprietary program with GPL'ed
> DLL's (it matters not whether GPL or the modified GPL), then you need
> to make sources for the DLL's available, since they are not statically
> linked with your program, and it makes conceptual sense for someone
> to modify the DLL without touching the proprietary program.

If you distribute a proprietary program with DLL's under the unmodified 
GPL, your program is a derivative and has to be under the GPL.  Period.

I don't know about the modified GPL.

Paolo