| /* Copyright (c) 2024, Google Inc. |
| * |
| * Permission to use, copy, modify, and/or distribute this software for any |
| * purpose with or without fee is hereby granted, provided that the above |
| * copyright notice and this permission notice appear in all copies. |
| * |
| * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
| * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
| * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY |
| * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION |
| * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN |
| * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */ |
| |
| #include <gtest/gtest.h> |
| |
| #include <openssl/ssl.h> |
| |
| #include "internal.h" |
| |
| |
| #if !defined(BORINGSSL_SHARED_LIBRARY) |
| BSSL_NAMESPACE_BEGIN |
| namespace { |
| |
| TEST(ArrayTest, InitValueConstructs) { |
| Array<uint8_t> array; |
| ASSERT_TRUE(array.Init(10)); |
| EXPECT_EQ(array.size(), 10u); |
| for (size_t i = 0; i < 10u; i++) { |
| EXPECT_EQ(0u, array[i]); |
| } |
| } |
| |
| TEST(ArrayDeathTest, BoundsChecks) { |
| Array<int> array; |
| const int v[] = {1, 2, 3, 4}; |
| ASSERT_TRUE(array.CopyFrom(v)); |
| EXPECT_DEATH_IF_SUPPORTED(array[4], ""); |
| } |
| |
| TEST(VectorTest, Resize) { |
| Vector<size_t> vec; |
| ASSERT_TRUE(vec.empty()); |
| EXPECT_EQ(vec.size(), 0u); |
| |
| ASSERT_TRUE(vec.Push(42)); |
| ASSERT_TRUE(!vec.empty()); |
| EXPECT_EQ(vec.size(), 1u); |
| |
| // Force a resize operation to occur |
| for (size_t i = 0; i < 16; i++) { |
| ASSERT_TRUE(vec.Push(i + 1)); |
| } |
| |
| EXPECT_EQ(vec.size(), 17u); |
| |
| // Verify that expected values are still contained in vec |
| for (size_t i = 0; i < vec.size(); i++) { |
| EXPECT_EQ(vec[i], i == 0 ? 42 : i); |
| } |
| |
| // Clearing the vector should give an empty one. |
| vec.clear(); |
| ASSERT_TRUE(vec.empty()); |
| EXPECT_EQ(vec.size(), 0u); |
| |
| ASSERT_TRUE(vec.Push(42)); |
| ASSERT_TRUE(!vec.empty()); |
| EXPECT_EQ(vec.size(), 1u); |
| EXPECT_EQ(vec[0], 42u); |
| } |
| |
| TEST(VectorTest, MoveConstructor) { |
| Vector<size_t> vec; |
| for (size_t i = 0; i < 100; i++) { |
| ASSERT_TRUE(vec.Push(i)); |
| } |
| |
| Vector<size_t> vec_moved(std::move(vec)); |
| for (size_t i = 0; i < 100; i++) { |
| EXPECT_EQ(vec_moved[i], i); |
| } |
| } |
| |
| TEST(VectorTest, VectorContainingVectors) { |
| // Representative example of a struct that contains a Vector. |
| struct TagAndArray { |
| size_t tag; |
| Vector<size_t> vec; |
| }; |
| |
| Vector<TagAndArray> vec; |
| for (size_t i = 0; i < 100; i++) { |
| TagAndArray elem; |
| elem.tag = i; |
| for (size_t j = 0; j < i; j++) { |
| ASSERT_TRUE(elem.vec.Push(j)); |
| } |
| ASSERT_TRUE(vec.Push(std::move(elem))); |
| } |
| EXPECT_EQ(vec.size(), static_cast<size_t>(100)); |
| |
| Vector<TagAndArray> vec_moved(std::move(vec)); |
| EXPECT_EQ(vec_moved.size(), static_cast<size_t>(100)); |
| size_t count = 0; |
| for (const TagAndArray &elem : vec_moved) { |
| // Test the square bracket operator returns the same value as iteration. |
| EXPECT_EQ(&elem, &vec_moved[count]); |
| |
| EXPECT_EQ(elem.tag, count); |
| EXPECT_EQ(elem.vec.size(), count); |
| for (size_t j = 0; j < count; j++) { |
| EXPECT_EQ(elem.vec[j], j); |
| } |
| count++; |
| } |
| } |
| |
| TEST(VectorTest, NotDefaultConstructible) { |
| struct NotDefaultConstructible { |
| explicit NotDefaultConstructible(size_t n) { array.Init(n); } |
| Array<int> array; |
| }; |
| |
| Vector<NotDefaultConstructible> vec; |
| vec.Push(NotDefaultConstructible(0)); |
| vec.Push(NotDefaultConstructible(1)); |
| vec.Push(NotDefaultConstructible(2)); |
| vec.Push(NotDefaultConstructible(3)); |
| EXPECT_EQ(vec.size(), 4u); |
| EXPECT_EQ(0u, vec[0].array.size()); |
| EXPECT_EQ(1u, vec[1].array.size()); |
| EXPECT_EQ(2u, vec[2].array.size()); |
| EXPECT_EQ(3u, vec[3].array.size()); |
| } |
| |
| TEST(VectorDeathTest, BoundsChecks) { |
| Vector<int> vec; |
| ASSERT_TRUE(vec.Push(1)); |
| // Within bounds of the capacity, but not the vector. |
| EXPECT_DEATH_IF_SUPPORTED(vec[1], ""); |
| // Not within bounds of the capacity either. |
| EXPECT_DEATH_IF_SUPPORTED(vec[10000], ""); |
| } |
| |
| TEST(InplaceVector, Basic) { |
| InplaceVector<int, 4> vec; |
| EXPECT_TRUE(vec.empty()); |
| EXPECT_EQ(0u, vec.size()); |
| EXPECT_EQ(vec.begin(), vec.end()); |
| |
| int data3[] = {1, 2, 3}; |
| ASSERT_TRUE(vec.TryCopyFrom(data3)); |
| EXPECT_FALSE(vec.empty()); |
| EXPECT_EQ(3u, vec.size()); |
| auto iter = vec.begin(); |
| EXPECT_EQ(1, vec[0]); |
| EXPECT_EQ(1, *iter); |
| iter++; |
| EXPECT_EQ(2, vec[1]); |
| EXPECT_EQ(2, *iter); |
| iter++; |
| EXPECT_EQ(3, vec[2]); |
| EXPECT_EQ(3, *iter); |
| iter++; |
| EXPECT_EQ(iter, vec.end()); |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(data3)); |
| |
| InplaceVector<int, 4> vec2 = vec; |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(vec2)); |
| |
| InplaceVector<int, 4> vec3; |
| vec3 = vec; |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(vec2)); |
| |
| int data4[] = {1, 2, 3, 4}; |
| ASSERT_TRUE(vec.TryCopyFrom(data4)); |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(data4)); |
| |
| int data5[] = {1, 2, 3, 4, 5}; |
| EXPECT_FALSE(vec.TryCopyFrom(data5)); |
| EXPECT_FALSE(vec.TryResize(5)); |
| |
| // Shrink the vector. |
| ASSERT_TRUE(vec.TryResize(3)); |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(data3)); |
| |
| // Enlarge it again. The new value should have been value-initialized. |
| ASSERT_TRUE(vec.TryResize(4)); |
| EXPECT_EQ(vec[3], 0); |
| |
| // Self-assignment should not break the vector. Indirect through a pointer to |
| // avoid tripping a compiler warning. |
| vec.CopyFrom(data4); |
| const auto *ptr = &vec; |
| vec = *ptr; |
| EXPECT_EQ(MakeConstSpan(vec), MakeConstSpan(data4)); |
| } |
| |
| TEST(InplaceVectorTest, ComplexType) { |
| InplaceVector<std::vector<int>, 4> vec_of_vecs; |
| const std::vector<int> data[] = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}}; |
| vec_of_vecs.CopyFrom(data); |
| EXPECT_EQ(MakeConstSpan(vec_of_vecs), MakeConstSpan(data)); |
| |
| vec_of_vecs.Resize(2); |
| EXPECT_EQ(MakeConstSpan(vec_of_vecs), MakeConstSpan(data, 2)); |
| |
| vec_of_vecs.Resize(4); |
| EXPECT_EQ(4u, vec_of_vecs.size()); |
| EXPECT_EQ(vec_of_vecs[0], data[0]); |
| EXPECT_EQ(vec_of_vecs[1], data[1]); |
| EXPECT_TRUE(vec_of_vecs[2].empty()); |
| EXPECT_TRUE(vec_of_vecs[3].empty()); |
| |
| // Copy-construction. |
| InplaceVector<std::vector<int>, 4> vec_of_vecs2 = vec_of_vecs; |
| EXPECT_EQ(4u, vec_of_vecs2.size()); |
| EXPECT_EQ(vec_of_vecs2[0], data[0]); |
| EXPECT_EQ(vec_of_vecs2[1], data[1]); |
| EXPECT_TRUE(vec_of_vecs2[2].empty()); |
| EXPECT_TRUE(vec_of_vecs2[3].empty()); |
| |
| // Copy-assignment. |
| InplaceVector<std::vector<int>, 4> vec_of_vecs3; |
| vec_of_vecs3 = vec_of_vecs; |
| EXPECT_EQ(4u, vec_of_vecs3.size()); |
| EXPECT_EQ(vec_of_vecs3[0], data[0]); |
| EXPECT_EQ(vec_of_vecs3[1], data[1]); |
| EXPECT_TRUE(vec_of_vecs3[2].empty()); |
| EXPECT_TRUE(vec_of_vecs3[3].empty()); |
| |
| // Move-construction. |
| InplaceVector<std::vector<int>, 4> vec_of_vecs4 = std::move(vec_of_vecs); |
| EXPECT_EQ(4u, vec_of_vecs4.size()); |
| EXPECT_EQ(vec_of_vecs4[0], data[0]); |
| EXPECT_EQ(vec_of_vecs4[1], data[1]); |
| EXPECT_TRUE(vec_of_vecs4[2].empty()); |
| EXPECT_TRUE(vec_of_vecs4[3].empty()); |
| |
| // The elements of the original vector should have been moved-from. |
| EXPECT_EQ(4u, vec_of_vecs.size()); |
| for (const auto &vec : vec_of_vecs) { |
| EXPECT_TRUE(vec.empty()); |
| } |
| |
| // Move-assignment. |
| InplaceVector<std::vector<int>, 4> vec_of_vecs5; |
| vec_of_vecs5 = std::move(vec_of_vecs4); |
| EXPECT_EQ(4u, vec_of_vecs5.size()); |
| EXPECT_EQ(vec_of_vecs5[0], data[0]); |
| EXPECT_EQ(vec_of_vecs5[1], data[1]); |
| EXPECT_TRUE(vec_of_vecs5[2].empty()); |
| EXPECT_TRUE(vec_of_vecs5[3].empty()); |
| |
| // The elements of the original vector should have been moved-from. |
| EXPECT_EQ(4u, vec_of_vecs4.size()); |
| for (const auto &vec : vec_of_vecs4) { |
| EXPECT_TRUE(vec.empty()); |
| } |
| |
| std::vector<int> v = {42}; |
| vec_of_vecs5.Resize(3); |
| EXPECT_TRUE(vec_of_vecs5.TryPushBack(v)); |
| EXPECT_EQ(v, vec_of_vecs5[3]); |
| EXPECT_FALSE(vec_of_vecs5.TryPushBack(v)); |
| } |
| |
| TEST(InplaceVectorTest, EraseIf) { |
| // Test that EraseIf never causes a self-move, and also correctly works with |
| // a move-only type that cannot be default-constructed. |
| class NoSelfMove { |
| public: |
| explicit NoSelfMove(int v) : v_(std::make_unique<int>(v)) {} |
| NoSelfMove(NoSelfMove &&other) { *this = std::move(other); } |
| NoSelfMove &operator=(NoSelfMove &&other) { |
| BSSL_CHECK(this != &other); |
| v_ = std::move(other.v_); |
| return *this; |
| } |
| |
| int value() const { return *v_; } |
| |
| private: |
| std::unique_ptr<int> v_; |
| }; |
| |
| InplaceVector<NoSelfMove, 8> vec; |
| auto reset = [&] { |
| vec.clear(); |
| for (int i = 0; i < 8; i++) { |
| vec.PushBack(NoSelfMove(i)); |
| } |
| }; |
| auto expect = [&](const std::vector<int> &expected) { |
| ASSERT_EQ(vec.size(), expected.size()); |
| for (size_t i = 0; i < vec.size(); i++) { |
| SCOPED_TRACE(i); |
| EXPECT_EQ(vec[i].value(), expected[i]); |
| } |
| }; |
| |
| reset(); |
| vec.EraseIf([](const auto &) { return false; }); |
| expect({0, 1, 2, 3, 4, 5, 6, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &) { return true; }); |
| expect({}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() < 4; }); |
| expect({4, 5, 6, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() >= 4; }); |
| expect({0, 1, 2, 3}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() % 2 == 0; }); |
| expect({1, 3, 5, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() % 2 == 1; }); |
| expect({0, 2, 4, 6}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return 2 <= v.value() && v.value() <= 5; }); |
| expect({0, 1, 6, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() == 0; }); |
| expect({1, 2, 3, 4, 5, 6, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() == 4; }); |
| expect({0, 1, 2, 3, 5, 6, 7}); |
| |
| reset(); |
| vec.EraseIf([](const auto &v) { return v.value() == 7; }); |
| expect({0, 1, 2, 3, 4, 5, 6}); |
| } |
| |
| TEST(InplaceVectorDeathTest, BoundsChecks) { |
| InplaceVector<int, 4> vec; |
| // The vector is currently empty. |
| EXPECT_DEATH_IF_SUPPORTED(vec[0], ""); |
| int data[] = {1, 2, 3}; |
| vec.CopyFrom(data); |
| // Some more out-of-bounds elements. |
| EXPECT_DEATH_IF_SUPPORTED(vec[3], ""); |
| EXPECT_DEATH_IF_SUPPORTED(vec[4], ""); |
| EXPECT_DEATH_IF_SUPPORTED(vec[1000], ""); |
| // The vector cannot be resized past the capacity. |
| EXPECT_DEATH_IF_SUPPORTED(vec.Resize(5), ""); |
| EXPECT_DEATH_IF_SUPPORTED(vec.ResizeForOverwrite(5), ""); |
| int too_much_data[] = {1, 2, 3, 4, 5}; |
| EXPECT_DEATH_IF_SUPPORTED(vec.CopyFrom(too_much_data), ""); |
| vec.Resize(4); |
| EXPECT_DEATH_IF_SUPPORTED(vec.PushBack(42), ""); |
| } |
| |
| TEST(ReconstructSeqnumTest, Increment) { |
| // Test simple cases from the beginning of an epoch with both 8- and 16-bit |
| // wire sequence numbers. |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0), 0u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xff, 0), 1u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xff, 0), 2u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0), 0u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xffff, 0), 1u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xffff, 0), 2u); |
| |
| // When the max seen sequence number is 0, the numerically closest |
| // reconstructed sequence number could be negative. Sequence numbers are |
| // non-negative, so reconstruct_seqnum should instead return the closest |
| // non-negative number instead of returning a number congruent to that |
| // closest negative number mod 2^64. |
| EXPECT_EQ(reconstruct_seqnum(0xff, 0xff, 0), 0xffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfe, 0xff, 0), 0xfeu); |
| EXPECT_EQ(reconstruct_seqnum(0xffff, 0xffff, 0), 0xffffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfffe, 0xffff, 0), 0xfffeu); |
| |
| // When the wire sequence number is less than the corresponding low bytes of |
| // the max seen sequence number, check that the next larger sequence number |
| // is reconstructed as its numerically closer than the corresponding sequence |
| // number that would keep the high order bits the same. |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0xff), 0x100u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xff, 0xff), 0x101u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xff, 0xff), 0x102u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0xffff), 0x10000u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xffff, 0xffff), 0x10001u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xffff, 0xffff), 0x10002u); |
| |
| // Test cases when the wire sequence number is close to the largest magnitude |
| // that can be represented in 8 or 16 bits. |
| EXPECT_EQ(reconstruct_seqnum(0xff, 0xff, 0x2f0), 0x2ffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfe, 0xff, 0x2f0), 0x2feu); |
| EXPECT_EQ(reconstruct_seqnum(0xffff, 0xffff, 0x2f000), 0x2ffffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfffe, 0xffff, 0x2f000), 0x2fffeu); |
| |
| // Test that reconstruct_seqnum can return |
| // std::numeric_limits<uint64_t>::max(). |
| EXPECT_EQ(reconstruct_seqnum(0xff, 0xff, 0xffffffffffffffff), |
| std::numeric_limits<uint64_t>::max()); |
| EXPECT_EQ(reconstruct_seqnum(0xff, 0xff, 0xfffffffffffffffe), |
| std::numeric_limits<uint64_t>::max()); |
| EXPECT_EQ(reconstruct_seqnum(0xffff, 0xffff, 0xffffffffffffffff), |
| std::numeric_limits<uint64_t>::max()); |
| EXPECT_EQ(reconstruct_seqnum(0xffff, 0xffff, 0xfffffffffffffffe), |
| std::numeric_limits<uint64_t>::max()); |
| } |
| |
| TEST(ReconstructSeqnumTest, Decrement) { |
| // Test that the sequence number 0 can be reconstructed when the max |
| // seen sequence number is greater than 0. |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0x10), 0u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0x1000), 0u); |
| |
| // Test cases where the reconstructed sequence number is less than the max |
| // seen sequence number. |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0x210), 0x200u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xff, 0x210), 0x202u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0x43210), 0x40000u); |
| EXPECT_EQ(reconstruct_seqnum(2, 0xffff, 0x43210), 0x40002u); |
| |
| // Test when the wire sequence number is greater than the low bits of the |
| // max seen sequence number. |
| EXPECT_EQ(reconstruct_seqnum(0xff, 0xff, 0x200), 0x1ffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfe, 0xff, 0x200), 0x1feu); |
| EXPECT_EQ(reconstruct_seqnum(0xffff, 0xffff, 0x20000), 0x1ffffu); |
| EXPECT_EQ(reconstruct_seqnum(0xfffe, 0xffff, 0x20000), 0x1fffeu); |
| |
| // Test when the max seen sequence number is close to the uint64_t max value. |
| // In some cases, the closest numerical value in the integers will overflow |
| // a uint64_t. Instead of returning the closest value in Z_{2^64}, |
| // reconstruct_seqnum should return the closest integer less than 2^64, even |
| // if there is a closer value greater than 2^64. |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0xffffffffffffffff), |
| 0xffffffffffffff00u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xff, 0xfffffffffffffffe), |
| 0xffffffffffffff00u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xff, 0xffffffffffffffff), |
| 0xffffffffffffff01u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xff, 0xfffffffffffffffe), |
| 0xffffffffffffff01u); |
| EXPECT_EQ(reconstruct_seqnum(0xfe, 0xff, 0xffffffffffffffff), |
| 0xfffffffffffffffeu); |
| EXPECT_EQ(reconstruct_seqnum(0xfd, 0xff, 0xfffffffffffffffe), |
| 0xfffffffffffffffdu); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0xffffffffffffffff), |
| 0xffffffffffff0000u); |
| EXPECT_EQ(reconstruct_seqnum(0, 0xffff, 0xfffffffffffffffe), |
| 0xffffffffffff0000u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xffff, 0xffffffffffffffff), |
| 0xffffffffffff0001u); |
| EXPECT_EQ(reconstruct_seqnum(1, 0xffff, 0xfffffffffffffffe), |
| 0xffffffffffff0001u); |
| EXPECT_EQ(reconstruct_seqnum(0xfffe, 0xffff, 0xffffffffffffffff), |
| 0xfffffffffffffffeu); |
| EXPECT_EQ(reconstruct_seqnum(0xfffd, 0xffff, 0xfffffffffffffffe), |
| 0xfffffffffffffffdu); |
| } |
| |
| TEST(ReconstructSeqnumTest, Halfway) { |
| // Test wire sequence numbers that are close to halfway away from the max |
| // seen sequence number. The algorithm specifies that the output should be |
| // numerically closest to 1 plus the max seen (0x100 in the following test |
| // cases). With a max seen of 0x100 and a wire sequence of 0x81, the two |
| // closest values to 1+0x100 are 0x81 and 0x181, which are both the same |
| // amount away. The algorithm doesn't specify what to do on this edge case; |
| // our implementation chooses the larger value (0x181), on the assumption that |
| // it's more likely to be a new or larger sequence number rather than a replay |
| // or an out-of-order packet. |
| EXPECT_EQ(reconstruct_seqnum(0x80, 0xff, 0x100), 0x180u); |
| EXPECT_EQ(reconstruct_seqnum(0x81, 0xff, 0x100), 0x181u); |
| EXPECT_EQ(reconstruct_seqnum(0x82, 0xff, 0x100), 0x82u); |
| |
| // Repeat these tests with 16-bit wire sequence numbers. |
| EXPECT_EQ(reconstruct_seqnum(0x8000, 0xffff, 0x10000), 0x18000u); |
| EXPECT_EQ(reconstruct_seqnum(0x8001, 0xffff, 0x10000), 0x18001u); |
| EXPECT_EQ(reconstruct_seqnum(0x8002, 0xffff, 0x10000), 0x8002u); |
| } |
| |
| } // namespace |
| BSSL_NAMESPACE_END |
| #endif // !BORINGSSL_SHARED_LIBRARY |