projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dacd717) | patch
impatomic: remove fence member functions
authorBrian Norris <banorris@uci.edu>
Fri, 30 Nov 2012 22:57:39 +0000 (14:57 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 30 Nov 2012 23:18:02 +0000 (15:18 -0800)
commitcc2accafaceffae9593b64b9f526d6c8d6239bd4
tree2e4a26be169a211ac9564baa91215888a7899362tree | snapshot
parentdacd717b37c9043818e9dbd512a8e77e5ec736a1commit | diff
impatomic: remove fence member functions

Recent C/C++ drafts do not include fence() as a member function for any
object. All fences apply globally (not to any particular object).

[ These changes came in the ISO papers N2633, N2731, N2752 ]

So, I discard any reference to a fence that is associated with an object
(i.e., as a member of an object or with an object parameter).

I will implement a replacement shortly, which just uses the
_ATOMIC_FENCE_(order) macro.
impatomic.cc diff | blob | history
include/impatomic.h diff | blob | history
C++11 memory model checker