Title
Definition of “access” (verb)
Status
cd3
Section
Clause [3] [intro.defs]
Submitter
Mike Miller

Created on 2012-07-27.00:00:00 last changed 90 months ago

Messages

Date: 2013-04-15.00:00:00

[Moved to DR at the April, 2013 meeting.]

Date: 2013-03-15.00:00:00

Proposed resolution (March, 2013):

  1. Add the following to Clause 3 [intro.defs]:

  2. access
    <execution-time action> to read or modify the value of an object
  3. Change 6.9.1 [intro.execution] paragraph 12 as follows:

  4. Accessing Reading an object designated by a volatile glvalue (7.2.1 [basic.lval]), modifying an object, calling...
  5. Change 6.9.2 [intro.multithread] paragraph 4 as follows:

  6. Two expression evaluations conflict if one of them modifies a memory location (6.7.1 [intro.memory]) and the other one accesses reads or modifies the same memory location.
  7. Change 6.9.2 [intro.multithread] paragraph 24 as follows:

  8. The implementation may assume that any thread will eventually do one of the following:

    • ...

    • access read or modify a volatile object, or

    • ...

  9. Change 7.6.19 [expr.ass] paragraph 8 as follows:

  10. If the value being stored in an object is accessed from read via another object that overlaps in any way the storage of the first object, then the overlap shall be exact and the two objects shall have the same type, otherwise the behavior is undefined. [Note:...
[Note: this wording was reviewed during the 2013-03-25 teleconference.]
Date: 2012-07-27.00:00:00

The verb “access” is used in various places in the Standard (see 6.7.3 [basic.life] paragraphs 5 and 6 and 7.2.1 [basic.lval] paragraph 10) but is not defined. C99 defines it as

<execution-time action> to read or modify the value of an object

(See also issue 1530.)

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: drwp -> cd3
2013-10-14 00:00:00adminsetstatus: dr -> drwp
2013-09-03 00:00:00adminsetmessages: + msg4559
2013-09-03 00:00:00adminsetstatus: ready -> dr
2013-05-03 00:00:00adminsetmessages: + msg4304
2013-05-03 00:00:00adminsetstatus: drafting -> ready
2012-11-03 00:00:00adminsetstatus: open -> drafting
2012-07-27 00:00:00admincreate