From 5aa5d282eac56a21e74611c1cdbaa97bb5db2dca Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Tue, 8 Feb 2022 02:05:36 +0300 Subject: chore(3p/abseil_cpp): unvendor abseil_cpp we weren't actually using these sources anymore, okay? Change-Id: If701571d9716de308d3512e1eb22c35db0877a66 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5248 Tested-by: BuildkiteCI Reviewed-by: grfn Autosubmit: tazjin --- .../abseil_cpp/absl/random/internal/traits_test.cc | 126 --------------------- 1 file changed, 126 deletions(-) delete mode 100644 third_party/abseil_cpp/absl/random/internal/traits_test.cc (limited to 'third_party/abseil_cpp/absl/random/internal/traits_test.cc') diff --git a/third_party/abseil_cpp/absl/random/internal/traits_test.cc b/third_party/abseil_cpp/absl/random/internal/traits_test.cc deleted file mode 100644 index a844887d3e44..000000000000 --- a/third_party/abseil_cpp/absl/random/internal/traits_test.cc +++ /dev/null @@ -1,126 +0,0 @@ -// Copyright 2017 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 -// -// https://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/random/internal/traits.h" - -#include -#include - -#include "gtest/gtest.h" - -namespace { - -using absl::random_internal::is_widening_convertible; - -// CheckWideningConvertsToSelf() -// -// For each type T, checks: -// - T IS widening-convertible to itself. -// -template -void CheckWideningConvertsToSelf() { - static_assert(is_widening_convertible::value, - "Type is not convertible to self!"); -} - -template -void CheckWideningConvertsToSelf() { - CheckWideningConvertsToSelf(); - CheckWideningConvertsToSelf(); -} - -// CheckNotWideningConvertibleWithSigned() -// -// For each unsigned-type T, checks that: -// - T is NOT widening-convertible to Signed(T) -// - Signed(T) is NOT widening-convertible to T -// -template -void CheckNotWideningConvertibleWithSigned() { - using signed_t = typename std::make_signed::type; - - static_assert(!is_widening_convertible::value, - "Unsigned type is convertible to same-sized signed-type!"); - static_assert(!is_widening_convertible::value, - "Signed type is convertible to same-sized unsigned-type!"); -} - -template -void CheckNotWideningConvertibleWithSigned() { - CheckNotWideningConvertibleWithSigned(); - CheckWideningConvertsToSelf(); -} - -// CheckWideningConvertsToLargerType() -// -// For each successive unsigned-types {Ti, Ti+1}, checks that: -// - Ti IS widening-convertible to Ti+1 -// - Ti IS widening-convertible to Signed(Ti+1) -// - Signed(Ti) is NOT widening-convertible to Ti -// - Signed(Ti) IS widening-convertible to Ti+1 -template -void CheckWideningConvertsToLargerTypes() { - using signed_t = typename std::make_signed::type; - using higher_t = Higher; - using signed_higher_t = typename std::make_signed::type; - - static_assert(is_widening_convertible::value, - "Type not embeddable into larger type!"); - static_assert(is_widening_convertible::value, - "Type not embeddable into larger signed type!"); - static_assert(!is_widening_convertible::value, - "Signed type is embeddable into larger unsigned type!"); - static_assert(is_widening_convertible::value, - "Signed type not embeddable into larger signed type!"); -} - -template -void CheckWideningConvertsToLargerTypes() { - CheckWideningConvertsToLargerTypes(); - CheckWideningConvertsToLargerTypes(); -} - -// CheckWideningConvertsTo -// -// Checks that T DOES widening-convert to U. -// If "expect" is false, then asserts that T does NOT widening-convert to U. -template -void CheckWideningConvertsTo() { - static_assert(is_widening_convertible::value == expect, - "Unexpected result for is_widening_convertible!"); -} - -TEST(TraitsTest, IsWideningConvertibleTest) { - constexpr bool kInvalid = false; - - CheckWideningConvertsToSelf< - uint8_t, uint16_t, uint32_t, uint64_t, - int8_t, int16_t, int32_t, int64_t, - float, double>(); - CheckNotWideningConvertibleWithSigned< - uint8_t, uint16_t, uint32_t, uint64_t>(); - CheckWideningConvertsToLargerTypes< - uint8_t, uint16_t, uint32_t, uint64_t>(); - - CheckWideningConvertsTo(); - CheckWideningConvertsTo(); - CheckWideningConvertsTo(); - CheckWideningConvertsTo(); - CheckWideningConvertsTo(); - - CheckWideningConvertsTo(); - CheckWideningConvertsTo(); -} - -} // namespace -- cgit 1.4.1