Branch data Line data Source code
1 : : /* Integration of the analyzer with GCC's pass manager.
2 : : Copyright (C) 2019-2024 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 : : #define INCLUDE_MEMORY
23 : : #include "system.h"
24 : : #include "coretypes.h"
25 : : #include "context.h"
26 : : #include "tree-pass.h"
27 : : #include "diagnostic.h"
28 : : #include "options.h"
29 : : #include "tree.h"
30 : : #include "analyzer/analyzer.h"
31 : : #include "analyzer/engine.h"
32 : :
33 : : namespace {
34 : :
35 : : /* Data for the analyzer pass. */
36 : :
37 : : const pass_data pass_data_analyzer =
38 : : {
39 : : IPA_PASS, /* type */
40 : : "analyzer", /* name */
41 : : OPTGROUP_NONE, /* optinfo_flags */
42 : : TV_ANALYZER, /* tv_id */
43 : : PROP_ssa, /* properties_required */
44 : : 0, /* properties_provided */
45 : : 0, /* properties_destroyed */
46 : : 0, /* todo_flags_start */
47 : : 0, /* todo_flags_finish */
48 : : };
49 : :
50 : : /* The analyzer pass. */
51 : :
52 : : class pass_analyzer : public ipa_opt_pass_d
53 : : {
54 : : public:
55 : 281914 : pass_analyzer(gcc::context *ctxt)
56 : : : ipa_opt_pass_d (pass_data_analyzer, ctxt,
57 : : NULL, /* generate_summary */
58 : : NULL, /* write_summary */
59 : : NULL, /* read_summary */
60 : : NULL, /* write_optimization_summary */
61 : : NULL, /* read_optimization_summary */
62 : : NULL, /* stmt_fixup */
63 : : 0, /* function_transform_todo_flags_start */
64 : : NULL, /* function_transform */
65 : 281914 : NULL) /* variable_transform */
66 : 281914 : {}
67 : :
68 : : /* opt_pass methods: */
69 : : bool gate (function *) final override;
70 : : unsigned int execute (function *) final override;
71 : : }; // class pass_analyzer
72 : :
73 : : /* Only run the analyzer if -fanalyzer. */
74 : :
75 : : bool
76 : 557041 : pass_analyzer::gate (function *)
77 : : {
78 : 557041 : return flag_analyzer != 0;
79 : : }
80 : :
81 : : /* Entrypoint for the analyzer pass. */
82 : :
83 : : unsigned int
84 : 3737 : pass_analyzer::execute (function *)
85 : : {
86 : : #if ENABLE_ANALYZER
87 : 3737 : ana::run_checkers ();
88 : : #else
89 : : sorry_no_analyzer ();
90 : : #endif
91 : :
92 : 3737 : return 0;
93 : : }
94 : :
95 : : } // anon namespace
96 : :
97 : : /* Make an instance of the analyzer pass. */
98 : :
99 : : ipa_opt_pass_d *
100 : 281914 : make_pass_analyzer (gcc::context *ctxt)
101 : : {
102 : 281914 : return new pass_analyzer (ctxt);
103 : : }
104 : :
105 : : #if !ENABLE_ANALYZER
106 : :
107 : : /* Issue a "sorry" diagnostic that the analyzer was not enabled. */
108 : :
109 : : void
110 : : sorry_no_analyzer ()
111 : : {
112 : : sorry ("%qs was not enabled in this build of GCC"
113 : : " (missing configure-time option %qs)",
114 : : "-fanalyzer", "--enable-analyzer");
115 : : }
116 : :
117 : : #endif /* #if !ENABLE_ANALYZER */
|