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?