Re: [PATCH] C undefined behavior fix

From: dewar@gnat.com
Date: Wed Jan 09 2002 - 21:16:24 EST


<< | [#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)
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Tue Jan 15 2002 - 21:00:30 EST