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


Groups > comp.lang.c > #384618 > unrolled thread

Can someone please verify the execution trace of this?

Started byolcott <polcott333@gmail.com>
First post2024-05-18 16:40 -0500
Last post2024-05-20 10:13 -0500
Articles 20 on this page of 137 — 18 participants

Back to article view | Back to comp.lang.c


Contents

  Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-18 16:40 -0500
    Re: Can someone please verify the execution trace of this? Richard Damon <richard@damon-family.org> - 2024-05-18 18:33 -0400
    Re: Can someone please verify the execution trace of         this? Sam <sam@email-scan.com> - 2024-05-18 21:12 -0400
      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-18 22:16 -0500
        Re: Can someone please verify the execution trace of this? jak <nospam@please.ty> - 2024-05-19 06:24 +0200
    Re: Can someone please verify the execution trace of this? Rosario19 <Ros@invalid.invalid> - 2024-05-19 06:25 +0200
      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-18 23:58 -0500
    Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-19 20:08 +0200
      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-19 14:00 -0500
        Re: Can someone please verify the execution trace of this? Richard Damon <richard@damon-family.org> - 2024-05-19 15:24 -0400
        Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 03:52 +0200
          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-19 21:43 -0500
            Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 07:09 +0200
              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 00:38 -0500
                Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 08:41 +0200
                  Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 09:47 -0500
                    Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 17:16 +0200
                      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 11:01 -0500
                        Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 19:15 +0200
                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 12:20 -0500
                            Re: Can someone please verify the execution trace of this? Richard Harnden <richard.nospam@gmail.invalid> - 2024-05-20 19:26 +0100
                              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:09 -0500
                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:35 -0700
                              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:15 -0500
                                Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:23 -0700
                                  Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:28 -0500
                                    Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:30 -0700
                                      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:34 -0500
                                        Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:35 -0700
                                        Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:36 -0700
                                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:38 -0500
                                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:42 -0700
                                        Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:38 -0700
                                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:40 -0500
                                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:44 -0700
                                              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:48 -0500
                                                Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:50 -0700
                                                  Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:52 -0700
                                  Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:32 -0700
                                    Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:37 -0500
                                      Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:41 -0700
                                        Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:45 -0500
                                          Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 12:47 -0700
                                            Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 14:53 -0500
                                              Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:04 -0700
                                                Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 15:10 -0500
                                                  Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:19 -0700
                                                    Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:21 -0700
                                                    Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 15:30 -0500
                                                      Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:31 -0700
                                                        Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:32 -0700
                                                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 15:36 -0500
                                                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:38 -0700
                                                              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 15:52 -0500
                                                                Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 14:05 -0700
                                                                  Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 14:09 -0700
                                                                  Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 16:27 -0500
                                                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 13:48 -0700
                Re: Can someone please verify the execution trace of this? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-20 10:10 +0200
                  Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 09:51 -0500
                    Re: Can someone please verify the execution trace of this? Paavo Helde <eesnimi@osa.pri.ee> - 2024-05-20 18:05 +0300
                      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 10:11 -0500
                    Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-20 17:17 +0200
                      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 11:07 -0500
                        Re: Can someone please verify the execution trace of this? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-21 00:14 +0200
                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 17:23 -0500
            Re: Can someone please verify the execution trace of         this? Sam <sam@email-scan.com> - 2024-05-20 18:59 -0400
              Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 18:07 -0500
                Re: Can someone please verify the execution trace of         this? Sam <sam@email-scan.com> - 2024-05-20 19:21 -0400
                  Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 18:27 -0500
                    Re: Can someone please verify the execution trace of         this? Sam <sam@email-scan.com> - 2024-05-21 07:48 -0400
                      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-21 08:37 -0500
                        Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:03 -0700
                          Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-21 14:21 -0500
                            Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 14:39 -0700
                            Re: Can someone please verify the execution trace of         this? Sam <sam@email-scan.com> - 2024-05-21 17:55 -0400
                              Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 17:09 -0500
                                Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 15:18 -0700
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 15:20 -0700
                                    Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 17:29 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 15:34 -0700
                                        Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 18:07 -0500
                                          Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 16:54 -0700
                                            Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 19:05 -0500
                                Re: Can D correctly simulated by H reach its own line 06 and         halt? Sam <sam@email-scan.com> - 2024-05-21 21:31 -0400
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 20:43 -0500
                                    Re: Can D correctly simulated by H reach its own line 06 and         halt? Sam <sam@email-scan.com> - 2024-05-21 22:10 -0400
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 21:17 -0500
                                        Re: Can D correctly simulated by H reach its own line 06 and         halt? Sam <sam@email-scan.com> - 2024-05-21 22:20 -0400
                                          Re: Can D correctly simulated by H reach its own line 06 and halt? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2024-05-21 21:23 -0700
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 21:22 -0500
                                    Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 23:03 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? tTh <tth@none.invalid> - 2024-05-22 06:45 +0200
                                        Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-22 13:47 -0700
                                    Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-22 08:53 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and         halt? Sam <sam@email-scan.com> - 2024-05-22 13:10 -0400
                                        Re: Can D correctly simulated by H reach its own line 06 and halt? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-22 13:50 -0700
                                    Re: Can D correctly simulated by H reach its own line 06 and         halt? Sam <sam@email-scan.com> - 2024-05-22 07:01 -0400
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-22 13:50 +0200
                  Re: Can someone please verify the execution trace of this? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 21:00 -0700
                    Can D simulated by any H possibly reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-20 23:22 -0500
            Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 22:58 -0500
              Re: Can someone please verify the execution trace of this? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-21 09:39 +0200
              Re: Can someone please verify the execution trace of this? Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2024-05-21 09:55 +0200
                Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-21 08:31 -0500
                  Re: Can someone please verify the execution trace of this? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-21 15:56 +0200
                    Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 09:09 -0500
                      Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-21 20:01 +0200
                        Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 13:09 -0500
                          Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-21 20:13 +0200
                            Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 13:24 -0500
                              Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-21 20:39 +0200
                                Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 13:48 -0500
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? bart <bc@freeuk.com> - 2024-05-21 22:34 +0100
                                    Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 16:56 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? David Brown <david.brown@hesbynett.no> - 2024-05-22 10:54 +0200
                                        D correctly simulated by H remains stuck in recursive simulation olcott <polcott333@gmail.com> - 2024-05-22 10:44 -0500
                                          Re: D correctly simulated by H remains stuck in recursive simulation "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-22 18:27 +0200
                                          Re: D correctly simulated by H remains stuck in recursive simulation [good attempt] olcott <polcott333@gmail.com> - 2024-05-22 15:04 -0500
                                            Re: D correctly simulated by H remains stuck in recursive simulation [good attempt] wij <wyniijj5@gmail.com> - 2024-05-23 04:59 +0800
                                              Re: D correctly simulated by H remains stuck in recursive simulation [good attempt] olcott <polcott333@gmail.com> - 2024-05-22 16:26 -0500
                                          Re: D correctly simulated by H remains stuck in recursive simulation olcott <polcott333@gmail.com> - 2024-05-22 16:56 -0500
                                            Re: D correctly simulated by H remains stuck in recursive simulation "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-22 15:36 -0700
                                              Re: D correctly simulated by H remains stuck in recursive simulation olcott <polcott333@gmail.com> - 2024-05-22 17:52 -0500
                                                Re: D correctly simulated by H remains stuck in recursive simulation "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-22 18:33 -0700
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-22 06:40 +0200
                                    Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 23:46 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-22 18:29 +0200
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-22 08:52 -0500
                                      Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-22 12:01 +0200
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? olcott <polcott333@gmail.com> - 2024-05-21 23:37 -0500
                                  Re: Can D correctly simulated by H reach its own line 06 and halt? Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-22 06:29 +0200
            Partial function types Tim Rentsch <tr.17687@z991.linuxsc.com> - 2024-05-21 22:15 -0700
              Re: Partial function types Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 23:27 -0700
    Re: Can someone please verify the execution trace of this? Marcel Mueller <news.5.maazl@spamgourmet.org> - 2024-05-20 15:14 +0200
      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 10:10 -0500
      Re: Can someone please verify the execution trace of this? olcott <polcott333@gmail.com> - 2024-05-20 10:13 -0500

