annotate gcc/testsuite/gcc.dg/plugin/diagnostic_plugin_test_inlining.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* { dg-options "-O" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 #include "gcc-plugin.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 #include "config.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 #include "system.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 #include "coretypes.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 #include "tm.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 #include "tree.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 #include "stringpool.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 #include "toplev.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 #include "basic-block.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 #include "hash-table.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 #include "vec.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 #include "ggc.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 #include "basic-block.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 #include "tree-ssa-alias.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 #include "internal-fn.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 #include "gimple-fold.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 #include "tree-eh.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 #include "gimple-expr.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 #include "is-a.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 #include "gimple.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 #include "gimple-iterator.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 #include "tree.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 #include "tree-pass.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 #include "intl.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 #include "plugin-version.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 #include "c-family/c-common.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 #include "diagnostic.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 #include "context.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 #include "print-tree.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 #include "cpplib.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 #include "c-family/c-pragma.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 #include "substring-locations.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 int plugin_is_GPL_compatible;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 /* A custom pass for emitting dummy warnings from the middle-end. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 const pass_data pass_data_test_inlining =
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 GIMPLE_PASS, /* type */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 "test_inlining", /* name */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 OPTGROUP_NONE, /* optinfo_flags */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 TV_NONE, /* tv_id */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46 PROP_ssa, /* properties_required */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 0, /* properties_provided */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 0, /* properties_destroyed */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 0, /* todo_flags_start */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50 0, /* todo_flags_finish */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 class pass_test_inlining : public gimple_opt_pass
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55 public:
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56 pass_test_inlining(gcc::context *ctxt)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57 : gimple_opt_pass(pass_data_test_inlining, ctxt)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58 {}
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60 /* opt_pass methods: */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61 bool gate (function *) { return true; }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 virtual unsigned int execute (function *);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64 }; // class pass_test_inlining
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 /* Determine if STMT is a call with NUM_ARGS arguments to a function
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67 named FUNCNAME.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68 If so, return STMT as a gcall *. Otherwise return NULL. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 static gcall *
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 check_for_named_call (gimple *stmt,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 const char *funcname, unsigned int num_args)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74 gcc_assert (funcname);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 gcall *call = dyn_cast <gcall *> (stmt);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
77 if (!call)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
78 return NULL;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
79
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
80 tree fndecl = gimple_call_fndecl (call);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
81 if (!fndecl)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
82 return NULL;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
83
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
84 if (strcmp (IDENTIFIER_POINTER (DECL_NAME (fndecl)), funcname))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
85 return NULL;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
86
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
87 if (gimple_call_num_args (call) != num_args)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
88 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
89 error_at (stmt->location, "expected number of args: %i (got %i)",
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
90 num_args, gimple_call_num_args (call));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
91 return NULL;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
92 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
93
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
94 return call;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
95 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
96
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
97 /* Emit a warning at LOC. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
98
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
99 static void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
100 emit_warning (location_t loc)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
101 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
102 source_range src_range = get_range_from_loc (line_table, loc);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
103 warning_at (loc, 0, "range %i:%i-%i:%i",
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
104 LOCATION_LINE (src_range.m_start),
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
105 LOCATION_COLUMN (src_range.m_start),
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
106 LOCATION_LINE (src_range.m_finish),
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
107 LOCATION_COLUMN (src_range.m_finish));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
108 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
109
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
110 /* Code for simulating the emission of a warning from the middle-end.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
111 Emit a warning for each call to a function named "__emit_warning". */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
112
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
113 static void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
114 test_inlining (gimple *stmt)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
115 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
116 gcall *call = check_for_named_call (stmt, "__emit_warning", 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
117 if (!call)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
118 return;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
119
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
120 /* We expect an ADDR_EXPR with a STRING_CST inside it for the
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
121 initial arg. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
122 tree t_addr_string = gimple_call_arg (call, 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
123 if (TREE_CODE (t_addr_string) != ADDR_EXPR)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
124 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
125 error_at (call->location, "string literal required for arg 1");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
126 return;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
127 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
128
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
129 tree t_string = TREE_OPERAND (t_addr_string, 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
130 if (TREE_CODE (t_string) != STRING_CST)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
131 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
132 error_at (call->location, "string literal required for arg 1");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
133 return;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
134 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
135
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
136 warning_at (call->location, 0, "%G%s", call,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
137 TREE_STRING_POINTER (t_string));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
138 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
139
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
140 /* Call test_inlining on every statement within FUN. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
141
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
142 unsigned int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
143 pass_test_inlining::execute (function *fun)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
144 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
145 gimple_stmt_iterator gsi;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
146 basic_block bb;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
147
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
148 FOR_EACH_BB_FN (bb, fun)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
149 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
150 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
151 gimple *stmt = gsi_stmt (gsi);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
152 test_inlining (stmt);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
153 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
154
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
155 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
156 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
157
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
158 /* Entrypoint for the plugin. Create and register the custom pass. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
159
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
160 int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
161 plugin_init (struct plugin_name_args *plugin_info,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
162 struct plugin_gcc_version *version)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
163 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
164 struct register_pass_info pass_info;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
165 const char *plugin_name = plugin_info->base_name;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
166 int argc = plugin_info->argc;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
167 struct plugin_argument *argv = plugin_info->argv;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
168
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
169 if (!plugin_default_version_check (version, &gcc_version))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
170 return 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
171
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
172 pass_info.pass = new pass_test_inlining (g);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
173 pass_info.reference_pass_name = "*warn_function_noreturn";
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
174 pass_info.ref_pass_instance_number = 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
175 pass_info.pos_op = PASS_POS_INSERT_AFTER;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
176 register_callback (plugin_name, PLUGIN_PASS_MANAGER_SETUP, NULL,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
177 &pass_info);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
178
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
179 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
180 }