diff options
Diffstat (limited to 'gcc/analyzer/engine.h')
| -rw-r--r-- | gcc/analyzer/engine.h | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/analyzer/engine.h b/gcc/analyzer/engine.h new file mode 100644 index 0000000..bbad2e2 --- /dev/null +++ b/gcc/analyzer/engine.h @@ -0,0 +1,26 @@ +/* The analysis "engine". + Copyright (C) 2019-2020 Free Software Foundation, Inc. + Contributed by David Malcolm <dmalcolm@redhat.com>. + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 3, or (at your option) +any later version. + +GCC is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING3. If not see +<http://www.gnu.org/licenses/>. */ + +#ifndef GCC_ANALYZER_ENGINE_H +#define GCC_ANALYZER_ENGINE_H + +extern void run_checkers (); + +#endif /* GCC_ANALYZER_ENGINE_H */ |