1 /* Convert language-specific tree expression to rtl instructions,
3 Copyright (C) 1988-2020 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
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/>. */
24 #include "coretypes.h"
27 /* Expand C++-specific constants. Currently, this means PTRMEM_CST. */
30 cplus_expand_constant (tree cst
)
32 switch (TREE_CODE (cst
))
36 tree type
= TREE_TYPE (cst
);
39 /* Find the member. */
40 member
= PTRMEM_CST_MEMBER (cst
);
42 /* We can't lower this until the class is complete. */
43 if (!COMPLETE_TYPE_P (DECL_CONTEXT (member
)))
46 if (TREE_CODE (member
) == FIELD_DECL
)
48 /* Find the offset for the field. */
49 cst
= byte_position (member
);
50 while (!same_type_p (DECL_CONTEXT (member
),
51 TYPE_PTRMEM_CLASS_TYPE (type
)))
53 /* The MEMBER must have been nestled within an
54 anonymous aggregate contained in TYPE. Find the
55 anonymous aggregate. */
56 member
= lookup_anon_field (TYPE_PTRMEM_CLASS_TYPE (type
),
57 DECL_CONTEXT (member
));
58 cst
= size_binop (PLUS_EXPR
, cst
, byte_position (member
));
60 cst
= fold (build_nop (type
, cst
));
67 expand_ptrmemfunc_cst (cst
, &delta
, &pfn
);
68 cst
= build_ptrmemfunc1 (type
, delta
, pfn
);
76 unsigned HOST_WIDE_INT idx
;
77 FOR_EACH_VEC_SAFE_ELT (CONSTRUCTOR_ELTS (cst
), idx
, elt
)
78 elt
->value
= cplus_expand_constant (elt
->value
);
82 /* There's nothing to do. */
89 /* We've seen an actual use of EXPR. Possibly replace an outer variable
90 reference inside with its constant value or a lambda capture. */
93 mark_use (tree expr
, bool rvalue_p
, bool read_p
,
94 location_t loc
/* = UNKNOWN_LOCATION */,
95 bool reject_builtin
/* = true */)
97 #define RECUR(t) mark_use ((t), rvalue_p, read_p, loc, reject_builtin)
99 if (expr
== NULL_TREE
|| error_operand_p (expr
))
102 if (reject_builtin
&& reject_gcc_builtin (expr
, loc
))
103 return error_mark_node
;
106 mark_exp_read (expr
);
109 bool recurse_op
[3] = { false, false, false };
110 switch (TREE_CODE (expr
))
114 if (rvalue_p
&& is_normal_capture_proxy (expr
))
116 /* Look through capture by copy. */
117 tree cap
= DECL_CAPTURED_VARIABLE (expr
);
118 if (TREE_CODE (TREE_TYPE (cap
)) == TREE_CODE (TREE_TYPE (expr
))
119 && decl_constant_var_p (cap
))
121 tree val
= RECUR (cap
);
122 if (!is_capture_proxy (val
))
124 tree l
= current_lambda_expr ();
125 LAMBDA_EXPR_CAPTURE_OPTIMIZED (l
) = true;
130 if (outer_automatic_var_p (expr
)
131 && decl_constant_var_p (expr
))
135 tree t
= maybe_constant_value (expr
);
136 if (TREE_CONSTANT (t
))
142 temp_override
<location_t
> l (input_location
);
143 if (loc
!= UNKNOWN_LOCATION
)
144 input_location
= loc
;
145 expr
= process_outer_var_ref (expr
, tf_warning_or_error
, true);
146 if (!(TREE_TYPE (oexpr
)
147 && TYPE_REF_P (TREE_TYPE (oexpr
))))
148 expr
= convert_from_reference (expr
);
152 case NON_DEPENDENT_EXPR
:
153 recurse_op
[0] = true;
156 recurse_op
[1] = true;
159 recurse_op
[2] = true;
160 if (TREE_OPERAND (expr
, 1))
161 recurse_op
[1] = true;
164 if (REFERENCE_REF_P (expr
))
166 /* Try to look through the reference. */
167 tree ref
= TREE_OPERAND (expr
, 0);
168 if (rvalue_p
&& is_normal_capture_proxy (ref
))
170 /* Look through capture by reference. */
171 tree cap
= DECL_CAPTURED_VARIABLE (ref
);
172 if (!TYPE_REF_P (TREE_TYPE (cap
))
173 && decl_constant_var_p (cap
))
175 tree val
= RECUR (cap
);
176 if (!is_capture_proxy (val
))
178 tree l
= current_lambda_expr ();
179 LAMBDA_EXPR_CAPTURE_OPTIMIZED (l
) = true;
184 tree r
= mark_rvalue_use (ref
, loc
, reject_builtin
);
186 expr
= convert_from_reference (r
);
190 case VIEW_CONVERT_EXPR
:
191 if (location_wrapper_p (expr
))
193 loc
= EXPR_LOCATION (expr
);
194 tree op
= TREE_OPERAND (expr
, 0);
195 tree nop
= RECUR (op
);
196 if (nop
== error_mark_node
)
197 return error_mark_node
;
200 else if (DECL_P (nop
) || CONSTANT_CLASS_P (nop
))
202 /* Reuse the location wrapper. */
203 TREE_OPERAND (expr
, 0) = nop
;
204 /* If we're replacing a DECL with a constant, we also need to
205 change the TREE_CODE of the location wrapper. */
207 TREE_SET_CODE (expr
, NON_LVALUE_EXPR
);
211 /* Drop the location wrapper. */
213 protected_set_expr_location (expr
, loc
);
219 recurse_op
[0] = true;
224 tree lhs
= TREE_OPERAND (expr
, 0);
225 /* [expr.ass] "A simple assignment whose left operand is of
226 a volatile-qualified type is deprecated unless the assignment
227 is either a discarded-value expression or appears in an
228 unevaluated context." */
230 && !cp_unevaluated_operand
231 && (TREE_THIS_VOLATILE (lhs
)
232 || CP_TYPE_VOLATILE_P (TREE_TYPE (lhs
)))
233 && !TREE_THIS_VOLATILE (expr
))
235 warning_at (location_of (expr
), OPT_Wvolatile
,
236 "using value of simple assignment with %<volatile%>-"
237 "qualified left operand is deprecated");
238 /* Make sure not to warn about this assignment again. */
239 TREE_THIS_VOLATILE (expr
) = true;
248 for (int i
= 0; i
< 3; ++i
)
251 tree op
= TREE_OPERAND (expr
, i
);
253 if (op
== error_mark_node
)
254 return error_mark_node
;
255 TREE_OPERAND (expr
, i
) = op
;
262 /* Called whenever the expression EXPR is used in an rvalue context.
263 When REJECT_BUILTIN is true the expression is checked to make sure
264 it doesn't make it possible to obtain the address of a GCC built-in
265 function with no library fallback (or any of its bits, such as in
266 a conversion to bool). */
269 mark_rvalue_use (tree e
,
270 location_t loc
/* = UNKNOWN_LOCATION */,
271 bool reject_builtin
/* = true */)
273 return mark_use (e
, true, true, loc
, reject_builtin
);
276 /* Called whenever an expression is used in an lvalue context. */
279 mark_lvalue_use (tree expr
)
281 return mark_use (expr
, false, true, input_location
, false);
284 /* As above, but don't consider this use a read. */
287 mark_lvalue_use_nonread (tree expr
)
289 return mark_use (expr
, false, false, input_location
, false);
292 /* Called when expr appears as a discarded-value expression. */
295 mark_discarded_use (tree expr
)
297 /* The lvalue-to-rvalue conversion (7.1) is applied if and only if the
298 expression is a glvalue of volatile-qualified type and it is one of the
300 * ( expression ), where expression is one of these expressions,
301 * id-expression (8.1.4),
302 * subscripting (8.2.1),
303 * class member access (8.2.5),
304 * indirection (8.3.1),
305 * pointer-to-member operation (8.5),
306 * conditional expression (8.16) where both the second and the third
307 operands are one of these expressions, or
308 * comma expression (8.19) where the right operand is one of these
310 if (expr
== NULL_TREE
)
313 STRIP_ANY_LOCATION_WRAPPER (expr
);
315 switch (TREE_CODE (expr
))
318 TREE_OPERAND (expr
, 2) = mark_discarded_use (TREE_OPERAND (expr
, 2));
321 TREE_OPERAND (expr
, 1) = mark_discarded_use (TREE_OPERAND (expr
, 1));
336 /* Like mark_rvalue_use, but don't reject built-ins. */
337 return mark_use (expr
, true, true, input_location
, false);
340 /* Called whenever an expression is used in a type use context. */
343 mark_type_use (tree expr
)
345 mark_exp_read (expr
);
349 /* Mark EXP as read, not just set, for set but not used -Wunused
353 mark_exp_read (tree exp
)
358 switch (TREE_CODE (exp
))
361 if (DECL_DECOMPOSITION_P (exp
))
362 mark_exp_read (DECL_DECOMP_BASE (exp
));
365 DECL_READ_P (exp
) = 1;
376 case NON_DEPENDENT_EXPR
:
377 case VIEW_CONVERT_EXPR
:
378 mark_exp_read (TREE_OPERAND (exp
, 0));
381 mark_exp_read (TREE_OPERAND (exp
, 1));
384 if (TREE_OPERAND (exp
, 1))
385 mark_exp_read (TREE_OPERAND (exp
, 1));
386 if (TREE_OPERAND (exp
, 2))
387 mark_exp_read (TREE_OPERAND (exp
, 2));
394 /* Fold X for consideration by one of the warning functions when checking
395 whether an expression has a constant value. */
398 fold_for_warn (tree x
)
400 /* C++ implementation. */
402 /* Prevent warning-dependent constexpr evaluation from changing
403 DECL_UID (which breaks -fcompare-debug) and from instantiating
405 uid_sensitive_constexpr_evaluation_sentinel s
;
407 /* It's not generally safe to fully fold inside of a template, so
408 call fold_non_dependent_expr instead. */
409 if (processing_template_decl
)
411 tree f
= fold_non_dependent_expr (x
, tf_none
);
412 if (f
== error_mark_node
)
417 else if (cxx_dialect
>= cxx11
)
418 x
= maybe_constant_value (x
);
420 return c_fully_fold (x
, /*for_init*/false, /*maybe_constp*/NULL
);