Deutsch   English   Français   Italiano  
<vqr180$2e4f4$4@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- Very Stupid
 Mistake
Date: Tue, 11 Mar 2025 23:06:23 -0500
Organization: A noiseless patient Spider
Lines: 446
Message-ID: <vqr180$2e4f4$4@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me>
 <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vqqnk5$28jtr$1@dont-email.me> <vqqonm$28lh2$1@dont-email.me>
 <vqqq1n$29buv$1@dont-email.me> <vqqqs7$28lh2$3@dont-email.me>
 <vqqrj4$29meg$1@dont-email.me> <vqqv89$2e4bo$1@dont-email.me>
 <vqqvo1$2e4f4$1@dont-email.me> <vqr105$2e4bo$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Mar 2025 05:06:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="da28212957632e1bc35b68d4fbc88507";
	logging-data="2560484"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19r9oOoLtCX55vhujdI1JVf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/9TzO01bBjTEa+tq479gfiMLOz8=
Content-Language: en-US
In-Reply-To: <vqr105$2e4bo$4@dont-email.me>
X-Antivirus: Norton (VPS 250311-4, 3/11/2025), Outbound message
X-Antivirus-Status: Clean

On 3/11/2025 11:02 PM, Richard Heathfield wrote:
> On 12/03/2025 03:40, olcott wrote:
>> On 3/11/2025 10:32 PM, Richard Heathfield wrote:
>>> On 12/03/2025 02:29, olcott wrote:
>>>> The lack of a counter-example
>>>
>>> I gave you three upthread. I can give you a dozen more at the drop of 
>>> a hat if you want them, but here's one [...elided...]
>>>
> <snip>
> 
>>>
>>>> sufficiently proves that you
>>>> have no basis for *the exact meaning of my specific claim*
>>>
>>> The exact meaning of your specific claim is of no consequence
>>
>> You can't freaking correctly determine that nitwit unless
>> you first pay 100% attention to exactly what I said.
> 
> Oh, I have done so. It availed me naught, of course, because you have 
> the communication skills of a basilisk.
> 
>> Here  is is greatly dumbed down;
>> DDD correctly emulated by HHH DOES NOT HALT.
> It doesn't even start.
> 
> $ gcc hhh.c
> hhh.c: In function ‘Decide_Halting0’:
> hhh.c:265:32: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    265 |     PushBack(*execution_trace, (u32)*decoded, 
> sizeof(Decoded_Line_Of_Code));
>        |                                ^
> hhh.c:266:36: warning: cast to pointer from integer of different size [- 
> Wint-to-pointer-cast]
>    266 |     Aborted = 
> Needs_To_Be_Aborted0((Decoded_Line_Of_Code*)*execution_trace, 
> Address_of_H, P);
>        |                                    ^
> hhh.c: In function ‘Decide_Halting’:
> hhh.c:373:32: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    373 |     PushBack(*execution_trace, (u32)*decoded, 
> sizeof(Decoded_Line_Of_Code));
>        |                                ^
> hhh.c:374:35: warning: cast to pointer from integer of different size [- 
> Wint-to-pointer-cast]
>    374 |     Aborted = 
> Needs_To_Be_Aborted((Decoded_Line_Of_Code*)*execution_trace,
>        |                                   ^
> hhh.c: In function ‘HH1’:
> hhh.c:484:77: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    484 |   u32 Root = Init_Halts_HH(&Aborted, &execution_trace, 
> &decoded, &code_end, (u32)P,
>        |                    ^
> hhh.c:488:20: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    488 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                    ^
> hhh.c:488:28: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    488 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                            ^
> hhh.c: In function ‘H’:
> hhh.c:568:77: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    568 |   u32 Root = Init_Halts_HH(&Aborted, &execution_trace, 
> &decoded, &code_end, (u32)P,
>        |                    ^
> hhh.c:572:20: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    572 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                    ^
> hhh.c:572:28: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    572 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                            ^
> hhh.c: In function ‘HHH1’:
> hhh.c:646:77: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    646 |   u32 Root = Init_Halts_HH(&Aborted, &execution_trace, 
> &decoded, &code_end, (u32)P,
>        |                    ^
> hhh.c:651:21: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    651 |   Init_slave_state0((u32)P, End_Of_Code, slave_state, 
> slave_stack); // 2024-06-16
>        |                     ^
> hhh.c: In function ‘Address_of_Sipser_H’:
> hhh.c:733:77: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    733 |   u32 Root = Init_Halts_HH(&Aborted, &execution_trace, 
> &decoded, &code_end, (u32)P,
>        |                    ^
> hhh.c:738:21: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    738 |   Init_slave_state0((u32)P, End_Of_Code, slave_state, 
> slave_stack); // 2024-06-16
>        |                     ^
> hhh.c: In function ‘H1’:
> hhh.c:761:48: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    761 |   u32 End_Of_Code               = get_code_end((u32)H1);
>        |                                                ^
> hhh.c:762:35: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    762 |   u32 Address_of_H1             = (u32)H1;       // 2022-08-15
>        |                                   ^
> hhh.c:763:48: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    763 |   u32 code_end                  = get_code_end((u32)P);
>        |                                                ^
> hhh.c:769:26: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    769 |   u32  execution_trace = 
> (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 10000);
>        |                          ^
> hhh.c:771:20: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    771 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                    ^
> hhh.c:771:28: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    771 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                            ^
> hhh.c:775:65: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    775 |                      &slave_state, &slave_stack, Address_of_H1, 
> (u32)P, (u32)I))
>        |        ^
> hhh.c:775:73: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    775 |                      &slave_state, &slave_stack, Address_of_H1, 
> (u32)P, (u32)I))
>        |                ^
> hhh.c: In function ‘H_prior’:
> hhh.c:794:48: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    794 |   u32 End_Of_Code               = get_code_end((u32)H_prior);
>        |                                                ^
> hhh.c:795:35: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    795 |   u32 Address_of_H              = (u32)H_prior;
>        |                                   ^
> hhh.c:796:48: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    796 |   u32 code_end                  = get_code_end((u32)P);
>        |                                                ^
> hhh.c:802:26: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    802 |   u32  execution_trace = 
> (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 10000);
>        |                          ^
> hhh.c:805:20: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    805 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                    ^
> hhh.c:805:28: warning: cast from pointer to integer of different size [- 
> Wpointer-to-int-cast]
>    805 |   Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, 
> slave_stack);
>        |                            ^
========== REMAINDER OF ARTICLE TRUNCATED ==========