Mercurial > hg > CbC > CbC_gcc
comparison gcc/analyzer/analyzer-selftests.cc @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
131:84e7813d76e9 | 145:1830386684a0 |
---|---|
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 | |
40 build_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 | |
51 run_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 */ |