Re: Bounds checking, Optimization techniques and undefined behavior

"Nuno Lopes" <nuno.lopes@ist.utl.pt>
Tue, 7 May 2019 22:38:16 +0100

          From comp.compilers
Related articles
[22 earlier articles]
Re: Bounds checking, Optimization techniques and undefined behavior anw@cuboid.co.uk (Andy Walker) (2019-05-06)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-06)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-07)
Re: Bounds checking, Optimization techniques and undefined behavior nuno.lopes@ist.utl.pt (Nuno Lopes) (2019-05-07)
Re: Bounds checking, Optimization techniques and undefined behavior bc@freeuk.com (Bart) (2019-05-08)
Re: Bounds checking, Optimization techniques and undefined behavior anw@cuboid.co.uk (Andy Walker) (2019-05-08)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-08)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-08)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-08)
Re: Bounds checking, Optimization techniques and undefined behavior david.brown@hesbynett.no (David Brown) (2019-05-08)
[6 later articles]
| List of all articles for this month |
From: "Nuno Lopes" <nuno.lopes@ist.utl.pt>
Newsgroups: comp.compilers
Date: Tue, 7 May 2019 22:38:16 +0100
Organization: Compilers Central
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-020 19-05-024 19-05-025 19-05-028 19-05-029 19-05-034 19-05-045
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="28919"; mail-complaints-to="abuse@iecc.com"
Keywords: standards, errors
Posted-Date: 07 May 2019 18:50:01 EDT

Hi,


[shameless plug:]
Here's a link to the slides of a talk I have last January on undefined
behavior (UB) for compiler IRs:


http://web.ist.utl.pt/nuno.lopes/pres/ub-vmcai19.pptx


The slides have a bunch of examples showing why UB is sometimes useful for
compilers, when it is detrimental, or why it's basically impossible to make
certain languages fully specified.


Nuno

Post a followup to this message

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