1 /* Selftest support 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 #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 32 namespace ana { 33 34 namespace selftest { 35 36 /* Build a VAR_DECL named NAME of type TYPE, simulating a file-level 37 static variable. */ 38 39 tree build_global_decl(const char * name,tree type)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 50 void run_analyzer_selftests()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