Re: Optimization techniques and undefined behavior

"Derek M. Jones" <derek@_NOSPAM_knosof.co.uk>
Mon, 6 May 2019 16:32:14 +0100

          From comp.compilers
Related articles
[26 earlier articles]
Re: Optimization techniques and undefined behavior anw@cuboid.co.uk (Andy Walker) (2019-05-04)
Re: Optimization techniques and undefined behavior gneuner2@comcast.net (George Neuner) (2019-05-04)
Re: Optimization techniques and undefined behavior gneuner2@comcast.net (George Neuner) (2019-05-04)
Re: Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-06)
Re: Optimization techniques and undefined behavior martin@gkc.org.uk (Martin Ward) (2019-05-06)
Re: Optimization techniques and undefined behavior robin51@dodo.com.au (Robin Vowels) (2019-05-07)
Re: Optimization techniques and undefined behavior derek@_NOSPAM_knosof.co.uk (Derek M. Jones) (2019-05-06)
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)
[1 later articles]
| List of all articles for this month |
From: "Derek M. Jones" <derek@_NOSPAM_knosof.co.uk>
Newsgroups: comp.compilers
Date: Mon, 6 May 2019 16:32:14 +0100
Organization: virginmedia.com
References: 19-05-014 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-008 19-05-014 19-05-021 19-05-037
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="82752"; mail-complaints-to="abuse@iecc.com"
Keywords: standards, errors, Ada
Posted-Date: 06 May 2019 13:40:12 EDT
In-Reply-To: 19-05-037
Content-Language: en-US

Martin,


> There are many language in which all behaviour is defined:
> for example, Go has no undefined behaviour. Some behaviour


Ada does not have any undefined behavior, but they are changing that ;-)
https://shape-of-code.coding-guidelines.com/2016/04/01/ada-updated-to-support-undefined-behavior/


--
Derek M. Jones
blog:shape-of-code.coding-guidelines.com

Post a followup to this message

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