Liste des Groupes | Revenir à c theory |
On 7/4/2024 8:09 AM, joes wrote:Huh? HHH examines main. Sure, it doesn’t /simulate/ the return.Am Thu, 04 Jul 2024 07:53:07 -0500 schrieb olcott:That is not the one that HHH examines.On 7/4/2024 6:09 AM, joes wrote:I was talking about main itself.Am Wed, 03 Jul 2024 10:55:14 -0500 schrieb olcott:main correctly simulated by H never returns.On 7/3/2024 10:52 AM, Fred. Zwarts wrote:As a matter of fact, H does abort it. H then returns to main,Similarly, if you think that HHH can simulate itself correctly, youmain correctly emulated by H never stops running unless aborted.
are wrong.
int H(ptr p, ptr i);
int main()
{
return H(main, 0);
}
You showed that H returns, but that the simulation thinks it does
not return.
which then stops running.
Les messages affichés proviennent d'usenet.