Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à c theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory comp.lang.c
Date : 18. May 2024, 18:47:22
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2am2q$1ct7o$8@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 5/18/24 12:32 PM, James Kuyper wrote:
On 5/18/24 11:44, Richard Damon wrote:
On 5/18/24 11:34 AM, James Kuyper wrote:
On 5/18/24 09:02, Mikko wrote:
On 2024-05-17 17:14:01 +0000, olcott said:...>>>> Fully operational
software that runs under Widows and Linux
proves that the above is true EMPIRICALLY.
 You cannot prove that code is strictly conforming empirically. It might
simply happen to work on every system you've tried it on. Have you ever
tested it on a system where code and data pointers are different sizes?
 
No, it does not. As the program is not strictly conforming
and uses a non-standard extension some implementation may
execute it differently or refuse to execute.
>
Which non-standard extension does it use?
>
I think the issue is the casting of a pointer to function to a pointer
to object, which is one of the grey areas in the standard. (which occurs
in code not shown)
>
It is not specified that such a cast is allowed, but it also isn't
specifically disallowed, it is just omitted as a case in the listing of
te possibilities for casting.
 Such code has undefined behavior "by the omission of any explicit
definition of behavior." (4p2).
Strictly conforming programs cannot have undefined behavior (4p5).
Undefined by the C Standard, but likely defined by the implementation.
Most programs don't need to be "Strictly Conforming" and most actual practical programs are not, because they use some aspect of implementation defined behavior.

Date Sujet#  Auteur
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H643olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H64Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H43olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H42Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H17Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H16olcott
6 May 24 ii i  +* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i  i+* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  ii`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  ii `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i  ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  i    `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i  i     `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4Mikko
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3olcott
7 May 24 ii i    +- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 ii i    `- Re: Every D(D) simulated by H presents non-halting behavior to H1Mikko
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H577Mikko
6 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H576olcott
7 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H45Richard Damon
7 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===41Richard Damon
7 May 24 i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===40olcott
7 May 24 i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===37olcott
7 May 24 i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===36Richard Damon
7 May 24 i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 i i     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 i i     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 i i     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===29olcott
8 May 24 i i     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===28Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 i i     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 i i     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===21olcott
8 May 24 i i     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===20Richard Damon
8 May 24 i i     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@19olcott
8 May 24 i i     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 i i     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 i i     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 i i     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 i i     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 i i     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 i i     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@7Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 i i     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H530Mikko
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal