Add missing resize tests

Author: 20162026

tests/beman/inplace_vector/size_n_data.test.cpp

@@ -43,6 +43,27 @@ TYPED_TEST(SizeNCapacity, ResizeDown) {
   EXPECT_EQ(device, IV{});
 }
 
+TYPED_TEST(SizeNCapacity, ResizeDownWValue) {
+  // constexpr void resize(size_type sz, const T& value);
+  // Preconditions: T is Cpp17DefaultInsertable into inplace_vector.
+  // Effects: If sz < size(), erases the last size() - sz elements from the
+  // sequence. Otherwise, appends sz - size() default-inserted elements to the
+  // sequence. Remarks: If an exception is thrown, there are no effects on
+  // *this.
+
+  using IV = TestFixture::IV;
+  using T = TestFixture::T;
+
+  auto device = this->unique();
+
+  auto mid_size = std::midpoint(0ul, device.size());
+  device.resize(mid_size, T{});
+  EXPECT_EQ(device, IV(device.begin(), device.begin() + mid_size));
+
+  device.resize(0, T{});
+  EXPECT_EQ(device, IV{});
+}
+
 TYPED_TEST(SizeNCapacity, ResizeUp) {
   // constexpr void resize(size_type sz);
   // Preconditions: T is Cpp17DefaultInsertable into inplace_vector.
@@ -90,6 +111,52 @@ TYPED_TEST(SizeNCapacity, ResizeUp) {
   EXPECT_EQ(device, before_resize);
 }
 
+TYPED_TEST(SizeNCapacity, ResizeUpWValue) {
+  // constexpr void resize(size_type sz, const T& value);
+  // Preconditions: T is Cpp17DefaultInsertable into inplace_vector.
+  // Effects: If sz < size(), erases the last size() - sz elements from the
+  // sequence. Otherwise, appends sz - size() default-inserted elements to the
+  // sequence. Remarks: If an exception is thrown, there are no effects on
+  // *this.
+
+  using IV = TestFixture::IV;
+  using T = TestFixture::T;
+
+  IV device;
+
+  SAFE_EXPECT_THROW(device.resize(device.capacity() + 1, T{}), std::bad_alloc);
+  EXPECT_EQ(device, IV{});
+
+  if (device.capacity() == 0)
+    return;
+
+  // Trying to pollute device[0]
+  device.push_back(T{255});
+  device.pop_back();
+  EXPECT_TRUE(device.empty());
+
+  device.resize(1, T{0});
+  EXPECT_EQ(device.size(), 1);
+  if (std::is_same_v<T, NonTriviallyDefaultConstructible> ||
+      std::is_same_v<T, NonTrivial>)
+    EXPECT_EQ(device, IV{T{0}});
+
+  T front{341};
+  device[0] = front;
+  device.resize(device.capacity(), front);
+  EXPECT_EQ(device[0], front);
+
+  if (std::is_same_v<T, NonTriviallyDefaultConstructible> ||
+      std::is_same_v<T, NonTrivial>) {
+    IV expected(device.capacity(), T{341});
+    EXPECT_EQ(device, expected);
+  }
+
+  IV before_resize(device);
+  SAFE_EXPECT_THROW(device.resize(device.capacity() + 1, T{}), std::bad_alloc);
+  EXPECT_EQ(device, before_resize);
+}
+
 // 23.3.14.4 Data [inplace.vector.data]
 
 template <typename Param> class Data : public IVBasicTest<Param> {};