87a4c07856
-- 8becce38c862a044db194a9aea1b505796a46d6f by Abseil Team <absl-team@google.com>: Updates the FixedArray's constructors to be exception safe by preventing double deletions. Also adds exception safety tests for FixedArray to document/enforce the expected behavior. PiperOrigin-RevId: 201964431 -- 794188b401a602b4be97190fb8738066fe1f9ca5 by Derek Mauro <dmauro@google.com>: Fixes for str_format.h documentation. PiperOrigin-RevId: 201951760 -- beae3bdd6eee2cf61101102fddc35ada188f330b by Alex Strelnikov <strel@google.com>: Add numeric_limits specialization for uint128. Turns out numeric_limits is a case where the consensus is that it is okay to specialize for a user defined type. PiperOrigin-RevId: 201944736 -- b2b3444a52b36878ade1ae8801e69932b05fc4f9 by Shaindel Schwartz <shaindel@google.com>: Internal change. PiperOrigin-RevId: 201718662 -- aa924c459922f39caabfc193998c58d0f4981ac0 by Abseil Team <absl-team@google.com>: Typo fix. PiperOrigin-RevId: 201692176 -- bbfcaa7b1af331d9b97c92470608240c5c864fbc by Xiaoyi Zhang <zhangxy@google.com>: Use ABSL_HAVE_ANY/OPTIONAL/VARIANT to conditionally compile out the definition of absl::bad_any_cast, absl::bad_optional_access, absl::bad_variant_access. This would fix the issues where users #include those header directly in C++17 modes. PiperOrigin-RevId: 201683792 GitOrigin-RevId: 8becce38c862a044db194a9aea1b505796a46d6f Change-Id: I60a7ad043136a439d82c374d225a1804016b0509
63 lines
2.2 KiB
C++
63 lines
2.2 KiB
C++
// Copyright 2018 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// 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.
|
|
|
|
#include "absl/memory/memory.h"
|
|
|
|
#include "gtest/gtest.h"
|
|
#include "absl/base/internal/exception_safety_testing.h"
|
|
|
|
namespace absl {
|
|
namespace {
|
|
|
|
constexpr int kLength = 50;
|
|
using Thrower = testing::ThrowingValue<testing::TypeSpec::kEverythingThrows>;
|
|
using ThrowerStorage =
|
|
absl::aligned_storage_t<sizeof(Thrower), alignof(Thrower)>;
|
|
using ThrowerList = std::array<ThrowerStorage, kLength>;
|
|
|
|
TEST(MakeUnique, CheckForLeaks) {
|
|
constexpr int kValue = 321;
|
|
auto tester = testing::MakeExceptionSafetyTester()
|
|
.WithInitialValue(Thrower(kValue))
|
|
// Ensures make_unique does not modify the input. The real
|
|
// test, though, is ConstructorTracker checking for leaks.
|
|
.WithInvariants(testing::strong_guarantee);
|
|
|
|
EXPECT_TRUE(tester.Test([](Thrower* thrower) {
|
|
static_cast<void>(absl::make_unique<Thrower>(*thrower));
|
|
}));
|
|
|
|
EXPECT_TRUE(tester.Test([](Thrower* thrower) {
|
|
static_cast<void>(absl::make_unique<Thrower>(std::move(*thrower)));
|
|
}));
|
|
|
|
// Test T[n] overload
|
|
EXPECT_TRUE(tester.Test([&](Thrower*) {
|
|
static_cast<void>(absl::make_unique<Thrower[]>(kLength));
|
|
}));
|
|
}
|
|
|
|
TEST(MemoryInternal, UninitDefaultConstructNNonTrivial) {
|
|
EXPECT_TRUE(testing::MakeExceptionSafetyTester()
|
|
.WithInitialValue(ThrowerList{})
|
|
.WithOperation([&](ThrowerList* list_ptr) {
|
|
absl::memory_internal::uninitialized_default_construct_n(
|
|
list_ptr->data(), kLength);
|
|
})
|
|
.WithInvariants([&](...) { return true; })
|
|
.Test());
|
|
}
|
|
|
|
} // namespace
|
|
} // namespace absl
|