Liste des Groupes | Revenir à c theory |
On 12/03/2025 03:40, olcott wrote:DipshitOn 3/11/2025 10:32 PM, Richard Heathfield wrote:<snip>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...]
>
Oh, I have done so. It availed me naught, of course, because you have the communication skills of a basilisk.>>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.
Here is is greatly dumbed down;It doesn't even start.
DDD correctly emulated by HHH DOES NOT HALT.
$ 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);
| ^
hhh.c:809:64: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
809 | &slave_state, &slave_stack, Address_of_H, (u32)P, (u32)I))
| ^
hhh.c:809:72: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
809 | &slave_state, &slave_stack, Address_of_H, (u32)P, (u32)I))
| ^
hhh.c: In function ‘Sipser_H’:
hhh.c:820:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
820 | u32 End_Of_Code = get_code_end((u32)H_prior);
| ^
hhh.c:821:35: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
821 | u32 Address_of_Sipser_H = (u32)Sipser_H;
| ^
hhh.c:822:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
822 | u32 code_end = get_code_end((u32)P);
| ^
hhh.c:828:26: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
828 | u32 execution_trace = (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 10000);
| ^
hhh.c:831:20: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
831 | Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:831:28: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
831 | Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:835:71: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
835 | &slave_state, &slave_stack, Address_of_Sipser_H, (u32)P, (u32)I))
| ^
hhh.c:835:79: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
835 | &slave_state, &slave_stack, Address_of_Sipser_H, (u32)P, (u32)I))
| ^
hhh.c: In function ‘Kozen_K’:
hhh.c:846:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
846 | u32 End_Of_Code = get_code_end((u32)H_prior);
| ^
hhh.c:847:35: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
847 | u32 Address_of_Kozen_K = (u32)Kozen_K;
| ^
hhh.c:848:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
848 | u32 code_end = get_code_end((u32)P);
| ^
hhh.c:854:26: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
854 | u32 execution_trace = (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 10000);
| ^
hhh.c:857:20: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
857 | Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:857:28: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
857 | Init_slave_state((u32)P, (u32)I, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:861:70: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
861 | &slave_state, &slave_stack, Address_of_Kozen_K, (u32)P, (u32)I))
| ^
hhh.c:861:78: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
861 | &slave_state, &slave_stack, Address_of_Kozen_K, (u32)P, (u32)I))
| ^
hhh.c: In function ‘H0’:
hhh.c:872:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
872 | u32 End_Of_Code = get_code_end((u32)H0); ;
| ^
hhh.c:873:36: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
873 | u32 Address_of_H0 = (u32)H0;
| ^
hhh.c:874:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
874 | u32 code_end = get_code_end((u32)P);
| ^
hhh.c:880:26: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
880 | u32 execution_trace = (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 1000);
| ^
hhh.c:881:21: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
881 | Init_slave_state0((u32)P, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:885:65: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
885 | &slave_state, &slave_stack, Address_of_H0, (u32)P))
| ^
hhh.c: In function ‘T’:
hhh.c:896:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
896 | u32 End_Of_Code = get_code_end((u32)T); ;
| ^
hhh.c:897:35: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
897 | u32 Address_of_T = (u32)T;
| ^
hhh.c:898:48: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
898 | u32 code_end = get_code_end((u32)P);
| ^
hhh.c:904:26: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
904 | u32 execution_trace = (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 1000);
| ^
hhh.c:905:21: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
905 | Init_slave_state0((u32)P, End_Of_Code, slave_state, slave_stack);
| ^
hhh.c:909:64: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
909 | &slave_state, &slave_stack, Address_of_T, (u32)P))
| ^
hhh.c: In function ‘Init_Halts_HH’:
hhh.c:932:40: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
932 | Output((char*)"New slave_stack at:", (u32)*slave_stack);
| ^
hhh.c:937:25: warning: cast from pointer to integer of different size [- Wpointer-to-int-cast]
937 | **execution_trace = (u32)Allocate(sizeof(Decoded_Line_Of_Code) * 10000);
| ^
hhh.c: In function ‘Decide_Halting_HH’:
hhh.c:1052:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
1052 | PushBack(**execution_trace, (u32)*decoded, sizeof(Decoded_Line_Of_Code));
| ^
hhh.c:1061:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
1061 | u32* address = (u32*)**execution_trace;
| ^
hhh.c:1070:32: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
1070 | Needs_To_Be_Aborted_HH((Decoded_Line_Of_Code*)**execution_trace); // 2024-08-27
| ^
hhh.c: In function ‘HHH’:
hhh.c:1137:77: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
1137 | u32 Root = Init_Halts_HH(&Aborted, &execution_trace, &decoded, &code_end, (u32)P,
| ^
hhh.c:1142:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
1142 | Init_slave_state0((u32)P, End_Of_Code, slave_state, slave_stack); // 2024-06-16
| ^
hhh.c: In function ‘D0’:
hhh.c:1258:24: warning: passing argument 1 of ‘H0’ from incompatible pointer type [-Wincompatible-pointer-types]
1258 | int Halt_Status = H0(D0);
| ^~
| |
| int (*)()
hhh.c:870:12: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
870 | u32 H0(ptr P)
| ~~~~^
hhh.c: In function ‘B’:
hhh.c:1279:11: warning: passing argument 1 of ‘H_prior’ from incompatible pointer type [-Wincompatible-pointer-types]
1279 | H_prior(x, x);
| ^
| |
| int (*)()
hhh.c:792:17: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
792 | u32 H_prior(ptr P, void* I) // 2024-09-15 was H
| ~~~~^
hhh.c: In function ‘Infinite_Recursion2’:
hhh.c:1290:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
1290 | H_prior(Infinite_Recursion2, (ptr)N);
| ^
hhh.c: In function ‘DD’:
hhh.c:1357:25: warning: passing argument 1 of ‘HHH’ from incompatible pointer type [-Wincompatible-pointer-types]
1357 | int Halt_Status = HHH(DD);
| ^~
| |
| int (*)()
hhh.c:1081:13: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
1081 | u32 HHH(ptr P)
| ~~~~^
hhh.c: In function ‘main’:
hhh.c:1366:32: warning: passing argument 1 of ‘HHH’ from incompatible pointer type [-Wincompatible-pointer-types]
1366 | Output("Input_Halts = ", HHH(DD)); // DD calls HHH(DD)---- Pathlogical self-reference
| ^~
| |
| int (*)()
hhh.c:1081:13: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
1081 | u32 HHH(ptr P)
| ~~~~^
hhh.c: Assembler messages:
hhh.c:470: Error: too many memory references for `lea'
hhh.c:471: Error: too many memory references for `mov'
hhh.c:472: Error: too many memory references for `lea'
hhh.c:473: Error: too many memory references for `mov'
hhh.c:474: Error: too many memory references for `mov'
hhh.c:475: Error: too many memory references for `mov'
hhh.c:554: Error: too many memory references for `lea'
hhh.c:555: Error: too many memory references for `mov'
hhh.c:556: Error: too many memory references for `lea'
hhh.c:557: Error: too many memory references for `mov'
hhh.c:558: Error: too many memory references for `mov'
hhh.c:559: Error: too many memory references for `mov'
hhh.c:632: Error: too many memory references for `lea'
hhh.c:633: Error: too many memory references for `mov'
hhh.c:634: Error: too many memory references for `lea'
hhh.c:635: Error: too many memory references for `mov'
hhh.c:636: Error: too many memory references for `mov'
hhh.c:637: Error: too many memory references for `mov'
hhh.c:719: Error: too many memory references for `lea'
hhh.c:720: Error: too many memory references for `mov'
hhh.c:721: Error: too many memory references for `lea'
hhh.c:722: Error: too many memory references for `mov'
hhh.c:723: Error: too many memory references for `mov'
hhh.c:724: Error: too many memory references for `mov'
hhh.c:1123: Error: too many memory references for `lea'
hhh.c:1124: Error: too many memory references for `mov'
hhh.c:1125: Error: too many memory references for `lea'
hhh.c:1126: Error: too many memory references for `mov'
hhh.c:1127: Error: too many memory references for `mov'
hhh.c:1128: Error: too many memory references for `mov'
Who wrote this shit? You? Or would you like to blame someone else?
Anything more than this is way over your head.I see.
Les messages affichés proviennent d'usenet.