Licensing of libgcc and libstdc++ as shared libraries

[Robert Dewar]

> However, when you distribute the libraries as DLLs, my reading of
> the license in libgcc2.c is that you need to distribute source for
> the DLLs, but not source for any application that uses them.
> However, that's a gray area: you might argue that an installation
> program that installs both the libries and an executable that uses
> the libraries is "linked".

I don't see any validity to this argument whatever.