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.
- node* n = RL_NEW node ();
~spsc_queue()
{
RL_ASSERT(head == tail);
~spsc_queue()
{
RL_ASSERT(head == tail);
- RL_DELETE((node*)head($));
+ delete ((node*)head($));
- node* n = RL_NEW node (data);
+ node* n = new node (data);
head($)->next.store(n, std::memory_order_release);
head = n;
ec.signal_relaxed();
head($)->next.store(n, std::memory_order_release);
head = n;
ec.signal_relaxed();
if (0 == n)
return 0;
T data = n->data($);
if (0 == n)
return 0;
T data = n->data($);