Page 5 of 7 — ← Prev page 1 2 3 4 [5] 6 7  Next page →


#384777 — Re: Can D correctly simulated by H reach its own line 06 and halt?

From"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date2024-05-21 15:34 -0700
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2j7hp$ptgg$1@dont-email.me>
In reply to#384776
On 5/21/2024 3:29 PM, olcott wrote:
> On 5/21/2024 5:20 PM, Chris M. Thomasson wrote:
>> On 5/21/2024 3:18 PM, Chris M. Thomasson wrote:
>>> On 5/21/2024 3:09 PM, olcott wrote:
>>> [...]
>>>> I have two fully operational versions of H that run under Windows
>>>> and Linux. Those are off topic.
>>> [...]
>>>
>>> Oh, how nice. lol.
>>>
>>
>> Show me some pseudo code of H? ;^)
> 
> Once you understand my code template then it is easy to see how > termination analyzer H would correctly determine the termination
> status of its input D. Thousands of lines of C code would only
> make this much harder to understand.
> 

You think I want to think up thousands of lines of C code to try to read 
your odd mind wrt H? Post them. It's C code, right? No wonder you do not 
want to expose it to a black box program to see if it halts or not... Yawn.

[toc] | [prev] | [next] | [standalone]


#384778 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 18:07 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2j9fs$qd0f$1@dont-email.me>
In reply to#384777
On 5/21/2024 5:34 PM, Chris M. Thomasson wrote:
> On 5/21/2024 3:29 PM, olcott wrote:
>> On 5/21/2024 5:20 PM, Chris M. Thomasson wrote:
>>> On 5/21/2024 3:18 PM, Chris M. Thomasson wrote:
>>>> On 5/21/2024 3:09 PM, olcott wrote:
>>>> [...]
>>>>> I have two fully operational versions of H that run under Windows
>>>>> and Linux. Those are off topic.
>>>> [...]
>>>>
>>>> Oh, how nice. lol.
>>>>
>>>
>>> Show me some pseudo code of H? ;^)
>>
>> Once you understand my code template then it is easy to see how > 
>> termination analyzer H would correctly determine the termination
>> status of its input D. Thousands of lines of C code would only
>> make this much harder to understand.
>>
> 
> You think I want to think up thousands of lines of C code to try to read 
> your odd mind wrt H? Post them. It's C code, right? No wonder you do not 
> want to expose it to a black box program to see if it halts or not... Yawn.
> 

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.

