From a8be25a1129d0834063bb8c5e8ca1a53763f9104 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 27 Sep 2019 09:25:08 -0400 Subject: [PATCH 34/61] FIXME: analyzer: new file: analyzer-pass.cc --- gcc/analyzer/analyzer-pass.cc | 125 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 125 insertions(+) create mode 100644 gcc/analyzer/analyzer-pass.cc diff --git a/gcc/analyzer/analyzer-pass.cc b/gcc/analyzer/analyzer-pass.cc new file mode 100644 index 0000000..977afaf --- /dev/null +++ b/gcc/analyzer/analyzer-pass.cc @@ -0,0 +1,125 @@ +/* Integration of the analyzer with GCC's pass manager. + Copyright (C) 2019 Free Software Foundation, Inc. + Contributed by David Malcolm . + +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 +. */ +/* FIXME. */ +#include "config.h" +#include "gcc-plugin.h" +#include "system.h" +#include "coretypes.h" +#include "tree.h" +#include "tm.h" +#include "toplev.h" +#include "hash-table.h" +#include "vec.h" +#include "ggc.h" +#include "basic-block.h" +#include "tree-ssa-alias.h" +#include "internal-fn.h" +#include "gimple-fold.h" +#include "tree-eh.h" +#include "gimple-expr.h" +#include "is-a.h" +#include "gimple.h" +#include "tree-pass.h" +#include "intl.h" +#include "context.h" +#include "diagnostic.h" +#include "bitmap.h" +#include "gimple.h" +#include "gimple-iterator.h" +#include "gimple-pretty-print.h" + +#include "analyzer/analyzer.h" +#include "analyzer/engine.h" + +namespace { + +/* Data for the analyzer pass. */ + +const pass_data pass_data_analyzer = +{ + IPA_PASS, /* type */ + "analyzer", /* name */ + OPTGROUP_NONE, /* optinfo_flags */ + TV_NONE, /* tv_id */ + PROP_ssa, /* properties_required */ + 0, /* properties_provided */ + 0, /* properties_destroyed */ + 0, /* todo_flags_start */ + 0, /* todo_flags_finish */ +}; + +/* The analyzer pass. */ + +class pass_analyzer : public ipa_opt_pass_d +{ +public: + pass_analyzer(gcc::context *ctxt) + : ipa_opt_pass_d (pass_data_analyzer, ctxt, + NULL, /* generate_summary */ + NULL, /* write_summary */ + NULL, /* read_summary */ + NULL, /* write_optimization_summary */ + NULL, /* read_optimization_summary */ + NULL, /* stmt_fixup */ + 0, /* function_transform_todo_flags_start */ + NULL, /* function_transform */ + NULL) /* variable_transform */ + {} + + /* opt_pass methods: */ + unsigned int execute (function *) FINAL OVERRIDE; +}; // class pass_analyzer + +/* Entrypoint for the analyzer pass. */ + +unsigned int +pass_analyzer::execute (function *) +{ + run_checkers (); + return 0; +} + +} // anon namespace + +/* Make an instance of the analyzer pass. */ + +static ipa_opt_pass_d * +make_pass_analyzer (gcc::context *ctxt) +{ + return new pass_analyzer (ctxt); +} + +/* Register the analyzer pass with GCC's pass manager. + Called by plugin_init. */ + +void +register_analyzer_pass () +{ + static struct register_pass_info pass_info; + + /* IPA-LTO pass. */ + pass_info.pass = make_pass_analyzer (g); + pass_info.reference_pass_name = "whole-program"; + pass_info.ref_pass_instance_number = 1; + pass_info.pos_op = PASS_POS_INSERT_BEFORE; + + register_callback ("analyzer", PLUGIN_PASS_MANAGER_SETUP, NULL, + &pass_info); +} -- 1.8.5.3