C++ Logo

SG12

Advanced search

Subject: Re: [ub] Objectives and tasks for SG12
From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2013-05-30 15:17:58


Jens Maurer <Jens.Maurer_at_[hidden]> wrote:

[...]

| > What does "behavior of unrelated code" even mean once we've invoked
| > undefined behavior?
|
| Well, I thought the goal of SG12 was to discuss whether the current
| definition of "undefined behavior" should be retained for some (which?)
| cases, or whether something could be done to restrain the set of valid
| executions. For example, we already have the concept of "unspecified
| behavior", e.g. the sequencing of evaluation of function arguments is
| unspecified. This means the implementation is restricted to choose
| among a set of possible behaviors, and not exhibit arbitrary behavior.

That is correct.

The problems we are facing are real, and unfortunately, not vanishing.

-- Gaby


SG12 list run by herb.sutter at gmail.com