Relacy 2.4 doesn't even have RL_NEW and RL_DELETE, so we shouldn't use
it even if we're trying to be Relacy-compatible.
public:
spsc_queue()
{
- node* n = RL_NEW node ();
+ node* n = new node ();
head = n;
tail = n;
}
~spsc_queue()
{
RL_ASSERT(head == tail);
- RL_DELETE((node*)head($));
+ delete ((node*)head($));
}
void enqueue(T data)
{
- node* n = RL_NEW node (data);
+ node* n = new node (data);
head($)->next.store(n, std::memory_order_release);
head = n;
ec.signal_relaxed();
if (0 == n)
return 0;
T data = n->data($);
- RL_DELETE(t);
+ delete (t);
tail = n;
return data;
}