Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : Keith.S.Thompson+u (at) *nospam* gmail.com (Keith Thompson)
Groupes : comp.theory comp.lang.cSuivi-à : comp.theoryDate : 18. May 2024, 20:03:41
Autres entêtes
Organisation : None to speak of
Message-ID : <87jzjrkkmq.fsf@nosuchdomain.example.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
James Kuyper <
jameskuyper@alumni.caltech.edu> writes:
[...]
"Undefined behavior" is a piece of C jargon. You cannot understand the
meaning of the term by treating it as an ordinary English phrase:
"behavior which has no definition'.
[...]
This is important, because strictly conforming code cannot
have undefined behavior. If the C standard has no definition for the
behavior of some code, it cannot be strictly conforming, even if some
other document does define the behavior.
[...]
It's also important to note that "strictly conforming" is a piece of C
jargon. I don't know (or care) whether strict conformance is relevant
to the discussion that should have stayed in comp.theory.
If something in comp.theory raises a question about C, I suggest
starting a new thread in comp.lang.c rather than cross-posting.
Followups redirected back to comp.theory.
-- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.comvoid Void(void) { Void(); } /* The recursive call of the void */