1/* Selftest support 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#include "config.h" 22#include "system.h" 23#include "coretypes.h" 24#include "tree.h" 25#include "stringpool.h" 26#include "function.h" 27#include "analyzer/analyzer.h" 28#include "analyzer/analyzer-selftests.h" 29 30#if CHECKING_P 31 32namespace ana { 33 34namespace selftest { 35 36/* Build a VAR_DECL named NAME of type TYPE, simulating a file-level 37 static variable. */ 38 39tree 40build_global_decl (const char *name, tree type) 41{ 42 tree decl = build_decl (UNKNOWN_LOCATION, VAR_DECL, 43 get_identifier (name), type); 44 TREE_STATIC (decl) = 1; 45 return decl; 46} 47 48/* Run all analyzer-specific selftests. */ 49 50void 51run_analyzer_selftests () 52{ 53#if ENABLE_ANALYZER 54 analyzer_constraint_manager_cc_tests (); 55 analyzer_function_set_cc_tests (); 56 analyzer_program_point_cc_tests (); 57 analyzer_program_state_cc_tests (); 58 analyzer_region_model_cc_tests (); 59 analyzer_sm_file_cc_tests (); 60 analyzer_sm_signal_cc_tests (); 61#endif /* #if ENABLE_ANALYZER */ 62} 63 64} /* end of namespace selftest. */ 65 66} // namespace ana 67 68#endif /* #if CHECKING_P */ 69