Deutsch English Français Italiano |
<v2ir5p$noij$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can someone please verify the execution trace of this? Date: Tue, 21 May 2024 12:03:21 -0700 Organization: A noiseless patient Spider Lines: 35 Message-ID: <v2ir5p$noij$1@dont-email.me> References: <v2eada$3p6sk$1@raubtier-asyl.eternal-september.org> <v2edbr$3pl2i$1@dont-email.me> <cone.1716245955.313207.394874.1004@monster.email-scan.com> <v2gl3u$7hoj$1@dont-email.me> <cone.1716247265.849807.395262.1004@monster.email-scan.com> <v2gm90$7osh$1@dont-email.me> <cone.1716292116.659769.408188.1004@monster.email-scan.com> <v2i81v$jvcs$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 21 May 2024 21:03:22 +0200 (CEST) Injection-Info: dont-email.me; posting-host="6ad02092fbd70bc476a2c661bc081089"; logging-data="778835"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19YcorX8DV/hlr7UgHj1L+hTiKkbAnwcbE=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:rCZ8NSDYuitB1/7ZRZz6D+OvCMI= In-Reply-To: <v2i81v$jvcs$2@dont-email.me> Content-Language: en-US Bytes: 2159 On 5/21/2024 6:37 AM, olcott wrote: > On 5/21/2024 6:48 AM, Sam wrote: >> 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. >> > > Keith Thompson has confirmed that my code both compiles > and conforms to the c17 standard. Where did he say exactly that? [...]