Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.c++ > #119472

Re: Can you please verify that the analysis of these C functions is correct?

From olcott <polcott333@gmail.com>
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-17 09:26 -0500
Organization A noiseless patient Spider
Message-ID <v4ph2u$mk69$1@dont-email.me> (permalink)
References <v4obkj$f9p5$2@dont-email.me> <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>

Cross-posted to 2 groups.

Show all headers | View raw


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.
> 
That is great, I have no further questions about this.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.lang.c++ | Previous | NextPrevious in thread | Next in thread | Find similar


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