1 /* Convert language-specific tree expression to rtl instructions,
2    for GNU compiler.
3    Copyright (C) 1988-2019 Free Software Foundation, Inc.
4 
5 This file is part of GCC.
6 
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)
10 any later version.
11 
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.
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 
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "cp-tree.h"
26 
27 /* Expand C++-specific constants.  Currently, this means PTRMEM_CST.  */
28 
29 tree
cplus_expand_constant(tree cst)30 cplus_expand_constant (tree cst)
31 {
32   switch (TREE_CODE (cst))
33     {
34     case PTRMEM_CST:
35       {
36 	tree type = TREE_TYPE (cst);
37 	tree member;
38 
39 	/* Find the member.  */
40 	member = PTRMEM_CST_MEMBER (cst);
41 
42 	/* We can't lower this until the class is complete.  */
43 	if (!COMPLETE_TYPE_P (DECL_CONTEXT (member)))
44 	  return cst;
45 
46 	if (TREE_CODE (member) == FIELD_DECL)
47 	  {
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)))
52 	      {
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));
59 	      }
60 	    cst = fold (build_nop (type, cst));
61 	  }
62 	else
63 	  {
64 	    tree delta;
65 	    tree pfn;
66 
67 	    expand_ptrmemfunc_cst (cst, &delta, &pfn);
68 	    cst = build_ptrmemfunc1 (type, delta, pfn);
69 	  }
70       }
71       break;
72 
73     case CONSTRUCTOR:
74       {
75 	constructor_elt *elt;
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);
79       }
80 
81     default:
82       /* There's nothing to do.  */
83       break;
84     }
85 
86   return cst;
87 }
88 
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.  */
91 
92 tree
mark_use(tree expr,bool rvalue_p,bool read_p,location_t loc,bool reject_builtin)93 mark_use (tree expr, bool rvalue_p, bool read_p,
94 	  location_t loc /* = UNKNOWN_LOCATION */,
95 	  bool reject_builtin /* = true */)
96 {
97 #define RECUR(t) mark_use ((t), rvalue_p, read_p, loc, reject_builtin)
98 
99   if (expr == NULL_TREE || expr == error_mark_node)
100     return expr;
101 
102   if (reject_builtin && reject_gcc_builtin (expr, loc))
103     return error_mark_node;
104 
105   if (read_p)
106     mark_exp_read (expr);
107 
108   tree oexpr = expr;
109   bool recurse_op[3] = { false, false, false };
110   switch (TREE_CODE (expr))
111     {
112     case VAR_DECL:
113     case PARM_DECL:
114       if (rvalue_p && is_normal_capture_proxy (expr))
115 	{
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))
120 	    {
121 	      tree val = RECUR (cap);
122 	      if (!is_capture_proxy (val))
123 		{
124 		  tree l = current_lambda_expr ();
125 		  LAMBDA_EXPR_CAPTURE_OPTIMIZED (l) = true;
126 		}
127 	      return val;
128 	    }
129 	}
130       if (outer_automatic_var_p (expr)
131 	  && decl_constant_var_p (expr))
132 	{
133 	  if (rvalue_p)
134 	    {
135 	      tree t = maybe_constant_value (expr);
136 	      if (TREE_CONSTANT (t))
137 		{
138 		  expr = t;
139 		  break;
140 		}
141 	    }
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);
149 	}
150       break;
151     case COMPONENT_REF:
152     case NON_DEPENDENT_EXPR:
153       recurse_op[0] = true;
154       break;
155     case COMPOUND_EXPR:
156       recurse_op[1] = true;
157       break;
158     case COND_EXPR:
159       recurse_op[2] = true;
160       if (TREE_OPERAND (expr, 1))
161 	recurse_op[1] = true;
162       break;
163     case INDIRECT_REF:
164       if (REFERENCE_REF_P (expr))
165 	{
166 	  /* Try to look through the reference.  */
167 	  tree ref = TREE_OPERAND (expr, 0);
168 	  if (rvalue_p && is_normal_capture_proxy (ref))
169 	    {
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))
174 		{
175 		  tree val = RECUR (cap);
176 		  if (!is_capture_proxy (val))
177 		    {
178 		      tree l = current_lambda_expr ();
179 		      LAMBDA_EXPR_CAPTURE_OPTIMIZED (l) = true;
180 		    }
181 		  return val;
182 		}
183 	    }
184 	  tree r = mark_rvalue_use (ref, loc, reject_builtin);
185 	  if (r != ref)
186 	    expr = convert_from_reference (r);
187 	}
188       break;
189 
190     case VIEW_CONVERT_EXPR:
191       if (location_wrapper_p (expr))
192 	{
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;
198 	  else if (op == nop)
199 	    /* No change.  */;
200 	  else if (DECL_P (nop) || CONSTANT_CLASS_P (nop))
201 	    {
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.  */
206 	      if (rvalue_p)
207 		TREE_SET_CODE (expr, NON_LVALUE_EXPR);
208 	    }
209 	  else
210 	    {
211 	      /* Drop the location wrapper.  */
212 	      expr = nop;
213 	      protected_set_expr_location (expr, loc);
214 	    }
215 	  return expr;
216 	}
217       gcc_fallthrough();
218     CASE_CONVERT:
219       recurse_op[0] = true;
220       break;
221 
222     default:
223       break;
224     }
225 
226   for (int i = 0; i < 3; ++i)
227     if (recurse_op[i])
228       {
229 	tree op = TREE_OPERAND (expr, i);
230 	op = RECUR (op);
231 	if (op == error_mark_node)
232 	  return error_mark_node;
233 	TREE_OPERAND (expr, i) = op;
234       }
235 
236   return expr;
237 #undef RECUR
238 }
239 
240 /* Called whenever the expression EXPR is used in an rvalue context.
241    When REJECT_BUILTIN is true the expression is checked to make sure
242    it doesn't make it possible to obtain the address of a GCC built-in
243    function with no library fallback (or any of its bits, such as in
244    a conversion to bool).  */
245 
246 tree
mark_rvalue_use(tree e,location_t loc,bool reject_builtin)247 mark_rvalue_use (tree e,
248 		 location_t loc /* = UNKNOWN_LOCATION */,
249 		 bool reject_builtin /* = true */)
250 {
251   return mark_use (e, true, true, loc, reject_builtin);
252 }
253 
254 /* Called whenever an expression is used in an lvalue context.  */
255 
256 tree
mark_lvalue_use(tree expr)257 mark_lvalue_use (tree expr)
258 {
259   return mark_use (expr, false, true, input_location, false);
260 }
261 
262 /* As above, but don't consider this use a read.  */
263 
264 tree
mark_lvalue_use_nonread(tree expr)265 mark_lvalue_use_nonread (tree expr)
266 {
267   return mark_use (expr, false, false, input_location, false);
268 }
269 
270 /* Called when expr appears as a discarded-value expression.  */
271 
272 tree
mark_discarded_use(tree expr)273 mark_discarded_use (tree expr)
274 {
275   /* The lvalue-to-rvalue conversion (7.1) is applied if and only if the
276      expression is a glvalue of volatile-qualified type and it is one of the
277      following:
278      * ( expression ), where expression is one of these expressions,
279      * id-expression (8.1.4),
280      * subscripting (8.2.1),
281      * class member access (8.2.5),
282      * indirection (8.3.1),
283      * pointer-to-member operation (8.5),
284      * conditional expression (8.16) where both the second and the third
285        operands are one of these expressions, or
286      * comma expression (8.19) where the right operand is one of these
287        expressions.  */
288   if (expr == NULL_TREE)
289     return expr;
290 
291   STRIP_ANY_LOCATION_WRAPPER (expr);
292 
293   switch (TREE_CODE (expr))
294     {
295     case COND_EXPR:
296       TREE_OPERAND (expr, 2) = mark_discarded_use (TREE_OPERAND (expr, 2));
297       gcc_fallthrough ();
298     case COMPOUND_EXPR:
299       TREE_OPERAND (expr, 1) = mark_discarded_use (TREE_OPERAND (expr, 1));
300       return expr;
301 
302     case COMPONENT_REF:
303     case ARRAY_REF:
304     case INDIRECT_REF:
305     case MEMBER_REF:
306       break;
307     default:
308       if (DECL_P (expr))
309 	break;
310       else
311 	return expr;
312     }
313 
314   /* Like mark_rvalue_use, but don't reject built-ins.  */
315   return mark_use (expr, true, true, input_location, false);
316 }
317 
318 /* Called whenever an expression is used in a type use context.  */
319 
320 tree
mark_type_use(tree expr)321 mark_type_use (tree expr)
322 {
323   mark_exp_read (expr);
324   return expr;
325 }
326 
327 /* Mark EXP as read, not just set, for set but not used -Wunused
328    warning purposes.  */
329 
330 void
mark_exp_read(tree exp)331 mark_exp_read (tree exp)
332 {
333   if (exp == NULL)
334     return;
335 
336   switch (TREE_CODE (exp))
337     {
338     case VAR_DECL:
339       if (DECL_DECOMPOSITION_P (exp))
340 	mark_exp_read (DECL_DECOMP_BASE (exp));
341       gcc_fallthrough ();
342     case PARM_DECL:
343       DECL_READ_P (exp) = 1;
344       break;
345     case ARRAY_REF:
346     case COMPONENT_REF:
347     case MODIFY_EXPR:
348     case REALPART_EXPR:
349     case IMAGPART_EXPR:
350     CASE_CONVERT:
351     case ADDR_EXPR:
352     case INDIRECT_REF:
353     case FLOAT_EXPR:
354     case NON_DEPENDENT_EXPR:
355     case VIEW_CONVERT_EXPR:
356       mark_exp_read (TREE_OPERAND (exp, 0));
357       break;
358     case COMPOUND_EXPR:
359       mark_exp_read (TREE_OPERAND (exp, 1));
360       break;
361     case COND_EXPR:
362       if (TREE_OPERAND (exp, 1))
363 	mark_exp_read (TREE_OPERAND (exp, 1));
364       if (TREE_OPERAND (exp, 2))
365 	mark_exp_read (TREE_OPERAND (exp, 2));
366       break;
367     default:
368       break;
369     }
370 }
371 
372 /* Fold X for consideration by one of the warning functions when checking
373    whether an expression has a constant value.  */
374 
375 tree
fold_for_warn(tree x)376 fold_for_warn (tree x)
377 {
378   /* C++ implementation.  */
379 
380   /* It's not generally safe to fully fold inside of a template, so
381      call fold_non_dependent_expr instead.  */
382   if (processing_template_decl)
383     {
384       tree f = fold_non_dependent_expr (x, tf_none);
385       if (f == error_mark_node)
386 	return x;
387       else
388 	return f;
389     }
390 
391   return c_fully_fold (x, /*for_init*/false, /*maybe_constp*/NULL);
392 }
393