Re: Optimization techniques and undefined behavior

Gene Wirchenko <genew@telus.net>
Sat, 11 May 2019 22:25:04 -0700

          From comp.compilers

Related articles
[33 earlier articles]
Re: Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Optimization techniques and undefined behavior martin@gkc.org.uk (Martin Ward) (2019-05-08)
Re: Optimization techniques and undefined behavior gneuner2@comcast.net (George Neuner) (2019-05-08)
Re: Optimization techniques and undefined behavior genew@telus.net (Gene Wirchenko) (2019-05-11)
| List of all articles for this month |

From: Gene Wirchenko <genew@telus.net>
Newsgroups: comp.compilers
Date: Sat, 11 May 2019 22:25:04 -0700
Organization: A noiseless patient Spider
References: 19-04-021 19-04-023 19-04-037 19-04-039 19-04-042 19-04-044 19-04-047 19-05-004 19-05-006 19-05-016 19-05-017
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="22625"; mail-complaints-to="abuse@iecc.com"
Keywords: design, comment
Posted-Date: 12 May 2019 12:38:28 EDT

On Fri, 3 May 2019 10:52:27 +0100, Martin Ward <martin@gkc.org.uk>
wrote:


>On 03/05/19 00:48, Bart wrote:
>> And I think that if a program can
>> go seriously wrong through unchecked input, then that's a failure in
>> proper validation. It's rather sloppy to rely on a runtime check put
>> their by a compiler.
>
>The car analogy for C is that C is a car with no seatbelts, crumple
>zones, roll bars, airbags etc. The car manual explicitly states that
>nudging the kerb with any tyre is "undefined behaviour" and could
>cause the car to explode in a fireball, killing all the passengers.


          Not quite. The manual would end with "undefined behaviour".
Someone bringing up the possibility of a fireball explosion or nasal
demons or whatever would be told that that is merely a quality of
implementation issue.


[snip]


Sincerely,


Gene Wirchenko
[We're getting a bit far from compilers here. -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.