From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Mar 2013 01:56:25 +0000 (-0800)
Subject: deque: use atomic_uintptr_t
X-Git-Tag: oopsla2013-final~43
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=065efe7f2bf54ca45af637d088d471742638c9c4

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).
---

diff --git a/chase-lev-deque/deque.c b/chase-lev-deque/deque.c
index 02a65ea..efa9b16 100644
--- a/chase-lev-deque/deque.c
+++ b/chase-lev-deque/deque.c
@@ -8,7 +8,7 @@ typedef struct {
 
 typedef struct {
 	atomic_size_t top, bottom;
-	Atomic(Array *) array;
+	atomic_uintptr_t array; /* Atomic(Array *) */
 } Deque;
 
 int take(Deque *q) {