Path: ...!news.mixmin.net!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 14:39:23 -0700
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v2j4ab$pc62$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> <v2ir5p$noij$1@dont-email.me>
 <v2is7l$o1re$1@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 23:39:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6ad02092fbd70bc476a2c661bc081089";
	logging-data="831682"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18sxTwl32H1GfoJAG8uO3m++mAQlywQhb0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BLqDa7lHbqDOKmQopnZ22/YHF5s=
Content-Language: en-US
In-Reply-To: <v2is7l$o1re$1@dont-email.me>
Bytes: 2712

On 5/21/2024 12:21 PM, olcott wrote:
> On 5/21/2024 2:03 PM, Chris M. Thomasson wrote:
>> 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?
>>
>> [...]
>>
> 
> He only commented on the one-line-of code that does vary between
> c17 and c23. The rest of the code has been standard for a long time.
> I have been programming in C back when K & R was the standard.

Show me a working C program. Where we all can compile and run the damn 
thing...

https://youtu.be/uRo426va26I