Ask HN: Is Intel with its C++ or a user violating the GNU license?

[acqq]

Intel C++ for Linux, as far as I understand, uses libstdc++ for which the license https://gcc.gnu.org/onlinedocs/libstdc++/manual/license.html specifically names which "compilation process" is "eligible" for a non-GPL exception to be allowed. My understanding is that Intel's compiler is not eligible (and not GPL). Who is then violating the license, Intel, the user using it, or both? What's your understanding?

[lucozade]

The relevant part of that license is

> A Compilation Process is "Eligible" if it is done using GCC, alone or with other GPL-compatible software, or if it is done without using any work based on GCC.

I'm going to hazard a guess that the Intel C++ compiler suite falls in the latter category.

[acqq → lucozade]

On Windows, maybe, on Linux, I can't see that it's "done without using any work based on GCC."