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