Re: Simulating termination analyzers for dummies

Le 18/06/2024 à 14:38, olcott a écrit :

On 6/18/2024 2:57 AM, Fred. Zwarts wrote:

...

It is such a simple fact that H0 cannot possibly correct.

 Are you pretending to be incompetent about the semantics of the
x86 language or you you actually incompetent?
 The C people already agreed that I am correct about this:

Definitely NOT. Given that the following code is not an assertion
(and does not even compile, as usual with Peter Olcott productions).

typedef void (*ptr)();
int H0(ptr P);
 void Infinite_Loop()
{
   HERE: goto HERE;
}
 void Infinite_Recursion()
{
   Infinite_Recursion();
}
 void DDD()
{
   H0(DDD);
}
 int main()
{
   H0(Infinite_Loop);
   H0(Infinite_Recursion);
   H0(DDD);
}

Have you checked weather forecast in Hell as you are likely
to end up there soon?