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_region_model_cc_tests ();
      42  extern void analyzer_sm_file_cc_tests ();
      43  extern void analyzer_sm_signal_cc_tests ();
      44  extern void analyzer_store_cc_tests ();
      45  
      46  } /* end of namespace ana::selftest.  */
      47  
      48  } // namespace ana
      49  
      50  #endif /* #if CHECKING_P */
      51  
      52  #endif /* GCC_ANALYZER_SELFTESTS_H */