Côté compilateur, qu'il soit libre ou non, le produit compilé n'est logiquement pas soumis à un quelconque droit de la part de l'auteur de cedit compilateur. Dans le cas contraire, je pense que nous pourrions sans trop de risque parler d'abus de droit.
Mais la situation peut être différente lorsqu'il y a inclusion d'une partie substantielle (en tout cas, suffisante pour être soumise au droit d'auteur) du logiciel sous GPL.
Dans ce dernier cas, il pourrait y avoir effet de la licence du compilateur sur le logiciel en sortie. Pour éviter ceci, je crois (de mémoire) que la licence GPL de gcc comporte une exception qui exclue du champ de la licence les produits générés à partie du compilateur.
D'autres se servent de cette dépendance pour contraindre à la distribution sous GPL (Eiffel de mémoire).
PS : pour mai, ça me semble bien envisageable

(d'autant que la capitale n'est pas des plus ensoleillée...).