From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: DragonEgg has been revived
Date: Fri, 25 May 2018 09:28:02 +0100
Organization: A noiseless patient Spider
Message-ID: <ly8t88f8bx.fsf@pushface.org>
References: <pdve68$8hn$2@dont-email.me>
	<5c2523c1-9ea5-453c-b80e-9cb0dcd16de0@googlegroups.com>
	<pe12el$b3o$1@dont-email.me> <lybmd6hlxl.fsf@pushface.org>
	<293cf892-1320-49e6-a25f-a36ea098cd34@googlegroups.com>
	<ly36yhh66q.fsf@pushface.org>
	<294fa0cd-ec72-4f0f-8065-0a3d5e1087fa@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: h2725194.stratoserver.net;
 posting-host="9c58e02725f24ca1d1b99fef641db2a7";
	logging-data="15106"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18V2ISTaiWLs1VxefYRpO4oNRUB3Bl2Vr4="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:/SqzyeCcKyETKIsvYHWtpHAOixI=
	sha1:jKuUwl4wNn70K3IuaeOE9ehV21A=
Xref: reader02.eternal-september.org comp.lang.ada:52668
Date: 2018-05-25T09:28:02+01:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> writes:

>> [sjw] I don't think that it would contravene the GPL to modify GCC so
>> that it emitted an intermediate representation, provided that you
>> convey the source form of such modification with a compiler binary.
>
> Hey, you found one of those “GPL[-based] restrictions on the generated
> code” that Shark8 and Simon Clubley are yearning to eliminate in some
> hypothetical non-GNAT Ada compiler.  Yea!  Good job!  Attaboy!  You
> only needed to find one counter-example to the fallacious theorem
> regarding GCC having absolutely no such “GPL[-based] restrictions on
> the generated code”.  You found one.  Yea!

I think I originally said "WTF" to this. To expand,

I modify GCC so that it emits some intermediate representation which
might, for example, act as input to an LLVM assembler. My modifications
are released under the GPL.

Explain to me exactly how that, on its own, causes any object code
generated via that compiler to fall under the GPL if the source code was
licensed under e.g. a BSD license.

On second thoughts, don't, since you won't be able to using the plain
words of the GPL but will have to fall back on tangled chains of vague
inferences involving unrelated matters.