Adding upstream version 18.2.2.upstream/18.2.2

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 125 insertions, 0 deletions

diff --git a/src/seastar/tests/unit/checked_ptr_test.cc b/src/seastar/tests/unit/checked_ptr_test.cc
new file mode 100644
index 000000000..8e3cabf05
--- /dev/null
+++ b/src/seastar/tests/unit/checked_ptr_test.cc
@@ -0,0 +1,125 @@
+/*
+ * This file is open source software, licensed to you under the terms
+ * of the Apache License, Version 2.0 (the "License").  See the NOTICE file
+ * distributed with this work for additional information regarding copyright
+ * ownership.  You may not use this file except in compliance with the License.
+ *
+ * You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+
+/*
+ * Copyright 2016 ScyllaDB
+ */
+
+#define BOOST_TEST_MODULE core
+
+#include <boost/test/included/unit_test.hpp>
+#include <seastar/core/checked_ptr.hh>
+#include <seastar/core/weak_ptr.hh>
+
+using namespace seastar;
+
+static_assert(std::is_nothrow_default_constructible_v<checked_ptr<int*>>);
+static_assert(std::is_nothrow_move_constructible_v<checked_ptr<int*>>);
+static_assert(std::is_nothrow_copy_constructible_v<checked_ptr<int*>>);
+
+static_assert(std::is_nothrow_default_constructible_v<checked_ptr<weak_ptr<int>>>);
+static_assert(std::is_nothrow_move_constructible_v<checked_ptr<weak_ptr<int>>>);
+
+template <typename T>
+class may_throw_on_null_ptr : public seastar::weak_ptr<T> {
+public:
+    may_throw_on_null_ptr(std::nullptr_t) {}
+};
+
+static_assert(!std::is_nothrow_default_constructible_v<may_throw_on_null_ptr<int>>);
+static_assert(!std::is_nothrow_default_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
+static_assert(std::is_nothrow_move_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
+static_assert(std::is_nothrow_copy_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
+
+struct my_st : public weakly_referencable<my_st> {
+        my_st(int a_) : a(a_) {}
+        int a;
+};
+
+void const_ref_check_naked(const seastar::checked_ptr<my_st*>& cp) {
+    BOOST_REQUIRE(bool(cp));
+    BOOST_REQUIRE((*cp).a == 3);
+    BOOST_REQUIRE(cp->a == 3);
+    BOOST_REQUIRE(cp.get()->a == 3);
+}
+
+void const_ref_check_smart(const seastar::checked_ptr<::weak_ptr<my_st>>& cp) {
+    BOOST_REQUIRE(bool(cp));
+    BOOST_REQUIRE((*cp).a == 3);
+    BOOST_REQUIRE(cp->a == 3);
+    BOOST_REQUIRE(cp.get()->a == 3);
+}
+
+BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_default_initialized) {
+    seastar::checked_ptr<int*> cp;
+    BOOST_REQUIRE(!bool(cp));
+}
+
+BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_nullptr_initialized_nakes_ptr) {
+    seastar::checked_ptr<int*> cp = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+}
+
+BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_nullptr_initialized_smart_ptr) {
+    seastar::checked_ptr<::weak_ptr<my_st>> cp = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+}
+
+BOOST_AUTO_TEST_CASE(test_checked_ptr_is_initialized_after_assignment_naked_ptr) {
+    seastar::checked_ptr<my_st*> cp = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+    my_st i(3);
+    my_st k(3);
+    cp = &i;
+    seastar::checked_ptr<my_st*> cp1(&i);
+    seastar::checked_ptr<my_st*> cp2(&k);
+    BOOST_REQUIRE(bool(cp));
+    BOOST_REQUIRE(cp == cp1);
+    BOOST_REQUIRE(cp != cp2);
+    BOOST_REQUIRE((*cp).a == 3);
+    BOOST_REQUIRE(cp->a == 3);
+    BOOST_REQUIRE(cp.get()->a == 3);
+
+    const_ref_check_naked(cp);
+
+    cp = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+}
+
+BOOST_AUTO_TEST_CASE(test_checked_ptr_is_initialized_after_assignment_smart_ptr) {
+    seastar::checked_ptr<::weak_ptr<my_st>> cp = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+    std::unique_ptr<my_st> i = std::make_unique<my_st>(3);
+    cp = i->weak_from_this();
+    seastar::checked_ptr<::weak_ptr<my_st>> cp1(i->weak_from_this());
+    seastar::checked_ptr<::weak_ptr<my_st>> cp2;
+    BOOST_REQUIRE(bool(cp));
+    BOOST_REQUIRE(cp == cp1);
+    BOOST_REQUIRE(cp != cp2);
+    BOOST_REQUIRE((*cp).a == 3);
+    BOOST_REQUIRE(cp->a == 3);
+    BOOST_REQUIRE(cp.get()->a == 3);
+
+    const_ref_check_smart(cp);
+
+    i = nullptr;
+    BOOST_REQUIRE(!bool(cp));
+    BOOST_REQUIRE(!bool(cp1));
+    BOOST_REQUIRE(!bool(cp2));
+}
+