LCOV - code coverage report
Current view: top level - gcc - vec.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 78.9 % 313 247
Test Date: 2024-12-21 13:15:12 Functions: 71.4 % 28 20
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

             Branch data     Line data    Source code
       1                 :             : /* Vector API for GNU compiler.
       2                 :             :    Copyright (C) 2004-2024 Free Software Foundation, Inc.
       3                 :             :    Contributed by Nathan Sidwell <nathan@codesourcery.com>
       4                 :             :    Re-implemented in C++ by Diego Novillo <dnovillo@google.com>
       5                 :             : 
       6                 :             : This file is part of GCC.
       7                 :             : 
       8                 :             : GCC is free software; you can redistribute it and/or modify it under
       9                 :             : the terms of the GNU General Public License as published by the Free
      10                 :             : Software Foundation; either version 3, or (at your option) any later
      11                 :             : version.
      12                 :             : 
      13                 :             : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      14                 :             : WARRANTY; without even the implied warranty of MERCHANTABILITY or
      15                 :             : FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      16                 :             : for more details.
      17                 :             : 
      18                 :             : You should have received a copy of the GNU General Public License
      19                 :             : along with GCC; see the file COPYING3.  If not see
      20                 :             : <http://www.gnu.org/licenses/>.  */
      21                 :             : 
      22                 :             : /* This file is compiled twice: once for the generator programs
      23                 :             :    once for the compiler.  */
      24                 :             : #ifdef GENERATOR_FILE
      25                 :             : #include "bconfig.h"
      26                 :             : #else
      27                 :             : #include "config.h"
      28                 :             : #endif
      29                 :             : 
      30                 :             : #include "system.h"
      31                 :             : #include "coretypes.h"
      32                 :             : #include "hash-table.h"
      33                 :             : #include "selftest.h"
      34                 :             : #ifdef GENERATOR_FILE
      35                 :             : #include "errors.h"
      36                 :             : #else
      37                 :             : #include "input.h"
      38                 :             : #include "diagnostic-core.h"
      39                 :             : #endif
      40                 :             : 
      41                 :             : /* Vector memory usage.  */
      42                 :             : class vec_usage: public mem_usage
      43                 :             : {
      44                 :             : public:
      45                 :             :   /* Default constructor.  */
      46                 :           0 :   vec_usage (): m_items (0), m_items_peak (0), m_element_size (0) {}
      47                 :             : 
      48                 :             :   /* Constructor.  */
      49                 :           0 :   vec_usage (size_t allocated, size_t times, size_t peak,
      50                 :             :              size_t items, size_t items_peak, size_t element_size)
      51                 :           0 :     : mem_usage (allocated, times, peak),
      52                 :           0 :     m_items (items), m_items_peak (items_peak),
      53                 :           0 :     m_element_size (element_size) {}
      54                 :             : 
      55                 :             :   /* Sum the usage with SECOND usage.  */
      56                 :             :   vec_usage
      57                 :           0 :   operator+ (const vec_usage &second)
      58                 :             :   {
      59                 :           0 :     return vec_usage (m_allocated + second.m_allocated,
      60                 :           0 :                       m_times + second.m_times,
      61                 :           0 :                       m_peak + second.m_peak,
      62                 :           0 :                       m_items + second.m_items,
      63                 :           0 :                       m_items_peak + second.m_items_peak, 0);
      64                 :             :   }
      65                 :             : 
      66                 :             :   /* Dump usage coupled to LOC location, where TOTAL is sum of all rows.  */
      67                 :             :   inline void
      68                 :           0 :   dump (mem_location *loc, mem_usage &total) const
      69                 :             :   {
      70                 :           0 :     char s[4096];
      71                 :           0 :     sprintf (s, "%s:%i (%s)", loc->get_trimmed_filename (),
      72                 :             :              loc->m_line, loc->m_function);
      73                 :             : 
      74                 :           0 :     s[48] = '\0';
      75                 :             : 
      76                 :           0 :     fprintf (stderr,
      77                 :             :              "%-48s %10" PRIu64 PRsa (10) ":%4.1f%%" PRsa (9) "%10" PRIu64
      78                 :             :              ":%4.1f%%" PRsa (10) PRsa (10) "\n",
      79                 :             :              s,
      80                 :           0 :              (uint64_t)m_element_size,
      81                 :           0 :              SIZE_AMOUNT (m_allocated),
      82                 :           0 :              m_allocated * 100.0 / total.m_allocated,
      83                 :           0 :              SIZE_AMOUNT (m_peak), (uint64_t)m_times,
      84                 :           0 :              m_times * 100.0 / total.m_times,
      85                 :           0 :              SIZE_AMOUNT (m_items), SIZE_AMOUNT (m_items_peak));
      86                 :           0 :   }
      87                 :             : 
      88                 :             :   /* Dump footer.  */
      89                 :             :   inline void
      90                 :           0 :   dump_footer ()
      91                 :             :   {
      92                 :           0 :     fprintf (stderr, "%s" PRsa (64) PRsa (25) PRsa (16) "\n",
      93                 :           0 :              "Total", SIZE_AMOUNT (m_allocated),
      94                 :           0 :              SIZE_AMOUNT (m_times), SIZE_AMOUNT (m_items));
      95                 :           0 :   }
      96                 :             : 
      97                 :             :   /* Dump header with NAME.  */
      98                 :             :   static inline void
      99                 :           0 :   dump_header (const char *name)
     100                 :             :   {
     101                 :           0 :     fprintf (stderr, "%-48s %10s%11s%16s%10s%17s%11s\n", name, "sizeof(T)",
     102                 :             :              "Leak", "Peak", "Times", "Leak items", "Peak items");
     103                 :           0 :   }
     104                 :             : 
     105                 :             :   /* Current number of items allocated.  */
     106                 :             :   size_t m_items;
     107                 :             :   /* Peak value of number of allocated items.  */
     108                 :             :   size_t m_items_peak;
     109                 :             :   /* Size of element of the vector.  */
     110                 :             :   size_t m_element_size;
     111                 :             : };
     112                 :             : 
     113                 :             : /* Vector memory description.  */
     114                 :             : static mem_alloc_description <vec_usage> vec_mem_desc;
     115                 :             : 
     116                 :             : /* Account the overhead.  */
     117                 :             : 
     118                 :             : void
     119                 :           0 : vec_prefix::register_overhead (void *ptr, size_t elements,
     120                 :             :                                size_t element_size MEM_STAT_DECL)
     121                 :             : {
     122                 :           0 :   vec_mem_desc.register_descriptor (ptr, VEC_ORIGIN, false
     123                 :             :                                     FINAL_PASS_MEM_STAT);
     124                 :           0 :   vec_usage *usage
     125                 :           0 :     = vec_mem_desc.register_instance_overhead (elements * element_size, ptr);
     126                 :           0 :   usage->m_element_size = element_size;
     127                 :           0 :   usage->m_items += elements;
     128                 :           0 :   if (usage->m_items_peak < usage->m_items)
     129                 :           0 :     usage->m_items_peak = usage->m_items;
     130                 :           0 : }
     131                 :             : 
     132                 :             : /* Notice that the memory allocated for the vector has been freed.  */
     133                 :             : 
     134                 :             : void
     135                 :           0 : vec_prefix::release_overhead (void *ptr, size_t size, size_t elements,
     136                 :             :                               bool in_dtor MEM_STAT_DECL)
     137                 :             : {
     138                 :           0 :   if (!vec_mem_desc.contains_descriptor_for_instance (ptr))
     139                 :           0 :     vec_mem_desc.register_descriptor (ptr, VEC_ORIGIN,
     140                 :             :                                       false FINAL_PASS_MEM_STAT);
     141                 :           0 :   vec_usage *usage = vec_mem_desc.release_instance_overhead (ptr, size,
     142                 :             :                                                              in_dtor);
     143                 :           0 :   usage->m_items -= elements;
     144                 :           0 : }
     145                 :             : 
     146                 :             : /* Calculate the number of slots to reserve a vector, making sure that
     147                 :             :    it is of at least DESIRED size by growing ALLOC exponentially.  */
     148                 :             : 
     149                 :             : unsigned
     150                 :   693910517 : vec_prefix::calculate_allocation_1 (unsigned alloc, unsigned desired)
     151                 :             : {
     152                 :             :   /* We must have run out of room.  */
     153                 :   693910517 :   gcc_assert (alloc < desired);
     154                 :             : 
     155                 :             :   /* Exponential growth. */
     156                 :   693910517 :   if (!alloc)
     157                 :             :     alloc = 4;
     158                 :   693910517 :   else if (alloc < 16)
     159                 :             :     /* Double when small.  */
     160                 :   568141317 :     alloc = alloc * 2;
     161                 :             :   else
     162                 :             :     /* Grow slower when large.  */
     163                 :   125769200 :     alloc = (alloc * 3 / 2);
     164                 :             : 
     165                 :             :   /* If this is still too small, set it to the right size. */
     166                 :   693910517 :   if (alloc < desired)
     167                 :             :     alloc = desired;
     168                 :   693910517 :   return alloc;
     169                 :             : }
     170                 :             : 
     171                 :             : /* Dump per-site memory statistics.  */
     172                 :             : 
     173                 :             : void
     174                 :           0 : dump_vec_loc_statistics (void)
     175                 :             : {
     176                 :           0 :   vec_mem_desc.dump (VEC_ORIGIN);
     177                 :           0 : }
     178                 :             : 
     179                 :             : #if CHECKING_P
     180                 :             : /* Report qsort comparator CMP consistency check failure with P1, P2, P3 as
     181                 :             :    witness elements.  */
     182                 :             : ATTRIBUTE_NORETURN ATTRIBUTE_COLD
     183                 :             : static void
     184                 :           0 : qsort_chk_error (const void *p1, const void *p2, const void *p3,
     185                 :             :                  sort_r_cmp_fn *cmp, void *data)
     186                 :             : {
     187                 :           0 :   if (!p3)
     188                 :             :     {
     189                 :           0 :       int r1 = cmp (p1, p2, data), r2 = cmp (p2, p1, data);
     190                 :           0 :       error ("qsort comparator not anti-symmetric: %d, %d", r1, r2);
     191                 :             :     }
     192                 :           0 :   else if (p1 == p2)
     193                 :             :     {
     194                 :           0 :       int r = cmp (p1, p3, data);
     195                 :           0 :       error ("qsort comparator non-negative on sorted output: %d", r);
     196                 :             :     }
     197                 :             :   else
     198                 :             :     {
     199                 :           0 :       int r1 = cmp (p1, p2, data);
     200                 :           0 :       int r2 = cmp (p2, p3, data);
     201                 :           0 :       int r3 = cmp (p1, p3, data);
     202                 :           0 :       error ("qsort comparator not transitive: %d, %d, %d", r1, r2, r3);
     203                 :             :     }
     204                 :           0 :   internal_error ("qsort checking failed");
     205                 :             : }
     206                 :             : 
     207                 :             : /* Verify anti-symmetry and transitivity for comparator CMP on sorted array
     208                 :             :    of N SIZE-sized elements pointed to by BASE.  */
     209                 :             : void
     210                 :   148869715 : qsort_chk (void *base, size_t n, size_t size, sort_r_cmp_fn *cmp, void *data)
     211                 :             : {
     212                 :             : #if 0
     213                 :             : #define LIM(n) (n)
     214                 :             : #else
     215                 :             :   /* Limit overall time complexity to O(n log n).  */
     216                 :             : #define LIM(n) ((n) <= 16 ? (n) : 12 + floor_log2 (n))
     217                 :             : #endif
     218                 :             : #define ELT(i) ((const char *) base + (i) * size)
     219                 :             : #define CMP(i, j) cmp (ELT (i), ELT (j), data)
     220                 :             : #define ERR2(i, j) qsort_chk_error (ELT (i), ELT (j), NULL, cmp, data)
     221                 :             : #define ERR3(i, j, k) qsort_chk_error (ELT (i), ELT (j), ELT (k), cmp, data)
     222                 :   148869715 :   size_t i1, i2, i, j;
     223                 :             :   /* This outer loop iterates over maximum spans [i1, i2) such that
     224                 :             :      elements within each span compare equal to each other.  */
     225                 :  1206684728 :   for (i1 = 0; i1 < n; i1 = i2)
     226                 :             :     {
     227                 :             :       /* Position i2 one past last element that compares equal to i1'th.  */
     228                 :  1142386226 :       for (i2 = i1 + 1; i2 < n; i2++)
     229                 :   993516511 :         if (CMP (i1, i2))
     230                 :             :           break;
     231                 :    84571213 :         else if (CMP (i2, i1))
     232                 :           0 :           ERR2 (i1, i2);
     233                 :  1057815013 :       size_t lim1 = LIM (i2 - i1), lim2 = LIM (n - i2);
     234                 :             :       /* Verify that other pairs within current span compare equal.  */
     235                 :  1132454099 :       for (i = i1 + 1; i + 1 < i2; i++)
     236                 :   167740760 :         for (j = i + 1; j < i1 + lim1; j++)
     237                 :    93101674 :           if (CMP (i, j))
     238                 :           0 :             ERR3 (i, i1, j);
     239                 :    93101674 :           else if (CMP (j, i))
     240                 :           0 :             ERR2 (i, j);
     241                 :             :       /* Verify that elements within this span compare less than
     242                 :             :          elements beyond the span.  */
     243                 :  2200201239 :       for (i = i1; i < i2; i++)
     244                 : 12428172764 :         for (j = i2; j < i2 + lim2; j++)
     245                 : 11285786538 :           if (CMP (i, j) >= 0)
     246                 :           0 :             ERR3 (i, i1, j);
     247                 : 11285786538 :           else if (CMP (j, i) <= 0)
     248                 :           0 :             ERR2 (i, j);
     249                 :             :     }
     250                 :             : #undef ERR3
     251                 :             : #undef ERR2
     252                 :             : #undef CMP
     253                 :             : #undef ELT
     254                 :             : #undef LIM
     255                 :   148869715 : }
     256                 :             : #endif /* #if CHECKING_P */
     257                 :             : 
     258                 :             : #ifndef GENERATOR_FILE
     259                 :             : #if CHECKING_P
     260                 :             : 
     261                 :             : namespace selftest {
     262                 :             : 
     263                 :             : /* Selftests.  */
     264                 :             : 
     265                 :             : /* Call V.safe_push for all ints from START up to, but not including LIMIT.
     266                 :             :    Helper function for selftests.  */
     267                 :             : 
     268                 :             : static void
     269                 :          52 : safe_push_range (vec <int>&v, int start, int limit)
     270                 :             : {
     271                 :         540 :   for (int i = start; i < limit; i++)
     272                 :         488 :     v.safe_push (i);
     273                 :          52 : }
     274                 :             : 
     275                 :             : /* Verify forms of initialization.  */
     276                 :             : 
     277                 :             : static void
     278                 :           4 : test_init ()
     279                 :             : {
     280                 :           4 :   {
     281                 :           4 :     vec<int> v1{ };
     282                 :           4 :     ASSERT_EQ (0, v1.length ());
     283                 :             : 
     284                 :           4 :     vec<int> v2 (v1);
     285                 :           4 :     ASSERT_EQ (0, v2.length ());
     286                 :             :   }
     287                 :             : 
     288                 :           4 :   {
     289                 :           4 :     vec<int> v1 = vec<int>();
     290                 :           4 :     ASSERT_EQ (0, v1.length ());
     291                 :             : 
     292                 :           4 :     vec<int> v2 = v1;
     293                 :           4 :     ASSERT_EQ (0, v2.length ());
     294                 :             :   }
     295                 :             : 
     296                 :           4 :   {
     297                 :           4 :     vec<int> v1 (vNULL);
     298                 :           4 :     ASSERT_EQ (0, v1.length ());
     299                 :           4 :     v1.safe_push (1);
     300                 :             : 
     301                 :           4 :     vec<int> v2 (v1);
     302                 :           4 :     ASSERT_EQ (1, v1.length ());
     303                 :           4 :     v2.safe_push (1);
     304                 :             : 
     305                 :           4 :     ASSERT_EQ (2, v1.length ());
     306                 :           4 :     ASSERT_EQ (2, v2.length ());
     307                 :           4 :     v1.release ();
     308                 :             :   }
     309                 :           4 : }
     310                 :             : 
     311                 :             : /* Verify that vec::quick_push works correctly.  */
     312                 :             : 
     313                 :             : static void
     314                 :           4 : test_quick_push ()
     315                 :             : {
     316                 :           4 :   auto_vec <int> v;
     317                 :           4 :   ASSERT_EQ (0, v.length ());
     318                 :           4 :   v.reserve (3);
     319                 :           4 :   ASSERT_EQ (0, v.length ());
     320                 :           4 :   ASSERT_TRUE (v.space (3));
     321                 :           4 :   v.quick_push (5);
     322                 :           4 :   v.quick_push (6);
     323                 :           4 :   v.quick_push (7);
     324                 :           4 :   ASSERT_EQ (3, v.length ());
     325                 :           4 :   ASSERT_EQ (5, v[0]);
     326                 :           4 :   ASSERT_EQ (6, v[1]);
     327                 :           4 :   ASSERT_EQ (7, v[2]);
     328                 :           4 : }
     329                 :             : 
     330                 :             : /* Verify that vec::safe_push works correctly.  */
     331                 :             : 
     332                 :             : static void
     333                 :           4 : test_safe_push ()
     334                 :             : {
     335                 :           4 :   auto_vec <int> v;
     336                 :           4 :   ASSERT_EQ (0, v.length ());
     337                 :           4 :   v.safe_push (5);
     338                 :           4 :   v.safe_push (6);
     339                 :           4 :   v.safe_push (7);
     340                 :           4 :   ASSERT_EQ (3, v.length ());
     341                 :           4 :   ASSERT_EQ (5, v[0]);
     342                 :           4 :   ASSERT_EQ (6, v[1]);
     343                 :           4 :   ASSERT_EQ (7, v[2]);
     344                 :           4 : }
     345                 :             : 
     346                 :             : /* Verify that vec::truncate works correctly.  */
     347                 :             : 
     348                 :             : static void
     349                 :           4 : test_truncate ()
     350                 :             : {
     351                 :           4 :   auto_vec <int> v;
     352                 :           4 :   ASSERT_EQ (0, v.length ());
     353                 :           4 :   safe_push_range (v, 0, 10);
     354                 :           4 :   ASSERT_EQ (10, v.length ());
     355                 :             : 
     356                 :           4 :   v.truncate (5);
     357                 :           4 :   ASSERT_EQ (5, v.length ());
     358                 :           4 : }
     359                 :             : 
     360                 :             : /* Verify that vec::safe_grow_cleared works correctly.  */
     361                 :             : 
     362                 :             : static void
     363                 :           4 : test_safe_grow_cleared ()
     364                 :             : {
     365                 :           4 :   auto_vec <int> v;
     366                 :           4 :   ASSERT_EQ (0, v.length ());
     367                 :           4 :   v.safe_grow_cleared (50, true);
     368                 :           4 :   ASSERT_EQ (50, v.length ());
     369                 :           4 :   ASSERT_EQ (0, v[0]);
     370                 :           4 :   ASSERT_EQ (0, v[49]);
     371                 :           4 : }
     372                 :             : 
     373                 :             : /* Verify that vec::pop works correctly.  */
     374                 :             : 
     375                 :             : static void
     376                 :           4 : test_pop ()
     377                 :             : {
     378                 :           4 :   auto_vec <int> v;
     379                 :           4 :   safe_push_range (v, 5, 20);
     380                 :           4 :   ASSERT_EQ (15, v.length ());
     381                 :             : 
     382                 :           4 :   int last = v.pop ();
     383                 :           4 :   ASSERT_EQ (19, last);
     384                 :           4 :   ASSERT_EQ (14, v.length ());
     385                 :           4 : }
     386                 :             : 
     387                 :             : /* Verify that vec::safe_insert works correctly.  */
     388                 :             : 
     389                 :             : static void
     390                 :           4 : test_safe_insert ()
     391                 :             : {
     392                 :           4 :   auto_vec <int> v;
     393                 :           4 :   safe_push_range (v, 0, 10);
     394                 :           4 :   v.safe_insert (5, 42);
     395                 :           4 :   ASSERT_EQ (4, v[4]);
     396                 :           4 :   ASSERT_EQ (42, v[5]);
     397                 :           4 :   ASSERT_EQ (5, v[6]);
     398                 :           4 :   ASSERT_EQ (11, v.length ());
     399                 :           4 : }
     400                 :             : 
     401                 :             : /* Verify that vec::ordered_remove works correctly.  */
     402                 :             : 
     403                 :             : static void
     404                 :           4 : test_ordered_remove ()
     405                 :             : {
     406                 :           4 :   auto_vec <int> v;
     407                 :           4 :   safe_push_range (v, 0, 10);
     408                 :           4 :   v.ordered_remove (5);
     409                 :           4 :   ASSERT_EQ (4, v[4]);
     410                 :           4 :   ASSERT_EQ (6, v[5]);
     411                 :           4 :   ASSERT_EQ (9, v.length ());
     412                 :           4 : }
     413                 :             : 
     414                 :             : /* Verify that vec::ordered_remove_if works correctly.  */
     415                 :             : 
     416                 :             : static void
     417                 :           4 : test_ordered_remove_if (void)
     418                 :             : {
     419                 :           4 :   auto_vec <int> v;
     420                 :           4 :   safe_push_range (v, 0, 10);
     421                 :           4 :   unsigned ix, ix2;
     422                 :           4 :   int *elem_ptr;
     423                 :          44 :   VEC_ORDERED_REMOVE_IF (v, ix, ix2, elem_ptr,
     424                 :           4 :                          *elem_ptr == 5 || *elem_ptr == 7);
     425                 :           4 :   ASSERT_EQ (4, v[4]);
     426                 :           4 :   ASSERT_EQ (6, v[5]);
     427                 :           4 :   ASSERT_EQ (8, v[6]);
     428                 :           4 :   ASSERT_EQ (8, v.length ());
     429                 :             : 
     430                 :           4 :   v.truncate (0);
     431                 :           4 :   safe_push_range (v, 0, 10);
     432                 :          28 :   VEC_ORDERED_REMOVE_IF_FROM_TO (v, ix, ix2, elem_ptr, 0, 6,
     433                 :           4 :                                  *elem_ptr == 5 || *elem_ptr == 7);
     434                 :           4 :   ASSERT_EQ (4, v[4]);
     435                 :           4 :   ASSERT_EQ (6, v[5]);
     436                 :           4 :   ASSERT_EQ (7, v[6]);
     437                 :           4 :   ASSERT_EQ (9, v.length ());
     438                 :             : 
     439                 :           4 :   v.truncate (0);
     440                 :           4 :   safe_push_range (v, 0, 10);
     441                 :          24 :   VEC_ORDERED_REMOVE_IF_FROM_TO (v, ix, ix2, elem_ptr, 0, 5,
     442                 :           4 :                                  *elem_ptr == 5 || *elem_ptr == 7);
     443                 :          12 :   VEC_ORDERED_REMOVE_IF_FROM_TO (v, ix, ix2, elem_ptr, 8, 10,
     444                 :           4 :                                  *elem_ptr == 5 || *elem_ptr == 7);
     445                 :           4 :   ASSERT_EQ (4, v[4]);
     446                 :           4 :   ASSERT_EQ (5, v[5]);
     447                 :           4 :   ASSERT_EQ (6, v[6]);
     448                 :           4 :   ASSERT_EQ (10, v.length ());
     449                 :             : 
     450                 :           4 :   v.truncate (0);
     451                 :           4 :   safe_push_range (v, 0, 10);
     452                 :          44 :   VEC_ORDERED_REMOVE_IF (v, ix, ix2, elem_ptr, *elem_ptr == 5);
     453                 :           4 :   ASSERT_EQ (4, v[4]);
     454                 :           4 :   ASSERT_EQ (6, v[5]);
     455                 :           4 :   ASSERT_EQ (7, v[6]);
     456                 :           4 :   ASSERT_EQ (9, v.length ());
     457                 :           4 : }
     458                 :             : 
     459                 :             : /* Verify that vec::unordered_remove works correctly.  */
     460                 :             : 
     461                 :             : static void
     462                 :           4 : test_unordered_remove ()
     463                 :             : {
     464                 :           4 :   auto_vec <int> v;
     465                 :           4 :   safe_push_range (v, 0, 10);
     466                 :           4 :   v.unordered_remove (5);
     467                 :           4 :   ASSERT_EQ (9, v.length ());
     468                 :           4 : }
     469                 :             : 
     470                 :             : /* Verify that vec::block_remove works correctly.  */
     471                 :             : 
     472                 :             : static void
     473                 :           4 : test_block_remove ()
     474                 :             : {
     475                 :           4 :   auto_vec <int> v;
     476                 :           4 :   safe_push_range (v, 0, 10);
     477                 :           4 :   v.block_remove (5, 3);
     478                 :           4 :   ASSERT_EQ (3, v[3]);
     479                 :           4 :   ASSERT_EQ (4, v[4]);
     480                 :           4 :   ASSERT_EQ (8, v[5]);
     481                 :           4 :   ASSERT_EQ (9, v[6]);
     482                 :           4 :   ASSERT_EQ (7, v.length ());
     483                 :           4 : }
     484                 :             : 
     485                 :             : /* Comparator for use by test_qsort.  */
     486                 :             : 
     487                 :             : static int
     488                 :         492 : reverse_cmp (const void *p_i, const void *p_j)
     489                 :             : {
     490                 :         492 :   return *(const int *)p_j - *(const int *)p_i;
     491                 :             : }
     492                 :             : 
     493                 :             : /* Verify that vec::qsort works correctly.  */
     494                 :             : 
     495                 :             : static void
     496                 :           4 : test_qsort ()
     497                 :             : {
     498                 :           4 :   auto_vec <int> v;
     499                 :           4 :   safe_push_range (v, 0, 10);
     500                 :           4 :   v.qsort (reverse_cmp);
     501                 :           4 :   ASSERT_EQ (9, v[0]);
     502                 :           4 :   ASSERT_EQ (8, v[1]);
     503                 :           4 :   ASSERT_EQ (1, v[8]);
     504                 :           4 :   ASSERT_EQ (0, v[9]);
     505                 :           4 :   ASSERT_EQ (10, v.length ());
     506                 :           4 : }
     507                 :             : 
     508                 :             : /* Verify that vec::reverse works correctly.  */
     509                 :             : 
     510                 :             : static void
     511                 :           4 : test_reverse ()
     512                 :             : {
     513                 :             :   /* Reversing an empty vec ought to be a no-op.  */
     514                 :           4 :   {
     515                 :           4 :     auto_vec <int> v;
     516                 :           4 :     ASSERT_EQ (0, v.length ());
     517                 :           4 :     v.reverse ();
     518                 :           4 :     ASSERT_EQ (0, v.length ());
     519                 :           4 :   }
     520                 :             : 
     521                 :             :   /* Verify reversing a vec with even length.  */
     522                 :           4 :   {
     523                 :           4 :     auto_vec <int> v;
     524                 :           4 :     safe_push_range (v, 0, 4);
     525                 :           4 :     v.reverse ();
     526                 :           4 :     ASSERT_EQ (3, v[0]);
     527                 :           4 :     ASSERT_EQ (2, v[1]);
     528                 :           4 :     ASSERT_EQ (1, v[2]);
     529                 :           4 :     ASSERT_EQ (0, v[3]);
     530                 :           4 :     ASSERT_EQ (4, v.length ());
     531                 :           4 :   }
     532                 :             : 
     533                 :             :   /* Verify reversing a vec with odd length.  */
     534                 :           4 :   {
     535                 :           4 :     auto_vec <int> v;
     536                 :           4 :     safe_push_range (v, 0, 3);
     537                 :           4 :     v.reverse ();
     538                 :           4 :     ASSERT_EQ (2, v[0]);
     539                 :           4 :     ASSERT_EQ (1, v[1]);
     540                 :           4 :     ASSERT_EQ (0, v[2]);
     541                 :           4 :     ASSERT_EQ (3, v.length ());
     542                 :           4 :   }
     543                 :           4 : }
     544                 :             : 
     545                 :             : /* A test class that increments a counter every time its dtor is called.  */
     546                 :             : 
     547                 :             : class count_dtor
     548                 :             : {
     549                 :             :  public:
     550                 :           8 :   count_dtor (int *counter) : m_counter (counter) {}
     551                 :           8 :   ~count_dtor () { (*m_counter)++; }
     552                 :             : 
     553                 :             :  private:
     554                 :             :   int *m_counter;
     555                 :             : };
     556                 :             : 
     557                 :             : /* Verify that auto_delete_vec deletes the elements within it.  */
     558                 :             : 
     559                 :             : static void
     560                 :           4 : test_auto_delete_vec ()
     561                 :             : {
     562                 :           4 :   int dtor_count = 0;
     563                 :           4 :   {
     564                 :           4 :     auto_delete_vec <count_dtor> v;
     565                 :           4 :     v.safe_push (new count_dtor (&dtor_count));
     566                 :           4 :     v.safe_push (new count_dtor (&dtor_count));
     567                 :           4 :   }
     568                 :           4 :   ASSERT_EQ (dtor_count, 2);
     569                 :           4 : }
     570                 :             : 
     571                 :             : /* Verify accesses to vector elements are done indirectly.  */
     572                 :             : 
     573                 :             : static void
     574                 :           4 : test_auto_alias ()
     575                 :             : {
     576                 :           4 :   volatile int i = 1;
     577                 :           4 :   auto_vec<int, 8> v;
     578                 :           4 :   v.quick_grow (2);
     579                 :           4 :   v[0] = 1;
     580                 :           4 :   v[1] = 2;
     581                 :           4 :   int val;
     582                 :           8 :   for (int ix = i; v.iterate (ix, &val); ix++)
     583                 :           4 :     ASSERT_EQ (val, 2);
     584                 :           4 :   ASSERT_EQ (val, 0);
     585                 :           4 : }
     586                 :             : 
     587                 :             : /* Run all of the selftests within this file.  */
     588                 :             : 
     589                 :             : void
     590                 :           4 : vec_cc_tests ()
     591                 :             : {
     592                 :           4 :   test_init ();
     593                 :           4 :   test_quick_push ();
     594                 :           4 :   test_safe_push ();
     595                 :           4 :   test_truncate ();
     596                 :           4 :   test_safe_grow_cleared ();
     597                 :           4 :   test_pop ();
     598                 :           4 :   test_safe_insert ();
     599                 :           4 :   test_ordered_remove ();
     600                 :           4 :   test_ordered_remove_if ();
     601                 :           4 :   test_unordered_remove ();
     602                 :           4 :   test_block_remove ();
     603                 :           4 :   test_qsort ();
     604                 :           4 :   test_reverse ();
     605                 :           4 :   test_auto_delete_vec ();
     606                 :           4 :   test_auto_alias ();
     607                 :           4 : }
     608                 :             : 
     609                 :             : } // namespace selftest
     610                 :             : 
     611                 :             : #endif /* #if CHECKING_P */
     612                 :             : #endif /* #ifndef GENERATOR_FILE */
        

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.