From: Brian Norris <banorris@uci.edu>
Date: Tue, 6 Nov 2012 19:53:05 +0000 (-0800)
Subject: spsc-queue: fix some old Relacy syntax (RL_NEW/RL_DELETE)
X-Git-Tag: pldi2013~15
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=1fac2f421e058669ed43b2b4302531a45ec8cf31

spsc-queue: fix some old Relacy syntax (RL_NEW/RL_DELETE)

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

diff --git a/spsc-queue/queue.h b/spsc-queue/queue.h
index 3167e22..c77425f 100644
--- a/spsc-queue/queue.h
+++ b/spsc-queue/queue.h
@@ -9,7 +9,7 @@ class spsc_queue
 public:
 	spsc_queue()
 	{
-		node* n = RL_NEW node ();
+		node* n = new node ();
 		head = n;
 		tail = n;
 	}
@@ -17,12 +17,12 @@ public:
 	~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();
@@ -70,7 +70,7 @@ private:
 		if (0 == n)
 			return 0;
 		T data = n->data($);
-		RL_DELETE(t);
+		delete (t);
 		tail = n;
 		return data;
 	}