1/* Selftests for the analyzer. 2 Copyright (C) 2019-2020 Free Software Foundation, Inc. 3 Contributed by David Malcolm <dmalcolm@redhat.com>. 4 5This file is part of GCC. 6 7GCC is free software; you can redistribute it and/or modify it 8under the terms of the GNU General Public License as published by 9the Free Software Foundation; either version 3, or (at your option) 10any later version. 11 12GCC is distributed in the hope that it will be useful, but 13WITHOUT ANY WARRANTY; without even the implied warranty of 14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15General Public License for more details. 16 17You should have received a copy of the GNU General Public License 18along 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 26namespace ana { 27 28namespace selftest { 29 30extern tree build_global_decl (const char *name, tree type); 31 32extern void run_analyzer_selftests (); 33 34/* Declarations for specific families of tests (by source file), in 35 alphabetical order. */ 36extern void analyzer_checker_script_cc_tests (); 37extern void analyzer_constraint_manager_cc_tests (); 38extern void analyzer_function_set_cc_tests (); 39extern void analyzer_program_point_cc_tests (); 40extern void analyzer_program_state_cc_tests (); 41extern void analyzer_region_model_cc_tests (); 42extern void analyzer_sm_file_cc_tests (); 43extern 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