Re: [PATCH] C undefined behavior fix

dewar
2002-01-10T02:16:46Z

<< | [#5] The least requirements on a conforming implementation
| are:
|
| -- At sequence points, volatile objects are stable in the
| sense that previous accesses are complete and
| subsequent accesses have not yet occurred.
>>

Note that this particular requirement is much laxer than that in the
Ada standard, since it is specialized to sequence points, and would
appear to allow reordering of accesses between sequence points)