1 /* Selftests for the analyzer. 2 Copyright (C) 2019-2020 Free Software Foundation, Inc. 3 Contributed by David Malcolm <dmalcolm@redhat.com>. 4 5 This file is part of GCC. 6 7 GCC is free software; you can redistribute it and/or modify it 8 under the terms of the GNU General Public License as published by 9 the Free Software Foundation; either version 3, or (at your option) 10 any later version. 11 12 GCC is distributed in the hope that it will be useful, but 13 WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15 General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with GCC; see the file COPYING3. If not see 19 <http://www.gnu.org/licenses/>. */ 20 21 #ifndef GCC_ANALYZER_SELFTESTS_H 22 #define GCC_ANALYZER_SELFTESTS_H 23 24 #if CHECKING_P 25 26 namespace ana { 27 28 namespace selftest { 29 30 extern tree build_global_decl (const char *name, tree type); 31 32 extern void run_analyzer_selftests (); 33 34 /* Declarations for specific families of tests (by source file), in 35 alphabetical order. */ 36 extern void analyzer_checker_script_cc_tests (); 37 extern void analyzer_constraint_manager_cc_tests (); 38 extern void analyzer_function_set_cc_tests (); 39 extern void analyzer_program_point_cc_tests (); 40 extern void analyzer_program_state_cc_tests (); 41 extern void analyzer_region_model_cc_tests (); 42 extern void analyzer_sm_file_cc_tests (); 43 extern void analyzer_sm_signal_cc_tests (); 44 45 } /* end of namespace ana::selftest. */ 46 47 } // namespace ana 48 49 #endif /* #if CHECKING_P */ 50 51 #endif /* GCC_ANALYZER_SELFTESTS_H */ 52