4 #include "eventcount.h"
12 node* n = new node (-1);
19 RL_ASSERT(head == tail);
20 delete ((node*)head($));
23 void enqueue(int data)
25 node* n = new node (data);
26 head($)->next.store(n, wildcard(6));
33 int data = try_dequeue();
52 std::atomic<node*> next;
53 std::atomic<int> data;
57 data.store(d, memory_order_normal);
70 node* n = t->next.load(wildcard(7));
73 int data = n->data.load(memory_order_normal);