Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

On 3/14/2025 2:43 AM, Fred. Zwarts wrote:

Op 14.mrt.2025 om 03:05 schreef olcott:

On 3/13/2025 6:09 PM, Richard Damon wrote:

On 3/13/25 4:46 PM, olcott wrote:

On 3/13/2025 4:27 AM, joes wrote:

Am Wed, 12 Mar 2025 21:41:34 -0500 schrieb olcott:

On 3/12/2025 7:56 PM, dbush wrote:

The direct execution of DDD

is proven to be different than the behavior of DDD emulated by HHH
according to the semantics of the x86 language.

Which is weird, considering that a simulator should produce the
same behaviour.

DECIDERS ARE REQUIRED TO REPORT ON THE SEMANTIC OR SYNTACTIC
PROPERTY OF THEIR INPUT FINITE STRINGS.

And not if the input called a different simulator that didn't
abort.

DDD correctly emulated by HHH cannot possibly reach its own final
state no matter what HHH does.
DDD correctly emulated by HHH1 does reach its own final state.

Which shows that HHH doesn't correctly emulate its input, unless you
just lied and gave the two programs different inputs.

Someone that is not a liar could explain exactly how DDD emulated by
HHH according to the semantics of the C language must have the same
behavior as DDD emulated by HHH1 according to the semantics of the C
language.

It has. If not, show the first instruction simulated differently by HHH
and HHH1.

DDD correctly simulated by HHH cannot possibly reach its own "return"
instruction in any finite number of correctly simulated steps.

That you are clueless about the semantics of something as simple as a
tiny C function proves that you are not competent to review my work.