Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Sam <sam@email-scan.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can someone please verify the execution trace of
         =?UTF-8?Q?this=3F?=
Date: Tue, 21 May 2024 17:55:42 -0400
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <cone.1716328542.501453.444272.1004@monster.email-scan.com>
References: <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; format=flowed; delsp=yes; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 23:55:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="33aa4844adde497d04942cdccb924add";
	logging-data="838585"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19oYWuHveoc/7rUQOeKNZqI"
Cancel-Lock: sha1:IYf+dR21fkXCGK3yUYutjs5tiPA=
X-Shameless-Plug: https://github.com/svarshavchik
Content-Disposition: inline
X-Mailer: https://www.courier-mta.org/cone/
Bytes: 3142

olcott writes:

> 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.
>
> On 5/20/2024 9:23 PM, Keith Thompson wrote:
> Message-ID: <87v837kinv.fsf@nosuchdomain.example.com>
> http://al.howardknight.net/? 
> STYPE=msgid&MSGI=%3C87v837kinv.fsf%40nosuchdomain.example.com%3E

That link states that Keith Thompson plainly told you that the code will not  
link. As such, it cannot be executed, since linking (in order to produce a  
working executable) is a necessary prerequisite for that.

As such, all further claims about what the shown code does or does not do,  
are immaterial, because the shown code will never work.

"Compiled", in common use, frequently encompasses both the compilation and  
the linking stage, and is commonly used to refer to both processes, together.