Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can someone please verify the execution trace of this?
Date: Tue, 21 May 2024 12:03:21 -0700
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <v2ir5p$noij$1@dont-email.me>
References: <v2eada$3p6sk$1@raubtier-asyl.eternal-september.org>
 <v2edbr$3pl2i$1@dont-email.me>
 <cone.1716245955.313207.394874.1004@monster.email-scan.com>
 <v2gl3u$7hoj$1@dont-email.me>
 <cone.1716247265.849807.395262.1004@monster.email-scan.com>
 <v2gm90$7osh$1@dont-email.me>
 <cone.1716292116.659769.408188.1004@monster.email-scan.com>
 <v2i81v$jvcs$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 21:03:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6ad02092fbd70bc476a2c661bc081089";
	logging-data="778835"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19YcorX8DV/hlr7UgHj1L+hTiKkbAnwcbE="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:rCZ8NSDYuitB1/7ZRZz6D+OvCMI=
In-Reply-To: <v2i81v$jvcs$2@dont-email.me>
Content-Language: en-US
Bytes: 2159

On 5/21/2024 6:37 AM, olcott wrote:
> On 5/21/2024 6:48 AM, Sam wrote:
>> olcott writes:
>>
>>> People on comp.theory have consistently lied about this
>>> for at least the last two years:
>>>
>>> typedef int (*ptr)();
>>> int H(ptr P, ptr I);
>>>
>>> int D(ptr x)
>>> {
>>>   int Halt_Status = H(x, x);
>>>   if (Halt_Status)
>>>     HERE: goto HERE;
>>>   return Halt_Status;
>>> }
>>>
>>> int main()
>>> {
>>>   H(D,D);
>>>   return 0;
>>> }
>>
>> Your C compiler also lied to you, if it ever claimed of succeeding in 
>> compiling and producing an executable out of this masterpiece.
>>
> 
> Keith Thompson has confirmed that my code both compiles
> and conforms to the c17 standard.

Where did he say exactly that?

[...]