Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c > #386346
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | comp.lang.c, comp.lang.c++ |
| Subject | Re: Can you please verify that the analysis of these C functions is correct? |
| Date | 2024-06-22 09:58 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v56lar$onl4$7@i2pn2.org> (permalink) |
| References | <v4obkj$f9p5$2@dont-email.me> <v4pg5p$morv$1@raubtier-asyl.eternal-september.org> <v54s1p$3boc5$1@dont-email.me> <v5684p$3n50u$1@dont-email.me> <v56gs1$3olbi$3@dont-email.me> |
Cross-posted to 2 groups.
On 6/22/24 8:42 AM, olcott wrote:
> On 6/22/2024 5:13 AM, Richard Harnden wrote:
>> On 21/06/2024 22:41, olcott wrote:
>>> On 6/17/2024 9:11 AM, Bonita Montero wrote:
>>>> Am 17.06.2024 um 05:47 schrieb olcott:
>>>>> To understand this analysis requires a sufficient knowledge of
>>>>> the C programming language and what an x86 emulator does.
>>>>>
>>>>> typedef void (*ptr)();
>>>>> int H0(ptr P);
>>>>>
>>>>> void Infinite_Loop()
>>>>> {
>>>>> HERE: goto HERE;
>>>>> }
>>>>>
>>>>> void Infinite_Recursion()
>>>>> {
>>>>> Infinite_Recursion();
>>>>> }
>>>>>
>>>>> void DDD()
>>>>> {
>>>>> H0(DDD);
>>>>> return;
>>>>> }
>>>>>
>>>>> int main()
>>>>> {
>>>>> H0(Infinite_Loop);
>>>>> H0(Infinite_Recursion);
>>>>> H0(DDD);
>>>>> }
>>>>>
>>>>> Every C programmer that knows what an x86 emulator is knows that
>>>>> when H0
>>>>> emulates the machine language of Infinite_Loop, Infinite_Recursion,
>>>>> and
>>>>> DDD that it must abort these emulations so that itself can terminate
>>>>> normally.
>>>>>
>>>>> When this is construed as non-halting criteria then simulating
>>>>> termination analyzer H0 is correct to reject these inputs as non-
>>>>> halting.
>>>>>
>>>>> *My POD24 diagnosis is reducing the time I have left to work on this*
>>>>> Validation of POD24 as a robust early clinical end point of poor
>>>>> survival in FL from 5225 patients on 13 clinical trials
>>>>> https://pubmed.ncbi.nlm.nih.gov/34614146/
>>>>>
>>>>
>>>> Everything correct, no further questions allowed.
>>>>
>>>
>>> Thanks for your help on this. The Liars on comp.theory are
>>> even lying about what you actually said.
>>>
>>
>> Pretty sure that Bonita was taking the piss.
>>
> I would say that this would indicate that you are insufficiently
> competent with the C programming language.
>
It seems you are the one that doesn't know the C programing language.
After all, you didn't know about the unordering of sub-expressions, or
that this can lead to undefined behavior.
Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar
Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-16 22:47 -0500
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-17 16:11 +0200
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-17 09:26 -0500
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-19 11:03 -0500
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-21 16:41 -0500
Re: Can you please verify that the analysis of these C functions is correct? Richard Harnden <richard.nospam@gmail.invalid> - 2024-06-22 11:13 +0100
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-22 07:42 -0500
Re: Can you please verify that the analysis of these C functions is correct? Richard Damon <richard@damon-family.org> - 2024-06-22 09:58 -0400
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-22 11:36 -0500
Re: Can you please verify that the analysis of these C functions is correct? Richard Damon <richard@damon-family.org> - 2024-06-22 13:20 -0400
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-22 20:00 +0200
Re: Can you please verify that the analysis of these C functions is correct? Richard Damon <richard@damon-family.org> - 2024-06-22 14:50 -0400
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-23 08:52 +0200
Re: Can you please verify that the analysis of these C functions is correct? Richard Damon <richard@damon-family.org> - 2024-06-23 07:38 -0400
Re: Can you please verify that the analysis of these C functions is correct? David Brown <david.brown@hesbynett.no> - 2024-06-23 14:38 +0200
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-22 19:58 +0200
Re: Can you please verify that the analysis of these C functions is correct? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 12:17 -0700
Re: Can you please verify that the analysis of these C functions is correct? Richard Damon <richard@damon-family.org> - 2024-06-22 16:15 -0400
Re: Can you please verify that the analysis of these C functions is correct? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 13:20 -0700
Re: Can you please verify that the analysis of these C functions is correct? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 13:26 -0700
Re: Can you please verify that the analysis of these C functions is correct? James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-06-22 17:49 -0400
Re: Can you please verify that the analysis of these C functions is correct? David Brown <david.brown@hesbynett.no> - 2024-06-23 14:43 +0200
Re: Can you please verify that the analysis of these C functions is correct? David Brown <david.brown@hesbynett.no> - 2024-06-23 14:30 +0200
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-26 18:32 +0200
Re: Can you please verify that the analysis of these C functions is correct? olcott <polcott333@gmail.com> - 2024-06-22 20:22 -0500
csiph-web