analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git] / gcc / selftest-run-tests.cc
1 /* Implementation of selftests.
2    Copyright (C) 2015-2022 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 "selftest.h"
24 #include "tree.h"
25 #include "target.h"
26 #include "langhooks.h"
27 #include "options.h"
28 #include "stringpool.h"
29 #include "attribs.h"
30 #include "analyzer/analyzer-selftests.h"
31
32 /* This function needed to be split out from selftest.cc as it references
33    tests from the whole source tree, and so is within
34    OBJS in Makefile.in, whereas selftest.o is within OBJS-libcommon.
35    This allows us to embed tests within files in OBJS-libcommon without
36    introducing a dependency on objects within OBJS.  */
37
38 #if CHECKING_P
39
40 /* Run all tests, aborting if any fail.  */
41
42 void
43 selftest::run_tests ()
44 {
45   /* Makefile.in has -fself-test=$(srcdir)/testsuite/selftests, so that
46      flag_self_test contains the path to the selftest subdirectory of the
47      source tree (without a trailing slash).  Copy it up to
48      path_to_selftest_files, to avoid selftest.cc depending on
49      option-handling.  */
50   path_to_selftest_files = flag_self_test;
51
52   test_runner r ("-fself-test");
53
54   /* Run all the tests, in hand-coded order of (approximate) dependencies:
55      run the tests for lowest-level code first.  */
56
57   /* Sanity-check for selftests themselves.  */
58   selftest_cc_tests ();
59
60   /* Low-level data structures.  */
61   bitmap_cc_tests ();
62   sbitmap_cc_tests ();
63   dumpfile_cc_tests ();
64   et_forest_cc_tests ();
65   hash_map_tests_cc_tests ();
66   hash_set_tests_cc_tests ();
67   vec_cc_tests ();
68   pretty_print_cc_tests ();
69   wide_int_cc_tests ();
70   ggc_tests_cc_tests ();
71   sreal_cc_tests ();
72   fibonacci_heap_cc_tests ();
73   typed_splay_tree_cc_tests ();
74   opt_suggestions_cc_tests ();
75   opts_cc_tests ();
76   json_cc_tests ();
77   cgraph_cc_tests ();
78   optinfo_emit_json_cc_tests ();
79   ordered_hash_map_tests_cc_tests ();
80   splay_tree_cc_tests ();
81
82   /* Mid-level data structures.  */
83   input_cc_tests ();
84   vec_perm_indices_cc_tests ();
85   tree_cc_tests ();
86   convert_cc_tests ();
87   gimple_cc_tests ();
88   rtl_tests_cc_tests ();
89   read_rtl_function_cc_tests ();
90   digraph_cc_tests ();
91   tristate_cc_tests ();
92   ipa_modref_tree_cc_tests ();
93
94   /* Higher-level tests, or for components that other selftests don't
95      rely on.  */
96   diagnostic_show_locus_cc_tests ();
97   diagnostic_format_json_cc_tests ();
98   edit_context_cc_tests ();
99   fold_const_cc_tests ();
100   spellcheck_cc_tests ();
101   spellcheck_tree_cc_tests ();
102   tree_cfg_cc_tests ();
103   tree_diagnostic_path_cc_tests ();
104   attribs_cc_tests ();
105
106   /* This one relies on most of the above.  */
107   function_tests_cc_tests ();
108
109   /* Run any target-specific selftests.  */
110   if (targetm.run_target_selftests)
111     targetm.run_target_selftests ();
112
113   store_merging_cc_tests ();
114   predict_cc_tests ();
115   simplify_rtx_cc_tests ();
116   dbgcnt_cc_tests ();
117
118   /* Run any lang-specific selftests.  */
119   lang_hooks.run_lang_selftests ();
120
121   /* Run the analyzer selftests (if enabled).  */
122   ana::selftest::run_analyzer_selftests ();
123
124   /* Force a GC at the end of the selftests, to shake out GC-related
125      issues.  For example, if any GC-managed items have buggy (or missing)
126      finalizers, this last collection will ensure that things that were
127      failed to be finalized can be detected by valgrind.  */
128   ggc_collect (GGC_COLLECT_FORCE);
129
130   /* Finished running tests; the test_runner dtor will print a summary.  */
131 }
132
133 #endif /* #if CHECKING_P */