Re: C function HHH correctly reports that DDD never terminates --- boiled down to two sentences

On 10/12/2024 11:59 PM, tTh wrote:

On 10/13/24 03:03, olcott wrote:
 

>
Fully operational code is here.
https://github.com/plolcott/x86utm/blob/master/Halt7.c
>

 tth@redlady:~/Desktop$ gcc -Wall Halt7.c
Halt7.c: In function ‘Decide_Halting0’:
Halt7.c:239:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      PushBack(*execution_trace, (u32)*decoded, sizeof(Decoded_Line_Of_Code));
                                 ^
               [...]
Halt7.c:847: Error: too many memory references for `mov'
Halt7.c:848: Error: too many memory references for `mov'
Halt7.c:928: Error: too many memory references for `lea'
Halt7.c:929: Error: too many memory references for `mov'
Halt7.c:930: Error: too many memory references for `lea'
Halt7.c:931: Error: too many memory references for `mov'
Halt7.c:932: Error: too many memory references for `mov'
Halt7.c:933: Error: too many memory references for `mov'
tth@redlady:~/Desktop$
                OK boomer.
 

Compiles with Microsoft Visual Studio Community Edition 2017
This file has all the details
https://github.com/plolcott/x86utm/blob/master/__Run_7.bat
Halt7.c is compiled and not linked with this line
cl  /GS- /FA /FaHalt7.asm  /c /arch:IA32 Halt7.c
The x86utm operating system is compiled and linked with this line
cl.exe /EHsc x86utm.cpp api.c decode.c mem.c ops.c ops2.c prim_ops.c
x86utm emulates the object code of Halt7.obj with this line:
x86utm Halt7.obj > Halt7out.txt
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer