PR c++/84798 - ICE with auto in abstract function declarator.
[gcc.git] / gcc / cp / ChangeLog
1 2018-03-13 Jason Merrill <jason@redhat.com>
2
3 PR c++/84798 - ICE with auto in abstract function declarator.
4 * parser.c (cp_parser_parameter_declaration_clause): Check
5 parser->default_arg_ok_p.
6
7 2018-03-13 Jakub Jelinek <jakub@redhat.com>
8
9 PR c++/84808
10 * constexpr.c (find_array_ctor_elt): Don't use elt reference after
11 first potential CONSTRUCTOR_ELTS reallocation. Convert dindex to
12 sizetype. Formatting fixes.
13
14 2018-03-12 Jason Merrill <jason@redhat.com>
15
16 PR c++/84355 - ICE with deduction for member class template.
17 * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
18 CLASS_PLACEHOLDER_TEMPLATE.
19
20 PR c++/84802 - ICE capturing uninstantiated class.
21 * lambda.c (build_capture_proxy): Call complete_type.
22
23 2018-03-09 Jason Merrill <jason@redhat.com>
24
25 PR c++/84770 - ICE with typedef and parameter pack.
26 * pt.c (verify_unstripped_args_1): Split out from
27 verify_unstripped_args.
28
29 PR c++/84785 - ICE with alias template and default targs.
30 * pt.c (type_unification_real): Set processing_template_decl if
31 saw_undeduced == 1.
32
33 PR c++/84752 - ICE with capture of constexpr array.
34 * call.c (standard_conversion): Set rvaluedness_matches_p on the
35 identity conversion under ck_lvalue.
36
37 2018-03-09 Jason Merrill <jason@redhat.com>
38 Paolo Carlini <paolo.carlini@oracle.com>
39
40 PR c++/71169
41 PR c++/71832
42 * pt.c (any_erroneous_template_args_p): New.
43 * cp-tree.h (any_erroneous_template_args_p): Declare it.
44 * parser.c (cp_parser_class_specifier_1): Use it.
45
46 2018-03-09 Jason Merrill <jason@redhat.com>
47
48 PR c++/84726 - unnecessary capture of constant vars.
49 * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
50 (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
51 * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
52 * lambda.c (is_constant_capture_proxy)
53 (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
54 (prune_lambda_captures): New.
55 (finish_lambda_function): Call prune_lambda_captures.
56
57 2018-03-09 Jason Merrill <jason@redhat.com>
58 Jakub Jelinek <jakub@redhat.com>
59
60 PR c++/84076
61 * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
62 build ADDR_EXPR with REFERENCE_TYPE.
63 (build_over_call): For purposes of check_function_arguments, if
64 argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
65 its operand rather than the argument itself.
66
67 2018-03-09 Jakub Jelinek <jakub@redhat.com>
68
69 PR c++/84724
70 * decl.c (duplicate_decls): Don't override __* prefixed builtins
71 except for __[^b]*_chk, instead issue permerror and for -fpermissive
72 also a note and return olddecl.
73
74 2018-03-09 Nathan Sidwell <nathan@acm.org>
75
76 PR c++/84733
77 * name-lookup.c (do_pushdecl_with_scope): Only clear
78 current_function_decl when pushing a non-class (i.e. namespace)
79 scope.
80
81 2018-03-08 Jason Merrill <jason@redhat.com>
82 Jakub Jelinek <jakub@redhat.com>
83
84 PR c++/80598
85 * call.c (build_over_call): In templates set TREE_USED (first_fn) when
86 not calling mark_used for the benefit of -Wunused-function warning.
87
88 2018-03-06 Jason Merrill <jason@redhat.com>
89
90 * lambda.c (is_capture_proxy_with_ref): Remove.
91 * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
92
93 2018-03-06 Marek Polacek <polacek@redhat.com>
94
95 PR c++/84684
96 * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
97 arguments.
98
99 2018-03-06 Alexandre Oliva <aoliva@redhat.com>
100
101 PR c++/84231
102 * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
103 only while processing template decls.
104 * typeck.c (build_x_conditional_expr): Move wrapping of
105 reference type around type...
106 * call.c (build_conditional_expr_1): ... here. Rename
107 is_lvalue to is_glvalue.
108 * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
109 INDIRECT_REF of COND_EXPR too.
110
111 PR c++/84593
112 * init.c (build_zero_init_1): Zero-initialize references.
113
114 PR c++/84492
115 * semantics.c (finish_stmt_expr_expr): Reject unresolved
116 overloads used as stmt expr values.
117
118 2018-03-05 Jason Merrill <jason@redhat.com>
119
120 PR c++/84708 - ICE with lambda in local class NSDMI.
121 * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
122 context.
123
124 2018-03-05 Jakub Jelinek <jakub@redhat.com>
125
126 PR c++/84684
127 * constexpr.c (constexpr_call_hasher::equal): Return false if
128 lhs->hash != rhs->hash. Change return 1 to return true and
129 return 0 to return false.
130
131 2018-03-05 Nathan Sidwell <nathan@acm.org>
132
133 PR c++/84702
134 * pt.c (process_template_arg): Mark lookup_keep on a default arg.
135
136 2018-03-05 Marek Polacek <polacek@redhat.com>
137
138 PR c++/84707
139 * decl.c (duplicate_decls): Check DECL_NAME before accessing
140 UDLIT_OPER_P.
141
142 2018-03-05 Nathan Sidwell <nathan@acm.org>
143
144 PR c++/84694
145 * friend.c (do_friend): Restore check for identifier_p inside
146 TEMPLATE_ID_EXPR.
147
148 2018-03-05 Paolo Carlini <paolo.carlini@oracle.com>
149
150 PR c++/84618
151 * parser.c (cp_parser_lambda_introducer): Reject any capture not
152 involving a VAR_DECL or a PARM_DECL.
153
154 2018-03-05 Pádraig Brady <P@draigBrady.com>
155 Jason Merrill <jason@redhat.com>
156 Nathan Sidwell <nathan@acm.org>
157
158 PR c++/84497
159 * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
160
161 2018-03-03 Jason Merrill <jason@redhat.com>
162
163 PR c++/84686 - missing volatile loads.
164 * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
165
166 2018-03-03 Paolo Carlini <paolo.carlini@oracle.com>
167
168 PR c++/71464
169 * optimize.c (maybe_thunk_body): Bail out immediately if either
170 fns[0] or fns[1] is null.
171
172 2018-03-02 Marek Polacek <polacek@redhat.com>
173
174 PR c++/84578
175 * constexpr.c (get_array_or_vector_nelts): New.
176 (cxx_eval_array_reference): Use it.
177 (cxx_eval_vec_init_1): Likewise.
178 (cxx_eval_store_expression): Likewise.
179
180 2018-03-02 Jason Merrill <jason@redhat.com>
181
182 * semantics.c (force_paren_expr): Remove redundant test.
183
184 2018-03-02 Marek Polacek <polacek@redhat.com>
185
186 PR c++/84663
187 * decl.c (cp_complete_array_type): Check error_mark_node.
188
189 PR c++/84664
190 * typeck.c (cp_perform_integral_promotions): Check the result of
191 mark_rvalue_use.
192
193 2018-03-02 Jakub Jelinek <jakub@redhat.com>
194
195 PR c++/84662
196 * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
197 RETURN instead of return.
198 <case POINTER_PLUS_EXPR>: Likewise.
199 <case CONVERT_EXPR>: If op0 is error_mark_node, just return
200 it instead of wrapping it into CONVERT_EXPR.
201
202 2018-03-02 Jason Merrill <jason@redhat.com>
203
204 Fix MIPS16 ICE.
205 * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
206
207 2018-03-02 Marek Polacek <polacek@redhat.com>
208
209 PR c++/84590
210 * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
211 wrapped in VIEW_CONVERT_EXPR.
212
213 2018-03-01 Martin Sebor <msebor@redhat.com>
214
215 PR c++/84294
216 * decl.c (check_redeclaration_no_default_args): Merge attributes
217 specified on redeclarations of the same function template.
218 Remove dead code.
219
220 2018-03-01 Marek Polacek <polacek@redhat.com>
221 Jason Merrill <jason@redhat.com>
222
223 PR c++/84582
224 * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
225 a template.
226 (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
227 * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
228 of instantiate_non_dependent_expr.
229 * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
230
231 2018-03-01 Nathan Sidwell <nathan@acm.org>
232
233 PR c++/84434
234 * name-lookup.c (member_vec_dedup): Remove manually peeled
235 iteration. Ignore dependent ctor inheritance.
236
237 2018-03-01 Jason Merrill <jason@redhat.com>
238
239 PR c++/71569 - decltype of template.
240 * parser.c (cp_parser_decltype_expr): Handle missing template args.
241
242 2018-03-01 Marek Polacek <polacek@redhat.com>
243
244 PR c++/84596
245 * constexpr.c (require_rvalue_constant_expression): New function.
246 * cp-tree.h: Declare it.
247 * semantics.c (finish_static_assert): Use it instead of
248 require_potential_rvalue_constant_expression.
249
250 2018-03-01 Jason Merrill <jason@redhat.com>
251 Alexandre Oliva <aoliva@redhat.com>
252
253 PR c++/71569 - ICE with redundant args on member variable template.
254 * decl.c (start_decl): Handle partial specialization of member
255 variable template.
256 * pt.c (determine_specialization): Allow partial specialization
257 of member variable template without specializing enclosing class.
258 (process_partial_specialization): Improve error message.
259
260 2018-02-28 Jason Merrill <jason@redhat.com>
261
262 PR c++/71784 - ICE with ref-qualifier and explicit specialization.
263 * pt.c (determine_specialization): Check ref-qualifier.
264
265 2018-02-28 Jakub Jelinek <jakub@redhat.com>
266
267 PR c++/84609
268 * parser.c (cp_parser_attributes_opt): Formatting fix.
269 (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
270 cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
271 New functions.
272 (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
273 instead of tentative parse to peek over optional attribute tokens
274 to check for CPP_COLON after them.
275
276 PR c++/83871
277 PR c++/83503
278 * pt.c (INCLUDE_STRING): Remove define.
279 (warn_spec_missing_attributes): Use pretty_printer instead of
280 std::string. Fix up inform call so that the list of attributes
281 is in %s argument.
282
283 2018-02-28 Martin Sebor <msebor@redhat.com>
284
285 PR testsuite/84617
286 * decl.c (duplicate_decls): Fully merge attributes const, pure,
287 and malloc.
288
289 2018-02-28 Nathan Sidwell <nathan@acm.org>
290
291 PR c++/84602
292 * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
293 * name-lookup.c (fields_linear_search): Look in an anon-aggr
294 regardless of want_type.
295 (search_anon_aggr): Just use get_class_binding_direct.
296
297 2018-02-28 Jakub Jelinek <jakub@redhat.com>
298
299 * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
300 inform_n.
301
302 2018-02-27 Martin Sebor <msebor@redhat.com>
303
304 * pt.c: Avoid including <string> directly.
305
306 2018-02-27 Martin Sebor <msebor@redhat.com>
307
308 PR c++/83871
309 PR c++/83503
310 * cp-tree.h (warn_spec_missing_attributes): New function.
311 ((check_explicit_specialization): Add an argument. Call the above
312 function.
313 * decl.c (duplicate_decls): Avoid applying primary function template's
314 attributes to its explicit specializations.
315 cp/pt.c (warn_spec_missing_attributes): Define.
316
317 2018-02-27 Håkon Sandsmark <hsandsmark@gmail.com>
318
319 PR c++/71546 - lambda init-capture with qualified-id.
320 * parser.c (cp_parser_lambda_introducer): Clear scope after
321 each lambda capture.
322
323 2018-02-27 Nathan Sidwell <nathan@acm.org>
324
325 PR c++/84426
326 * name-lookup.h (get_member_slot): Rename ...
327 (find_member_slot): ... here.
328 (add_member_slot): New.
329 * name-lookup.c (member_vec_linear_search): No need to check for
330 NULL slot.
331 (get_member_slot): Rename ...
332 (find_member_slot): ... here. Don't add slot for incomplete class.
333 (add_member_slot): New.
334 * class.c (add_method): Adjust get_member_slot rename. Bail out
335 if push_class_level_binding fails. Create slot and grok
336 properties once we're committed to insertion.
337
338 2018-02-27 Jason Merrill <jason@redhat.com>
339
340 PR c++/84489 - dependent default template argument
341 * pt.c (type_unification_real): Handle early substitution failure.
342
343 2018-02-26 Jason Merrill <jason@redhat.com>
344
345 PR c++/84560 - ICE capturing multi-dimensional VLA.
346 * tree.c (array_of_runtime_bound_p): False if the element is
347 variably-modified.
348
349 PR c++/84441 - ICE with base initialized from ?:
350 * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
351
352 PR c++/84520 - ICE with generic lambda in NSDMI.
353 * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
354 'this' in a generic lambda instantiation.
355
356 PR c++/84559 - ICE with constexpr VLA.
357 * constexpr.c (ensure_literal_type_for_constexpr_object): Check
358 for constexpr variable with VLA type.
359
360 2018-02-26 Jakub Jelinek <jakub@redhat.com>
361
362 PR c++/84558
363 * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
364 a valid constant initializer. Formatting fixes.
365
366 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
367
368 PR c++/84540
369 * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
370 returning NULL_TREE.
371 (apply_late_template_attributes): Likewise.
372
373 2018-02-26 Jakub Jelinek <jakub@redhat.com>
374
375 PR c++/84557
376 * parser.c (cp_parser_omp_var_list_no_open): Only call
377 cp_parser_lookup_name_simple on names satisfying identifier_p.
378 (cp_parser_oacc_routine): Likewise.
379
380 2018-02-26 Jason Merrill <jason@redhat.com>
381
382 PR c++/84551 - ICE with concepts and -g.
383 * parser.c (add_debug_begin_stmt): Do nothing in a concept.
384
385 2018-02-26 Marek Polacek <polacek@redhat.com>
386
387 PR c++/84325
388 * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
389 non-types.
390
391 2018-02-26 Jason Merrill <jason@redhat.com>
392
393 PR c++/84447 - ICE with deleted inherited ctor with default arg.
394 * call.c (build_over_call): Handle deleted functions in one place.
395
396 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
397
398 PR c++/84533
399 * decl.c (redeclaration_error_message): Don't try to use
400 DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
401
402 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
403
404 * lambda.c (build_capture_proxy): Define static.
405 * cp-tree.h (build_capture_proxy): Remove.
406
407 2018-02-26 Marek Polacek <polacek@redhat.com>
408
409 PR c++/84537
410 * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
411 if name is error node.
412
413 2018-02-25 Jason Merrill <jason@redhat.com>
414
415 PR c++/84015 - ICE with class deduction and auto template parm.
416 * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
417
418 2018-02-24 Marek Polacek <polacek@redhat.com>
419
420 PR c++/83692
421 * constexpr.c (maybe_constant_init_1): New function.
422 (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
423 (cxx_constant_init): New function.
424 * cp-tree.h (cxx_constant_init): Declare.
425 * typeck2.c (store_init_value): Call cxx_constant_init instead of
426 cxx_constant_value. Move the maybe_constant_init call under an 'else'.
427
428 2018-02-22 Jason Merrill <jason@redhat.com>
429
430 PR c++/70468 - ICE with constructor delegation via typedef.
431 * pt.c (tsubst_initializer_list): Check for other mem-initializers
432 with constructor delegation.
433
434 2018-02-22 Jason Merrill <jason@redhat.com>
435
436 PR c++/84424 - ICE with constexpr and __builtin_shuffle.
437 * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
438 VECTOR_TYPE.
439
440 2018-02-22 Marek Polacek <polacek@redhat.com>
441
442 PR c++/84493
443 * parser.c (cp_parser_braced_list): Use require_open instead of
444 consume_open.
445
446 2018-02-21 Jason Merrill <jason@redhat.com>
447
448 PR c++/84454 - ICE with pack expansion in signature.
449 * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
450
451 2018-02-20 Siddhesh Poyarekar <siddhesh@sourceware.org>
452
453 * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
454 IF_STMT.
455
456 2018-02-20 Paolo Carlini <paolo.carlini@oracle.com>
457
458 PR c++/84446
459 * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
460 on error_mark_node.
461
462 2018-02-20 Jakub Jelinek <jakub@redhat.com>
463
464 PR c++/84445
465 * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
466 TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
467
468 PR c++/84449
469 * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
470 returns error_mark_node, return it immediately.
471 (break_out_target_exprs): If cp_walk_tree with bot_manip returns
472 error_mark_node, return error_mark_node.
473
474 PR c++/84455
475 * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
476 function_depth to avoid GC during finish_lambda_function.
477
478 2018-02-19 Jason Merrill <jason@redhat.com>
479
480 PR c++/84429 - ICE capturing VLA.
481 * lambda.c (build_capture_proxy): Handle reference refs.
482
483 2018-02-19 Jakub Jelinek <jakub@redhat.com>
484
485 PR c++/84448
486 * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
487 either operand is error_mark_node, set current.lhs to that instead of
488 creating a binary op with error_mark_node operands.
489
490 PR c++/84430
491 * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
492
493 2018-02-19 Paolo Carlini <paolo.carlini@oracle.com>
494
495 PR c++/84348
496 * decl.c (grokdeclarator): Early return error_mark_node upon
497 ill-formed friend declaration.
498
499 2018-02-16 Marek Polacek <polacek@redhat.com>
500 Jakub Jelinek <jakub@redhat.com>
501
502 PR c++/84192
503 * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
504 set *jump_target to anything if jump_target is NULL.
505
506 2018-02-16 Jason Merrill <jason@redhat.com>
507
508 PR c++/84151 - unnecessary volatile load with static member.
509 * call.c (build_new_method_call_1): Avoid loading from a volatile
510 lvalue used as the object argument for a static member function.
511
512 PR c++/81853 - using-directive and constexpr.
513 * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
514
515 PR c++/84420 - ICE with structured binding in lambda.
516 * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
517
518 PR c++/83835 - C++17 error with constructor ctors.
519 * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
520
521 PR c++/82664 - ICE with reference to function template parm.
522 * pt.c (convert_nontype_argument_function): Avoid obfuscationg
523 NOP_EXPRs.
524
525 PR c++/82764 - C++17 ICE with empty base
526 * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
527
528 2018-02-16 Jason Merrill <jason@redhat.com>
529
530 PR c++/84421 - type-dependent if constexpr
531 * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
532
533 2018-02-16 Nathan Sidwell <nathan@acm.org>
534
535 Deprecate -ffriend-injection.
536 * decl.c (cxx_init_decl_processing): Emit warning on option.
537 * name-lookup.c (do_pushdecl): Emit warning if we push a visible
538 friend.
539
540 2018-02-16 Paolo Carlini <paolo.carlini@oracle.com>
541
542 PR c++/82468
543 * decl.c (check_special_function_return_type): Reject template
544 template parameter in deduction guide.
545
546 2018-02-16 Nathan Sidwell <nathan@acm.org>
547
548 PR c++/84375
549 * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
550
551 2018-02-15 Jason Merrill <jason@redhat.com>
552
553 PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
554 * call.c (convert_like_real): Don't use the copy-list-initialization
555 shortcut for ck_base.
556
557 PR c++/84045 - ICE with typedef and noexcept.
558 * except.c (build_noexcept_spec): Use strip_typedefs_expr.
559
560 PR c++/84376 - ICE with omitted template arguments.
561 * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
562
563 PR c++/84368 - wrong error with local variable in variadic lambda.
564 * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
565 local_specializations.
566
567 2018-02-15 Paolo Carlini <paolo.carlini@oracle.com>
568
569 PR c++/84330
570 * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
571 as first argument.
572
573 2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
574
575 PR c++/84350
576 * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
577 init, early return.
578
579 2018-02-14 Nathan Sidwell <nathan@acm.org>
580
581 * decl2.c (mark_vtable_entries): Set input_location to decl's.
582 (c_parse_final_cleanups): Restore input_location after emitting
583 vtables.
584
585 2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
586
587 * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
588 (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
589 auto_deduction_context, tree, int): Add defaults.
590 * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
591 (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
592 tsubst_flags_t argument.
593 * init.c (build_new): Likewise.
594
595 2018-02-13 Jakub Jelinek <jakub@redhat.com>
596
597 PR c++/84364
598 * typeck.c (check_return_expr): Don't emit -Weffc++ warning
599 about return other than *this in assignment operators if
600 retval is type dependent expression.
601
602 2018-02-13 Paolo Carlini <paolo.carlini@oracle.com>
603
604 PR c++/84333
605 * call.c (build_conditional_expr_1): Use cp_save_expr instead of
606 save_expr for the G++ extension.
607
608 2018-02-13 Jason Merrill <jason@redhat.com>
609
610 PR c++/84080 - ICE with return type deduction and specialization.
611 * pt.c (determine_specialization): Check uses_template_parms.
612
613 Fix more variadic capture issues.
614 * pt.c (find_parameter_packs_r): Also look at explicit captures.
615 (check_for_bare_parameter_packs): Check current_class_type for
616 lambda context.
617 (extract_locals_r): Handle seeing a full instantiation of a pack.
618 (tsubst_pack_expansion): Likewise. Force lambda capture.
619 * parser.c (cp_parser_lambda_introducer): Don't
620 check_for_bare_parameter_packs.
621
622 PR c++/84338 - wrong variadic sizeof.
623 * pt.c (argument_pack_select_arg): Like the macro, but look through
624 a pack expansion.
625 (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
626 (extract_fnparm_pack): Do make_pack_expansion.
627 (extract_locals_r): Do strip a pack expansion.
628 * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
629
630 2018-02-12 Jakub Jelinek <jakub@redhat.com>
631
632 PR c++/84341
633 * parser.c (cp_parser_binary_expression): Use build_min instead of
634 build2_loc to build the no_toplevel_fold_p toplevel binary expression.
635
636 2018-02-12 Nathan Sidwell <nathan@acm.org>
637
638 PR c++/84263
639 * parser.c (cp_parser_decltype): Push and pop
640 deferring_access_checks. Reorganize to avoid goto.
641
642 2018-02-12 Richard Biener <rguenther@suse.de>
643
644 PR c++/84281
645 * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
646 uniform constructors and delay allocating them fully.
647
648 2018-02-09 Jason Merrill <jason@redhat.com>
649
650 PR c++/84036 - ICE with variadic capture.
651 Handle variadic capture proxies more like non-variadic.
652 * lambda.c (build_capture_proxy): Remove workaround.
653 * pt.c (find_parameter_packs_r): The proxy is a pack.
654 (instantiate_class_template_1): Remove dead lambda code.
655 (extract_fnparm_pack): Don't make_pack_expansion.
656 (extract_locals_r): Don't strip a pack expansion.
657 (tsubst_pack_expansion): Handle proxy packs. Use
658 PACK_EXPANSION_EXTRA_ARGS less.
659 (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
660 (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
661 [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
662 (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
663 (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
664
665 2018-02-10 Jakub Jelinek <jakub@redhat.com>
666
667 PR sanitizer/83987
668 * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
669
670 2018-02-09 Jason Merrill <jason@redhat.com>
671
672 PR c++/81917 - ICE with void_t and partial specialization.
673 * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
674 calling most_specialized_partial_spec.
675
676 2018-02-09 Nathan Sidwell <nathan@acm.org>
677
678 PR c/84293
679 * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
680 Pass expr location to strict_aliasing_warning.
681
682 2018-02-09 Jason Merrill <jason@redhat.com>
683
684 PR c++/84296 - ICE with qualified-id in template.
685 PR c++/83714
686 * pt.c (unknown_base_ref_p): New.
687 (instantiation_dependent_scope_ref_p): Use it instead of
688 any_dependent_bases_p.
689
690 2018-02-09 Marek Polacek <polacek@redhat.com>
691 Jakub Jelinek <jakub@redhat.com>
692
693 PR c++/83659
694 * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
695 fold_indirect_ref_1, including poly_*int64. Verify first that
696 tree_fits_poly_int64_p (op01). Formatting fixes.
697
698 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
699
700 * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
701 * lambda.c (build_capture_proxy): Likewise.
702 * search.c (field_access_p): Likewise.
703 * semantics.c (omp_clause_decl, omp_privatize_field,
704 finish_omp_clauses): Likewise.
705
706 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
707
708 PR c++/83806
709 * typeck.c (decay_conversion): Use mark_rvalue_use for the special
710 case of nullptr too.
711
712 2018-02-08 Nathan Sidwell <nathan@acm.org>
713
714 * class.c (finish_struct): Fix std:initializer_list diagnostic
715 formatting.
716
717 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
718
719 PR c++/83204
720 * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
721
722 2018-02-07 Jakub Jelinek <jakub@redhat.com>
723
724 PR c++/84082
725 * parser.c (cp_parser_dot_deref_incomplete): New function.
726 (cp_parser_postfix_dot_deref_expression): Use it.
727
728 2018-02-07 David Malcolm <dmalcolm@redhat.com>
729
730 PR c++/81610
731 PR c++/80567
732 * name-lookup.c (suggest_rid_p): New function.
733 (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
734 suggest_rid_p.
735
736 2018-02-07 Jason Merrill <jason@redhat.com>
737
738 PR c++/84182 - ICE with captured lambda
739 PR c++/84181
740 * pt.c (extract_locals_r, extract_local_specs): New.
741 (tsubst_pack_expansion): Use them.
742
743 2018-02-07 Martin Liska <mliska@suse.cz>
744
745 PR c++/84059.
746 * class.c (add_method): Append argument value.
747 * cp-tree.h (maybe_version_functions): Add new argument.
748 * decl.c (decls_match): Call it if a declaration does not
749 have DECL_FUNCTION_VERSIONED.
750 (maybe_version_functions): record argument is added.
751
752 2018-02-05 Marek Polacek <polacek@redhat.com>
753
754 * class.c: Remove unused global variables.
755 (build_primary_vtable): Don't gather statistics.
756 (print_class_statistics): Remove.
757 * cp-tree.h (print_class_statistics): Remove.
758 * tree.c (cxx_print_statistics): Don't call print_class_statistics.
759
760 2018-02-02 Paolo Carlini <paolo.carlini@oracle.com>
761
762 * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
763 * constexpr.c (cx_check_missing_mem_inits): Likewise.
764 * decl.c (next_initializable_field, find_decomp_class_base,
765 cp_finish_decomp): Likewise.
766 * typeck2.c (process_init_constructor_record): Likewise.
767
768 2018-02-02 Jason Merrill <jason@redhat.com>
769
770 PR c++/84181 - ICE with lambda parm in template argument.
771 * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
772
773 2018-02-01 Jason Merrill <jason@redhat.com>
774
775 PR c++/84160 - ICE with nested variadic capture.
776 * lambda.c (is_capture_proxy_with_ref): New.
777 (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
778 COMPONENT_REF.
779 * expr.c (mark_use): Use is_capture_proxy_with_ref.
780 * constexpr.c (potential_constant_expression_1): Likewise.
781 * semantics.c (process_outer_var_ref): Likewise.
782
783 2018-02-01 Marek Polacek <polacek@redhat.com>
784
785 PR c++/84125
786 * typeck.c (build_address): Relax the assert when
787 processing_template_decl.
788
789 2018-02-01 Jason Merrill <jason@redhat.com>
790
791 PR c++/84126 - ICE with variadic generic lambda
792 PR c++/84036
793 PR c++/82249
794 * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
795 PACK_EXPANSION_EXTRA_ARGS.
796
797 2018-02-01 Paolo Carlini <paolo.carlini@oracle.com>
798
799 PR c++/83796
800 * call.c (convert_like_real): If w're initializing from {} explicitly
801 call abstract_virtuals_error_sfinae.
802
803 2018-01-31 Jason Merrill <jason@redhat.com>
804 Jakub Jelinek <jakub@redhat.com>
805
806 PR c++/83993
807 * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
808 around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
809 on ADDR_EXPR.
810
811 2018-01-31 Jakub Jelinek <jakub@redhat.com>
812
813 PR c++/83993
814 * constexpr.c (diag_array_subscript): Emit different diagnostics
815 if TYPE_DOMAIN (arraytype) is NULL.
816 (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
817 with NULL TYPE_DOMAIN use size_zero_node as nelts.
818
819 2018-01-31 Paolo Carlini <paolo.carlini@oracle.com>
820
821 PR c++/84092
822 * semantics.c (finish_qualified_id_expr): When handling an
823 UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
824
825 2018-01-31 Marek Polacek <polacek@redhat.com>
826
827 PR c++/84138
828 * cp-gimplify.c (cp_fold): Check if X is an error node before
829 calling useless_type_conversion_p.
830
831 2018-01-30 Jason Merrill <jason@redhat.com>
832
833 PR c++/84091 - ICE with local class in lambda in template.
834 * decl2.c (determine_visibility): Look for outer containing template
835 instantiation.
836
837 PR c++/84098 - ICE with lambda in template NSDMI.
838 * pt.c (instantiate_class_template_1): Ignore more lambdas.
839
840 2018-01-29 Jason Merrill <jason@redhat.com>
841
842 PR c++/68810 - wrong location for reinterpret_cast error.
843 * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
844 !dofold.
845
846 2018-01-29 Marek Polacek <polacek@redhat.com>
847
848 PR c++/83996
849 * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
850 => fooarray[1] in offset_int.
851
852 2018-01-29 Jason Merrill <jason@redhat.com>
853
854 PR c++/83942 - wrong unused warning with static_cast.
855 * cvt.c (ocp_convert): Call mark_rvalue_use.
856
857 2018-01-26 Jason Merrill <jason@redhat.com>
858
859 PR c++/83956 - wrong dtor error with anonymous union
860 * method.c (walk_field_subobs): Variant members only affect
861 deletedness.
862 (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
863
864 PR c++/84036 - ICE with variadic capture.
865 PR c++/82249
866 * pt.c (tsubst_pack_expansion): When optimizing a simple
867 substitution, pull a single pack expansion out of its pack.
868
869 PR c++/82514 - ICE with local class in generic lambda.
870 * pt.c (regenerated_lambda_fn_p): Remove.
871 (enclosing_instantiation_of): Don't use it.
872 (tsubst_function_decl): Call enclosing_instantiation_of.
873
874 * pt.c (lookup_template_class_1): Add sanity check.
875 * name-lookup.c (do_pushtag): Don't add closures to local_classes.
876
877 2018-01-25 Jakub Jelinek <jakub@redhat.com>
878
879 PR c++/84031
880 * decl.c (find_decomp_class_base): Ignore unnamed bitfields. Ignore
881 recursive calls that return ret.
882 (cp_finish_decomp): Ignore unnamed bitfields.
883
884 2018-01-23 Jason Merrill <jason@redhat.com>
885
886 PR c++/82249 - wrong mismatched pack length error.
887 * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
888 unsubstituted function parameter pack.
889
890 2018-01-23 Paolo Carlini <paolo.carlini@oracle.com>
891
892 PR c++/83921
893 * decl.c (check_for_uninitialized_const_var): Not static; add
894 bool and tsubst_flags_t parameters; adjust to be used both in
895 constexpr context and not.
896 * constexpr.c (potential_constant_expression_1): Use the above.
897 * cp-tree.h (check_for_uninitialized_const_var): Declare.
898
899 2018-01-23 Jason Merrill <jason@redhat.com>
900
901 PR c++/83947 - ICE with auto declarations.
902 * pt.c (do_auto_deduction): Don't deduce from an auto decl.
903 * decl.c (undeduced_auto_decl): Limit to vars and fns.
904
905 2018-01-23 David Malcolm <dmalcolm@redhat.com>
906
907 PR c++/83974
908 * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
909 for pointer to member function types.
910
911 2018-01-23 Jakub Jelinek <jakub@redhat.com>
912
913 PR sanitizer/83987
914 * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
915 DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
916
917 2018-01-23 Nathan Sidwell <nathan@acm.org>
918
919 PR c++/83988
920 * pt.c (tsubst_baselink): Remove optype assert.
921 * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
922
923 2018-01-23 Jakub Jelinek <jakub@redhat.com>
924
925 PR c++/83958
926 * decl.c (cp_finish_decomp): Diagnose if reference structure binding
927 refers to incomplete type.
928
929 2018-01-23 Nathan Sidwell <nathan@acm.org>
930
931 Deprecate ARM-era for scope handling
932 * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
933 (cxx_init_decl_processing): Deprecate flag_new_for_scope being
934 cleared.
935 * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
936 cleanup handling.
937 * semantics.c (begin_for_scope): Flag_new_for_scope is
938 boolean-like.
939 (finish_for_stmt, begin_range_for_stmt): Likewise.
940
941 2018-01-22 Jason Merrill <jason@redhat.com>
942
943 PR c++/83720
944 * decl2.c (determine_visibility): Fix template_decl handling
945 instead of blocking it.
946
947 PR c++/83720 - ICE with lambda and LTO.
948 * decl2.c (determine_visibility): Clear template_decl for
949 function-scope decls. Propagate anonymous linkage from containing
950 function.
951
952 2018-01-22 Marek Polacek <polacek@redhat.com>
953
954 PR c++/81933
955 * typeck2.c (split_nonconstant_init_1): Return false if we didn't
956 split out anything.
957
958 2018-01-22 Ville Voutilainen <ville.voutilainen@gmail.com>
959
960 PR c++/83895
961 * decl.c (grokdeclarator): Don't diagnose extra parens
962 on typedefs.
963
964 2018-01-19 Jakub Jelinek <jakub@redhat.com>
965
966 PR c++/81167
967 * call.c (joust): Use TREE_TYPE (source) if source is
968 a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
969
970 PR c++/83919
971 * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
972 for direct enum init.
973 * decl.c (reshape_init): Likewise.
974
975 2018-01-19 Marek Polacek <polacek@redhat.com>
976
977 * constexpr.c (fold_simple): Simplify.
978
979 2018-01-18 Jason Merrill <jason@redhat.com>
980
981 PR c++/83714
982 * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
983 * pt.c (instantiation_dependent_scope_ref_p): True if
984 any_dependent_bases_p.
985
986 2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
987
988 * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
989 vs DECL_NONTRIVIALLY_INITIALIZED_P).
990
991 2018-01-18 Jason Merrill <jason@redhat.com>
992
993 PR c++/82461 - constexpr list-initialized member
994 * constexpr.c (potential_constant_expression_1): Check
995 TARGET_EXPR_DIRECT_INIT_P.
996
997 2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
998
999 PR c++/81013
1000 * decl.c (xref_basetypes): Early return upon error about derived
1001 union.
1002
1003 2018-01-18 Nathan Sidwell <nathan@acm.org>
1004
1005 PR c++/83160
1006 * cp-tree.h (mark_use): Declare.
1007 * expr.c (mark_use): Make extern.
1008 * call.c (direct_reference_binding): Set inner conv's
1009 rvaluedness_matches_p, if it is an identity.
1010 (convert_like_real): Mark lvalue or rvalue use for identity as
1011 rvaledness_matches_p demands.
1012
1013 2018-01-18 Jakub Jelinek <jakub@redhat.com>
1014
1015 PR c++/83824
1016 * parser.c (attr_chainon): New function.
1017 (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
1018 cp_parser_namespace_definition, cp_parser_init_declarator,
1019 cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
1020 cp_parser_gnu_attributes_opt): Use it.
1021 (cp_parser_member_declaration, cp_parser_objc_class_ivars,
1022 cp_parser_objc_struct_declaration): Likewise. Don't reset
1023 prefix_attributes if attributes is error_mark_node.
1024
1025 2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
1026
1027 PR c++/78344
1028 * decl.c (grokdeclarator): Do not append the error_mark_node
1029 due to an erroneous optional attribute-specifier-seq.
1030
1031 2018-01-17 Jakub Jelinek <jakub@redhat.com>
1032
1033 PR c++/83897
1034 * cp-gimplify.c (cp_maybe_instrument_return): Handle
1035 CLEANUP_POINT_EXPR.
1036
1037 2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
1038
1039 PR c++/81054
1040 * constexpr.c (ensure_literal_type_for_constexpr_object): Return
1041 error_mark_node when we give an error.
1042 * decl.c (cp_finish_decl): Use the latter.
1043
1044 2018-01-17 Nathan Sidwell <nathan@acm.org>
1045
1046 PR c++/83287
1047 * init.c (build_raw_new_expr): Scan list for lookups to keep.
1048
1049 2018-01-17 David Malcolm <dmalcolm@redhat.com>
1050
1051 PR c++/83814
1052 * expr.c (fold_for_warn): Move from c-common.c, reducing to just
1053 the C++ part. If processing a template, call
1054 fold_non_dependent_expr rather than fully folding.
1055
1056 2018-01-17 Jason Merrill <jason@redhat.com>
1057
1058 PR c++/81067 - redundant NULL warning.
1059 * call.c (convert_like_real): Restore null_node handling.
1060
1061 2018-01-17 Jason Merrill <jason@redhat.com>
1062
1063 PR c++/81843 - ICE with variadic member template.
1064 PR c++/72801
1065 * pt.c (unify_pack_expansion): Don't try to deduce enclosing
1066 template args.
1067
1068 2018-01-17 David Malcolm <dmalcolm@redhat.com>
1069
1070 PR c++/83799
1071 * pt.c (type_dependent_expression_p): Strip any location wrapper
1072 before testing tree codes.
1073 (selftest::test_type_dependent_expression_p): New function.
1074 (selftest::cp_pt_c_tests): Call it.
1075
1076 2018-01-17 Nathan Sidwell <nathan@acm.org>
1077
1078 PR c++/83739
1079 * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
1080 this not a final instantiation.
1081
1082 2018-01-16 Jason Merrill <jason@redhat.com>
1083
1084 PR c++/83714 - ICE checking return in template.
1085 * typeck.c (check_return_expr): Call build_non_dependent_expr.
1086
1087 2018-01-16 Jakub Jelinek <jakub@redhat.com>
1088
1089 PR c++/83817
1090 * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
1091 is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
1092 instead of CALL_FROM_THUNK_P.
1093
1094 PR c++/83825
1095 * name-lookup.c (member_vec_dedup): Return early if len is 0.
1096 (resort_type_member_vec, set_class_bindings,
1097 insert_late_enum_def_bindings): Use vec qsort method instead of
1098 calling qsort directly.
1099
1100 2018-01-15 Martin Sebor <msebor@redhat.com>
1101
1102 PR c++/83588
1103 * class.c (find_flexarrays): Make a record of multiple flexible array
1104 members.
1105
1106 2018-01-12 Jason Merrill <jason@redhat.com>
1107
1108 PR c++/83186 - ICE with static_cast of list-initialized temporary.
1109 * typeck.c (build_static_cast): Use build_non_dependent_expr.
1110
1111 2018-01-12 Nathan Sidwell <nathan@acm.org>
1112
1113 * cp-tree.h (mark_rvalue_use): Add parm name.
1114 * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
1115 mark_rvalue_use.
1116 * call.c (convert_like_real): Fix formatting.
1117
1118 2018-01-11 Jason Merrill <jason@redhat.com>
1119
1120 PR c++/82728 - wrong -Wunused-but-set-variable
1121 PR c++/82799
1122 PR c++/83690
1123 * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
1124 * decl.c (case_conversion): Likewise.
1125 * semantics.c (finish_static_assert): Call
1126 perform_implicit_conversion_flags.
1127
1128 2018-01-11 Nathan Sidwell <nathan@acm.org>
1129
1130 * method.c (enum mangling_flags): Delete long-dead enum.
1131
1132 2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
1133
1134 * parser.c (cp_parser_std_attribute_spec): When
1135 token_pair::require_open / require_close return false simply
1136 return error_mark_node, avoid duplicate cp_parser_error about
1137 expected '(' / ')', respectively.
1138
1139 2018-01-10 David Malcolm <dmalcolm@redhat.com>
1140
1141 PR c++/43486
1142 * call.c (null_ptr_cst_p): Strip location wrappers when
1143 converting from '0' to a pointer type in C++11 onwards.
1144 (conversion_null_warnings): Replace comparison with null_node with
1145 call to null_node_p.
1146 (build_over_call): Likewise.
1147 * cp-gimplify.c (cp_fold): Remove the early bailout when
1148 processing_template_decl.
1149 * cp-lang.c (selftest::run_cp_tests): Call
1150 selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
1151 * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
1152 (selftest::run_cp_tests): Move decl to bottom of file.
1153 (null_node_p): New inline function.
1154 (selftest::cp_pt_c_tests): New decl.
1155 (selftest::cp_tree_c_tests): New decl.
1156 * cvt.c (build_expr_type_conversion): Replace comparison with
1157 null_node with call to null_node_p.
1158 * error.c (args_to_string): Likewise.
1159 * except.c (build_throw): Likewise.
1160 * mangle.c (write_expression): Skip location wrapper nodes.
1161 * parser.c (literal_integer_zerop): New function.
1162 (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
1163 the result for RID_TYPEID. Pass true for new "wrap_locations_p"
1164 param of cp_parser_parenthesized_expression_list. When calling
1165 warn_for_memset, replace integer_zerop calls with
1166 literal_integer_zerop, eliminating the double logical negation
1167 cast to bool. Eliminate the special-casing for CONST_DECL in
1168 favor of the fold_for_warn within warn_for_memset.
1169 (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
1170 param, defaulting to false. Convert "expr" to a cp_expr, and call
1171 maybe_add_location_wrapper on it when wrap_locations_p is true.
1172 (cp_parser_unary_expression): Call maybe_add_location_wrapper on
1173 the result for RID_ALIGNOF and RID_SIZEOF.
1174 (cp_parser_builtin_offsetof): Likewise.
1175 * pt.c: Include "selftest.h".
1176 (tsubst_copy): Handle location wrappers.
1177 (tsubst_copy_and_build): Likewise.
1178 (build_non_dependent_expr): Likewise.
1179 (selftest::test_build_non_dependent_expr): New function.
1180 (selftest::cp_pt_c_tests): New function.
1181 * tree.c: Include "selftest.h".
1182 (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
1183 (selftest::test_lvalue_kind): New function.
1184 (selftest::cp_tree_c_tests): New function.
1185 * typeck.c (string_conv_p): Strip any location wrapper from "exp".
1186 (cp_build_binary_op): Replace comparison with null_node with call
1187 to null_node_p.
1188 (build_address): Use location of operand when building address
1189 expression.
1190
1191 2018-01-10 Marek Polacek <polacek@redhat.com>
1192
1193 PR c++/82541
1194 * call.c (build_conditional_expr_1): Check complain before warning.
1195 * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
1196 -Wduplicated-branches.
1197
1198 2018-01-10 Jakub Jelinek <jakub@redhat.com>
1199
1200 PR c++/81327
1201 * call.c (maybe_warn_class_memaccess): Add forward declaration.
1202 Change last argument from tree * to const vec<tree, va_gc> *, adjust
1203 args uses and check number of operands too. Don't strip away any
1204 nops. Use maybe_constant_value when looking for INTEGER_CST args.
1205 Deal with src argument not having pointer type. Check
1206 tree_fits_uhwi_p before calling tree_to_uhwi. Remove useless
1207 test.
1208 (build_over_call): Call maybe_warn_class_memaccess here on the
1209 original arguments.
1210 (build_cxx_call): Rather than here on converted arguments.
1211
1212 2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
1213
1214 PR c++/81055
1215 * init.c (build_vec_init): Avoid building an INIT_EXPR with
1216 error_mark_node as second argument.
1217
1218 2018-01-09 Jakub Jelinek <jakub@redhat.com>
1219
1220 PR c++/83734
1221 * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
1222 in STATEMENT_LIST. Remove unneeded assert.
1223
1224 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
1225 Alan Hayward <alan.hayward@arm.com>
1226 David Sherwood <david.sherwood@arm.com>
1227
1228 * constexpr.c (cxx_eval_array_reference): Handle polynomial
1229 VECTOR_CST_NELTS.
1230 (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
1231 * call.c (build_conditional_expr_1): Likewise.
1232 * decl.c (cp_finish_decomp): Likewise.
1233 * mangle.c (write_type): Likewise.
1234 * typeck.c (structural_comptypes): Likewise.
1235 (cp_build_binary_op): Likewise.
1236 * typeck2.c (process_init_constructor_array): Likewise.
1237
1238 2018-01-03 Jakub Jelinek <jakub@redhat.com>
1239
1240 PR c++/83555
1241 * typeck.c (build_static_cast_1): For static casts to reference types,
1242 call build_base_path with flag_delete_null_pointer_checks as nonnull
1243 instead of always false. When -fsanitize=null, call
1244 ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
1245 * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
1246 call if the first argument is INTEGER_CST with REFERENCE_TYPE.
1247
1248 2018-01-03 Nathan Sidwell <nathan@acm.org>
1249
1250 PR c++/83667
1251 * method.c (make_alias_for): Copy DECL_CONTEXT.
1252
1253 2018-01-03 Marek Polacek <polacek@redhat.com>
1254
1255 PR c++/83592
1256 * decl.c (grokdeclarator): Don't warn about MVP in typename context.
1257
1258 2018-01-03 Jakub Jelinek <jakub@redhat.com>
1259
1260 PR preprocessor/83602
1261 * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
1262 for builtin macros.
1263
1264 PR c++/83634
1265 * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
1266 error_mark_node, return error_mark_node.
1267
1268 Update copyright years.
1269
1270 2018-01-02 Jakub Jelinek <jakub@redhat.com>
1271
1272 PR c++/83556
1273 * tree.c (replace_placeholders_r): Pass NULL as last argument to
1274 cp_walk_tree instead of d->pset. If non-TREE_CONSTANT and
1275 non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
1276 to false and return.
1277 (replace_placeholders): Pass NULL instead of &pset as last argument
1278 to cp_walk_tree.
1279
1280 2018-01-02 Nathan Sidwell <nathan@acm.org>
1281
1282 * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
1283 lval var.
1284 \f
1285 Copyright (C) 2018 Free Software Foundation, Inc.
1286
1287 Copying and distribution of this file, with or without modification,
1288 are permitted in any medium without royalty provided the copyright
1289 notice and this notice are preserved.