*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*

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

[toc] | [prev] | [next] | [standalone]


#384779 — Re: Can D correctly simulated by H reach its own line 06 and halt?

From"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date2024-05-21 16:54 -0700
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jc7i$qouu$1@dont-email.me>
In reply to#384778
On 5/21/2024 4:07 PM, olcott wrote:
[...]
> 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.

Ummmm. What is your point? You mean that:

_______________
#include <stdio.h>

unsigned int
foobar(unsigned int a)
{
    return foobar(a + 1);
}

int main(void) {
     unsigned int a = 0;

     unsigned int b = foobar(a);

     printf("ROFL!!!\n");

     return 0;
}
_______________

will never return to the original caller (main) and never be able to 
execute the printf? Well, so damn what!?! You need thousands of lines of 
code to show that? Ummmm.... I still must be missing something here... ;^o


> 
> *That <is> the complete essence of my thousands of lines of code*
> *That <is> the complete essence of my thousands of lines of code*
> *That <is> the complete essence of my thousands of lines of code*
> 

[toc] | [prev] | [next] | [standalone]


#384780 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 19:05 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jcs2$qqgg$1@dont-email.me>
In reply to#384779
On 5/21/2024 6:54 PM, Chris M. Thomasson wrote:
> On 5/21/2024 4:07 PM, olcott wrote:
> [...]
>> 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.
> 
> Ummmm. What is your point? You mean that:
> 
> _______________
> #include <stdio.h>
> 
> unsigned int
> foobar(unsigned int a)
> {
>     return foobar(a + 1);
> }
> 
> int main(void) {
>      unsigned int a = 0;
> 
>      unsigned int b = foobar(a);
> 
>      printf("ROFL!!!\n");
> 
>      return 0;
> }
> _______________
> 
> will never return to the original caller (main) and never be able to 
> execute the printf? Well, so damn what!?! You need thousands of lines of 
> code to show that? Ummmm.... I still must be missing something here... ;^o
> 
> 
>>
>> *That <is> the complete essence of my thousands of lines of code*
>> *That <is> the complete essence of my thousands of lines of code*
>> *That <is> the complete essence of my thousands of lines of code*
>>
> 

