projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb4d924) | patch
deque: use atomic_uintptr_t
authorBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:56:25 +0000 (17:56 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:56:25 +0000 (17:56 -0800)
commit065efe7f2bf54ca45af637d088d471742638c9c4
tree5075d9ed0bf6187ea49aff8afd68fead4d079d42tree | snapshot
parentbb4d924532cf29b2a242cd96a35bbe5805b33089commit | diff
deque: use atomic_uintptr_t

'Atomic(Array *)' seems to be a pseudocode type. Just use
atomic_uintptr_t and allow the warnings for now (we could alternatively
use a cast every time).
chase-lev-deque/deque.c diff | blob | history
C++11 memory model checker benchmarks