[ub] Objectives and tasks for SG12
Nevin Liber
nevin at eviloverlord.com
Wed May 29 22:36:15 CEST 2013
On 29 May 2013 14:35, Jens Maurer <Jens.Maurer at gmx.net> wrote:
>
> (1) Is a compiler diagnostic acceptable? Yes.
> (2) Is a run-time abort acceptable? Yes.
> (3) Is an unspecified result value acceptable? Yes.
> (4) Is it acceptable that your compiler changes the behavior
> of unrelated code that follows the overflow? That's very surprising.
>
> Giving compilers latitude to choose among 1-3 (depending on the
> target audience) is fine, but, in my opinion, prohibiting option 4
> would be an improvement.
>
The counter argument is usually that (4) has a run time cost in that the
overflow must now be detected instead of just assumed that it cannot
happen. This effectively penalizes correct programs.
What does "behavior of unrelated code" even mean once we've invoked
undefined behavior?
--
Nevin ":-)" Liber <mailto:nevin at eviloverlord.com> (847) 691-1404
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20130529/a48c3580/attachment.html
More information about the ub
mailing list