Allow slice null ptr safely if slice is empty

1 files changed, 6 insertions, 2 deletions

diff --git a/include/cxx.h b/include/cxx.h
index c2b345d2..cdc63fbf 100644
--- a/include/cxx.h
+++ b/include/cxx.h
@@ -505,8 +505,12 @@ Slice<T>::Slice() noexcept {
 
 template <typename T>
 Slice<T>::Slice(T *s, std::size_t count) noexcept {
-  assert(s != nullptr);
-  sliceInit(this, const_cast<typename std::remove_const<T>::type *>(s), count);
+  assert(s != nullptr || count == 0);
+  sliceInit(this,
+            s == nullptr && count == 0
+                ? reinterpret_cast<void *>(align_of<T>())
+                : const_cast<typename std::remove_const<T>::type *>(s),
+            count);
 }
 
 template <typename T>