gcc/analyzer/analyzer-selftests.h

   1 /* Selftests for the analyzer.
   2    Copyright (C) 2019-2023 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_ranges_cc_tests ();
  42 extern void analyzer_region_model_cc_tests ();
  43 extern void analyzer_sm_file_cc_tests ();
  44 extern void analyzer_sm_signal_cc_tests ();
  45 extern void analyzer_store_cc_tests ();
  46
  47 } /* end of namespace ana::selftest.  */
  48
  49 } // namespace ana
  50
  51 #endif /* #if CHECKING_P */
  52
  53 #endif /* GCC_ANALYZER_SELFTESTS_H */