So, the compiler is proprietary, but it requires a GNU regex library; is that not a GPL violation?
As long as they don't modify the regex library's source code, that not a GPL violation. GPL violation if they modify gnu's source but didn't share the code freely.
Aha! I have been enlightened. Suddenly, the GPL seems much more reasonable than I previously thought.