The key difference is that I figured out that a simulating
termination analyzer H provides the basis to correctly determine
that the halting problem counter-example input D cannot possibly
reach its own final state and halt.

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

[toc] | [prev] | [next] | [standalone]


#384781 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromSam <sam@email-scan.com>
Date2024-05-21 21:31 -0400
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<cone.1716341492.839992.469710.1004@monster.email-scan.com>
In reply to#384773
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.

[toc] | [prev] | [next] | [standalone]


#384782 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 20:43 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jiju$rncr$1@dont-email.me>
In reply to#384781
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?
> 
>>
>> 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.
> 


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       }

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.

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

[toc] | [prev] | [next] | [standalone]


#384784 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromSam <sam@email-scan.com>
Date2024-05-21 22:10 -0400
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<cone.1716343827.789727.2982.1004@monster.email-scan.com>
In reply to#384782
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.

[toc] | [prev] | [next] | [standalone]


#384785 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 21:17 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jkkn$vqej$2@dont-email.me>
In reply to#384784
On 5/21/2024 9:10 PM, Sam wrote:
> 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.
> 
> 

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.

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

[toc] | [prev] | [next] | [standalone]


#384786 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromSam <sam@email-scan.com>
Date2024-05-21 22:20 -0400
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<cone.1716344446.175941.9724.1004@monster.email-scan.com>
In reply to#384785
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.

[toc] | [prev] | [next] | [standalone]


#384795 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromTim Rentsch <tr.17687@z991.linuxsc.com>
Date2024-05-21 21:23 -0700
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<86a5kiwk3r.fsf@linuxsc.com>
In reply to#384786
Sam <sam@email-scan.com> writes:

> 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.

olcott is playing a kind of practical joke, testing to see
how long it takes people to realize his personal Turing
machine doesn't halt.

[toc] | [prev] | [next] | [standalone]


#384787 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 21:22 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jkt3$vqej$3@dont-email.me>
In reply to#384781
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?
> 
>>
>> 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.
> 

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       }

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

D correctly correctly simulated by H cannot possibly reach
its own final state at line 06 and halt 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.

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

[toc] | [prev] | [next] | [standalone]


#384789 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-21 23:03 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jqq1$10qa6$2@dont-email.me>
In reply to#384787
On 5/21/2024 9:22 PM, olcott wrote:
> 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?
>>
>>>
>>> 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.
>>
> 
> 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       }
> 
> 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
> 
> D correctly correctly simulated by H cannot possibly reach
> its own final state at line 06 and halt 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.
> 
test
-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

[toc] | [prev] | [next] | [standalone]


#384816 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromtTh <tth@none.invalid>
Date2024-05-22 06:45 +0200
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2jt9s$24ik$1@news.gegeweb.eu>
In reply to#384789
On 5/22/24 06:03, olcott wrote:
>>
>> This provides the basis for simulating termination analyzer H to
>> correctly determine that the halting problem's counter-example
>> input D cannot possibly halt.
>>
> test

    But did you even try unplugging your computer?

-- 
+---------------------------------------------------------------------+
|          https://tube.interhacker.space/a/tth/video-channels        |
+---------------------------------------------------------------------+

[toc] | [prev] | [next] | [standalone]


#384834 — Re: Can D correctly simulated by H reach its own line 06 and halt?

From"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date2024-05-22 13:47 -0700
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2lllu$1blb3$1@dont-email.me>
In reply to#384816
On 5/21/2024 9:45 PM, tTh wrote:
> On 5/22/24 06:03, olcott wrote:
>>>
>>> This provides the basis for simulating termination analyzer H to
>>> correctly determine that the halting problem's counter-example
>>> input D cannot possibly halt.
>>>
>> test
> 
>     But did you even try unplugging your computer?
> 

