1 2023-06-16 Alex Coplan <alex.coplan@arm.com>
3 * parser.cc (cp_parser_enum_specifier): Don't reject
4 elaborated-type-specifier with enum-base, instead emit new
5 Welaborated-enum-base warning.
7 2023-06-14 Jason Merrill <jason@redhat.com>
11 * call.cc (joust_maybe_elide_copy): Don't change cand.
12 (joust): Move the elided tiebreaker later.
14 2023-06-13 David Malcolm <dmalcolm@redhat.com>
17 * name-lookup.cc (missing_std_header::~missing_std_header): Reword
18 note to avoid negative tone of "forgetting".
20 2023-06-13 Jason Merrill <jason@redhat.com>
22 * tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
24 2023-06-12 Tobias Burnus <tobias@codesourcery.com>
26 * parser.cc (cp_parser_omp_clause_map): Reword error message for
27 clearness especially with 'omp target (enter/exit) data.'
28 * semantics.cc (handle_omp_array_sections): Handle
29 GOMP_MAP_{ALWAYS_,}PRESENT_{TO,TOFROM,FROM,ALLOC} enum values.
31 2023-06-12 Jason Merrill <jason@redhat.com>
34 * call.cc (convert_like_internal) [ck_list]: Use
35 maybe_init_list_as_array.
36 * constexpr.cc (cxx_eval_vec_init_1): Init might have
38 * tree.cc (build_vec_init_elt): Likewise.
39 * init.cc (build_vec_init): Handle from_array from a
40 TARGET_EXPR. Retain TARGET_EXPR of a different type.
42 2023-06-11 Patrick Palka <ppalka@redhat.com>
45 * constexpr.cc (cxx_eval_call_expression): Synthesize defaulted
46 functions needed for constant evaluation.
47 (instantiate_cx_fn_r): Likewise.
49 2023-06-11 Patrick Palka <ppalka@redhat.com>
52 * pt.cc (lookup_template_class): Extend shortcut for looking up the
53 current class scope to consider outer class scopes too, and use
54 current_nonlambda_class_type instead of current_class_type. Only
55 call coerce_template_parms when specializing a primary template.
57 2023-06-10 Nathan Sidwell <nathan@acm.org>
60 * pt.cc (maybe_adjust_types_for_deduction): Implement DR976.
62 2023-06-09 Jason Merrill <jason@redhat.com>
66 * method.cc (build_comparison_op): Give retval a name.
67 * typeck.cc (check_return_expr): Fix for nameless variables.
69 2023-06-09 Jason Merrill <jason@redhat.com>
71 * parser.cc (cp_parser_simple_type_specifier): Check for auto
73 (cp_parser_template_type_arg): Remove auto checking.
75 2023-06-09 Jason Merrill <jason@redhat.com>
78 * call.cc (maybe_init_list_as_array): Check that the element type is
81 2023-06-07 Jason Merrill <jason@redhat.com>
85 * cp-tree.h (INIT_EXPR_NRV_P): New.
86 * semantics.cc (finalize_nrv_r): Check it.
87 * name-lookup.h (decl_in_scope_p): Declare.
88 * name-lookup.cc (decl_in_scope_p): New.
89 * typeck.cc (check_return_expr): Allow non-NRV
90 returns if the NRV is no longer in scope.
92 2023-06-07 Jason Merrill <jason@redhat.com>
95 * typeck.cc (want_nrvo_p): New.
96 (check_return_expr): Handle -Wnrvo.
98 2023-06-07 Jason Merrill <jason@redhat.com>
102 * decl.cc (finish_function): Simplify NRV handling.
103 * except.cc (maybe_set_retval_sentinel): Also set if NRV.
104 (maybe_splice_retval_cleanup): Don't add the cleanup region
106 * semantics.cc (nrv_data): Add simple field.
107 (finalize_nrv): Set it.
108 (finalize_nrv_r): Check it and retval sentinel.
109 * cp-tree.h (finalize_nrv): Adjust declaration.
110 * typeck.cc (check_return_expr): Remove named_labels check.
112 2023-06-07 Jason Merrill <jason@redhat.com>
115 * typeck.cc (check_return_expr): Prevent NRV in the presence of
118 2023-06-07 Jason Merrill <jason@redhat.com>
121 * except.cc (maybe_splice_retval_cleanup): Change
122 recognition of function body and try scopes.
123 * semantics.cc (do_poplevel): Call it after poplevel.
125 * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
127 2023-06-07 Jason Merrill <jason@redhat.com>
129 * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
132 2023-06-06 Kwok Cheung Yeung <kcy@codesourcery.com>
133 Tobias Burnus <tobias@codesourcery.com>
135 * parser.cc (cp_parser_omp_clause_defaultmap,
136 cp_parser_omp_clause_map): Parse 'present'.
137 (cp_parser_omp_clause_from_to): New; parse to/from
138 clauses with optional 'present' modifier.
139 (cp_parser_omp_all_clauses): Update call.
140 (cp_parser_omp_target_data, cp_parser_omp_target_enter_data,
141 cp_parser_omp_target_exit_data): Handle new enum value for
143 * semantics.cc (finish_omp_target): Likewise.
145 2023-06-04 Jason Merrill <jason@redhat.com>
148 * cp-tree.h (enum cp_tree_index): Add CPTI_CALL_TERMINATE_FN.
149 (call_terminate_fn): New macro.
150 * cp-gimplify.cc (gimplify_must_not_throw_expr): Use it.
151 * except.cc (init_exception_processing): Set it.
152 (cp_protect_cleanup_actions): Return it.
154 2023-06-03 Patrick Palka <ppalka@redhat.com>
157 * pt.cc (is_specialization_of_friend): Fix overbroad check for
158 a non-template member function of a class template.
160 2023-06-03 Patrick Palka <ppalka@redhat.com>
162 * pt.cc (iterative_hash_template_arg): Don't hash
163 TEMPLATE_TEMPLATE_PARM specially.
165 2023-06-03 Patrick Palka <ppalka@redhat.com>
167 * class.cc (build_base_path): Check in_template_context instead
168 of in_template_function.
169 (resolves_to_fixed_type_p): Likewise.
170 * cp-tree.h (in_template_context): Define.
171 (in_template_function): Remove.
172 * decl.cc (cp_make_fname_decl): Check current_function_decl
173 and in_template_context instead of in_template_function.
174 * decl2.cc (mark_used): Check in_template_context instead of
175 in_template_function.
176 * pt.cc (in_template_function): Remove.
177 * semantics.cc (enforce_access): Check in_template_context
178 instead of current_template_parms directly.
180 2023-06-03 Patrick Palka <ppalka@redhat.com>
183 * mangle.cc (write_expression): Handle NOEXCEPT_EXPR.
185 2023-06-02 Jason Merrill <jason@redhat.com>
189 * call.cc (sfk_copy_or_move): New.
190 (joust): Add tiebreaker for explicit conv and copy ctor.
192 2023-06-02 Jason Merrill <jason@redhat.com>
196 * call.cc (maybe_init_list_as_array): Set DECL_MERGEABLE.
197 (convert_like_internal) [ck_list]: Set it.
198 (set_up_extended_ref_temp): Copy it.
199 * tree.cc (handle_no_unique_addr_attribute): Set it.
201 2023-06-01 Jason Merrill <jason@redhat.com>
203 * typeck2.cc (check_narrowing): Check flag_permissive.
205 2023-05-30 Tobias Burnus <tobias@codesourcery.com>
208 * parser.cc (cp_parser_oacc_all_clauses,
209 cp_parser_omp_all_clauses): Improve error wording.
211 2023-05-19 Andrew Pinski <apinski@marvell.com>
214 * lang-specs.h ("@c++-header"): Add %w after
216 ("@c++-system-header"): Likewise.
217 ("@c++-user-header"): Likewise.
219 2023-05-19 Patrick Palka <ppalka@redhat.com>
221 * constraint.cc (normalize_concept_check): Avoid having to do
222 two norm_cache lookups. Remove unnecessary early exit for an
223 ill-formed concept definition.
225 2023-05-19 Patrick Palka <ppalka@redhat.com>
228 * pt.cc (lookup_and_finish_template_variable): Don't call
229 convert_from_reference.
230 (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
231 convert_from_reference on the result of
232 lookup_and_finish_template_variable.
234 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
236 * call.cc (promoted_arithmetic_type_p): Use _P defines from tree.h.
237 (build_conditional_expr): Ditto.
238 (convert_like_internal): Ditto.
239 (convert_arg_to_ellipsis): Ditto.
240 (build_over_call): Ditto.
241 (compare_ics): Ditto.
242 * class.cc (is_empty_base_ref): Ditto.
243 * coroutines.cc (rewrite_param_uses): Ditto.
244 * cp-tree.h (DECL_DISCRIMINATOR_P): Ditto.
245 (ARITHMETIC_TYPE_P): Ditto.
246 * cvt.cc (ocp_convert): Ditto.
247 * cxx-pretty-print.cc (pp_cxx_template_argument_list): Ditto.
248 * decl.cc (layout_var_decl): Ditto.
249 (get_tuple_size): Ditto.
250 * error.cc (dump_simple_decl): Ditto.
251 * lambda.cc (start_lambda_scope): Ditto.
252 * mangle.cc (write_template_arg): Ditto.
253 * method.cc (spaceship_comp_cat): Ditto.
254 * module.cc (node_template_info): Ditto.
255 (trees_out::start): Ditto.
256 (trees_out::decl_node): Ditto.
257 (trees_in::read_var_def): Ditto.
258 (set_instantiating_module): Ditto.
259 * name-lookup.cc (maybe_record_mergeable_decl): Ditto.
260 (consider_decl): Ditto.
261 (maybe_add_fuzzy_decl): Ditto.
262 * pt.cc (convert_nontype_argument): Ditto.
263 * semantics.cc (handle_omp_array_sections_1): Ditto.
264 (finish_omp_clauses): Ditto.
265 (finish_omp_target_clauses_r): Ditto.
266 (is_this_parameter): Ditto.
267 * tree.cc (build_cplus_array_type): Ditto.
268 (is_this_expression): Ditto.
269 * typeck.cc (do_warn_enum_conversions): Ditto.
270 * typeck2.cc (store_init_value): Ditto.
271 (check_narrowing): Ditto.
273 2023-05-17 Jakub Jelinek <jakub@redhat.com>
276 * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
277 For unions only initialize the first FIELD_DECL.
279 2023-05-16 Marek Polacek <polacek@redhat.com>
282 * typeck.cc (check_return_expr): In a template, return only after
283 suppressing -Wdangling-reference.
285 2023-05-16 Patrick Palka <ppalka@redhat.com>
288 * call.cc (add_list_candidates): Check for invalid designated
289 initialization sooner and even for types that have a list
292 2023-05-11 Patrick Palka <ppalka@redhat.com>
295 * typeck2.cc (poison_mutable_constructors): Define.
296 (store_init_value): Use it instead of setting
297 CONSTRUCTOR_MUTABLE_POISON directly.
299 2023-05-11 Patrick Palka <ppalka@redhat.com>
300 Jonathan Wakely <jwakely@redhat.com>
305 * pt.cc (convert_nontype_argument_function): Remove linkage
306 requirement for C++17 and later.
307 (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
308 DECL_ARTIFICIAL rejection test to VAR_DECL.
310 2023-05-10 Marek Polacek <polacek@redhat.com>
313 * method.cc (build_trait_object): New.
314 (assignable_expr): Use it.
315 (ref_xes_from_temporary): Likewise.
316 (is_convertible_helper): Likewise. Check FUNC_OR_METHOD_TYPE_P.
318 2023-05-10 Jason Merrill <jason@redhat.com>
320 * call.cc (convert_like_internal): Share ck_ref_bind handling
321 between all bad conversions.
323 2023-05-10 Jason Merrill <jason@redhat.com>
326 * constexpr.cc (cxx_eval_outermost_constant_expr): Preserve
328 (potential_constant_expression_1): Check TARGET_EXPR_ELIDING_P.
329 * typeck2.cc (store_init_value): Diagnose constinit sooner.
331 2023-05-10 Jason Merrill <jason@redhat.com>
333 * constexpr.cc (cxx_eval_outermost_constant_expr): Always check
334 for address of immediate fn.
335 (maybe_constant_init_1): Evaluate PTRMEM_CST.
337 2023-05-10 Jakub Jelinek <jakub@redhat.com>
340 * parser.cc (cp_parser_std_attribute): For unknown attributes with
341 arguments set TREE_VALUE (attribute) to error_mark_node after skipping
343 (cp_parser_std_attribute_list): If ... is used after attribute without
344 arguments, diagnose it and return error_mark_node. If
345 TREE_VALUE (attribute) is error_mark_node, don't call
346 make_pack_expansion nor return early error_mark_node.
348 2023-05-09 Patrick Palka <ppalka@redhat.com>
351 * constraint.cc (satisfaction_cache::satisfaction_cache): In the
352 unexpected case of evaluating an atom for the first time noisily,
353 remove the cache slot that we inserted.
355 2023-05-09 Patrick Palka <ppalka@redhat.com>
358 * parser.cc (cp_parser_class_specifier): Don't pass a class
359 context to noexcept_override_late_checks.
360 (noexcept_override_late_checks): Remove 'type' parameter
361 and use DECL_CONTEXT of 'fndecl' instead.
363 2023-05-09 Jakub Jelinek <jakub@redhat.com>
366 * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
367 expansion of assume attribute.
369 2023-05-08 Patrick Palka <ppalka@redhat.com>
373 * pt.cc (do_auto_deduction): Move up resolve_nondeduced_context
374 calls to happen before do_class_deduction. Add some
375 error_mark_node tests.
377 2023-05-07 Patrick Palka <ppalka@redhat.com>
380 * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression)
381 <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P.
382 * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise.
384 2023-05-07 Patrick Palka <ppalka@redhat.com>
388 * decl.cc (decl_jump_unsafe): Return bool instead of int.
389 Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
390 (check_previous_goto_1): Simplify now that decl_jump_unsafe
391 returns bool instead of int.
392 (check_goto): Likewise.
394 2023-05-07 Patrick Palka <ppalka@redhat.com>
396 * pt.cc (instantiate_alias_template): Exit early upon
397 error from coerce_template_parms. Remove dependence test
398 guarding constraints_satisfied_p.
400 2023-05-07 Patrick Palka <ppalka@redhat.com>
402 * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via
403 TEMPLATE_TYPE_PARM_CHECK.
404 (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK.
405 (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via
406 TEMPLATE_TEMPLATE_PARM_CHECK.
407 * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier):
408 Guard PLACEHOLDER_TYPE_CONSTRAINTS access.
409 * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate
410 variable to store CLASS_PLACEHOLDER_TEMPLATE result.
411 * pt.cc (outer_template_args): Use strip_innermost_template_args.
412 (any_type_dependent_arguments_p): Exit early if
413 !processing_template_decl. Use range-based for.
414 (any_dependent_template_arguments_p): Likewise.
416 2023-05-07 Patrick Palka <ppalka@redhat.com>
419 * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate
420 REF_PARENTHESIZED_P more generally via force_paren_expr.
421 * semantics.cc (force_paren_expr): Document default argument.
423 2023-05-07 Patrick Palka <ppalka@redhat.com>
426 * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
427 current_template_parms fallback when level-lowering a bound ttp.
428 (tsubst_template_decl): Add lambda_tparms parameter. Prefer to
429 use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
430 (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
431 to tsubst_template_decl.
432 (tsubst_lambda_expr): For a generic lambda, substitute
433 DECL_TEMPLATE_PARMS and set current_template_parms to it
434 before substituting the function type. Pass the substituted
435 DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
437 2023-05-07 Patrick Palka <ppalka@redhat.com>
440 * semantics.cc (enforce_access): Check current_template_parms
441 instead of processing_template_decl when deciding whether to
442 defer the access check.
444 2023-05-07 Patrick Palka <ppalka@redhat.com>
447 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
448 Reorganize to call get_fns sooner. Remove special handling of
449 the object argument of a non-static member function call. Remove
452 2023-05-05 Jason Merrill <jason@redhat.com>
455 2023-04-27 Jason Merrill <jason@redhat.com>
458 * pt.cc (instantiate_decl): Assert !defer_ok for local
461 2023-05-03 Jason Merrill <jason@redhat.com>
465 * friend.cc (do_friend): Don't call check_explicit_specialization if
466 DECL_TEMPLATE_INFO is already set.
467 * decl2.cc (check_classfn): Set DECL_TEMPLATE_INFO.
468 * name-lookup.cc (set_decl_namespace): Likewise.
470 2023-05-03 Jakub Jelinek <jakub@redhat.com>
472 * cp-gimplify.cc (cp_fold_data): Move definition earlier.
473 (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
474 constructed data rather than &pset to cp_walk_tree with cp_fold_r.
476 2023-05-03 Jason Merrill <jason@redhat.com>
478 * pt.cc (reduce_template_parm_level): Fix comparison of
479 template template parm to cached version.
481 2023-05-02 Jason Merrill <jason@redhat.com>
483 * pt.cc (instantiate_class_template): Skip the RECORD_TYPE
485 (tsubst_template_decl): Clear CLASSTYPE_USE_TEMPLATE.
487 2023-05-02 Jason Merrill <jason@redhat.com>
489 * name-lookup.cc (pop_from_top_level): Don't
490 invalidate_class_lookup_cache.
492 2023-05-02 Jason Merrill <jason@redhat.com>
495 * cp-tree.h (lookup_base): Add offset parm.
496 * constexpr.cc (cxx_fold_indirect_ref_1): Pass it.
497 * search.cc (struct lookup_base_data_s): Add offset.
498 (dfs_lookup_base): Handle it.
499 (lookup_base): Pass it.
501 2023-05-02 Jason Merrill <jason@redhat.com>
504 * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
506 2023-05-01 Jason Merrill <jason@redhat.com>
509 * name-lookup.cc (maybe_push_to_top_level)
510 (maybe_pop_from_top_level): Split out...
511 * pt.cc (instantiate_body): ...from here.
512 * init.cc (maybe_instantiate_nsdmi_init): Use them.
513 * name-lookup.h: Declare them..
515 2023-04-28 Eugene Rozenfeld <erozen@microsoft.com>
517 * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
519 2023-04-27 Jason Merrill <jason@redhat.com>
521 * call.cc (print_conversion_rejection): Use iloc_sentinel.
523 2023-04-27 Jason Merrill <jason@redhat.com>
526 * pt.cc (instantiate_decl): Assert !defer_ok for local
529 2023-04-26 Jason Merrill <jason@redhat.com>
531 * init.cc (nsdmi_inst): Remove.
532 (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
534 2023-04-26 Jason Merrill <jason@redhat.com>
537 * pt.cc (instantiate_class_template): Do partially instantiate.
538 (tsubst_expr): Do call complete_type for partial instantiations.
540 2023-04-26 Jason Merrill <jason@redhat.com>
543 * pt.cc (regenerate_decl_from_template): Skip unique friends.
545 2023-04-26 Patrick Palka <ppalka@redhat.com>
547 * pt.cc (most_specialized_partial_spec): Exit early when
548 DECL_TEMPLATE_SPECIALIZATIONS is empty. Move local variable
549 declarations closer to their first use. Remove redundant
550 flag_concepts test. Remove redundant forward declaration.
552 2023-04-25 Patrick Palka <ppalka@redhat.com>
555 * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
556 Suppress conservative early exit for reference variables
557 when DECL_HAS_VALUE_EXPR_P.
559 2023-04-25 Tobias Burnus <tobias@codesourcery.com>
561 * parser.cc (cp_parser_omp_scan_loop_body): Handle
562 zero exec statements before/after 'omp scan'.
564 2023-04-24 Patrick Palka <ppalka@redhat.com>
566 * cp-tree.h (cp_expr_location): Define here.
567 * tree.cc (cp_expr_location): Don't define here.
569 2023-04-21 Jason Merrill <jason@redhat.com>
572 * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
573 typedef' pedwarn. Use c_common_signed_or_unsigned_type. Also
574 handle 'signed typedef'.
576 2023-04-21 Patrick Palka <ppalka@redhat.com>
578 * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
579 <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
580 <case ALIGNOF_EXPR etc>: Likewise.
582 2023-04-20 Patrick Palka <ppalka@redhat.com>
584 * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
585 level lowering a cv-qualified type template parameter. Remove
586 recursive loop breaker in the level lowering case for constrained
587 autos. Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
590 2023-04-20 Patrick Palka <ppalka@redhat.com>
592 * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
593 of arguments into a TREE_LIST for sake of pretty printing.
594 * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
595 instead of TREE_LIST of trailing variadic trait arguments.
596 * method.cc (constructible_expr): Likewise.
597 (is_xible_helper): Likewise.
598 * parser.cc (cp_parser_trait): Represent trailing variadic trait
599 arguments as a TREE_VEC instead of TREE_LIST.
600 * pt.cc (value_dependent_expression_p): Handle TREE_VEC
601 instead of TREE_LIST of trailing variadic trait arguments.
602 * semantics.cc (finish_type_pack_element): Likewise.
603 (check_trait_type): Likewise.
605 2023-04-20 Patrick Palka <ppalka@redhat.com>
607 * tree.cc (strip_typedefs): Move TREE_LIST handling to
608 strip_typedefs_expr. Dispatch to strip_typedefs_expr for
610 <case TYPENAME_TYPE>: Remove manual dispatching to
612 <case TRAIT_TYPE>: Likewise.
613 (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
614 with strip_typedefs throughout. Don't dispatch to strip_typedefs
616 <case TREE_LIST>: Replace this with the better version from
619 2023-04-19 Patrick Palka <ppalka@redhat.com>
620 Jonathan Wakely <jwakely@redhat.com>
623 * cp-trait.def (TYPE_PACK_ELEMENT): Define.
624 * cp-tree.h (finish_trait_type): Add complain parameter.
625 * cxx-pretty-print.cc (pp_cxx_trait): Handle
626 CPTK_TYPE_PACK_ELEMENT.
627 * parser.cc (cp_parser_constant_expression): Document default
629 (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT. Pass
630 tf_warning_or_error to finish_trait_type.
631 * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
632 argument. Pass complain to finish_trait_type.
633 * semantics.cc (finish_type_pack_element): Define.
634 (finish_trait_type): Add complain parameter. Handle
635 CPTK_TYPE_PACK_ELEMENT.
636 * tree.cc (strip_typedefs): Handle non-type first argument.
637 Pass tf_warning_or_error to finish_trait_type.
638 * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
639 cp_tree_equal instead of same_type_p for the first argument.
641 2023-04-19 Patrick Palka <ppalka@redhat.com>
644 * pt.cc (try_class_unification): Don't ggc_free the copy of
647 2023-04-19 Jason Merrill <jason@redhat.com>
650 * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
652 2023-04-17 Patrick Palka <ppalka@redhat.com>
655 * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
656 In the level-lowering case just use lookup_template_class
657 to rebuild the bound ttp.
659 2023-04-15 Jason Merrill <jason@redhat.com>
662 * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
663 Check for complex initializer.
665 2023-04-13 Patrick Palka <ppalka@redhat.com>
668 * decl.cc (make_typename_type): Also ignore non-types during the
669 lookup if tag_type corresponds to an elaborated-type-specifier.
670 * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
671 enum_type as tag_type to make_typename_type accordingly instead
672 of always passing typename_type.
674 2023-04-13 Jason Merrill <jason@redhat.com>
677 * semantics.cc (check_trait_type): Handle incomplete type directly.
678 * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
680 2023-04-13 Jason Merrill <jason@redhat.com>
682 * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
683 * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
685 2023-04-12 Jakub Jelinek <jakub@redhat.com>
687 * Make-lang.in (s-cp-module-version): New target.
688 (cp/module.o): Depend on it.
689 (MODULE_VERSION): Remove variable.
690 (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
691 cat s-cp-module-version.
693 2023-04-09 Iain Sandoe <iain@sandoe.co.uk>
695 * coroutines.cc (coro_rewrite_function_body): Ensure that added
696 bind expressions have scope blocks.
698 2023-04-04 Jason Merrill <jason@redhat.com>
701 * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
703 2023-04-03 Patrick Palka <ppalka@redhat.com>
706 * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
707 with no initializer, instead of asserting.
709 2023-04-01 Patrick Palka <ppalka@redhat.com>
712 * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
713 * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
715 (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
716 'in_decl' to coerce_template_parms.
717 (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
718 as 'tmpl' to do_auto_deduction.
719 (do_auto_deduction): Document default arguments. Rename local
720 variable 'tmpl' to 'ctmpl'. Use 'tmpl' to obtain a full set of
721 template arguments for satisfaction in the adc_unify case.
723 2023-04-01 Patrick Palka <ppalka@redhat.com>
727 * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
729 (instantiate_class_template): Call mark_template_arguments_used.
730 (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
731 (mark_template_arguments_used): Define.
732 (instantiate_body): Call mark_template_arguments_used.
734 2023-04-01 Iain Sandoe <iain@sandoe.co.uk>
737 * coroutines.cc (flatten_await_stmt): Use the current count of
738 promoted temporaries to build a unique name for the frame entries.
740 2023-03-30 Jason Merrill <jason@redhat.com>
743 * search.cc (type_context_for_name_lookup): New.
744 (accessible_p): Handle anonymous union.
745 * init.cc (maybe_instantiate_nsdmi_init): Use
746 type_context_for_name_lookup.
747 * parser.cc (cp_parser_class_specifier): Likewise.
748 * cp-tree.h (type_context_for_name_lookup): Declare.
750 2023-03-30 Jason Merrill <jason@redhat.com>
753 * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
756 2023-03-30 Jakub Jelinek <jakub@redhat.com>
759 * decl2.cc (grok_array_decl): After emitting a pedwarn for
760 -Wcomma-subscript, if processing_template_decl set orig_index_exp
761 to compound expr from orig_index_exp_list.
763 2023-03-30 Jason Merrill <jason@redhat.com>
767 * decl2.cc (record_mangling): Use symtab_node::reset.
769 2023-03-30 Jakub Jelinek <jakub@redhat.com>
772 * call.cc (convert_like_internal): If pedwarn for extended float
773 type conversions doesn't report anything, avoid calling
774 maybe_inform_about_fndecl_for_bogus_argument_init.
776 2023-03-29 Jason Merrill <jason@redhat.com>
780 * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
781 (type_targs_deducible_from): Handle null pack deduction.
783 2023-03-28 David Malcolm <dmalcolm@redhat.com>
786 * parser.cc (cp_parser_binary_expression): Update for new param of
787 check_for_xor_used_as_pow.
789 2023-03-28 Jakub Jelinek <jakub@redhat.com>
792 * contracts.cc: Include intl.h.
793 (check_postcondition_result): Don't form diagnostics from two halves
794 of an English message to allow translations.
796 2023-03-24 Patrick Palka <ppalka@redhat.com>
799 * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
800 and current_class_ref sooner, before parsing a class definition.
802 2023-03-24 Jason Merrill <jason@redhat.com>
805 * pt.cc (type_unification_real): Adjust for partial ordering.
807 2023-03-23 Jason Merrill <jason@redhat.com>
810 * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
811 and location wrappers.
813 2023-03-23 Marek Polacek <polacek@redhat.com>
816 * call.cc (class_has_reference_member_p): New.
817 (class_has_reference_member_p_r): New.
818 (reference_like_class_p): Don't look for a specific constructor.
819 Use a DFS walk with class_has_reference_member_p_r.
821 2023-03-23 Jason Merrill <jason@redhat.com>
824 * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
826 2023-03-22 Jason Merrill <jason@redhat.com>
829 * pt.cc (unify): Use fold of build_nop instead of fold_convert.
831 2023-03-22 Jason Merrill <jason@redhat.com>
834 * semantics.cc (finish_id_expression_1): Check scope before
835 returning id_expression.
837 2023-03-22 Alex Coplan <alex.coplan@arm.com>
840 * call.cc (build_over_call): Use make_temp_override to suppress
841 both unavailable and deprecated warnings when calling
844 2023-03-21 Jason Merrill <jason@redhat.com>
847 * init.cc (maybe_instantiate_nsdmi_init): Don't leave
848 current_function_decl set to a constructor.
850 2023-03-20 Marek Polacek <polacek@redhat.com>
853 * call.cc (add_template_candidate_real): Add explicit decls to the
854 set of candidates when the initializer is a braced-init-list.
856 2023-03-20 Jakub Jelinek <jakub@redhat.com>
859 * cp-tree.h (var_needs_tls_wrapper): Declare.
860 * decl2.cc (var_needs_tls_wrapper): No longer static.
861 * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
862 for which a TLS wrapper will be needed.
864 2023-03-17 Jason Merrill <jason@redhat.com>
867 * lambda.cc (prune_lambda_captures): Don't bother in a template.
869 2023-03-17 Jason Merrill <jason@redhat.com>
872 * except.cc (build_throw): Check dtor access.
874 2023-03-17 Jason Merrill <jason@redhat.com>
877 * friend.cc (do_friend): Handle namespace as scope argument.
878 * decl.cc (grokdeclarator): Pass down in_namespace.
880 2023-03-16 Jason Merrill <jason@redhat.com>
883 * init.cc (get_nsdmi): Split out...
884 (maybe_instantiate_nsdmi_init): ...this function.
885 * cp-tree.h: Declare it.
886 * pt.cc (tsubst_expr): Use it.
888 2023-03-16 Jason Merrill <jason@redhat.com>
891 * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
893 2023-03-16 Jason Merrill <jason@redhat.com>
896 * semantics.cc (finish_qualified_id_expr): Don't try to build a
897 pointer-to-member if the scope is an enumeration.
899 2023-03-16 Patrick Palka <ppalka@redhat.com>
902 * constexpr.cc (maybe_constant_init_1): For an unevaluated
903 non-manifestly-constant operand, don't constant evaluate
904 and instead call fold_to_constant as in maybe_constant_value.
906 2023-03-16 Patrick Palka <ppalka@redhat.com>
909 * constraint.cc (satisfaction_cache::get): Relax overly strict
910 checking assert in the constraint recursion case.
912 2023-03-16 Jason Merrill <jason@redhat.com>
915 * coroutines.cc (build_co_await): Handle lvalue 'o'.
917 2023-03-15 Jason Merrill <jason@redhat.com>
921 * typeck.cc (cp_build_modify_expr): Allow array initialization of
922 DECL_ARTIFICIAL variable.
924 2023-03-15 Marek Polacek <polacek@redhat.com>
927 * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
929 2023-03-15 Jason Merrill <jason@redhat.com>
932 * semantics.cc (check_template_template_default_arg): Check
933 maybe_get_template_decl_from_type_decl.
935 2023-03-15 Jason Merrill <jason@redhat.com>
940 * pt.cc (coerce_template_template_parms): Use args from
941 DECL_CONTEXT (arg_tmpl) instead of outer_args.
943 2023-03-15 Jason Merrill <jason@redhat.com>
946 * pt.cc (coerce_template_template_parms): Take the arg and parm
948 (coerce_template_template_parm): Adjust.
949 (template_template_parm_bindings_ok_p): Adjust.
950 (convert_template_argument): Adjust.
952 2023-03-14 Patrick Palka <ppalka@redhat.com>
955 * pt.cc (push_inline_template_parms_recursive): Set
956 TEMPLATE_PARMS_CONSTRAINTS.
957 (push_template_decl): For an out-of-line declaration, verify
958 constraints for each enclosing template scope match those of the
959 original template declaratation.
961 2023-03-14 Patrick Palka <ppalka@redhat.com>
964 * pt.cc (redeclare_class_template): Add missing "of" in
965 constraint mismatch diagnostic.
966 (tsubst_friend_class): For an already declared class template,
967 substitute and pass the friend declaration's constraints to
968 redeclare_class_template instead of passing the existing
969 template's constraints.
971 2023-03-14 Jason Merrill <jason@redhat.com>
974 * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
977 2023-03-14 Jason Merrill <jason@redhat.com>
980 * cp-gimplify.cc (genericize_if_stmt): Restore folding
981 of constant conditions.
983 2023-03-14 Jakub Jelinek <jakub@redhat.com>
986 * tree.cc (record_has_unique_obj_representations): Ignore unnamed
989 2023-03-13 Jason Merrill <jason@redhat.com>
992 * parser.cc (cp_parser_set_decl_spec_type): Use
993 redefined_builtin_type for extended_float_type_p.
995 2023-03-13 Marek Polacek <polacek@redhat.com>
998 * call.cc (reference_like_class_p): Check for std::span.
1000 2023-03-10 Jakub Jelinek <jakub@redhat.com>
1003 * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
1004 automatic non-aggregate variables just because of
1005 -fmerge-all-constants.
1007 2023-03-10 Jakub Jelinek <jakub@redhat.com>
1010 * class.cc (end_of_class): For bit-fields, instead of computing
1011 offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
1012 compute it as sum of bit_position (field) and DECL_SIZE (field)
1013 divided by BITS_PER_UNIT rounded up.
1015 2023-03-10 Jason Merrill <jason@redhat.com>
1018 * lambda.cc (compare_lambda_template_head): Check more
1019 for error_mark_node.
1021 2023-03-10 Jason Merrill <jason@redhat.com>
1024 * mangle.cc (anon_aggr_naming_decl): New.
1025 (write_unqualified_name): Use it.
1027 2023-03-10 Jakub Jelinek <jakub@redhat.com>
1030 * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
1031 after diagnosing it.
1033 2023-03-10 Jason Merrill <jason@redhat.com>
1036 * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
1038 2023-03-10 Jason Merrill <jason@redhat.com>
1041 * class.cc (instantiate_type): Strip location wrapper.
1043 2023-03-09 Jason Merrill <jason@redhat.com>
1046 * init.cc (find_allocator_temps_r): New.
1047 (combine_allocator_temps): Replace find_allocator_temp.
1048 (build_vec_init): Adjust.
1050 2023-03-09 Jason Merrill <jason@redhat.com>
1054 * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
1056 2023-03-09 Jason Merrill <jason@redhat.com>
1057 Michael Spertus <mike@spertus.com>
1060 * pt.cc (corresponding_template_parameter_list): Split out...
1061 (corresponding_template_parameter): ...from here.
1062 (find_template_parameters): Factor out...
1063 (find_template_parameter_info::find_in): ...this function.
1064 (find_template_parameter_info::find_in_recursive): New.
1065 (find_template_parameter_info::found): New.
1066 (alias_ctad_tweaks): Only add parms used in the deduced args.
1068 2023-03-09 Jason Merrill <jason@redhat.com>
1070 * cp-trait.def (IS_DEDUCIBLE): Add space to name.
1072 2023-03-09 Jason Merrill <jason@redhat.com>
1075 * cp-trait.def (IS_DEDUCIBLE): New.
1076 * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
1077 * parser.cc (cp_parser_trait): Likewise.
1078 * tree.cc (cp_tree_equal): Likewise.
1079 * pt.cc (tsubst_copy_and_build): Likewise.
1080 (type_targs_deducible_from): New.
1081 (alias_ctad_tweaks): Use it.
1082 * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
1083 (finish_trait_expr): Likewise.
1084 * constraint.cc (diagnose_trait_expr): Likewise.
1085 * cp-tree.h (type_targs_deducible_from): Declare.
1087 2023-03-07 Jason Merrill <jason@redhat.com>
1091 * pt.cc (tsubst_function_decl): Don't replace the closure
1092 parameter if DECL_STATIC_FUNCTION_P.
1094 2023-03-07 Marek Polacek <polacek@redhat.com>
1097 * call.cc (reference_like_class_p): New.
1098 (do_warn_dangling_reference): Add new bool parameter. See through
1099 reference_like_class_p.
1101 2023-03-07 Jakub Jelinek <jakub@redhat.com>
1104 * rtti.cc (emit_support_tinfo_1): Don't assert that last
1105 unemitted_tinfo_decls element is tinfo, instead pop from it only in
1107 * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
1108 for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
1110 2023-03-07 Marek Polacek <polacek@redhat.com>
1113 * constexpr.cc (cxx_eval_call_expression): Relax assert.
1115 2023-03-07 Marek Polacek <polacek@redhat.com>
1118 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
1119 'any' when recursing on a VAR_DECL and not a pointer to function.
1121 2023-03-04 Jakub Jelinek <jakub@redhat.com>
1124 * constexpr.cc: Include toplev.h.
1125 (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
1126 static initialized by constant expression outside of a constexpr
1127 function which has been deferred by make_rtl_for_nonlocal_decl,
1128 call rest_of_decl_compilation on it.
1130 2023-03-03 Patrick Palka <ppalka@redhat.com>
1133 * pt.cc (el_data::skipped_trees): New data member.
1134 (extract_locals_r): Push to skipped_trees any unevaluated
1135 contexts that we skipped over.
1136 (extract_local_specs): For the second walk, start from each
1137 tree in skipped_trees.
1139 2023-03-03 Alexandre Oliva <oliva@adacore.com>
1141 * typeck.cc (cp_build_binary_op): Suppress redundant warning
1142 for pfn null test in pmfn test with vbit-in-delta.
1144 2023-03-02 Jakub Jelinek <jakub@redhat.com>
1147 * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
1149 (fallback_dfloat32_type, fallback_dfloat64_type,
1150 fallback_dfloat128_type): Remove.
1151 * rtti.cc (emit_support_tinfo_1): If not emitted already, call
1152 emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
1153 (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
1154 into new fundamentals_with_fallback array. Call emit_support_tinfo_1
1155 on elements of that array too, with the difference that if
1156 the type is NULL, use a fallback REAL_TYPE for it temporarily.
1157 Drop the !targetm.decimal_float_supported_p () handling. Call
1158 targetm.emit_support_tinfos at the end.
1159 * mangle.cc (write_builtin_type): Remove references to
1160 fallback_dfloat*_type. Handle bfloat16_type_node mangling.
1162 2023-03-02 Patrick Palka <ppalka@redhat.com>
1166 * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
1167 additionally takes and propagate an mce_value parameter, and
1168 define the existing public overload in terms of it.
1169 (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
1171 2023-03-02 Patrick Palka <ppalka@redhat.com>
1174 * constexpr.cc (maybe_constant_init_1): Override
1175 manifestly_const_eval to true if is_static.
1177 2023-03-02 Jakub Jelinek <jakub@redhat.com>
1180 * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
1181 DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
1182 of USING_STMT or input_location.
1184 2023-03-02 Marek Polacek <polacek@redhat.com>
1187 * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
1188 lookup of SPEC didn't find anything, try to look for
1189 most_general_template.
1191 2023-03-02 Jakub Jelinek <jakub@redhat.com>
1194 * parser.cc (cp_convert_omp_range_for): Allow in assert
1195 decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
1196 error_mark_node type.
1197 (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
1198 on decls which have error_mark_node type.
1200 2023-03-01 Marek Polacek <polacek@redhat.com>
1203 * constexpr.cc (cxx_eval_constant_expression): Emit an error when
1204 a PTRMEM_CST cannot be evaluated.
1206 2023-03-01 Patrick Palka <ppalka@redhat.com>
1208 * pt.cc (tsubst_scope): Define.
1209 (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
1210 calling tsubst_scope with tf_qualifying_scope set.
1211 (tsubst_qualified_id): Call tsubst_scope instead of
1212 calling tsubst with tf_qualifying_scope set.
1213 (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
1214 trees. Remove tf_qualifying_scope manipulation.
1215 <case SCOPE_REF>: Call tsubst_scope instead of calling
1216 tsubst with tf_qualifying_scope set.
1218 2023-03-01 Patrick Palka <ppalka@redhat.com>
1219 Jason Merrill <jason@redhat.com>
1223 * constexpr.cc (fold_to_constant): Define.
1224 (maybe_constant_value): Move up early exit test for unevaluated
1225 operands. Try reducing an unevaluated operand to a constant via
1227 (fold_non_dependent_expr_template): Add early exit test for
1228 CONSTANT_CLASS_P nodes. Try reducing an unevaluated operand
1229 to a constant via fold_to_constant.
1230 * cp-tree.h (fold_to_constant): Declare.
1232 2023-03-01 Jakub Jelinek <jakub@redhat.com>
1235 * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
1236 Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
1239 2023-02-28 Patrick Palka <ppalka@redhat.com>
1242 * pt.cc (finish_template_variable): Move dependence check
1244 (lookup_and_finish_template_variable): ... here.
1245 * semantics.cc (finish_id_expression_1): Call
1246 finish_template_variable sooner, before (and regardless of) the
1247 type_dependent_expression_p test.
1249 2023-02-28 Marek Polacek <polacek@redhat.com>
1252 * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
1254 2023-02-20 Marek Polacek <polacek@redhat.com>
1257 * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
1258 constructor/op= with a checking assert.
1260 2023-02-20 Marek Polacek <polacek@redhat.com>
1263 * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
1264 (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
1265 prepend_one_capture.
1267 2023-02-18 Jason Merrill <jason@redhat.com>
1277 * semantics.cc (finish_static_assert): Don't diagnose in
1280 2023-02-17 Patrick Palka <ppalka@redhat.com>
1284 * cp-gimplify.cc (enum fold_flags): Define.
1285 (fold_flags_t): Declare.
1286 (cp_fold_data::genericize): Replace this data member with ...
1287 (cp_fold_data::fold_flags): ... this.
1288 (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
1289 (cp_fold_function): Likewise.
1290 (cp_fold_maybe_rvalue): Add an internal overload that
1291 additionally takes and propagates a fold_flags_t parameter, and
1292 define the existing public overload in terms of it.
1293 (cp_fold_rvalue): Likewise.
1294 (cp_fully_fold_init): Adjust use of cp_fold_data.
1295 (fold_cache): Replace with ...
1296 (fold_caches): ... this 2-element array of caches.
1297 (get_fold_cache): Define.
1298 (clear_fold_cache): Adjust.
1299 (cp_fold): Add fold_flags_t parameter. Use get_fold_cache.
1300 Pass flags to calls to cp_fold, cp_fold_rvalue and
1301 cp_fold_maybe_rvalue.
1302 <case CALL_EXPR>: If ff_mce_false is set, fold
1303 __builtin_is_constant_evaluated to false and pass mce_false to
1304 maybe_constant_value.
1306 2023-02-17 Patrick Palka <ppalka@redhat.com>
1308 * constexpr.cc (constexpr_call::manifestly_const_eval): Give
1309 it type int instead of bool.
1310 (constexpr_ctx::manifestly_const_eval): Give it type mce_value
1312 (cxx_eval_builtin_function_call): Adjust after making
1313 manifestly_const_eval tri-state.
1314 (cxx_eval_call_expression): Likewise.
1315 (cxx_eval_binary_expression): Likewise.
1316 (cxx_eval_conditional_expression): Likewise.
1317 (cxx_eval_constant_expression): Likewise.
1318 (cxx_eval_outermost_constant_expr): Likewise.
1319 (cxx_constant_value): Likewise.
1320 (cxx_constant_dtor): Likewise.
1321 (maybe_constant_value): Give manifestly_const_eval parameter
1322 type mce_value instead of bool and adjust accordingly.
1323 (fold_non_dependent_expr_template): Adjust call
1324 to cxx_eval_outermost_constant_expr.
1325 (fold_non_dependent_expr): Likewise.
1326 (maybe_constant_init_1): Likewise.
1327 * constraint.cc (satisfy_atom): Adjust call to
1328 maybe_constant_value.
1329 * cp-tree.h (enum class mce_value): Define.
1330 (maybe_constant_value): Adjust manifestly_const_eval parameter
1331 type and default argument.
1332 * decl.cc (compute_array_index_type_loc): Adjust call to
1333 maybe_constant_value.
1334 * pt.cc (convert_nontype_argument): Likewise.
1336 2023-02-16 Patrick Palka <ppalka@redhat.com>
1339 * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
1340 * decl.cc (make_typename_type): Use lookup_member instead of
1341 lookup_field. If tf_qualifying_scope is set, pass want_type=true
1342 instead of =false to lookup_member. Generalize format specifier
1343 in diagnostic to handle both type and non-type bindings.
1344 * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope. Tidy
1346 (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
1347 substituting USING_DECL_SCOPE.
1348 (tsubst): Clear tf_qualifying_scope right away and remember if
1349 it was set. Do the same for tf_tst_ok sooner.
1350 <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
1351 TYPE_CONTEXT. Pass tf_qualifying_scope to make_typename_type
1353 (tsubst_qualified_id): Set tf_qualifying_scope when substituting
1355 (tsubst_copy): Clear tf_qualifying_scope and remember if it was
1357 <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
1359 <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
1360 * search.cc (lookup_member): Document default argument.
1362 2023-02-16 Patrick Palka <ppalka@redhat.com>
1364 * cp-tree.h: Mechanically drop static from static inline
1365 functions via s/^static inline/inline/g.
1367 2023-02-15 Marek Polacek <polacek@redhat.com>
1370 * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
1372 2023-02-10 Marek Polacek <polacek@redhat.com>
1375 * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
1377 2023-02-09 Tobias Burnus <tobias@codesourcery.com>
1379 * parser.cc (cp_parser_omp_allocate): Parse align
1380 clause and check for restrictions.
1382 2023-02-09 Jakub Jelinek <jakub@redhat.com>
1385 * mangle.cc (write_expression, write_template_arg): Handle
1386 EXCESS_PRECISION_EXPR with REAL_CST operand as
1387 write_template_arg_literal on fold_convert of the REAL_CST
1388 to EXCESS_PRECISION_EXPR type.
1390 2023-02-06 Patrick Palka <ppalka@redhat.com>
1393 * cp-tree.h (call_expr_dependent_name): Declare.
1394 * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
1395 call_expr_dependent_name instead of dependent_name.
1396 * tree.cc (call_expr_dependent_name): Define.
1397 (called_fns_equal): Adjust to take two CALL_EXPRs instead of
1398 CALL_EXPR_FNs thereof. Use call_expr_dependent_name instead
1400 (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
1402 2023-02-03 Marek Polacek <polacek@redhat.com>
1405 * constexpr.cc (cxx_eval_array_reference): Don't replace
1408 2023-02-03 Patrick Palka <ppalka@redhat.com>
1411 * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
1412 the selected callee during overload set pruning.
1414 2023-02-03 Patrick Palka <ppalka@redhat.com>
1417 * class.cc (check_methods): Diagnose an unviable OVERLOAD
1418 set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
1419 Then prune the OVERLOAD to a single function.
1420 (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
1421 an OVERLOAD when calling deduce_noexcept_on_destructor.
1422 Document why it has to be called before check_methods.
1424 2023-02-03 Patrick Palka <ppalka@redhat.com>
1427 * class.cc (check_methods): Swap order of constraints_satisfied_p
1428 and copy/move_fn_p tests.
1430 2023-02-01 Marek Polacek <polacek@redhat.com>
1433 * call.cc (build_new_op): Don't call warn_logical_operator when
1434 processing a template.
1436 2023-02-01 Jakub Jelinek <jakub@redhat.com>
1439 * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
1440 and OACC_* constructs as non-constant.
1441 (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
1443 2023-02-01 Jason Merrill <jason@redhat.com>
1445 * class.cc (note_name_declared_in_class): Change from permerror to
1446 -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
1448 2023-01-31 Jason Merrill <jason@redhat.com>
1451 * cp-gimplify.cc (any_non_eliding_target_exprs): New.
1452 (cp_genericize_init): Check it.
1454 2023-01-31 Marek Polacek <polacek@redhat.com>
1458 * cp-tree.h (instantiation_dependent_expression_p): Don't
1461 2023-01-26 Marek Polacek <polacek@redhat.com>
1464 * parser.cc: Remove unnecessary forward declarations.
1465 (cp_parser_string_literal): New wrapper.
1466 (cp_parser_string_literal_common): Renamed from
1467 cp_parser_string_literal. Add a bool parameter. Give an error when
1468 UDLs are not permitted.
1469 (cp_parser_userdef_string_literal): New wrapper.
1470 (finish_userdef_string_literal): Renamed from
1471 cp_parser_userdef_string_literal.
1472 (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
1473 instead of cp_parser_string_literal.
1474 (cp_parser_linkage_specification): Move a variable declaration closer
1476 (cp_parser_static_assert): Likewise.
1477 (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
1478 cp_parser_string_literal.
1479 (cp_parser_asm_definition): Move a variable declaration closer to its
1481 (cp_parser_asm_specification_opt): Move variable declarations closer to
1483 (cp_parser_asm_operand_list): Likewise.
1484 (cp_parser_asm_clobber_list): Likewise.
1486 2023-01-26 Jakub Jelinek <jakub@redhat.com>
1489 * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
1490 called in !processing_template_decl with processing_template_decl
1491 temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
1492 (cp_finish_omp_range_for): And set it back again here.
1494 2023-01-25 Jakub Jelinek <jakub@redhat.com>
1497 * mangle.cc (write_closure_type_name): Don't assume all
1498 lambda operator() fns are methods.
1500 2023-01-24 Jason Merrill <jason@redhat.com>
1503 * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
1506 2023-01-24 Jason Merrill <jason@redhat.com>
1509 * pt.cc (tsubst_function_decl): Handle static lambda.
1511 2023-01-24 Jakub Jelinek <jakub@redhat.com>
1514 * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
1516 2023-01-24 Jason Merrill <jason@redhat.com>
1520 * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
1521 TARGET_EXPR, keep the outer one instead of the inner one.
1522 (maybe_replace_decl): New.
1524 2023-01-23 Jason Merrill <jason@redhat.com>
1527 * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
1530 2023-01-23 Marek Polacek <polacek@redhat.com>
1533 * cvt.cc (ocp_convert): copy_warning when creating a new
1535 * init.cc (build_new_1): Suppress -Wunused-value on
1536 compiler-generated COMPOUND_EXPRs.
1538 2023-01-23 Jason Merrill <jason@redhat.com>
1541 * call.cc (build_user_type_conversion_1): Check whether the
1542 iterators also find a list ctor.
1544 2023-01-23 Jason Merrill <jason@redhat.com>
1547 * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
1550 2023-01-23 Jason Merrill <jason@redhat.com>
1554 * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
1556 2023-01-19 Jakub Jelinek <jakub@redhat.com>
1559 * cp-tree.h (keep_unused_object_arg): Declare.
1560 * call.cc (keep_unused_object_arg): No longer static.
1561 * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
1562 with overload being static member function.
1564 2023-01-19 Jakub Jelinek <jakub@redhat.com>
1567 * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
1568 DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
1571 2023-01-16 Jakub Jelinek <jakub@redhat.com>
1574 * decl.cc (cp_finish_decl): Check warning_enabled_at
1575 at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
1578 2023-01-14 Jakub Jelinek <jakub@redhat.com>
1581 * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
1584 2023-01-13 Jakub Jelinek <jakub@redhat.com>
1587 * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
1588 use its operand except that for warning purposes use the original
1589 EXCESS_PRECISION_EXPR.
1590 * call.cc (convert_like_internal): Only look through
1591 EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
1592 cp_convert_and_check.
1594 2023-01-09 Jakub Jelinek <jakub@redhat.com>
1599 * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
1600 processing_template_decl.
1602 2023-01-05 Patrick Palka <ppalka@redhat.com>
1605 * parser.cc (cp_parser_class_head): Use dk_deferred instead of
1606 dk_no_check when parsing the class name.
1608 2023-01-05 Jakub Jelinek <jakub@redhat.com>
1611 * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
1614 2023-01-04 Patrick Palka <ppalka@redhat.com>
1617 * decl2.cc (mark_single_function): Ignore mark_used failure
1618 only in a non-SFINAE context rather than in a SFINAE one.
1620 2023-01-04 Jakub Jelinek <jakub@redhat.com>
1623 * decl.cc (merge_default_template_args): Return false if either
1624 new_parm or old_parm are erroneous.
1627 Copyright (C) 2023 Free Software Foundation, Inc.
1629 Copying and distribution of this file, with or without modification,
1630 are permitted in any medium without royalty provided the copyright
1631 notice and this notice are preserved.