LCOV - code coverage report
Current view: top level - src/test - prevector_tests.cpp (source / functions) Coverage Total Hit
Test: test_bitcoin_coverage.info Lines: 100.0 % 195 195
Test Date: 2025-06-01 05:54:06 Functions: 100.0 % 21 21
Branches: 75.9 % 212 161

             Branch data     Line data    Source code
       1                 :             : // Copyright (c) 2015-present The Bitcoin Core developers
       2                 :             : // Distributed under the MIT software license, see the accompanying
       3                 :             : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :             : 
       5                 :             : #include <prevector.h>
       6                 :             : #include <serialize.h>
       7                 :             : #include <streams.h>
       8                 :             : #include <test/util/random.h>
       9                 :             : #include <test/util/setup_common.h>
      10                 :             : 
      11                 :             : #include <boost/test/unit_test.hpp>
      12                 :             : 
      13                 :             : #include <ranges>
      14                 :             : #include <vector>
      15                 :             : 
      16                 :             : BOOST_FIXTURE_TEST_SUITE(prevector_tests, TestingSetup)
      17                 :             : 
      18                 :             : template <unsigned int N, typename T>
      19                 :             : class prevector_tester
      20                 :             : {
      21                 :             :     typedef std::vector<T> realtype;
      22                 :             :     realtype real_vector;
      23                 :             :     realtype real_vector_alt;
      24                 :             : 
      25                 :             :     typedef prevector<N, T> pretype;
      26                 :             :     pretype pre_vector;
      27                 :             :     pretype pre_vector_alt;
      28                 :             : 
      29                 :             :     typedef typename pretype::size_type Size;
      30                 :             :     bool passed = true;
      31                 :             :     uint256 rand_seed;
      32                 :             : 
      33                 :             : 
      34                 :             :     template <typename A, typename B>
      35                 :     9232804 :     void local_check_equal(A a, B b)
      36                 :             :     {
      37                 :     9232804 :         local_check(a == b);
      38                 :             :     }
      39                 :    22374210 :     void local_check(bool b)
      40                 :             :     {
      41                 :     8399648 :         passed &= b;
      42                 :             :     }
      43                 :      266840 :     void test()
      44                 :             :     {
      45                 :      266840 :         const pretype& const_pre_vector = pre_vector;
      46         [ +  + ]:      442040 :         local_check_equal(real_vector.size(), pre_vector.size());
      47                 :      266840 :         local_check_equal(real_vector.empty(), pre_vector.empty());
      48         [ +  + ]:     2366752 :         for (Size s = 0; s < real_vector.size(); s++) {
      49         [ +  + ]:     2099912 :             local_check(real_vector[s] == pre_vector[s]);
      50         [ +  + ]:     4199824 :             local_check(&(pre_vector[s]) == &(pre_vector.begin()[s]));
      51                 :     2099912 :             local_check(&(pre_vector[s]) == &*(pre_vector.begin() + s));
      52                 :     2099912 :             local_check(&(pre_vector[s]) == &*((pre_vector.end() + s) - real_vector.size()));
      53                 :             :         }
      54                 :             :         // local_check(realtype(pre_vector) == real_vector);
      55                 :      266840 :         local_check(pretype(real_vector.begin(), real_vector.end()) == pre_vector);
      56         [ +  + ]:      533680 :         local_check(pretype(pre_vector.begin(), pre_vector.end()) == pre_vector);
      57                 :      266840 :         size_t pos = 0;
      58   [ +  +  +  + ]:     2633592 :         for (const T& v : pre_vector) {
      59                 :     2099912 :             local_check(v == real_vector[pos++]);
      60                 :             :         }
      61         [ +  + ]:     2366752 :         for (const T& v : pre_vector | std::views::reverse) {
      62                 :     2099912 :             local_check(v == real_vector[--pos]);
      63                 :             :         }
      64         [ +  + ]:     2366752 :         for (const T& v : const_pre_vector) {
      65                 :     2099912 :             local_check(v == real_vector[pos++]);
      66                 :             :         }
      67         [ +  + ]:     2366752 :         for (const T& v : const_pre_vector | std::views::reverse) {
      68                 :     2099912 :             local_check(v == real_vector[--pos]);
      69                 :             :         }
      70                 :      266840 :         DataStream ss1{};
      71                 :      266840 :         DataStream ss2{};
      72         [ +  - ]:      266840 :         ss1 << real_vector;
      73         [ +  - ]:      533680 :         ss2 << pre_vector;
      74                 :      266840 :         local_check_equal(ss1.size(), ss2.size());
      75         [ +  + ]:     8933328 :         for (Size s = 0; s < ss1.size(); s++) {
      76                 :     8666488 :             local_check_equal(ss1[s], ss2[s]);
      77                 :             :         }
      78                 :      266840 :     }
      79                 :             : 
      80                 :             : public:
      81                 :       16318 :     void resize(Size s)
      82                 :             :     {
      83                 :       16318 :         real_vector.resize(s);
      84                 :       16318 :         local_check_equal(real_vector.size(), s);
      85                 :       16318 :         pre_vector.resize(s);
      86         [ +  + ]:       16318 :         local_check_equal(pre_vector.size(), s);
      87                 :       16318 :         test();
      88                 :       16318 :     }
      89                 :             : 
      90                 :        4127 :     void reserve(Size s)
      91                 :             :     {
      92                 :        4127 :         real_vector.reserve(s);
      93                 :        4127 :         local_check(real_vector.capacity() >= s);
      94                 :        4127 :         pre_vector.reserve(s);
      95         [ +  + ]:        4127 :         local_check(pre_vector.capacity() >= s);
      96                 :        4127 :         test();
      97                 :        4127 :     }
      98                 :             : 
      99                 :       32678 :     void insert(Size position, const T& value)
     100                 :             :     {
     101                 :       32678 :         real_vector.insert(real_vector.begin() + position, value);
     102         [ +  + ]:       65356 :         pre_vector.insert(pre_vector.begin() + position, value);
     103                 :       32678 :         test();
     104                 :       32678 :     }
     105                 :             : 
     106                 :       16180 :     void insert(Size position, Size count, const T& value)
     107                 :             :     {
     108                 :       16180 :         real_vector.insert(real_vector.begin() + position, count, value);
     109         [ +  + ]:       32360 :         pre_vector.insert(pre_vector.begin() + position, count, value);
     110                 :       16180 :         test();
     111                 :       16180 :     }
     112                 :             : 
     113                 :             :     template <typename I>
     114                 :        4107 :     void insert_range(Size position, I first, I last)
     115                 :             :     {
     116                 :        4107 :         real_vector.insert(real_vector.begin() + position, first, last);
     117         [ +  + ]:        8214 :         pre_vector.insert(pre_vector.begin() + position, first, last);
     118                 :        4107 :         test();
     119                 :        4107 :     }
     120                 :             : 
     121                 :       27725 :     void erase(Size position)
     122                 :             :     {
     123                 :       27725 :         real_vector.erase(real_vector.begin() + position);
     124         [ +  + ]:       55450 :         pre_vector.erase(pre_vector.begin() + position);
     125                 :       27725 :         test();
     126                 :       27725 :     }
     127                 :             : 
     128                 :       20245 :     void erase(Size first, Size last)
     129                 :             :     {
     130                 :       20245 :         real_vector.erase(real_vector.begin() + first, real_vector.begin() + last);
     131         [ +  + ]:       40490 :         pre_vector.erase(pre_vector.begin() + first, pre_vector.begin() + last);
     132                 :       20245 :         test();
     133                 :       20245 :     }
     134                 :             : 
     135                 :      107887 :     void update(Size pos, const T& value)
     136                 :             :     {
     137         [ +  + ]:      107887 :         real_vector[pos] = value;
     138         [ +  + ]:      107887 :         pre_vector[pos] = value;
     139                 :      107887 :         test();
     140                 :      107887 :     }
     141                 :             : 
     142                 :        8227 :     void push_back(const T& value)
     143                 :             :     {
     144                 :        8227 :         real_vector.push_back(value);
     145                 :        8227 :         pre_vector.push_back(value);
     146                 :        8227 :         test();
     147                 :        8227 :     }
     148                 :             : 
     149                 :        6706 :     void pop_back()
     150                 :             :     {
     151                 :        6706 :         real_vector.pop_back();
     152                 :        6706 :         pre_vector.pop_back();
     153                 :        6706 :         test();
     154                 :        6706 :     }
     155                 :             : 
     156                 :         123 :     void clear()
     157                 :             :     {
     158         [ +  + ]:         123 :         real_vector.clear();
     159                 :         123 :         pre_vector.clear();
     160                 :         123 :     }
     161                 :             : 
     162                 :         256 :     void assign(Size n, const T& value)
     163                 :             :     {
     164                 :         256 :         real_vector.assign(n, value);
     165                 :         256 :         pre_vector.assign(n, value);
     166                 :         256 :     }
     167                 :             : 
     168                 :      638601 :     Size size() const
     169                 :             :     {
     170                 :      638601 :         return real_vector.size();
     171                 :             :     }
     172                 :             : 
     173                 :             :     Size capacity() const
     174                 :             :     {
     175                 :             :         return pre_vector.capacity();
     176                 :             :     }
     177                 :             : 
     178                 :        2053 :     void shrink_to_fit()
     179                 :             :     {
     180                 :        2053 :         pre_vector.shrink_to_fit();
     181         [ +  - ]:        2053 :         test();
     182                 :        2053 :     }
     183                 :             : 
     184                 :       16515 :     void swap() noexcept
     185                 :             :     {
     186                 :       16515 :         real_vector.swap(real_vector_alt);
     187                 :       16515 :         pre_vector.swap(pre_vector_alt);
     188                 :       16515 :         test();
     189                 :       16515 :     }
     190                 :             : 
     191                 :        4061 :     void move()
     192                 :             :     {
     193                 :        4061 :         real_vector = std::move(real_vector_alt);
     194         [ -  + ]:        4061 :         real_vector_alt.clear();
     195                 :        4061 :         pre_vector = std::move(pre_vector_alt);
     196                 :        4061 :         pre_vector_alt.clear();
     197                 :        4061 :     }
     198                 :             : 
     199                 :        8303 :     void copy()
     200                 :             :     {
     201                 :        8303 :         real_vector = real_vector_alt;
     202                 :        8303 :         pre_vector = pre_vector_alt;
     203                 :        8303 :     }
     204                 :             : 
     205         [ +  + ]:        4072 :     void resize_uninitialized(realtype values)
     206                 :             :     {
     207                 :        4072 :         size_t r = values.size();
     208                 :        4072 :         size_t s = real_vector.size() / 2;
     209         [ +  + ]:        4072 :         if (real_vector.capacity() < s + r) {
     210                 :        1342 :             real_vector.reserve(s + r);
     211                 :             :         }
     212                 :        4072 :         real_vector.resize(s);
     213                 :        4072 :         pre_vector.resize_uninitialized(s);
     214         [ +  + ]:       39152 :         for (auto v : values) {
     215                 :       35080 :             real_vector.push_back(v);
     216                 :             :         }
     217         [ +  + ]:        4072 :         auto p = pre_vector.size();
     218                 :        4072 :         pre_vector.resize_uninitialized(p + r);
     219         [ +  + ]:       39152 :         for (auto v : values) {
     220         [ +  + ]:       35080 :             pre_vector[p] = v;
     221                 :       35080 :             ++p;
     222                 :             :         }
     223                 :        4072 :         test();
     224                 :        4072 :     }
     225                 :             : 
     226                 :          64 :     ~prevector_tester()
     227                 :             :     {
     228         [ -  + ]:          64 :         BOOST_CHECK_MESSAGE(passed, "insecure_rand: " + rand_seed.ToString());
     229                 :          64 :     }
     230                 :             : 
     231                 :          64 :     prevector_tester(FastRandomContext& rng)
     232                 :          64 :     {
     233                 :          64 :         rand_seed = rng.rand256();
     234                 :          64 :         rng.Reseed(rand_seed);
     235                 :          64 :     }
     236                 :             : };
     237                 :             : 
     238   [ +  -  +  -  :           7 : BOOST_AUTO_TEST_CASE(PrevectorTestInt)
          +  -  +  -  +  
          -  +  -  +  -  
          +  -  +  -  +  
          -  +  -  +  -  
          +  -  +  -  +  
          -  +  -  +  -  
          +  -  +  -  +  
          -  +  -  +  -  
          +  -  +  -  +  
          -  +  -  +  -  
          +  -  +  -  +  
                      - ]
     239                 :             : {
     240         [ +  + ]:          65 :     for (int j = 0; j < 64; j++) {
     241                 :          64 :         prevector_tester<8, int> test{m_rng};
     242         [ +  + ]:      131136 :         for (int i = 0; i < 2048; i++) {
     243         [ +  + ]:      131072 :             if (m_rng.randbits(2) == 0) {
     244         [ +  - ]:       32678 :                 test.insert(m_rng.randrange(test.size() + 1), int(m_rng.rand32()));
     245                 :             :             }
     246   [ +  +  +  + ]:      131072 :             if (test.size() > 0 && m_rng.randbits(2) == 1) {
     247         [ +  - ]:       27725 :                 test.erase(m_rng.randrange(test.size()));
     248                 :             :             }
     249         [ +  + ]:      131072 :             if (m_rng.randbits(3) == 2) {
     250   [ +  +  +  + ]:       48878 :                 int new_size = std::max(0, std::min(30, (int)test.size() + (int)m_rng.randrange(5) - 2));
     251         [ +  - ]:       16318 :                 test.resize(new_size);
     252                 :             :             }
     253         [ +  + ]:      131072 :             if (m_rng.randbits(3) == 3) {
     254         [ +  - ]:       16180 :                 test.insert(m_rng.randrange(test.size() + 1), 1 + m_rng.randbool(), int(m_rng.rand32()));
     255                 :             :             }
     256         [ +  + ]:      131072 :             if (m_rng.randbits(3) == 4) {
     257         [ +  + ]:       16231 :                 int del = std::min<int>(test.size(), 1 + (m_rng.randbool()));
     258                 :       16231 :                 int beg = m_rng.randrange(test.size() + 1 - del);
     259         [ +  - ]:       16231 :                 test.erase(beg, beg + del);
     260                 :             :             }
     261         [ +  + ]:      131072 :             if (m_rng.randbits(4) == 5) {
     262         [ +  - ]:        8227 :                 test.push_back(int(m_rng.rand32()));
     263                 :             :             }
     264   [ +  +  +  + ]:      131072 :             if (test.size() > 0 && m_rng.randbits(4) == 6) {
     265         [ +  - ]:        6706 :                 test.pop_back();
     266                 :             :             }
     267         [ +  + ]:      131072 :             if (m_rng.randbits(5) == 7) {
     268                 :        4107 :                 int values[4];
     269                 :        4107 :                 int num = 1 + (m_rng.randbits(2));
     270         [ +  + ]:       14270 :                 for (int k = 0; k < num; k++) {
     271                 :       10163 :                     values[k] = int(m_rng.rand32());
     272                 :             :                 }
     273         [ +  - ]:        4107 :                 test.insert_range(m_rng.randrange(test.size() + 1), values, values + num);
     274                 :             :             }
     275         [ +  + ]:      131072 :             if (m_rng.randbits(5) == 8) {
     276         [ +  + ]:        4014 :                 int del = std::min<int>(test.size(), 1 + (m_rng.randbits(2)));
     277                 :        4014 :                 int beg = m_rng.randrange(test.size() + 1 - del);
     278         [ +  - ]:        4014 :                 test.erase(beg, beg + del);
     279                 :             :             }
     280         [ +  + ]:      131072 :             if (m_rng.randbits(5) == 9) {
     281         [ +  - ]:        4127 :                 test.reserve(m_rng.randbits(5));
     282                 :             :             }
     283         [ +  + ]:      131072 :             if (m_rng.randbits(6) == 10) {
     284                 :        2053 :                 test.shrink_to_fit();
     285                 :             :             }
     286         [ +  + ]:      131072 :             if (test.size() > 0) {
     287         [ +  - ]:      107887 :                 test.update(m_rng.randrange(test.size()), int(m_rng.rand32()));
     288                 :             :             }
     289         [ +  + ]:      131072 :             if (m_rng.randbits(10) == 11) {
     290                 :         123 :                 test.clear();
     291                 :             :             }
     292         [ +  + ]:      131072 :             if (m_rng.randbits(9) == 12) {
     293         [ +  - ]:         256 :                 test.assign(m_rng.randbits(5), int(m_rng.rand32()));
     294                 :             :             }
     295         [ +  + ]:      131072 :             if (m_rng.randbits(3) == 3) {
     296                 :       16515 :                 test.swap();
     297                 :             :             }
     298         [ +  + ]:      131072 :             if (m_rng.randbits(4) == 8) {
     299         [ +  - ]:        8303 :                 test.copy();
     300                 :             :             }
     301         [ +  + ]:      131072 :             if (m_rng.randbits(5) == 18) {
     302                 :        4061 :                 test.move();
     303                 :             :             }
     304         [ +  + ]:      131072 :             if (m_rng.randbits(5) == 19) {
     305                 :        4072 :                 unsigned int num = 1 + (m_rng.randbits(4));
     306         [ +  - ]:        4072 :                 std::vector<int> values(num);
     307         [ +  + ]:       39152 :                 for (int& v : values) {
     308                 :       35080 :                     v = int(m_rng.rand32());
     309                 :             :                 }
     310   [ +  -  +  - ]:        8144 :                 test.resize_uninitialized(values);
     311                 :        4072 :             }
     312                 :             :         }
     313                 :          64 :     }
     314                 :           1 : }
     315                 :             : 
     316                 :             : BOOST_AUTO_TEST_SUITE_END()
        

Generated by: LCOV version 2.0-1