Re: compilers; as I understand it, using a GPL compiler doesn’t extend its license unto the produced binaries. Those vendors could be using GCC instead, and still contribute to its development without danger of jeopardizing their intellectual property.