XPost: comp.lang.c++

olcott writes:

I learned C when K & R was the standard.
I met Bjarne Stroustrup are our local university when he
was promoting his new language. I have been a professional
programmer since 1984, and a professional C++ software
engineer since Y2K.

And I have been Lord High Posterchild Of The Known Universe, since birth. So what?

I know that my C function template will not execute.

Not only that, there is no such thing as "C function template" in the first place. Templates are a C++ thing. There are not templates in C.

I can't provide the details of this because this template refers to
an infinite set of H/D pairs where H is only required to correctly
simulate N steps of D using an x86 emulator. H must be a pure function.

Unfortunately, all our psychics are out to lunch and there's noone in the office who knows how to operate the magical mind ray-beam machine that's
needed in order to extract all the relevant details from your head. You'll
need to patiently wait until the lunch break is over.

We apologize for the inconvenience.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

XPost: comp.lang.c++

olcott writes:

On 5/21/2024 8:31 PM, Sam wrote:

olcott writes:

I learned C when K & R was the standard.
I met Bjarne Stroustrup are our local university when he
was promoting his new language. I have been a professional
programmer since 1984, and a professional C++ software
engineer since Y2K.

And I have been Lord High Posterchild Of The Known Universe, since birth. So >> what?

Undeniable Truth Of Life #1

I know that my C function template will not execute.

Not only that, there is no such thing as "C function template" in the first >> place. Templates are a C++ thing. There are not templates in C.

I can't provide the details of this because this template refers to
an infinite set of H/D pairs where H is only required to correctly
simulate N steps of D using an x86 emulator. H must be a pure function.

Unfortunately, all our psychics are out to lunch and there's noone in the
office who knows how to operate the magical mind ray-beam machine that's
needed in order to extract all the relevant details from your head. You'll >> need to patiently wait until the lunch break is over.

We apologize for the inconvenience.

Undeniable Truth Of Life #2

typedef int (*ptr)(); // ptr is pointer to int function in C
00 int H(ptr p, ptr i);
01 int D(ptr p)
02 {
03 int Halt_Status = H(p, p);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 int main()
10 {
11 H(D,D);
12 return 0;
13 }

More low-quality BASIC code.

It is essentially trivial to see that D correctly simulated by H
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.

This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.

Negative. It is trivial to see that the above code does not execute, and, as such, any claims about what it does or does not do are void, by default.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

XPost: comp.lang.c++

olcott writes:

It is essentially trivial to see that D correctly simulated by H
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.

This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.

Negative. It is trivial to see that the above code does not execute, and, as >> such, any claims about what it does or does not do are void, by default.

Oh I forgot to endlessly repeat that that the above is
a code template such that every H/D pair of the infinite
set of H/D pairs is only required to correctly simulate
N steps of D using an x86 emulator.

Just like any endlessly repeating infinite loop, you're stuck and will never finish your task.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

XPost: comp.lang.c++

olcott writes:

Unfortunately, all our psychics are out to lunch and there's noone in the
office who knows how to operate the magical mind ray-beam machine that's
needed in order to extract all the relevant details from your head. You'll >> need to patiently wait until the lunch break is over.

We apologize for the inconvenience.

typedef int (*ptr)(); // ptr is pointer to int function in C

You're stuck in an infinite loop. Try pressing CTRL-ALT-DEL. This will break you out of your infinite loop.

Then, it's time to figure out how to fix your infinite loop. You need to
attach a debugger. I saw Jerry do this once to Tom, by sticking Tom's tail
into a socket. You don't have a tail. But you have hands. With plenty of fingers. You only need two (don't worry about the ground plug). Your fingers are probably too thick to fit. You need a pair of forks.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

XPost: comp.lang.c++

olcott writes:

It is trivial to see that for every H/D pair of the infinite
set of H/D pairs that match the above template that

You're wrong, it's not. You overlooked the red-black tree that produces the cartesian cross-product which results in the entire sequence netting to 0.

Rookie mistake.

Better luck next time.

P.S. Did you find the forks, yet?

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)