From 1b4c588009899ae58ef03035b692c7cce65b45a4 Mon Sep 17 00:00:00 2001
From: FritzFlorian <flo.fritz@t-online.de>
Date: Tue, 14 May 2019 10:39:29 +0200
Subject: [PATCH] Add further type-safety check to work_stealing_deque.

---
 lib/pls/include/pls/internal/data_structures/work_stealing_deque.h      | 2 +-
 lib/pls/include/pls/internal/data_structures/work_stealing_deque_impl.h | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/pls/include/pls/internal/data_structures/work_stealing_deque.h b/lib/pls/include/pls/internal/data_structures/work_stealing_deque.h
index 3bddd82..5c8ce86 100644
--- a/lib/pls/include/pls/internal/data_structures/work_stealing_deque.h
+++ b/lib/pls/include/pls/internal/data_structures/work_stealing_deque.h
@@ -85,7 +85,7 @@ class work_stealing_deque {
   std::pair<work_stealing_deque_item, T> *allocate_item(const T &new_item);
 
   template<typename T>
-  Item *push_tail(const T &new_item);
+  T *push_tail(const T &new_item);
   Item *pop_tail();
   Item *pop_head();
 
diff --git a/lib/pls/include/pls/internal/data_structures/work_stealing_deque_impl.h b/lib/pls/include/pls/internal/data_structures/work_stealing_deque_impl.h
index ea860a2..95987a5 100644
--- a/lib/pls/include/pls/internal/data_structures/work_stealing_deque_impl.h
+++ b/lib/pls/include/pls/internal/data_structures/work_stealing_deque_impl.h
@@ -38,7 +38,10 @@ std::pair<work_stealing_deque_item, T> *work_stealing_deque<Item>::allocate_item
 
 template<typename Item>
 template<typename T>
-Item *work_stealing_deque<Item>::push_tail(const T &new_item) {
+T *work_stealing_deque<Item>::push_tail(const T &new_item) {
+  static_assert(std::is_same<Item, T>::value || std::is_base_of<Item, T>::value,
+                "Must only push types of <Item> onto work_stealing_deque<Item>");
+
   offset_t local_tail = tail_;
 
   auto new_pair = allocate_item(new_item);
--
libgit2 0.26.0