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

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.
--
+++
                      tTh des Bourtoulots
+++