;^D

[toc] | [prev] | [next] | [standalone]


#384800 — Re: Can D correctly simulated by H reach its own line 06 and halt?

Fromolcott <polcott333@gmail.com>
Date2024-05-22 08:53 -0500
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2ktd5$16qp5$2@dont-email.me>
In reply to#384787
On 5/22/2024 6:50 AM, Bonita Montero wrote:
> Am 22.05.2024 um 13:01 schrieb Sam:
>> 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.
> 
> I think he is stuck in a mental 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.


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       }

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

D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt 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.


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

[toc] | [prev] | [next] | [standalone]


#384822 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromSam <sam@email-scan.com>
Date2024-05-22 13:10 -0400
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<cone.1716397847.363034.60130.1004@monster.email-scan.com>
In reply to#384800
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?

[toc] | [prev] | [next] | [standalone]


#384835 — Re: Can D correctly simulated by H reach its own line 06 and halt?

From"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date2024-05-22 13:50 -0700
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2llrf$1blb3$2@dont-email.me>
In reply to#384822
On 5/22/2024 10:10 AM, Sam wrote:
> 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?
> 

I wonder if he just might need some corks on those forks, to prevent him 
from hurting himself, and/or others...

(Dirty Rotten Scoundrels (1988) - Dinner With Ruprecht Scene (6/12) | 
Movieclips)

https://youtu.be/SKDX-qJaJ08

Humm... ;^o

[toc] | [prev] | [next] | [standalone]


#384803 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromSam <sam@email-scan.com>
Date2024-05-22 07:01 -0400
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<cone.1716375676.668375.31172.1004@monster.email-scan.com>
In reply to#384787
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.

[toc] | [prev] | [next] | [standalone]


#384808 — Re: Can D correctly simulated by H reach its own line 06 and halt?

FromBonita Montero <Bonita.Montero@gmail.com>
Date2024-05-22 13:50 +0200
SubjectRe: Can D correctly simulated by H reach its own line 06 and halt?
Message-ID<v2km5u$15n65$1@raubtier-asyl.eternal-september.org>
In reply to#384803
Am 22.05.2024 um 13:01 schrieb Sam:
> 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.

I think he is stuck in a mental 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.
> 

[toc] | [prev] | [next] | [standalone]


#384723

From"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date2024-05-20 21:00 -0700
Message-ID<v2h69b$du7p$1@dont-email.me>
In reply to#384720
On 5/20/2024 4:21 PM, Sam wrote:
> olcott writes:
> 
>> On 5/20/2024 5:59 PM, Sam wrote:
>>>
>>> Big deal. You were hoping to impress someone? I've got about a decade 
>>> on you, and I wrote my own K&R C compiler, long before Y2K. I don't 
>>> brag about it. Sit down, kid.
>>>
>>
>> People were acting like I was totally clueless.
> 
> Well, there's a name for this phenomenon. It's called "No shit, Sherlock?".
> 
>>> Of course. A copyright statement. How impressive.
>>>
>>> Your delusions of self-grandeur are only your delusions, not shared 
>>> by anyone else.
>>>
>>
>> I am only asking about the behavior of a single
>> C function template.
> 
> Well, I don't know how to break the news to you, buddy. You better be 
> prepared to continue asking, for the foreseeable future. Mastering the 
> art of copy/paste is highly recommended.
> 

I am still not sure what olcott is asking. Will this halt? Not if the 
system has infinite time and energy...
______________________
#include <stdio.h>

void foobar(unsigned int volatile* a)
{
    for (;;)
    {
       ++(*a);
    }
}

int main() {
     unsigned int a = 0;

     foobar(&a);

     printf("a = %u", a);

     return 0;
}
______________________

What is his point?

[toc] | [prev] | [next] | [standalone]


Page 5 of 7 — ← Prev page 1 2 3 4 [5] 6 7  Next page →

Back to top | Article view | comp.lang.c


csiph-web