Add some debug assertions

Signed-off-by: Pavel Artsishevsky <polter.rnd@gmail.com>
polter-rnd · Nov 3, 2024 · 783a810 · 783a810
1 parent 8af009e
commit 783a810
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/include/util/buffer.h b/include/util/buffer.h
@@ -6,6 +6,7 @@
 #pragma once
 
 #include <algorithm> // IWYU pragma: keep
+#include <cassert>
 #include <cstddef>
 #include <memory>
 #include <type_traits>
@@ -365,6 +366,7 @@ class MemoryBuffer : public Buffer<T> {
      */
     auto operator=(MemoryBuffer&& other) noexcept -> MemoryBuffer&
     {
+        assert(this != &other);
         deallocate();
         move_from(other);
         return *this;

diff --git a/include/util/types.h b/include/util/types.h
@@ -5,6 +5,7 @@
 
 #pragma once
 
+#include <cassert>
 #include <type_traits>
 
 namespace PlainCloud::Util::Types {
@@ -90,6 +91,7 @@ using UnderlyingCharType = typename UnderlyingChar<T>::Type;
 template<typename Int>
 constexpr auto to_unsigned(Int value) -> std::make_unsigned_t<Int>
 {
+    assert(std::is_unsigned<Int>::value || value >= 0);
     return static_cast<std::make_unsigned_t<Int>>(value);
 }