Line data    Source code

       1              : /* Selftests for typed-splay-tree.h.
       2              :    Copyright (C) 2016-2026 Free Software Foundation, Inc.
       3              : 
       4              : This file is part of GCC.
       5              : 
       6              : GCC is free software; you can redistribute it and/or modify it under
       7              : the terms of the GNU General Public License as published by the Free
       8              : Software Foundation; either version 3, or (at your option) any later
       9              : version.
      10              : 
      11              : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      12              : WARRANTY; without even the implied warranty of MERCHANTABILITY or
      13              : FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      14              : for more details.
      15              : 
      16              : You should have received a copy of the GNU General Public License
      17              : along with GCC; see the file COPYING3.  If not see
      18              : <http://www.gnu.org/licenses/>.  */
      19              : 
      20              : #include "config.h"
      21              : #include "system.h"
      22              : #include "coretypes.h"
      23              : #include "typed-splay-tree.h"
      24              : #include "selftest.h"
      25              : 
      26              : #if CHECKING_P
      27              : 
      28              : namespace selftest {
      29              : 
      30              : /* Callback for use by test_str_to_int.  */
      31              : 
      32              : static int
      33           12 : append_cb (const char *, int value, void *user_data)
      34              : {
      35           12 :   auto_vec <int> *vec = (auto_vec <int> *)user_data;
      36           12 :   vec->safe_push (value);
      37           12 :   return 0;
      38              : }
      39              : 
      40              : /* Test of typed_splay_tree <const char *, int>.  */
      41              : 
      42              : static void
      43            4 : test_str_to_int ()
      44              : {
      45            4 :   typed_splay_tree <const char *, int> t (strcmp, NULL, NULL);
      46              : 
      47            4 :   t.insert ("a", 1);
      48            4 :   t.insert ("b", 2);
      49            4 :   t.insert ("c", 3);
      50            4 :   t.insert ("d", 4);
      51              : 
      52            4 :   t.remove ("d");
      53              : 
      54            8 :   ASSERT_EQ (1, t.lookup ("a"));
      55            8 :   ASSERT_EQ (2, t.lookup ("b"));
      56            8 :   ASSERT_EQ (3, t.lookup ("c"));
      57              : 
      58            8 :   ASSERT_EQ (2, t.predecessor ("c"));
      59            8 :   ASSERT_EQ (3, t.successor ("b"));
      60            8 :   ASSERT_EQ (1, t.min ());
      61            8 :   ASSERT_EQ (3, t.max ());
      62              : 
      63              :   /* Test foreach by appending to a vec, and verifying the vec.  */
      64            4 :   auto_vec <int> v;
      65            4 :   t.foreach (append_cb, &v);
      66            4 :   ASSERT_EQ (3, v.length ());
      67            4 :   ASSERT_EQ (1, v[0]);
      68            4 :   ASSERT_EQ (2, v[1]);
      69            4 :   ASSERT_EQ (3, v[2]);
      70            4 : }
      71              : 
      72              : /* Run all of the selftests within this file.  */
      73              : 
      74              : void
      75            4 : typed_splay_tree_cc_tests ()
      76              : {
      77            4 :   test_str_to_int ();
      78            4 : }
      79              : 
      80              : } // namespace selftest
      81              : 
      82              : #endif /* #if CHECKING_P */