1 files changed, 56 insertions, 0 deletions
diff --git a/source/blender/blenlib/tests/BLI_stack_cxx_test.cc b/source/blender/blenlib/tests/BLI_stack_cxx_test.cc
index 3572e751b88..c03893c5596 100644
--- a/source/blender/blenlib/tests/BLI_stack_cxx_test.cc
+++ b/source/blender/blenlib/tests/BLI_stack_cxx_test.cc
@@ -1,5 +1,6 @@
 /* Apache License, Version 2.0 */
 
+#include "BLI_exception_safety_test_utils.hh"
 #include "BLI_stack.hh"
 #include "BLI_strict_flags.h"
 #include "BLI_vector.hh"
@@ -185,4 +186,59 @@ TEST(stack, OveralignedValues)
   }
 }
 
+TEST(stack, SpanConstructorExceptions)
+{
+  std::array<ExceptionThrower, 5> values;
+  values[3].throw_during_copy = true;
+  EXPECT_ANY_THROW({ Stack<ExceptionThrower> stack(values); });
+}
+
+TEST(stack, MoveConstructorExceptions)
+{
+  Stack<ExceptionThrower, 4> stack;
+  stack.push({});
+  stack.push({});
+  stack.peek().throw_during_move = true;
+  EXPECT_ANY_THROW({ Stack<ExceptionThrower> moved_stack{std::move(stack)}; });
+}
+
+TEST(stack, PushExceptions)
+{
+  Stack<ExceptionThrower, 2> stack;
+  stack.push({});
+  stack.push({});
+  ExceptionThrower *ptr1 = &stack.peek();
+  ExceptionThrower value;
+  value.throw_during_copy = true;
+  EXPECT_ANY_THROW({ stack.push(value); });
+  EXPECT_EQ(stack.size(), 2);
+  ExceptionThrower *ptr2 = &stack.peek();
+  EXPECT_EQ(ptr1, ptr2);
+  EXPECT_TRUE(stack.is_invariant_maintained());
+}
+
+TEST(stack, PopExceptions)
+{
+  Stack<ExceptionThrower> stack;
+  stack.push({});
+  stack.peek().throw_during_move = true;
+  stack.push({});
+  stack.pop();                        /* NOLINT: bugprone-throw-keyword-missing */
+  EXPECT_ANY_THROW({ stack.pop(); }); /* NOLINT: bugprone-throw-keyword-missing */
+  EXPECT_EQ(stack.size(), 1);
+  EXPECT_TRUE(stack.is_invariant_maintained());
+}
+
+TEST(stack, PushMultipleExceptions)
+{
+  Stack<ExceptionThrower> stack;
+  stack.push({});
+  std::array<ExceptionThrower, 100> values;
+  values[6].throw_during_copy = true;
+  EXPECT_ANY_THROW({ stack.push_multiple(values); });
+  EXPECT_TRUE(stack.is_invariant_maintained());
+  EXPECT_ANY_THROW({ stack.push_multiple(values); });
+  EXPECT_TRUE(stack.is_invariant_maintained());
+}
+
 }  // namespace blender::tests