check that static ArrayExtents and One mapping are stateless

alpaka-group · Nov 26, 2021 · f7cecf6 · f7cecf6
1 parent e7f6322
commit f7cecf6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/include/llama/ArrayExtents.hpp b/include/llama/ArrayExtents.hpp
@@ -126,6 +126,7 @@ namespace llama
     static_assert(std::is_trivially_move_constructible_v<ArrayExtents<1>>);
     static_assert(std::is_trivially_copy_assignable_v<ArrayExtents<1>>);
     static_assert(std::is_trivially_move_assignable_v<ArrayExtents<1>>);
+    static_assert(std::is_empty_v<ArrayExtents<1>>);
 
     template<std::size_t... SizesA, std::size_t... SizesB>
     LLAMA_FN_HOST_ACC_INLINE constexpr auto operator==(ArrayExtents<SizesA...> a, ArrayExtents<SizesB...> b) -> bool

diff --git a/tests/virtualrecord.cpp b/tests/virtualrecord.cpp
@@ -962,12 +962,7 @@ TEST_CASE("VirtualRecord.One.size")
 {
     using Mapping = llama::mapping::MinAlignedOne<llama::ArrayExtents<>, Particle>;
     STATIC_REQUIRE(Mapping{}.blobSize(0) == 56);
-
-    struct S : Mapping::ArrayIndex
-    {
-        char c;
-    };
-    STATIC_REQUIRE(sizeof(S) == sizeof(char));
+    STATIC_REQUIRE(std::is_empty_v<Mapping::ArrayIndex>);
 
     [[maybe_unused]] const auto v = llama::allocViewStack<0, Particle>();
     STATIC_REQUIRE(std::is_same_v<typename decltype(v)::Mapping, Mapping>);