[Ada] Missing range check on assignment to bit-packed array
[official-gcc.git] / gcc / typed-splay-tree.c
blobeb60e9f3f7e3f46c4d8f1a8152c34e27b9ab3cfb
1 /* Selftests for typed-splay-tree.h.
2 Copyright (C) 2016-2019 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "typed-splay-tree.h"
24 #include "selftest.h"
26 #if CHECKING_P
28 namespace selftest {
30 /* Callback for use by test_str_to_int. */
32 static int
33 append_cb (const char *, int value, void *user_data)
35 auto_vec <int> *vec = (auto_vec <int> *)user_data;
36 vec->safe_push (value);
37 return 0;
40 /* Test of typed_splay_tree <const char *, int>. */
42 static void
43 test_str_to_int ()
45 typed_splay_tree <const char *, int> t (strcmp, NULL, NULL);
47 t.insert ("a", 1);
48 t.insert ("b", 2);
49 t.insert ("c", 3);
50 t.insert ("d", 4);
52 t.remove ("d");
54 ASSERT_EQ (1, t.lookup ("a"));
55 ASSERT_EQ (2, t.lookup ("b"));
56 ASSERT_EQ (3, t.lookup ("c"));
58 ASSERT_EQ (2, t.predecessor ("c"));
59 ASSERT_EQ (3, t.successor ("b"));
60 ASSERT_EQ (1, t.min ());
61 ASSERT_EQ (3, t.max ());
63 /* Test foreach by appending to a vec, and verifying the vec. */
64 auto_vec <int> v;
65 t.foreach (append_cb, &v);
66 ASSERT_EQ (3, v.length ());
67 ASSERT_EQ (1, v[0]);
68 ASSERT_EQ (2, v[1]);
69 ASSERT_EQ (3, v[2]);
72 /* Run all of the selftests within this file. */
74 void
75 typed_splay_tree_c_tests ()
77 test_str_to_int ();
80 } // namespace selftest
82 #endif /* #if CHECKING_P */