Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Sam Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can someone please verify the execution trace of =?UTF-8?Q?this=3F?= Date: Tue, 21 May 2024 07:48:36 -0400 Organization: A noiseless patient Spider Lines: 41 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; format=flowed; delsp=yes; charset="UTF-8" Content-Transfer-Encoding: 7bit Injection-Date: Tue, 21 May 2024 13:48:37 +0200 (CEST) Injection-Info: dont-email.me; posting-host="33aa4844adde497d04942cdccb924add"; logging-data="620877"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ielKS5GUC1x+N4smergT0" Cancel-Lock: sha1:qcsJpnDXO2lbyezyoaOL5eZcf1Y= X-Shameless-Plug: https://github.com/svarshavchik X-Mailer: https://www.courier-mta.org/cone/ Content-Disposition: inline Bytes: 2385 olcott writes: > People on comp.theory have consistently lied about this > for at least the last two years: > > typedef int (*ptr)(); > int H(ptr P, ptr I); > > int D(ptr x) > { > int Halt_Status = H(x, x); > if (Halt_Status) > HERE: goto HERE; > return Halt_Status; > } > > int main() > { > H(D,D); > return 0; > } Your C compiler also lied to you, if it ever claimed of succeeding in compiling and producing an executable out of this masterpiece. > This has preventing me from getting to he next step of > my proof that depends on accepting this. Aw, so sad. A bunch of random people on the Intertubes is keeping you from achieving world fame comparable to Einstein's? Sucks to be you. >> 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 worked for the Air Force on > https://en.wikipedia.org/wiki/NPOESS We've got a real-life Forrest Gump here.