]> git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/cp/ChangeLog
PR c++/89852 - ICE with C++11 functional cast with { }.
[thirdparty/gcc.git] / gcc / cp / ChangeLog
1 2019-03-31 Marek Polacek <polacek@redhat.com>
2
3 PR c++/89852 - ICE with C++11 functional cast with { }.
4 * constexpr.c (fold_non_dependent_expr_template): New static function
5 broken out of...
6 (fold_non_dependent_expr): ...here.
7 (fold_non_dependent_init): New function.
8 * cp-tree.h (fold_non_dependent_init): Declare.
9 * typeck2.c (massage_init_elt): Call fold_non_dependent_init instead
10 of fold_non_dependent_expr. Don't call maybe_constant_init.
11
12 2019-03-30 Jason Merrill <jason@redhat.com>
13
14 PR c++/89744 - ICE with specialization of member class template.
15 * pt.c (lookup_template_class_1): If the partial instantiation is
16 explicitly specialized, adjust.
17 (maybe_process_partial_specialization): Also adjust
18 CLASSTYPE_TI_ARGS.
19
20 2019-03-29 Jakub Jelinek <jakub@redhat.com>
21
22 PR sanitizer/89869
23 * typeck.c: Include gimplify.h.
24 (cp_build_modify_expr) <case COND_EXPR>: Unshare rhs before using it
25 for second time. Formatting fixes.
26
27 2019-03-29 Marek Polacek <polacek@redhat.com>
28
29 PR c++/89876 - ICE with deprecated conversion.
30 * call.c (convert_like_real): Only give warnings with tf_warning.
31
32 2019-03-28 Marek Polacek <polacek@redhat.com>
33
34 PR c++/89612 - ICE with member friend template with noexcept.
35 * pt.c (maybe_instantiate_noexcept): For function templates, use their
36 template result (function decl). Don't set up local specializations.
37 Temporarily turn on processing_template_decl. Update the template type
38 too.
39
40 PR c++/89836 - bool constant expression and explicit conversions.
41 * call.c (build_converted_constant_expr_internal): New function,
42 renamed from...
43 (build_converted_constant_expr): ...this. New.
44 (build_converted_constant_bool_expr): New.
45 * cp-tree.h (build_converted_constant_bool_expr): Declare.
46 * decl.c (build_explicit_specifier): Call
47 build_converted_constant_bool_expr.
48
49 2019-03-28 Jakub Jelinek <jakub@redhat.com>
50
51 PR c++/89785
52 * constexpr.c (struct check_for_return_continue_data): New type.
53 (check_for_return_continue): New function.
54 (potential_constant_expression_1) <case SWITCH_STMT>: Walk
55 SWITCH_STMT_BODY to find RETURN_EXPRs or CONTINUE_STMTs not nested
56 in loop bodies and set *jump_target to that if found.
57
58 2019-03-27 Jason Merrill <jason@redhat.com>
59
60 PR c++/89831 - error with qualified-id in const member function.
61 * semantics.c (finish_non_static_data_member): Use object cv-quals
62 in scoped case, too.
63
64 PR c++/89421 - ICE with lambda in template parameter list.
65 * parser.c (cp_parser_lambda_expression): Also reject a lambda in a
66 template parameter list before C++20.
67 * pt.c (type_dependent_expression_p): True for LAMBDA_EXPR.
68 * semantics.c (begin_class_definition): Restore error about defining
69 non-lambda class in template parm list.
70
71 2019-03-26 Jason Merrill <jason@redhat.com>
72
73 PR c++/86932 - missed SFINAE with empty pack.
74 * pt.c (coerce_template_parms): Don't add an empty pack if
75 tf_partial.
76 (fn_type_unification): Pass tf_partial to coerce_template_parms.
77
78 PR c++/86429 - constexpr variable in lambda.
79 PR c++/82643
80 PR c++/87327
81 * constexpr.c (cxx_eval_constant_expression): In a lambda function,
82 try evaluating the captured variable directly.
83
84 2019-03-26 Jakub Jelinek <jakub@redhat.com>
85
86 PR c++/89796
87 * semantics.c (finish_omp_atomic): Add warning_sentinel for
88 -Wunused-value around finish_expr_stmt call.
89
90 2019-03-25 Paolo Carlini <paolo.carlini@oracle.com>
91
92 PR c++/84661
93 PR c++/85013
94 * parser.c (cp_parser_binary_expression): Don't call cp_fully_fold
95 to undo the disabling of warnings.
96
97 2019-03-25 Jason Merrill <jason@redhat.com>
98
99 PR c++/87748 - substitution failure error with decltype.
100 * pt.c (most_specialized_partial_spec): Clear
101 processing_template_decl.
102
103 2019-03-25 Marek Polacek <polacek@redhat.com>
104
105 PR c++/89214 - ICE when initializing aggregates with bases.
106 * typeck2.c (digest_init_r): Warn about object slicing instead of
107 crashing.
108
109 PR c++/89705 - ICE with reference binding with conversion function.
110 * call.c (reference_binding): If the result of the conversion function
111 is a prvalue of non-class type, use the cv-unqualified type.
112
113 2019-03-25 Nathan Sidwell <nathan@acm.org>
114
115 * lambda.c (maybe_add_lambda_conv_op): Don't add to comdat group.
116
117 2019-03-22 Jakub Jelinek <jakub@redhat.com>
118
119 PR c++/60702
120 * cp-tree.h (get_tls_wrapper_fn): Remove declaration.
121 (maybe_get_tls_wrapper_call): Declare.
122 * decl2.c (get_tls_wrapper_fn): Make static.
123 (maybe_get_tls_wrapper_call): New function.
124 * typeck.c (build_class_member_access_expr): Handle accesses to TLS
125 variables.
126 * semantics.c (finish_qualified_id_expr): Likewise.
127 (finish_id_expression_1): Use maybe_get_tls_wrapper_call.
128 * pt.c (tsubst_copy_and_build): Likewise.
129
130 PR c++/87481
131 * constexpr.c (struct constexpr_ctx): Add constexpr_ops_count member.
132 (cxx_eval_constant_expression): When not skipping, not constant class
133 or location wrapper, increment *ctx->constexpr_ops_count and if it is
134 above constexpr_loop_nest_limit, diagnose failure.
135 (cxx_eval_outermost_constant_expr): Add constexpr_ops_count and
136 initialize ctx.constexpr_ops_count to its address.
137 (is_sub_constant_expr): Likewise.
138
139 2019-03-21 Jakub Jelinek <jakub@redhat.com>
140
141 PR c++/71446
142 * call.c (filed_in_pset): Change pset from hash_set<tree> * to
143 hash_set<tree, true> &, adjust uses accordingly.
144 (build_aggr_conv): Change pset from hash_set<tree> *
145 to hash_set<tree, true>. Replace goto fail; with return NULL;,
146 adjust pset uses.
147
148 PR c++/89767
149 * parser.c (cp_parser_lambda_introducer): Add ids and first_capture_id
150 variables, check for duplicates in this function.
151 * lambda.c (add_capture): Don't check for duplicates nor use
152 IDENTIFIER_MARKED.
153 (register_capture_members): Don't clear IDENTIFIER_MARKED here.
154
155 2019-03-21 Paolo Carlini <paolo.carlini@oracle.com>
156
157 PR c++/89571
158 * method.c (after_nsdmi_defaulted_late_checks): Avoid passing
159 error_mark_node to comp_except_specs.
160
161 2019-03-20 Jason Merrill <jason@redhat.com>
162
163 PR c++/87480 - decltype of member access in default template arg
164 * pt.c (type_unification_real): Accept a dependent result in
165 template context.
166
167 2019-03-19 Martin Sebor <msebor@redhat.com>
168
169 PR tree-optimization/89688
170 * typeck2.c (store_init_value): Call braced_lists_to_string for more
171 kinds of initializers.
172
173 2019-03-18 Jason Merrill <jason@redhat.com>
174
175 PR c++/89630 - ICE with dependent using-decl as template arg.
176 * tree.c (cp_tree_equal): Always return false for USING_DECL.
177
178 PR c++/89761 - ICE with sizeof... in pack expansion.
179 * pt.c (argument_pack_element_is_expansion_p): Handle
180 ARGUMENT_PACK_SELECT.
181
182 PR c++/89640 - GNU attributes on lambda.
183 * parser.c (cp_parser_lambda_declarator_opt): Allow GNU attributes.
184
185 PR c++/89682 - wrong access error in default argument.
186 * pt.c (tsubst_default_argument): Don't defer access checks.
187
188 2019-03-18 Paolo Carlini <paolo.carlini@oracle.com>
189
190 PR c++/85014
191 * semantics.c (finish_non_static_data_member): Check return value
192 of context_for_name_lookup and immediately return error_mark_node
193 if isn't a type.
194
195 2019-03-17 Jason Merrill <jason@redhat.com>
196
197 PR c++/89571 - ICE with ill-formed noexcept on constructor.
198 * pt.c (maybe_instantiate_noexcept): Only return false if defaulted.
199 (regenerate_decl_from_template): Use it for noexcept-specs.
200
201 2019-03-14 Jason Merrill <jason@redhat.com>
202
203 * parser.c (cp_parser_decl_specifier_seq): Support C++20
204 concept-definition syntax without 'bool'.
205
206 2019-03-14 Jakub Jelinek <jakub@redhat.com>
207
208 PR c++/89512
209 * semantics.c (finish_qualified_id_expr): Reject variable templates.
210
211 PR c++/89652
212 * constexpr.c (struct constexpr_ctx): Change save_exprs type from
213 hash_set<tree> to vec<tree>.
214 (cxx_eval_call_expression): Adjust for save_exprs being a vec instead
215 of hash_set.
216 (cxx_eval_loop_expr): Likewise. Truncate the vector after each
217 removal of SAVE_EXPRs from values.
218 (cxx_eval_constant_expression) <case SAVE_EXPR>: Call safe_push
219 method on save_exprs instead of add.
220
221 2019-03-13 Jason Merrill <jason@redhat.com>
222
223 PR c++/86521 - C++17 copy elision in initialization by constructor.
224 * call.c (joust_maybe_elide_copy): New.
225 (joust): Call it.
226
227 2019-03-13 Marek Polacek <polacek@redhat.com>
228
229 PR c++/88979 - further P0634 fix for constructors.
230 * parser.c (cp_parser_decl_specifier_seq): Pass flags to
231 cp_parser_constructor_declarator_p.
232 (cp_parser_direct_declarator): Allow missing typename for constructor
233 parameters.
234 (cp_parser_constructor_declarator_p): Add FLAGS parameter. Pass it to
235 cp_parser_type_specifier.
236
237 PR c++/89686 - mixing init-capture and simple-capture in lambda.
238 * parser.c (cp_parser_lambda_introducer): Give error when combining
239 init-capture and simple-capture.
240
241 PR c++/89660 - bogus error with -Wredundant-move.
242 * typeck.c (maybe_warn_pessimizing_move): Only accept (T &) &arg
243 as the std::move's argument. Don't call convert_for_initialization
244 when warn_redundant_move isn't on.
245
246 2019-03-11 Jason Merrill <jason@redhat.com>
247
248 PR c++/86521 - wrong overload resolution with ref-qualifiers.
249 * call.c (build_user_type_conversion_1): Don't use a conversion to a
250 reference of the wrong rvalueness for direct binding.
251
252 2019-03-11 Martin Liska <mliska@suse.cz>
253
254 * cvt.c (build_expr_type_conversion): Wrap apostrophes
255 in gcc internal format with %'.
256 * decl.c (check_no_redeclaration_friend_default_args): Likewise.
257 (grokfndecl): Likewise.
258 * name-lookup.c (do_pushtag): Likewise.
259 * pt.c (unify_parameter_deduction_failure): Likewise.
260 (unify_template_deduction_failure): Likewise.
261
262 2019-03-11 Martin Liska <mliska@suse.cz>
263
264 * call.c (convert_arg_to_ellipsis): Wrap an option name
265 in a string format message and fix GNU coding style.
266 (build_over_call): Likewise.
267 * class.c (check_field_decl): Likewise.
268 (layout_nonempty_base_or_field): Likewise.
269 * constexpr.c (cxx_eval_loop_expr): Likewise.
270 * cvt.c (type_promotes_to): Likewise.
271 * decl.c (cxx_init_decl_processing): Likewise.
272 (mark_inline_variable): Likewise.
273 (grokdeclarator): Likewise.
274 * decl2.c (record_mangling): Likewise.
275 * error.c (maybe_warn_cpp0x): Likewise.
276 * except.c (doing_eh): Likewise.
277 * mangle.c (maybe_check_abi_tags): Likewise.
278 * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
279 (cp_parser_userdef_numeric_literal): Likewise.
280 (cp_parser_primary_expression): Likewise.
281 (cp_parser_unqualified_id): Likewise.
282 (cp_parser_pseudo_destructor_name): Likewise.
283 (cp_parser_builtin_offsetof): Likewise.
284 (cp_parser_lambda_expression): Likewise.
285 (cp_parser_lambda_introducer): Likewise.
286 (cp_parser_lambda_declarator_opt): Likewise.
287 (cp_parser_selection_statement): Likewise.
288 (cp_parser_init_statement): Likewise.
289 (cp_parser_decomposition_declaration): Likewise.
290 (cp_parser_function_specifier_opt): Likewise.
291 (cp_parser_static_assert): Likewise.
292 (cp_parser_simple_type_specifier): Likewise.
293 (cp_parser_namespace_definition): Likewise.
294 (cp_parser_using_declaration): Likewise.
295 (cp_parser_ctor_initializer_opt_and_function_body): Likewise.
296 (cp_parser_initializer_list): Likewise.
297 (cp_parser_type_parameter_key): Likewise.
298 (cp_parser_member_declaration): Likewise.
299 (cp_parser_try_block): Likewise.
300 (cp_parser_std_attribute_spec): Likewise.
301 (cp_parser_requires_clause_opt): Likewise.
302 * pt.c (check_template_variable): Likewise.
303 (check_default_tmpl_args): Likewise.
304 (push_tinst_level_loc): Likewise.
305 (instantiate_pending_templates): Likewise.
306 (invalid_nontype_parm_type_p): Likewise.
307 * repo.c (get_base_filename): Likewise.
308 * rtti.c (typeid_ok_p): Likewise.
309 (build_dynamic_cast_1): Likewise.
310 * tree.c (maybe_warn_parm_abi): Likewise.
311
312 2019-03-08 Jakub Jelinek <jakub@redhat.com>
313
314 PR other/80058
315 * parser.c (cp_parser_template_declaration_after_parameters): Avoid
316 one space before " at the end of line and another after " on another
317 line in a string literal.
318
319 PR tree-optimization/89550
320 * semantics.c (maybe_convert_cond): Only set TREE_NO_WARNING if
321 warning_at returned true.
322 * decl2.c (c_parse_final_cleanups): Likewise.
323 * typeck.c (convert_for_assignment): Likewise.
324 * decl.c (finish_function): Likewise.
325
326 PR c++/89585
327 * parser.c (cp_parser_asm_definition): Just warn instead of error
328 on volatile qualifier outside of function body.
329
330 PR c++/89599
331 * constexpr.c (potential_constant_expression_1): Reject
332 REINTERPRET_CAST_P NOP_EXPRs.
333
334 PR c++/89622
335 * call.c (joust): Call print_z_candidate only if pedwarn returned
336 true.
337
338 2019-03-07 Jason Merrill <jason@redhat.com>
339
340 PR c++/88123 - lambda and using-directive.
341 * name-lookup.c (op_unqualified_lookup)
342 (maybe_save_operator_binding, discard_operator_bindings)
343 (push_operator_bindings): New.
344 * typeck.c (build_x_binary_op, build_x_unary_op): Call
345 maybe_save_operator_binding.
346 * decl.c (start_preparsed_function): Call push_operator_bindings.
347 * tree.c (cp_free_lang_data): Call discard_operator_bindings.
348
349 PR c++/88820 - ICE with CTAD and member template used in DMI.
350 * pt.c (do_class_deduction): Handle parm used as its own arg.
351
352 2019-03-07 Jakub Jelinek <jakub@redhat.com>
353
354 PR c++/89585
355 * parser.c (cp_parser_asm_definition): Parse asm qualifiers even
356 at toplevel, but diagnose them.
357
358 2019-03-06 Jason Merrill <jason@redhat.com>
359
360 PR c++/89381 - implicit copy and using-declaration.
361 * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider
362 op= brought in by a using-declaration.
363
364 2019-03-06 Jakub Jelinek <jakub@redhat.com>
365
366 PR c++/87148
367 * init.c (build_value_init_noctor): Ignore flexible array members.
368
369 2019-03-06 Jason Merrill <jason@redhat.com>
370
371 PR c++/89576 - if constexpr of lambda capture.
372 * semantics.c (maybe_convert_cond): Do convert a non-dependent
373 condition in a template.
374 * typeck.c (condition_conversion): Handle being called in a
375 template.
376
377 2019-03-06 Marek Polacek <polacek@redhat.com>
378
379 PR c++/87378 - bogus -Wredundant-move warning.
380 * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue
381 overload resolution would actually succeed.
382
383 2019-03-05 Jason Merrill <jason@redhat.com>
384
385 * class.c (is_really_empty_class): Add ignore_vptr parm.
386 (trivial_default_constructor_is_constexpr): Pass it.
387 * call.c (build_over_call): Pass it.
388 * constexpr.c (cxx_eval_constant_expression): Pass it instead of
389 checking TYPE_POLYMORPHIC_P.
390 (cxx_eval_component_reference, potential_constant_expression_1):
391 Pass it.
392 * cp-gimplify.c (simple_empty_class_p): Pass it.
393 * init.c (expand_aggr_init_1): Pass it.
394
395 2019-03-04 Paolo Carlini <paolo.carlini@oracle.com>
396
397 PR c++/84605
398 * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too.
399
400 2019-03-04 Jakub Jelinek <jakub@redhat.com>
401
402 PR c++/71446
403 * call.c (field_in_pset): New function.
404 (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly.
405
406 2019-03-02 Jakub Jelinek <jakub@redhat.com>
407
408 PR c++/71446
409 * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define.
410 * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list
411 caller, set CONSTRUCTOR_IS_DESIGNATED_INIT.
412 (cp_parser_initializer_list): Add designated parameter, set *designated
413 to a bool whether any designators were parsed.
414 * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if
415 needed.
416 * pt.c (tsubst_copy_and_build): Likewise.
417 * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT,
418 don't call build_list_conv, nor build_complex_conv, nor attempt to
419 convert a single element initializer to scalar.
420
421 2019-03-01 Marek Polacek <polacek@redhat.com>
422
423 PR c++/89537 - missing location for error with non-static member fn.
424 * call.c (resolve_args): Use EXPR_LOCATION.
425 * typeck.c (build_class_member_access_expr): Use input_location.
426
427 PR c++/89532 - ICE with incomplete type in decltype.
428 * semantics.c (finish_compound_literal): Return error_mark_node
429 if digest_init_flags returns error_mark_node.
430
431 2019-03-01 Jakub Jelinek <jakub@redhat.com>
432
433 Implement P1002R1, Try-catch blocks in constexpr functions
434 PR c++/89513
435 * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
436 Diagnose constexpr ctor or function with function-try-block with
437 pedwarn for c++17 and earlier. Formatting fix.
438 (cp_parser_try_block): Use pedwarn instead of error and only for
439 c++17 and earlier when try block appears in constexpr function.
440 * constexpr.c (build_constexpr_constructor_member_initializers):
441 Handle TRY_BLOCK here instead of erroring on it.
442
443 2019-02-28 Jason Merrill <jason@redhat.com>
444
445 PR c++/88183 - ICE with .* fold-expression.
446 * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling.
447
448 PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
449 * class.c, lambda.c, pt.c: Revert earlier change.
450 * lambda.c (add_capture): Don't special-case capture of dependent
451 VLA.
452
453 * name-lookup.c (print_binding_level): Print this_entity.
454
455 2019-02-27 Marek Polacek <polacek@redhat.com>
456
457 PR c++/88857 - ICE with value-initialization of argument in template.
458 * call.c (convert_like_real): Don't call build_value_init in template.
459
460 2019-02-27 Jason Merrill <jason@redhat.com>
461
462 PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
463 * semantics.c (process_outer_var_ref): Do capture dependent vars.
464 * class.c (finish_struct): Only add TAG_DEFN if T is in
465 current_function_decl.
466 * lambda.c (vla_capture_type): Force the capture type out into the
467 lambda's enclosing function.
468 (add_capture): Pass in the lambda.
469 * pt.c (tsubst_lambda_expr): complete_type a VLA capture type.
470
471 2019-02-27 Marek Polacek <polacek@redhat.com>
472
473 PR c++/89511 - ICE with using-declaration and unscoped enumerator.
474 * parser.c (cp_parser_using_declaration): For an unscoped enum
475 only use its context if it's not a function declaration.
476
477 2019-02-27 Paolo Carlini <paolo.carlini@oracle.com>
478
479 PR c++/89488
480 * method.c (process_subob_fn): When maybe_instantiate_noexcept
481 returns false don't call merge_exception_specifiers.
482
483 2019-02-27 Paolo Carlini <paolo.carlini@oracle.com>
484
485 PR c++/88987
486 * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE
487 for a non-constant parsed expression.
488
489 2019-02-26 Jakub Jelinek <jakub@redhat.com>
490
491 PR c++/89481
492 * constexpr.c (cxx_eval_store_expression): When changing active union
493 member, set no_zero_init.
494
495 2019-02-23 Marek Polacek <polacek@redhat.com>
496
497 PR c++/88294 - ICE with non-constant noexcept-specifier.
498 * pt.c (maybe_instantiate_noexcept): Set up the list of local
499 specializations. Set current_class_{ptr,ref}.
500
501 2019-02-22 David Malcolm <dmalcolm@redhat.com>
502
503 PR c++/89390
504 * parser.c (cp_parser_unqualified_id): Capture and use locations
505 for destructors.
506
507 2019-02-22 Marek Polacek <polacek@redhat.com>
508
509 PR c++/89420 - ICE with CAST_EXPR in explicit-specifier.
510 * decl.c (build_explicit_specifier): Don't check
511 processing_template_decl. Call instantiation_dependent_expression_p
512 instead of value_dependent_expression_p. Call
513 instantiate_non_dependent_expr_sfinae before
514 build_converted_constant_expr instead of calling
515 instantiate_non_dependent_expr after it. Add
516 processing_template_decl_sentinel.
517
518 2019-02-22 Thomas Schwinge <thomas@codesourcery.com>
519
520 * parser.c (cp_parser_oacc_simple_clause): Remove parser formal
521 parameter, move loc formal parameter to the front. Adjust all
522 users.
523 (cp_parser_oacc_shape_clause): Add loc formal parameter. Adjust
524 all users.
525
526 2019-02-21 Jason Merrill <jason@redhat.com>
527
528 PR c++/87685 - generic lambda 'this' capture error.
529 * lambda.c (lambda_expr_this_capture): Change add_capture_p to int.
530 (maybe_generic_this_capture): Pass -1.
531
532 PR c++/88394 - ICE with VLA init-capture.
533 * lambda.c (is_normal_capture_proxy): Check DECL_CAPTURED_VARIABLE.
534
535 PR c++/88869 - C++17 ICE with CTAD and explicit specialization.
536 * pt.c (do_class_deduction): Don't include explicit specialization
537 args in outer_args.
538
539 PR c++/89422 - ICE with -g and lambda in default arg in template.
540 * pt.c (tsubst_function_decl): SET_DECL_FRIEND_CONTEXT sooner.
541
542 2019-02-21 Jason Merrill <jason@redhat.com>
543
544 PR c++/88419 - C++17 ICE with class template arg deduction.
545 * pt.c (make_template_placeholder): Set TYPE_CANONICAL after
546 CLASS_PLACEHOLDER_TEMPLATE.
547
548 2019-02-21 Jakub Jelinek <jakub@redhat.com>
549
550 PR c++/89285
551 * constexpr.c (struct constexpr_fundef): Add parms and result members.
552 (retrieve_constexpr_fundef): Adjust for the above change.
553 (register_constexpr_fundef): Save constexpr body with copy_fn,
554 temporarily set DECL_CONTEXT on DECL_RESULT before that.
555 (get_fundef_copy): Change FUN argument to FUNDEF with
556 constexpr_fundef * type, grab body and parms/result out of
557 constexpr_fundef struct and temporarily change it for copy_fn calls
558 too.
559 (cxx_eval_builtin_function_call): For __builtin_FUNCTION temporarily
560 adjust current_function_decl from ctx->call context. Test
561 !potential_constant_expression instead of !is_constant_expression.
562 (cxx_bind_parameters_in_call): Grab parameters from new_call. Undo
563 convert_for_arg_passing changes for TREE_ADDRESSABLE type passing.
564 (cxx_eval_call_expression): Adjust get_fundef_copy caller.
565 (cxx_eval_conditional_expression): For IF_STMT, allow then or else
566 operands to be NULL.
567 (label_matches): Handle BREAK_STMT and CONTINUE_STMT.
568 (cxx_eval_loop_expr): Add support for FOR_STMT, WHILE_STMT and DO_STMT.
569 (cxx_eval_switch_expr): Add support for SWITCH_STMT.
570 (cxx_eval_constant_expression): Handle IF_STMT, FOR_STMT, WHILE_STMT,
571 DO_STMT, CONTINUE_STMT, SWITCH_STMT, BREAK_STMT and CONTINUE_STMT.
572 For SIZEOF_EXPR, recurse on the result of fold_sizeof_expr. Ignore
573 DECL_EXPR with USING_DECL operand.
574 * lambda.c (maybe_add_lambda_conv_op): Build thisarg using
575 build_int_cst to make it a valid constant expression.
576
577 2019-02-20 Jason Merrill <jason@redhat.com>
578
579 PR c++/88690 - C++17 ICE with empty base in aggregate.
580 * typeck2.c (process_init_constructor_record): Skip trivial
581 initialization of an empty base.
582
583 2019-02-21 Richard Biener <rguenther@suse.de>
584
585 PR middle-end/89392
586 * vtable-class-hierarchy.c (vtv_generate_init_routine): Do not
587 make symtab process new functions here.
588
589 2019-02-20 Jason Merrill <jason@redhat.com>
590
591 PR c++/87921 - wrong error with inline static data member.
592 * decl2.c (finish_static_data_member_decl): Don't set DECL_IN_AGGR_P
593 for a non-template inline variable. Do nothing for an
594 already-instantiated variable.
595 (c_parse_final_cleanups): Check DECL_IN_AGGR_P without
596 DECL_INLINE_VAR_P.
597 * decl.c (check_initializer): Likewise.
598 (make_rtl_for_nonlocal_decl): Likewise.
599 * pt.c (instantiate_decl): Likewise.
600 * typeck2.c (store_init_value): Likewise.
601
602 2019-02-20 Jakub Jelinek <jakub@redhat.com>
603
604 PR c++/89403
605 * decl2.c (c_parse_final_cleanups): Move TREE_ASM_WRITTEN setting
606 for flag_syntax_only from here...
607 * semantics.c (expand_or_defer_fn_1): ... here.
608
609 PR c++/89405
610 * decl.c (maybe_commonize_var): When clearing TREE_PUBLIC and
611 DECL_COMMON, set DECL_INTERFACE_KNOWN.
612
613 PR c++/89336
614 * constexpr.c (cxx_eval_store_expression): Diagnose changing of active
615 union member for -std=c++17 and earlier.
616
617 2019-02-19 Jason Merrill <jason@redhat.com>
618
619 PR c++/87513 - 'sorry' mangling PMF template-id.
620 * mangle.c (write_expression): Handle SCOPE_REF to BASELINK.
621
622 2019-02-19 Jason Merrill <jason@redhat.com>
623
624 PR c++/88380 - wrong-code with flexible array and NSDMI.
625 * typeck2.c (process_init_constructor_record): Skip flexarrays.
626
627 2019-02-20 will wray <wjwray@gmail.com>
628
629 PR c++/88572 - wrong handling of braces on scalar init.
630 * decl.c (reshape_init_r): Allow braces around scalar initializer
631 within aggregate init. Reject double braced-init of scalar
632 variable.
633
634 2019-02-20 Paolo Carlini <paolo.carlini@oracle.com>
635
636 PR c++/84536
637 * pt.c (tsubst_init): Diagnose an initializer expanding to an
638 empty list of expressions; tweak wrt dependent types.
639 (regenerate_decl_from_template): For VAR_DECLs call tsubst_init
640 instead of tsubst_expr.
641
642 2019-02-19 Jason Merrill <jason@redhat.com>
643
644 PR c++/88368 - wrong 'use of deleted function'
645 * method.c (walk_field_subobs): Remember errors from get_nsdmi.
646 (get_defaulted_eh_spec): Call push_tinst_level.
647 * pt.c (maybe_instantiate_noexcept): Keep error_mark_node.
648 * typeck2.c (merge_exception_specifiers): Handle error_mark_node.
649
650 2019-02-19 Chung-Lin Tang <cltang@codesourcery.com>
651
652 PR c/87924
653 * parser.c (cp_parser_oacc_clause_wait): Add representation of wait
654 clause without argument as 'wait (GOMP_ASYNC_NOVAL)', adjust comments.
655
656 2019-02-19 Jakub Jelinek <jakub@redhat.com>
657
658 PR c++/89387
659 * lambda.c (maybe_generic_this_capture): Don't check
660 DECL_NONSTATIC_MEMBER_FUNCTION_P on USING_DECLs.
661
662 PR c++/89391
663 * typeck.c (build_reinterpret_cast_1): Don't handle void to
664 && conversion go through build_target_expr_with_type.
665
666 PR c++/89390
667 * error.c (qualified_name_lookup_error): Only call
668 suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE.
669
670 2019-02-19 Tom Honermann <tom@honermann.net>
671
672 * name-lookup.c (get_std_name_hint): Added u8string as a name hint.
673
674 2019-02-18 Jason Merrill <jason@redhat.com>
675
676 PR c++/89336 - multiple stores in constexpr stmt.
677 * constexpr.c (cxx_eval_store_expression): Preevaluate scalar or
678 assigned value.
679
680 * pt.c (check_explicit_specialization): If the declarator is a
681 template-id, only check whether the arguments are dependent.
682
683 Improve duplicate [[likely]] diagnostic.
684 * parser.c (cp_parser_statement): Make attrs_loc a range. Pass it
685 to process_stmt_hotness_attribute.
686 * cp-gimplify.c (process_stmt_hotness_attribute): Take attrs_loc.
687 (genericize_if_stmt): Use likely/unlikely instead of predictor_name.
688
689 2019-02-17 Marek Polacek <polacek@redhat.com>
690
691 PR c++/89217 - ICE with list-initialization in range-based for loop.
692 * constexpr.c (unshare_constructor): No longer static.
693 * cp-tree.h (unshare_constructor): Declare.
694 * semantics.c (finish_compound_literal): When dealing with a
695 non-dependent expression in a template, return the original
696 expression. Pass LOOKUP_NO_NARROWING to digest_init_flags.
697
698 2019-02-13 Marek Polacek <polacek@redhat.com>
699
700 PR c++/89297 - ICE with OVERLOAD in template.
701 * semantics.c (finish_compound_literal): Call
702 instantiate_non_dependent_expr_sfinae.
703
704 2019-02-13 Alexandre Oliva <aoliva@redhat.com>
705
706 PR c++/86379
707 * cp-tree.h (USING_DECL_SCOPE): Use result rather than type.
708 * name-lookup.c (strip_using_decl): Use USING_DECL_SCOPE.
709 * search.c (protected_accessible_p): Follow USING_DECL_DECLS.
710 (shared_member_p): Likewise.
711 (lookup_member): Likewise.
712 * decl.c (grok_special_member_properties): Skip USING_DECLs.
713 * semantics.c (finish_omp_declare_simd_methods): Likewise.
714 (finish_qualified_id_expr): Do not call shared_member_p with
715 a dependent expr.
716
717 PR c++/87322
718 * pt.c (tsubst_lambda_expr): Avoid duplicate tsubsting.
719 Move cp_evaluated resetting before signature tsubsting.
720 (gen_elem_of_pack_expansion_instantiation): Separate local
721 specializations per index.
722
723 2019-02-13 David Malcolm <dmalcolm@redhat.com>
724
725 PR c++/89036
726 * class.c (add_method): Drop destructor assertion.
727
728 2019-02-13 Paolo Carlini <paolo.carlini@oracle.com>
729
730 PR c++/88986
731 * decl.c (make_typename_type): Allow for TYPE_PACK_EXPANSION as
732 context (the first argument).
733 * pt.c (tsubst, case TYPENAME_TYPE): Handle TYPE_PACK_EXPANSION
734 as context.
735
736 2019-02-12 Jason Merrill <jason@redhat.com>
737
738 PR c++/89144 - link error with constexpr initializer_list.
739 * call.c (convert_like_real) [ck_list]: Don't allocate a temporary
740 array for an empty list.
741 * typeck2.c (store_init_value): Don't use cxx_constant_init in a
742 template.
743
744 2019-02-11 Jason Merrill <jason@redhat.com>
745
746 PR c++/89241 - ICE with __func__ in lambda in template.
747 * pt.c (enclosing_instantiation_of): Also check
748 instantiated_lambda_fn_p for the template context.
749
750 2019-02-11 Marek Polacek <polacek@redhat.com>
751
752 PR c++/89212 - ICE converting nullptr to pointer-to-member-function.
753 * pt.c (tsubst_copy_and_build) <case CONSTRUCTOR>: Return early for
754 null member pointer value.
755
756 2019-02-11 Jakub Jelinek <jakub@redhat.com>
757
758 PR c++/88977
759 * pt.c (convert_nontype_argument): Pass true as manifestly_const_eval
760 to maybe_constant_value calls.
761
762 2019-02-11 Marek Polacek <polacek@redhat.com>
763
764 * typeck2.c (digest_init_r): Remove commented code.
765
766 2019-02-11 Martin Sebor <msebor@redhat.com>
767
768 PR c++/87996
769 * decl.c (compute_array_index_type_loc): Preserve signed sizes
770 for diagnostics. Call valid_array_size_p instead of error.
771 * init.c (build_new_1): Compute size for diagnostic. Call
772 invalid_array_size_error
773 (build_new): Call valid_array_size_p instead of error.
774
775 2019-02-07 Alexandre Oliva <aoliva@redhat.com>
776
777 PR c++/86218
778 * call.c (compare_ics): Deal with ck_aggr in either cs.
779
780 2019-02-06 David Malcolm <dmalcolm@redhat.com>
781
782 PR c++/71302
783 * call.c (get_location_for_expr_unwinding_for_system_header): New
784 function.
785 (conversion_null_warnings): Use it when getting locations for
786 EXPR, effectively adding a call to
787 get_location_for_expr_unwinding_for_system_header for
788 -Wconversion-null and making use of EXPR_LOCATION for
789 -Wzero-as-null-pointer-constant.
790
791 2019-02-05 Jakub Jelinek <jakub@redhat.com>
792
793 PR c++/89187
794 * optimize.c (maybe_thunk_body): Clear TREE_ADDRESSABLE on
795 PARM_DECLs of the thunk.
796 * lambda.c (maybe_add_lambda_conv_op): Likewise.
797
798 2019-02-05 Marek Polacek <polacek@redhat.com>
799
800 PR c++/89158 - by-value capture of constexpr variable broken.
801 * call.c (convert_like_real) <case ck_user>: Call mark_exp_read
802 instead of mark_rvalue_use.
803
804 2019-02-05 Alexandre Oliva <aoliva@redhat.com>
805
806 PR c++/87770
807 * pt.c (instantiates_primary_template_p): New.
808 (type_dependent_expression_p): Use it.
809
810 2019-02-01 Jason Merrill <jason@redhat.com>
811
812 PR c++/88761 - ICE with reference capture of constant.
813 * lambda.c (mark_const_cap_r): Do walk subtrees of DECL_EXPR for
814 non-proxy decls.
815
816 2019-02-01 Marek Polacek <polacek@redhat.com>
817
818 PR c++/88325 - ICE with invalid out-of-line template member definition.
819 * parser.c (cp_parser_class_name): Don't call make_typename_type
820 for overloads.
821
822 2019-02-01 Jakub Jelinek <jakub@redhat.com>
823
824 PR c++/87175
825 * parser.c (cp_parser_gnu_attributes_opt): Set ok to false
826 if require_open failed.
827
828 2019-01-31 Marek Polacek <polacek@redhat.com>
829
830 PR c++/89083, c++/80864 - ICE with list initialization in template.
831 * constexpr.c (adjust_temp_type): Use copy_node and change the type
832 instead of using build_constructor.
833 * decl.c (reshape_init_r): Don't reshape a digested initializer.
834 Return the initializer for COMPOUND_LITERAL_P.
835
836 PR c++/88983 - ICE with switch in constexpr function.
837 * constexpr.c (cxx_eval_switch_expr): Use SWITCH_COND and SWITCH_BODY.
838 (cxx_eval_constant_expression) <case COND_EXPR>: Don't look for the
839 label in the else branch if we found it in the then branch.
840
841 2019-01-30 Jason Merrill <jason@redhat.com>
842
843 PR c++/88752 - ICE with lambda and constexpr if.
844 * cp-tree.h (LAMBDA_EXPR_INSTANTIATED): New.
845 * pt.c (tsubst_lambda_expr): Set it.
846 (instantiated_lambda_fn_p): Check it.
847 (enclosing_instantiation_of): Use it.
848
849 2019-01-31 Jakub Jelinek <jakub@redhat.com>
850
851 PR libstdc++/88170
852 * cxx-pretty-print.c (pp_cxx_enumeration_constant): Print always as
853 a C cast in pp_c_flag_gnu_v3 mode.
854
855 2019-01-30 Jakub Jelinek <jakub@redhat.com>
856
857 PR c++/88988
858 * lambda.c (is_capture_proxy): Don't return true for
859 DECL_OMP_PRIVATIZED_MEMBER artificial vars.
860
861 2019-01-30 Marek Polacek <polacek@redhat.com>
862
863 PR c++/89119 - ICE with value-initialization in template.
864 * pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.
865
866 2019-01-29 Jason Merrill <jason@redhat.com>
867
868 PR c++/86943 - wrong code converting lambda to function pointer.
869 * lambda.c (maybe_add_lambda_conv_op): Use a template-id in the
870 call. Only forward parms for decltype.
871 * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Handle CALL_FROM_THUNK_P
872 specially.
873 * typeck.c (check_return_expr): Don't mess with a thunk call.
874
875 2019-01-28 Jason Merrill <jason@redhat.com>
876
877 PR c++/89089 - ICE with [[no_unique_address]].
878 PR c++/88865 - wrong layout with [[no_unique_address]].
879 * class.c (check_field_decls): A potentially-overlapping field makes
880 the class non-layout-POD, but not non-empty.
881 (end_of_class): Always consider empty data members.
882 (layout_class_type): Set DECL_SIZE for empty fields.
883
884 2019-01-28 Marek Polacek <polacek@redhat.com>
885
886 PR c++/88358 - name wrongly treated as type.
887 * parser.c (cp_parser_direct_declarator): Don't assume a qualified-id
888 in parameter-list is a type if the function's declarator-id is not
889 qualified.
890
891 2019-01-27 Marek Polacek <polacek@redhat.com>
892
893 PR c++/88815 - narrowing conversion lost in decltype.
894 PR c++/78244 - narrowing conversion in template not detected.
895 * cp-tree.h (CONSTRUCTOR_IS_DEPENDENT): New.
896 * pt.c (instantiation_dependent_r): Consider a CONSTRUCTOR with
897 CONSTRUCTOR_IS_DEPENDENT instantiation-dependent.
898 * semantics.c (finish_compound_literal): When the compound literal
899 isn't instantiation-dependent and the type isn't type-dependent,
900 fall back to the normal processing. Set CONSTRUCTOR_IS_DEPENDENT.
901
902 PR c++/89024 - ICE with incomplete enum type.
903 * call.c (standard_conversion): When converting an
904 ARITHMETIC_TYPE_P to an incomplete type, return NULL.
905
906 2019-01-25 Paolo Carlini <paolo.carlini@oracle.com>
907
908 PR c++/88969
909 * call.c (build_op_delete_call): Implement 7.6.2.5/(10.1).
910 * decl2.c (coerce_delete_type): Use build_pointer_type instead
911 of TYPE_POINTER_TO.
912
913 2019-01-24 Jason Merrill <jason@redhat.com>
914
915 PR c++/89001 - mangling of reference temporaries
916 * cp-tree.h (struct saved_scope): Add ref_temp_count.
917 (current_ref_temp_count): New macro.
918 * mangle.c (mangle_ref_init_variable): Use it.
919 * typeck2.c (store_init_value): Clear it.
920 * call.c (make_temporary_var_for_ref_to_temp): Copy public and
921 comdat.
922
923 2019-01-24 Jakub Jelinek <jakub@redhat.com>
924
925 PR c++/88976
926 * semantics.c (finish_omp_cancel): Diagnose more than one if
927 on #pragma omp cancel with different modifiers. Use
928 maybe_convert_cond when not in template or build_x_binary_op
929 otherwise.
930
931 2019-01-23 Marek Polacek <polacek@redhat.com>
932
933 PR c++/88757 - qualified name treated wrongly as type.
934 * parser.c (cp_parser_direct_declarator): Don't treat qualified-ids
935 in parameter-list as types if name lookup for declarator-id didn't
936 find one or more function templates.
937
938 2019-01-23 Jakub Jelinek <jakub@redhat.com>
939
940 PR c/44715
941 * cp-gimplify.c (genericize_cp_loop): Call begin_bc_block only
942 after genericizing cond and incr expressions.
943
944 PR c++/88984
945 * cp-gimplify.c (genericize_switch_stmt): Move cond genericization
946 before the begin_bc_block call.
947
948 2019-01-21 Jason Merrill <jason@redhat.com>
949
950 PR c++/87893 - constexpr ctor ICE on ARM.
951 PR c++/88293 - ICE with comma expression.
952 * constexpr.c (initialized_type): Don't shortcut non-void type.
953 Handle COMPOUND_EXPR.
954 (cxx_eval_outermost_constant_expr): Return early for void type.
955
956 2019-01-21 Jakub Jelinek <jakub@redhat.com>
957
958 PR c++/88949
959 * optimize.c (cxx_copy_decl): New function.
960 (clone_body): Use it instead of copy_decl_no_change.
961
962 PR sanitizer/88901
963 * typeck.c (cp_build_binary_op): Don't instrument
964 SANITIZE_POINTER_COMPARE if processing_template_decl.
965 (pointer_diff): Similarly for SANITIZE_POINTER_SUBTRACT.
966
967 2019-01-18 Jason Merrill <jason@redhat.com>
968
969 PR c++/88875 - error with explicit list constructor.
970 * call.c (reference_binding): Don't modify EXPR. Set
971 need_temporary_p on the ck_user conversion for a temporary.
972 (convert_like_real): Check it.
973
974 2019-01-18 H.J. Lu <hongjiu.lu@intel.com>
975
976 PR c/51628
977 PR c/88664
978 * call.c (convert_for_arg_passing): Upate the
979 warn_for_address_or_pointer_of_packed_member call.
980 * typeck.c (convert_for_assignment): Likewise.
981
982 2019-01-17 Jason Merrill <jason@redhat.com>
983
984 PR c++/86205 - ICE with ?: of throw and template-id.
985 * pt.c (resolve_nondeduced_context_or_error): Split out from...
986 * typeck.c (decay_conversion): ...here.
987 * call.c (build_conditional_expr_1): Use it.
988
989 PR c++/86740, ICE with constexpr if and nested generic lambdas.
990 * tree.c (cp_walk_subtrees): Handle LAMBDA_EXPR.
991
992 2019-01-17 Paolo Carlini <paolo.carlini@oracle.com>
993
994 * decl.c (grokdeclarator): Use typespec_loc in error messages
995 about 'auto' and trailing return type.
996
997 2019-01-17 David Malcolm <dmalcolm@redhat.com>
998
999 PR c++/88699
1000 * class.c (add_method): Don't use DECL_DESTRUCTOR_P on
1001 USING_DECLs.
1002
1003 2019-01-17 Nathan Sidwell <nathan@acm.org>
1004
1005 PR c++/86610
1006 * semantics.c (process_outer_var_ref): Only skip dependent types
1007 in templates.
1008
1009 2019-01-17 Alexandre Oliva <aoliva@redhat.com>
1010
1011 PR c++/87768
1012 * cp-tree.h (saved_scope): Add suppress_location_wrappers.
1013 * name-lookup.c (do_push_to_top_level): Save and reset it.
1014 (do_pop_from_top_level): Restore it.
1015
1016 PR c++/86648
1017 * pt.c (make_template_placeholder): Use auto_identifier.
1018 (is_auto): Drop CLASS_PLACEHOLDER_TEMPLATE test.
1019 * error.c (dump_type): Handle template placeholders.
1020 * cxx-pretty-print.c (pp_cx_unqualified_id): Likewise.
1021
1022 PR c++/88146
1023 * cvt.c (convert_to_void): Handle all cdtor calls as if
1024 returning void.
1025
1026 2019-01-16 Paolo Carlini <paolo.carlini@oracle.com>
1027
1028 * decl.c (grokdeclarator): Use locations[ds_storage_class] in
1029 error messages about ill-formed uses of mutable.
1030
1031 2019-01-16 Marek Polacek <polacek@redhat.com>
1032
1033 PR c++/78244 - narrowing conversion in template not detected.
1034 * call.c (perform_implicit_conversion_flags): Set
1035 IMPLICIT_CONV_EXPR_BRACED_INIT.
1036 * cp-tree.h (IMPLICIT_CONV_EXPR_BRACED_INIT): New.
1037 * pt.c (tsubst_copy_and_build): Use it.
1038
1039 2019-01-15 David Malcolm <dmalcolm@redhat.com>
1040
1041 PR c++/88795
1042 * pt.c (build_deduction_guide): Bail out if tsubst_arg_types
1043 fails.
1044
1045 2019-01-15 Paolo Carlini <paolo.carlini@oracle.com>
1046
1047 * decl.c (start_decl): Improve error location.
1048 * decl2.c (grokfield): Likewise.
1049
1050 2019-01-15 Paolo Carlini <paolo.carlini@oracle.com>
1051
1052 * decl.c (grokdeclarator): Move further up the location_t loc
1053 declaration and use the location when building a TYPE_DECL for
1054 a typedef name.
1055 * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in the error
1056 about an ill-formed bit-field as typedef.
1057
1058 2019-01-14 Marek Polacek <polacek@redhat.com>
1059
1060 PR c++/88830 - ICE with abstract class.
1061 * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR.
1062 Fix formatting.
1063
1064 PR c++/88825 - ICE with bogus function return type deduction.
1065 * typeck.c (can_do_nrvo_p): Check error_mark_node.
1066
1067 2019-01-14 Tom Honermann <tom@honermann.net>
1068
1069 Implement P0482R5, char8_t: A type for UTF-8 characters and strings
1070 * cvt.c (type_promotes_to): Handle char8_t promotion.
1071 * decl.c (grokdeclarator): Handle invalid type specifier
1072 combinations involving char8_t.
1073 * lex.c (init_reswords): Add char8_t as a reserved word.
1074 * mangle.c (write_builtin_type): Add name mangling for char8_t (Du).
1075 * parser.c (cp_keyword_starts_decl_specifier_p)
1076 (cp_parser_simple_type_specifier): Recognize char8_t as a simple
1077 type specifier.
1078 (cp_parser_string_literal): Use char8_array_type_node for the type
1079 of CPP_UTF8STRING.
1080 (cp_parser_set_decl_spec_type): Tolerate char8_t typedefs in system
1081 headers.
1082 * rtti.c (emit_support_tinfos): type_info support for char8_t.
1083 * tree.c (char_type_p): Recognize char8_t as a character type.
1084 * typeck.c (string_conv_p): Handle conversions of u8 string
1085 literals of char8_t type.
1086 (check_literal_operator_args): Handle UDLs with u8 string literals
1087 of char8_t type.
1088 * typeck2.c (ordinary_char_type_p): New.
1089 (digest_init_r): Disallow initializing a char array with a u8 string
1090 literal.
1091
1092 2019-01-14 Martin Liska <mliska@suse.cz>
1093
1094 PR gcov-profile/88263
1095 * decl2.c (get_tls_wrapper_fn): Use DECL_SOURCE_LOCATION
1096 as location of the TLS wrapper.
1097
1098 2019-01-12 Paolo Carlini <paolo.carlini@oracle.com>
1099
1100 * decl.c (cp_finish_decl): Improve error location.
1101 * decl2.c (grokfield): Likewise, improve two locations.
1102
1103 2019-01-11 Marek Polacek <polacek@redhat.com>
1104
1105 PR c++/88692, c++/87882 - -Wredundant-move false positive with *this.
1106 * typeck.c (maybe_warn_pessimizing_move): Return if ARG isn't
1107 ADDR_EXPR.
1108
1109 2019-01-11 Jason Merrill <jason@redhat.com>
1110
1111 PR c++/88312 - pack expansion of decltype.
1112 * pt.c (instantiation_dependent_r): A template non-type parameter
1113 pack is instantiation-dependent.
1114
1115 2019-01-11 Jason Merrill <jason@redhat.com>
1116
1117 PR c++/88613 - ICE with use of const var in lambda.
1118 * expr.c (mark_use): Fix location wrapper handling.
1119 * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use.
1120
1121 2019-01-11 Tobias Burnus <burnus@net-b.de>
1122
1123 PR C++/88114
1124 * decl2.c (maybe_emit_vtables): If needed, generate code for
1125 the destructor of an abstract class.
1126 (mark_used): Update comment for older function-name change.
1127
1128 2019-01-11 Paolo Carlini <paolo.carlini@oracle.com>
1129
1130 * decl.c (start_decl): Improve error location.
1131 (grokdeclarator): Likewise, improve two locations.
1132
1133 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
1134
1135 PR other/16615
1136
1137 * cp-tree.h: Mechanically replace "can not" with "cannot".
1138 * parser.c: Likewise.
1139 * pt.c: Likewise.
1140
1141 2019-01-08 Paolo Carlini <paolo.carlini@oracle.com>
1142
1143 * decl.c (grok_reference_init): Improve error location.
1144 (grokdeclarator): Likewise, improve two locations.
1145
1146 2019-01-08 Marek Polacek <polacek@redhat.com>
1147
1148 PR c++/88538 - braced-init-list in template-argument-list.
1149 * parser.c (cp_parser_template_argument): Handle braced-init-list when
1150 in C++20.
1151
1152 PR c++/88548 - this accepted in static member functions.
1153 * parser.c (cp_debug_parser): Adjust printing of
1154 local_variables_forbidden_p.
1155 (cp_parser_new): Set local_variables_forbidden_p to 0 rather than false.
1156 (cp_parser_primary_expression): When checking
1157 local_variables_forbidden_p, use THIS_FORBIDDEN or
1158 LOCAL_VARS_FORBIDDEN.
1159 (cp_parser_lambda_body): Update the type of
1160 local_variables_forbidden_p. Set it to 0 rather than false.
1161 (cp_parser_condition): Adjust call to cp_parser_declarator.
1162 (cp_parser_explicit_instantiation): Likewise.
1163 (cp_parser_init_declarator): Likewise.
1164 (cp_parser_declarator): New parameter. Use it.
1165 (cp_parser_direct_declarator): New parameter. Use it to set
1166 local_variables_forbidden_p. Adjust call to cp_parser_declarator.
1167 (cp_parser_type_id_1): Adjust call to cp_parser_declarator.
1168 (cp_parser_parameter_declaration): Likewise.
1169 (cp_parser_default_argument): Update the type of
1170 local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
1171 rather than true.
1172 (cp_parser_member_declaration): Tell cp_parser_declarator if we saw
1173 'static' or 'friend'.
1174 (cp_parser_exception_declaration): Adjust call to cp_parser_declarator.
1175 (cp_parser_late_parsing_default_args): Update the type of
1176 local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
1177 rather than true.
1178 (cp_parser_cache_defarg): Adjust call to cp_parser_declarator.
1179 (cp_parser_objc_class_ivars): Likewise.
1180 (cp_parser_objc_struct_declaration): Likewise.
1181 (cp_parser_omp_for_loop_init): Likewise.
1182 * parser.h (cp_parser): Change the type of local_variables_forbidden_p
1183 to unsigned char.
1184 (LOCAL_VARS_FORBIDDEN, LOCAL_VARS_AND_THIS_FORBIDDEN, THIS_FORBIDDEN):
1185 Define.
1186
1187 2019-01-08 Paolo Carlini <paolo.carlini@oracle.com>
1188
1189 * decl.c (start_decl): Improve permerror location.
1190
1191 2019-01-08 Jonathan Wakely <jwakely@redhat.com>
1192 Jakub Jelinek <jakub@redhat.com>
1193
1194 PR c++/88554
1195 * decl.c (finish_function): For -Wreturn-type don't add a return *this;
1196 fixit hint if current_class_ref is NULL. Use a single if instead of
1197 two nested ones.
1198
1199 2019-01-07 Paolo Carlini <paolo.carlini@oracle.com>
1200
1201 * decl.c (start_decl): Improve two error_at locations.
1202 (expand_static_init): Likewise.
1203
1204 2019-01-07 Marek Polacek <polacek@redhat.com>
1205
1206 PR c++/88741 - wrong error with initializer-string.
1207 * decl.c (cp_complete_array_type): Strip any location wrappers.
1208
1209 2019-01-07 Bernd Edlinger <bernd.edlinger@hotmail.de>
1210
1211 PR c++/88261
1212 PR c++/69338
1213 PR c++/69696
1214 PR c++/69697
1215 * cp-tree.h (LOOKUP_ALLOW_FLEXARRAY_INIT): New flag value.
1216 * typeck2.c (digest_init_r): Raise an error for non-static
1217 initialization of a flexible array member.
1218 (process_init_constructor, massage_init_elt,
1219 process_init_constructor_array, process_init_constructor_record,
1220 process_init_constructor_union, process_init_constructor): Add the
1221 flags parameter and pass it thru.
1222 (store_init_value): Pass LOOKUP_ALLOW_FLEXARRAY_INIT parameter to
1223 digest_init_flags for static decls.
1224
1225 2019-01-07 Jakub Jelinek <jakub@redhat.com>
1226
1227 PR c++/85052
1228 * cp-tree.h (cp_build_vec_convert): Declare.
1229 * parser.c (cp_parser_postfix_expression): Parse
1230 __builtin_convertvector.
1231 * constexpr.c: Include fold-const-call.h.
1232 (cxx_eval_internal_function): Handle IFN_VEC_CONVERT.
1233 (potential_constant_expression_1): Likewise.
1234 * semantics.c (cp_build_vec_convert): New function.
1235 * pt.c (tsubst_copy_and_build): Handle CALL_EXPR to
1236 IFN_VEC_CONVERT.
1237
1238 2019-01-03 Jakub Jelinek <jakub@redhat.com>
1239
1240 PR c++/88636
1241 * decl.c (builtin_function_1): Return result of pushdecl_top_level
1242 or pushdecl rather than decl.
1243
1244 2019-01-03 Paolo Carlini <paolo.carlini@oracle.com>
1245
1246 * tree.c (handle_nodiscard_attribute): Improve warning location.
1247
1248 2019-01-02 Marek Polacek <polacek@redhat.com>
1249
1250 PR c++/88612 - ICE with -Waddress-of-packed-member.
1251 * call.c (convert_for_arg_passing): Only give warnings with tf_warning.
1252 * typeck.c (convert_for_assignment): Likewise.
1253
1254 PR c++/88631 - CTAD failing for value-initialization.
1255 * typeck2.c (build_functional_cast): Try deducing the template
1256 arguments even if there are no arguments to deduce from.
1257
1258 2019-01-01 Jakub Jelinek <jakub@redhat.com>
1259
1260 Update copyright years.
1261 \f
1262 Copyright (C) 2019 Free Software Foundation, Inc.
1263
1264 Copying and distribution of this file, with or without modification,
1265 are permitted in any medium without royalty provided the copyright
1266 notice and this notice are preserved.