I would argue the opposite.
It violates the GPL only if they were to release gcc purely in binary
form. If they ported gcc, they could in good conscience keep it to
themselves.
Keeping it to themselves would be a pretty unsociable thing to do if
it ever came to pass, but they'd be allowed.
Mitch.
**DEFINITELY NOT SPEAKING FOR HP, OR WITH ANY PROPRIETARY KNOWLEDGE**