See, I don't think they'd have to release the source for gcc, since they're not releasing the gcc binary. My understanding is, under the GPL, if you distribute

See, I don't think they'd have to release the source for gcc, since they're not releasing the gcc binary. My understanding is, under the GPL, if you distribute the binary, you need to distribute the source.