Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #119502
| 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 13:20 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v57155$onl3$10@i2pn2.org> (permalink) |
| References | (2 earlier) <v54s1p$3boc5$1@dont-email.me> <v5684p$3n50u$1@dont-email.me> <v56gs1$3olbi$3@dont-email.me> <v56lar$onl4$7@i2pn2.org> <v56uij$3rako$1@dont-email.me> |
Cross-posted to 2 groups.
On 6/22/24 12:36 PM, olcott wrote:
> On 6/22/2024 8:58 AM, Richard Damon wrote:
>> 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.
>
> It seems pretty stupid to allow gaps in the semantics of C++ programs.
> Simply specify that the order of evaluation is left to right unless:
> (a) Otherwise specified such as operator precedence rules.
> (b) Derives the same result as left to right ordering.
>
Nope. The problem is that such a rule breaks the fundamental design
decisions that the goal is to make it possible to create as efficient
machine code as possible.
If you need the left to right evaluation order, there are ways to write
the code to make that happen.
One of the fundamental design decisions in the language is that it
trusts the programmer to know the rules, and will strive for the fastest
code possible.
C++ made a special rule for the << operator because the gain for its use
as an output was high enough, and the cost as a normal shift operator
was rarely high (and normally hidden by the "as if" rule) so it was done
there.
There are too many cases for the more general arguement that causes
measurable speed differences.
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
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? DFS <nospam@dfs.com> - 2024-06-26 13:09 -0400
Re: Can you please verify that the analysis of these C functions is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2024-06-26 19:42 +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-26 11:54 -0700
Re: Can you please verify that the analysis of these C functions is correct? DFS <nospam@dfs.com> - 2024-06-27 08:51 -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-27 13:51 -0700
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