-2018-12-27 Martin Liska <mliska@suse.cz>
-
- PR c++/88263
- * decl2.c (get_local_tls_init_fn): Add location_t argument and
- use it.
- (get_tls_init_fn): Call it with location of variable for which
- we'll need to create tls_init function.
- (handle_tls_init): Likewise.
-
-2018-12-21 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86524
- PR c++/88446
- * cp-tree.h (cp_fold_maybe_rvalue, cp_fold_rvalue): Declare.
- (fold_non_dependent_expr): Add manifestly_const_eval argument.
- * constexpr.c (cxx_eval_builtin_function_call): Evaluate
- __builtin_constant_p if ctx->manifestly_const_eval even in constexpr
- functions. Don't reuse dummy{1,2} vars between different arguments.
- Use cp_fold_rvalue instead of cp_fully_fold. Fix comment typo.
- (fold_non_dependent_expr): Add manifestly_const_eval argument, pass
- it through to cxx_eval_outermost_constant_expr and
- maybe_constant_value.
- * cp-gimplify.c (cp_fold_maybe_rvalue, cp_fold_rvalue): No longer
- static.
- * semantics.c (finish_static_assert): Call fold_non_dependent_expr
- with true as manifestly_const_eval.
-
-2018-12-20 Marek Polacek <polacek@redhat.com>
-
- PR c++/88196 - ICE with class non-type template parameter.
- * pt.c (convert_nontype_argument): If the expr is a PTRMEM_CST, also
- check if the type we're converting it to is TYPE_PTRMEM_P.
-
-2018-12-20 H.J. Lu <hongjiu.lu@intel.com>
-
- PR c/51628
- * call.c (convert_for_arg_passing): Call
- warn_for_address_or_pointer_of_packed_member.
- * typeck.c (convert_for_assignment): Likewise.
-
-2018-12-20 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88180
- * parser.c (cp_parser_class_specifier_1): If
- cp_parser_check_type_definition fails, skip default arguments, NSDMIs,
- etc. like for erroneous template args.
-
- * cp-tree.h (cp_fully_fold_init): Declare.
- * cp-gimplify.c (cp_fully_fold_init): New function.
- * typeck2.c (split_nonconstant_init, store_init_value): Use it
- instead of cp_fully_fold.
-
-2018-12-19 Segher Boessenkool <segher@kernel.crashing.org>
-
- * parser.c (cp_parser_asm_definition): Do not allow any asm qualifiers
- on top-level asm.
-
-2018-12-19 Segher Boessenkool <segher@kernel.crashing.org>
-
- * parser.c (cp_parser_asm_definition) <RID_CONST, RID_RESTRICT>: Give
- a more specific error message (instead of just falling through).
-
-2018-12-19 Segher Boessenkool <segher@kernel.crashing.org>
-
- * parser.c (cp_parser_asm_definition): Rewrite the loop to work without
- "done" boolean variable.
- * parser.c (cp_parser_asm_definition): Keep track of the location each
- asm qualifier is first seen; use that to give nicer "duplicate asm
- qualifier" messages.
-
-2018-12-19 Segher Boessenkool <segher@kernel.crashing.org>
-
- * parser.c (cp_parser_asm_definition): Rewrite the loop to work without
- "done" boolean variable.
-
-2018-12-19 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/88375
- * typeck.c (convert_for_assignment): Capture location of rhs
- before stripping, and if available. Use the location when
- complaining about bad conversions, labelling it with the
- rhstype if the location was present.
- * typeck2.c (digest_init_r): Capture location of init before
- stripping.
-
-2018-12-19 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/87504
- * call.c (op_error): Convert 1st param from location_t to
- const op_location_t &. Use binary_op_rich_location for binary
- ops.
- (build_conditional_expr_1): Convert 1st param from location_t to
- const op_location_t &.
- (build_conditional_expr): Likewise.
- (build_new_op_1): Likewise.
- (build_new_op): Likewise.
- * cp-tree.h (build_conditional_expr): Likewise.
- (build_new_op): Likewise.
- (build_x_binary_op): Likewise.
- (cp_build_binary_op): Likewise.
- * parser.c (cp_parser_primary_expression): Build a location
- for id-expression nodes.
- (cp_parser_binary_expression): Use an op_location_t when
- calling build_x_binary_op.
- (cp_parser_operator): Build a location for user-defined literals.
- * typeck.c (build_x_binary_op): Convert 1st param from location_t
- to const op_location_t &.
- (cp_build_binary_op): Likewise. Use binary_op_rich_location.
-
-2018-12-19 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/43064
- PR c++/43486
- * call.c (build_conditional_expr_1): Strip location wrappers when
- checking for CONST_DECL.
- (conversion_null_warnings): Use location of "expr" if available.
- * class.c (fixed_type_or_null): Handle location wrappers.
- * constexpr.c (potential_constant_expression_1): Likewise.
- * cvt.c (ignore_overflows): Strip location wrappers when
- checking for INTEGER_CST, and re-wrap the result if present.
- (ocp_convert): Call fold_for_warn before checking for INTEGER_CST.
- * decl.c (reshape_init_r): Strip any location wrapper.
- (undeduced_auto_decl): Likewise.
- * expr.c (mark_discarded_use): Likewise for expr.
- * init.c (build_aggr_init): Likewise before checking init for
- DECL_P.
- (warn_placement_new_too_small): Call fold_for_warn on adj before
- checking for CONSTANT_CLASS_P, and on nelts. Strip any location
- wrapper from op0 and on oper before checking for VAR_P.
- * parser.c (cp_parser_primary_expression): Call
- maybe_add_location_wrapper on numeric and string literals.
- (cp_parser_postfix_expression): Strip any location wrapper when
- checking for DECL_IS_BUILTIN_CONSTANT_P.
- (cp_parser_unary_expression): Ensure that folding of NEGATE_EXPR
- around a constant happens in the presence of location wrappers and
- returns a wrapped result.
- (cp_parser_has_attribute_expression): Strip any location wrapper
- from "oper".
- (cp_parser_binary_expression): Strip any location wrapper when
- checking for DECL_P on the lhs.
- (cp_parser_decltype): Strip any location wrapper from result of
- cp_parser_decltype_expr.
- (cp_parser_mem_initializer): Add location wrappers to the
- parenthesized expression list.
- (cp_parser_template_parameter_list): Don't create wrapper nodes
- within a template-parameter-list.
- (cp_parser_template_argument_list): Don't create wrapper nodes
- within a template-argument-list.
- (cp_parser_parameter_declaration): Strip location wrappers from
- default arguments.
- (cp_parser_gnu_attribute_list): Don't create wrapper nodes.
- (cp_parser_std_attribute_spec_seq): Likewise.
- (cp_parser_omp_all_clauses): Don't create wrapper nodes within
- OpenMP clauses.
- (cp_parser_omp_for_loop): Likewise.
- (cp_parser_omp_declare_reduction_exprs): Likewise.
- * pt.c (convert_nontype_argument_function): Strip location
- wrappers from fn_no_ptr before checking for FUNCTION_DECL.
- (tsubst_default_argument): Move note about which callsite led to
- instantiation to after the check_default_argument call.
- (do_auto_deduction): Likewise from init before checking for
- DECL_P.
- * semantics.c (force_paren_expr): Likewise from expr before
- checking for DECL_P.
- (finish_parenthesized_expr): Likewise from expr before
- checking for STRING_CST.
- (perform_koenig_lookup): Likewise from fn.
- (finish_call_expr): Likewise.
- (finish_id_expression): Rename to...
- (finish_id_expression_1): ...this, calling
- maybe_add_location_wrapper on the result.
- (capture_decltype): Use lookup_name_real rather than value_member
- when looking up decl within the capture-list.
- * tree.c (cp_stabilize_reference): Strip any location wrapper.
- (builtin_valid_in_constant_expr_p): Likewise.
- (strip_typedefs_expr): Strip any location wrapper before checking
- for decls or constants.
- (is_overloaded_fn): Likewise.
- (maybe_get_fns): Likewise.
- (selftest::test_lvalue_kind): Verify lvalue_p.
- * typeck.c (cxx_sizeof_expr): Strip any location wrapper.
- (cxx_alignof_expr): Likewise.
- (is_bitfield_expr_with_lowered_type): Handle location wrappers.
- (cp_build_array_ref): Call maybe_constant_value on "idx".
- (cp_build_binary_op): Strip location wrapper from first_arg before
- checking for PARM_DECL. Likewise for op1 before checking for
- INTEGER_CST in two places. Likewise for orig_op0 and orig_op1
- when checking for STRING_CST.
- (cp_build_addr_expr_1): Likewise for arg when checking for
- FUNCTION_DECL.
- (cp_build_modify_expr): Likewise for newrhs when checking for
- STRING_CST.
- (convert_for_assignment): Don't strip location wrappers when
- stripping NON_LVALUE_EXPR.
- (maybe_warn_about_returning_address_of_local): Strip location
- wrapper from whats_returned before checking for DECL_P.
- (can_do_nrvo_p): Strip location wrapper from retval.
- (treat_lvalue_as_rvalue_p): Likewise.
- (check_return_expr): Likewise.
- * typeck2.c (cxx_incomplete_type_diagnostic): Strip location
- wrapper from value before checking for VAR_P or PARM_DECL.
- (digest_init_r): Strip location wrapper from init. When
- copying "init", also copy the wrapped node.
-
-2018-12-19 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87934
- * constexpr.c (cxx_eval_constant_expression) <case CONSTRUCTOR>: Do
- re-process TREE_CONSTANT CONSTRUCTORs if they aren't reduced constant
- expressions.
-
-2018-12-19 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/87012
- * pt.c (convert_template_argument): Canonicalize type after
- tsubst/deduce.
-
- PR c++/88146
- * method.c (do_build_copy_constructor): Guard cvquals init and
- loop over fields to run for non-inherited ctors only.
- (synthesize_method): Retain location of inherited ctor.
-
-2018-12-17 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88410
- * cp-gimplify.c (cp_fold) <case ADDR_EXPR>: For offsetof-like folding,
- call maybe_constant_value on val to see if it is INTEGER_CST.
-
-2018-12-17 Jonathan Wakely <jwakely@redhat.com>
-
- PR c++/52321
- * typeck.c (build_static_cast): Print a note when the destination
- type or the operand is a pointer/reference to incomplete class type.
-
-2018-12-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88482
- * except.c (verify_library_fn): New function.
- (declare_library_fn): Use it. Initialize TM even if the non-TM
- library function has been user declared.
- (do_end_catch): Don't set TREE_NOTHROW on error_mark_node.
- (expand_start_catch_block): Don't call initialize_handler_parm
- for error_mark_node.
- (build_throw): Use verify_library_fn. Initialize TM even if the
- non-TM library function has been user declared. Don't crash if
- any library fn is error_mark_node.
-
-2018-12-14 Jason Merrill <jason@redhat.com>
-
- * pt.c (tsubst_expr) [DECL_EXPR]: Ignore class-scope bindings when
- looking up a capture proxy.
-
-2018-12-15 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84644
- * decl.c (check_tag_decl): A decltype with no declarator
- doesn't declare anything.
-
-2018-12-14 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/87814
- * pt.c (tsubst_exception_specification): Handle
- DEFERRED_NOEXCEPT with !defer_ok.
-
-2018-12-14 Jason Merrill <jason@redhat.com>
-
- PR c++/86823
- * parser.c (cp_parser_template_id): Rearrange deferred access
- checks into the firewall.
-
-2018-12-14 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/82294
- PR c++/87436
- * init.c (build_vec_init): Change num_initialized_elts type from int
- to HOST_WIDE_INT. Build a RANGE_EXPR if e needs to be repeated more
- than once.
-
-2018-12-13 Marek Polacek <polacek@redhat.com>
-
- PR c++/88216 - ICE with class type in non-type template parameter.
- * mangle.c (write_expression): Handle TARGET_EXPR and
- VIEW_CONVERT_EXPR.
- * pt.c (convert_nontype_argument): Don't call
- get_template_parm_object for value-dependent expressions.
-
-2018-12-13 Nathan Sidwell <nathan@acm.org>
-
- PR c++/87531
- * class.c (finish_struct): Set DECL_CONTEXT of template assign op.
- * name-lookup.c (get_class_binding_direct): Don't strip using-decl
- of overload here.
- * parser.c (cp_parser_postfix_expression): Cope with using decl in
- overload set.
- * semantics.c (finish_id_expr): Likewise.
-
-2018-12-12 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokdeclarator): Fix location of error message about
- static data member definition.
-
-2018-12-12 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88446
- * cp-tree.h (maybe_constant_value): Add manifestly_const_eval
- argument.
- * constexpr.c (struct constexpr_call): Rename pretend_const_required
- member to manifestly_const_eval.
- (struct constexpr_ctx): Likewise.
- (constexpr_call_hasher::equal): Adjust users.
- (cxx_eval_builtin_function_call): Likewise. Formatting fix.
- (cxx_eval_call_expression): Adjust users.
- (cxx_eval_outermost_constant_expr, maybe_constant_init_1,
- maybe_constant_init): Rename pretend_const_required argument to
- manifestly_const_eval, adjust function comments.
- (maybe_constant_value): Add manifestly_const_eval argument. If true,
- don't cache and call cxx_eval_outermost_constant_expr with true as
- manifestly_const_eval.
- * decl.c (compute_array_index_type_loc): Call maybe_constant_value
- with true as manifestly_const_eval.
-
- PR c++/88449
- * constexpr.c (struct constexpr_call): Add pretend_const_required
- member.
- (constexpr_call_hasher::equal): Return false if pretend_const_required
- members differ.
- (cxx_eval_call_expression): Adjust new_call initialization. Hash in
- ctx->pretend_const_required.
-
-2018-12-11 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87861
- * class.c (build_vtbl_initializer): For TARGET_VTABLE_USES_DESCRIPTORS
- bump index for each added word.
- * constexpr.c (find_array_ctor_elt): Add forward declaration.
- (cxx_eval_call_expression): Handle TARGET_VTABLE_USES_DESCRIPTORS
- vtable calls.
- (cxx_eval_constant_expression) <case OBJ_TYPE_REF>: Divide token
- by TARGET_VTABLE_USES_DESCRIPTORS if non-zero.
-
-2018-12-11 Marek Polacek <polacek@redhat.com>
-
- PR c++/86608 - reading constexpr volatile variable.
- * constexpr.c (potential_constant_expression_1): Check want_rval
- instead of checking if we have a decl.
- * decl2.c (decl_maybe_constant_var_p): Don't consider volatile
- constexpr variables as maybe constant.
-
-2018-12-11 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokvardecl): Add location_t parameter and use it
- in build_lang_decl_loc and build_decl calls.
- (grokdeclarator): Move up loc declaration and use it in the
- grokvardecl call too.
-
-2018-12-09 Cesar Philippidis <cesar@codesourcery.com>
-
- * parser.c (cp_parser_oacc_kernels_parallel): Adjust EXPR_LOCATION
- on the combined acc loop.
-
-2018-12-07 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in error messages
- about bit-fields with function type, warn_if_not_aligned type, and
- static bit-fields; avoid DECL_NAME for unnamed declarations.
-
-2018-12-07 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86669
- * call.c (make_temporary_var_for_ref_to_temp): Call pushdecl even for
- automatic vars.
-
- PR c++/87506
- * constexpr.c (adjust_temp_type): Handle EMPTY_CLASS_EXPR.
-
-2018-12-06 Paolo Carlini <paolo.carlini@oracle.com>
-
- * class.c (check_bitfield_decl): In error message about non-integral
- type print the type itself too.
- * decl.c (grokdeclarator): Do not ICE on unnamed bit-fields declared
- friends; when calling build_decl for a FIELD_DECL possibly pass the
- declarator->id_loc.
-
-2018-12-06 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/86747
- * pt.c (tsubst_friend_class): Enter tsubsted class context.
-
- PR c++/86397
- * except.c (build_noexcept_spec): Resolve nondependent
- expressions.
-
-2018-12-06 Jason Merrill <jason@redhat.com>
-
- PR c++/88136 - -Wdeprecated-copy false positives
- * class.c (classtype_has_depr_implicit_copy): Rename from
- classtype_has_user_copy_or_dtor.
- * method.c (lazily_declare_fn): Adjust.
- * decl2.c (cp_warn_deprecated_use): Refer to -Wdeprecated-copy-dtor
- if deprecation is due to a destructor.
-
-2018-12-06 Marek Polacek <polacek@redhat.com>
-
- PR c++/88373 - wrong parse error with ~.
- * parser.c (cp_parser_template_name): Check tag_type for
- none_type.
-
-2018-12-06 Segher Boessenkool <segher@kernel.crashing.org>
-
- * cp-tree.h (finish_asm_stmt): Update declaration.
- * parser.c (cp_parser_asm_definition): Detect the inline keyword
- after asm. Pass a flag for it to finish_asm_stmt.
- * pt.c (tsubst_expr): Pass the ASM_INLINE_P flag to finish_asm_stmt.
- * semantics.c (finish_asm_stmt): Add inline_p parameter. Use it to
- set ASM_INLINE_P.
-
-2018-12-06 Segher Boessenkool <segher@kernel.crashing.org>
-
- PR inline-asm/55681
- * parser.c (cp_parser_asm_definition): Update grammar. Allow any
- combination of volatile and goto, in any order, without repetitions.
-
-2018-12-06 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85110
- * call.c (conversion_null_warnings): Try to use the location of
- the expression for the warnings. Add notes showing the parameter
- of the function decl, where available.
- (get_fndecl_argument_location): For implicitly-declared functions,
- use the fndecl location rather than that of the param.
- (maybe_inform_about_fndecl_for_bogus_argument_init): New function.
- (convert_like_real): Use it in various places to avoid repetition.
- (complain_about_bad_argument): Likewise.
- * cp-tree.h (maybe_inform_about_fndecl_for_bogus_argument_init):
- New declaration.
- * decl2.c (check_default_args): Put all diagnostics for the fndecl
- into a diagnostic group. Use the location of the parameter when
- complaining about parameters with missing default arguments in
- preference to that of the fndecl. Attempt to record the location
- of the first parameter with a default argument and emit a note
- for the first parameter that's missing one.
- * typeck.c (convert_arguments): When complaining about parameters
- with incomplete types, attempt to use the location of the
- argument. Where available, add a note showing the pertinent
- parameter in the fndecl.
- (convert_for_assignment): When complaining about bad conversions
- at function calls, use the location of the unstripped argument.
- (convert_for_initialization): When checking for bogus references,
- add an auto_diagnostic_group, and update the note to use the
- location of the pertinent parameter, rather than just the callee.
-
-2018-12-06 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in error message;
- print the type too; fix thinko in INDIRECT_TYPE_P use.
-
-2018-12-05 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/85569
- * constexpr.c (adjust_temp_type): Test for type equality with
- same_type_p.
- (constexpr_call_hasher::equal): Likewise.
-
-2018-12-04 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84636
- * decl.c (grokdeclarator): Avoid crashing on an anonymous bit-field
- with function type.
-
-2018-12-04 Marek Polacek <polacek@redhat.com>
-
- PR c++/88184 - ICE when treating name as template-name.
- * pt.c (lookup_template_function): Always build the TEMPLATE_ID_EXPR
- with unknown_type_node.
-
-2018-12-04 Julian Brown <julian@codesourcery.com>
-
- * parser.c (cp_parser_oacc_wait_list): Fix error message and avoid
- duplicate diagnostic.
-
-2018-12-04 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88103
- * typeck.c (build_class_member_access_expr): If unary_complex_lvalue
- turned xvalue_p into non-xvalue_p, call move on it.
-
-2018-12-02 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88258
- * parser.c (cp_parser_skip_to_closing_parenthesis_1,
- cp_parser_skip_to_end_of_statement,
- cp_parser_skip_to_end_of_block_or_statement,
- cp_parser_skip_to_closing_brace,
- cp_parser_skip_to_closing_square_bracket,
- cp_parser_skip_balanced_tokens): Don't treat CPP_PRAGMA_EOL specially
- if in_pragma is false.
-
-2018-12-01 Marek Polacek <polacek@redhat.com>
-
- Implement P0634R3, Down with typename!
- * parser.c (CP_PARSER_FLAGS_TYPENAME_OPTIONAL): New enumerator.
- (cp_parser_type_name): Remove declaration.
- (cp_parser_postfix_expression): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
- to cp_parser_type_id.
- (cp_parser_new_type_id): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL to
- cp_parser_type_specifier_seq.
- (cp_parser_lambda_declarator_opt): Pass
- CP_PARSER_FLAGS_TYPENAME_OPTIONAL to
- cp_parser_parameter_declaration_clause.
- (cp_parser_condition): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator.
- (cp_parser_simple_declaration): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_init_declarator.
- (cp_parser_conversion_type_id): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_type_specifier_seq.
- (cp_parser_default_type_template_argument): Pass
- CP_PARSER_FLAGS_TYPENAME_OPTIONAL to cp_parser_type_id.
- (cp_parser_template_parameter): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
- to cp_parser_parameter_declaration.
- (cp_parser_explicit_instantiation): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator.
- (cp_parser_simple_type_specifier): Adjust call to cp_parser_type_name
- to relay if we should treat the typename keyword as optional. Maybe
- call cp_parser_make_typename_type is parsing a template-id and it's
- not a TYPE_DECL.
- (cp_parser_type_name): Remove unused function.
- (cp_parser_enum_specifier): Pass to CP_PARSER_FLAGS_NONE
- cp_parser_type_specifier_seq.
- (cp_parser_alias_declaration): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
- to cp_parser_type_id.
- (cp_parser_init_declarator): New parameter. Pass it down to
- cp_parser_declarator.
- (cp_parser_declarator): New parameter. Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator. Pass the new parameter to
- cp_parser_direct_declarator.
- (cp_parser_direct_declarator): New parameter. Pass it to
- cp_parser_parameter_declaration_clause and cp_parser_declarator.
- (cp_parser_declarator_id):
- (cp_parser_type_id_1): New parameter. Pass it to
- cp_parser_type_specifier_seq. Adjust call to cp_parser_declarator.
- (cp_parser_type_id): New parameter. Pass it to cp_parser_type_id_1.
- (cp_parser_template_type_arg): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_type_id_1.
- (cp_parser_trailing_type_id): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
- to cp_parser_type_id_1.
- (cp_parser_type_specifier_seq): New parameter.
- (function_being_declared_is_template_p):
- (cp_parser_parameter_declaration_clause): New parameter. Pass it to
- cp_parser_parameter_declaration_list.
- (cp_parser_parameter_declaration_list): New parameter. Pass it to
- cp_parser_parameter_declaration.
- (cp_parser_parameter_declaration): New parameter. Pass it to
- cp_parser_decl_specifier_seq. Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator.
- (cp_parser_member_declaration): Adjust call to
- cp_parser_decl_specifier_seq to also include
- CP_PARSER_FLAGS_TYPENAME_OPTIONAL. Pass
- CP_PARSER_FLAGS_TYPENAME_OPTIONAL to cp_parser_declarator.
- (cp_parser_exception_declaration): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_type_specifier_seq and cp_parser_declarator.
- (cp_parser_requirement_parameter_list): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_parameter_declaration_clause.
- (cp_parser_constructor_declarator_p): Resolve the TYPENAME_TYPE.
- (cp_parser_single_declaration): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
- to cp_parser_decl_specifier_seq and cp_parser_init_declarator.
- (cp_parser_cache_defarg): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator and cp_parser_parameter_declaration_list.
- (cp_parser_objc_method_tail_params_opt): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_parameter_declaration.
- (cp_parser_objc_class_ivars): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator.
- (cp_parser_objc_try_catch_finally_statement): Pass CP_PARSER_FLAGS_NONE
- to cp_parser_parameter_declaration
- (cp_parser_objc_struct_declaration): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator.
- (cp_parser_omp_for_loop_init): Pass CP_PARSER_FLAGS_NONE to
- cp_parser_declarator and cp_parser_type_specifier_seq.
-
-2018-11-30 David Malcolm <dmalcolm@redhat.com>
-
- * typeck2.c: Include "gcc-rich-location.h".
- (cxx_incomplete_type_diagnostic): When complaining about possibly
- missing parens, add a fix-it hint if the member function takes no
- additional params.
-
-2018-11-30 James Norris <jnorris@codesourcery.com>
-
- * parser.c (cp_parser_oacc_enter_exit_data): Use existing local
- variable.
-
-2018-11-29 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (compute_array_index_type_loc): New, like the current
- compute_array_index_type but takes a location_t too.
- (compute_array_index_type): Forward to the latter.
- (create_array_type_for_decl): Use compute_array_index_type_loc.
-
-2018-11-29 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/88121
- * cp-name-hint.h (suggest_alternative_in_scoped_enum): New decl.
- * error.c (dump_scope): Ensure that we print any scope for values
- of unscoped enums. Print the scope of values of scoped enums.
- (qualified_name_lookup_error): Offer suggestions for failures
- within scoped enums by calling suggest_alternative_in_scoped_enum.
- * name-lookup.c (class namespace_hints): Update comment to mention
- scoped enums.
- (namespace_hints::namespace_hints): Call
- maybe_add_candidate_for_scoped_enum.
- (namespace_hints::maybe_add_candidate_for_scoped_enum): New member
- (suggest_alternatives_for): Update comment to mention scoped
- enums.
- (suggest_alternative_in_scoped_enum): New function.
-
-2018-11-28 Marek Polacek <polacek@redhat.com>
-
- Implement P1094R2, Nested inline namespaces.
- * parser.c (cp_parser_namespace_definition): Parse the optional inline
- keyword in a nested-namespace-definition. Adjust push_namespace call.
- Formatting fix.
-
-2018-11-28 Nathan Sidwell <nathan@acm.org>
-
- PR c++/87531
- * class.c (finish_struct): In a template, add artificial using
- decl for operator=.
-
-2018-11-28 Jan Hubicka <hubicka@ucw.cz>
-
- * except.c (do_allocate_exception): Annotate __cxa_allocate_exception
- as COLD.
-
-2018-11-28 Marek Polacek <polacek@redhat.com>
-
- PR c++/88222 - ICE with bit-field with invalid type.
- * decl.c (grokdeclarator): Check if declarator is null.
-
-2018-11-28 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87476
- * typeck2.c (digest_init_r): Re-add handing of signed/unsigned char
- strings and add it to the initialization of wide array from non-wide
- string diagnostics too.
-
-2018-11-27 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88187
- * decl.c (grokdeclarator): Don't diagnose deduction guide errors
- if !funcdecl_p.
-
- PR c++/88181
- * class.c (fixup_attribute_variants): Also propagate TYPE_PACKED
- to variants.
-
-2018-11-26 Marek Polacek <polacek@redhat.com>
-
- PR c++/88120 - ICE when calling save_expr in a template.
- * typeck.c (cp_build_binary_op): Call cp_save_expr instead of
- save_expr.
-
-2018-11-22 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87386
- * parser.c (cp_parser_operator): Use str.get_value () instead of just
- str in USERDEF_LITERAL_VALUE and USERDEF_LITERAL_SUFFIX_ID arguments.
-
-2018-11-21 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88122
- * method.c (maybe_explain_implicit_delete): If
- FUNCTION_FIRST_USER_PARMTYPE (decl) is NULL, set const_p to false
- instead of ICEing.
-
- PR c++/87386
- * parser.c (cp_parser_primary_expression): Use
- id_expression.get_location () instead of id_expr_token->location.
- Adjust the range from id_expr_token->location to
- id_expressio.get_finish ().
- (cp_parser_operator_function_id): Pass location of the operator
- token down to cp_parser_operator.
- (cp_parser_operator): Add start_loc argument, always construct a
- location with caret at start_loc and range from start_loc to the
- finish of the last token.
-
- PR c++/87393
- * parser.c (cp_parser_linkage_specification): Remove useless
- dereference of the consume_open method result.
-
-2018-11-20 Martin Sebor <msebor@redhat.com>
-
- * cp-tree.h (cp_check_const_attributes): Declare.
- * decl2.c (cp_check_const_attributes): Declare extern.
- * parser.c (cp_parser_has_attribute_expression): New function.
- (cp_parser_unary_expression): Handle RID_HAS_ATTRIBUTE_EXPRESSION.
- (cp_parser_gnu_attribute_list): Add argument.
-
-2018-11-20 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/88110
- * constexpr.c (cxx_eval_constant_expression) <case OBJ_TYPE_REF>: Punt
- if get_base_address of ADDR_EXPR operand is not a DECL_P.
-
-2018-11-19 Marek Polacek <polacek@redhat.com>
-
- PR c++/87781 - detect invalid elaborated-type-specifier.
- * parser.c (cp_parser_elaborated_type_specifier): Ensure that
- typename follows a nested-name-specifier.
-
-2018-11-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl2.c (grokfield): Remove obsolete _vptr check; fix
- explicit template argument list error location.
-
-2018-11-16 Kamlesh Kumar <kamleshbhalui@gmail.com>
-
- DR 1207
- PR c++/52869
- * parser.c (cp_parser_noexcept_specification_opt): Call
- inject_this_parameter.
-
-2018-11-16 Jason Merrill <jason@redhat.com>
-
- Implement P0479R5, [[likely]] and [[unlikely]].
- * tree.c (handle_likeliness_attribute): New.
- (std_attribute_table): Add likely/unlikely.
- * cp-gimplify.c (lookup_hotness_attribute, remove_hotness_attribute)
- (process_stmt_hotness_attribute, first_stmt): New.
- (genericize_if_stmt): Check for duplicate predictions.
- * parser.c (cp_parser_statement): Call
- process_stmt_hotness_attribute.
- (cp_parser_label_for_labeled_statement): Apply attributes to case.
- * decl.c (finish_case_label): Give label in template type void.
- * pt.c (tsubst_expr) [CASE_LABEL_EXPR]: Copy attributes.
- [PREDICT_EXPR]: Handle.
-
-2018-11-16 Nathan Sidwell <nathan@acm.org>
-
- Remove ovl_used, it is no longer needed
- * cp-tree.h (OVL_USED_P): Delete.
- (lookup_keep): Delete.
- * friend.c (add_friend): Don't call it.
- * parser.c (lookup_literal_operator): Likewise.
- (cp_parser_primary_expression): Likewise.
- * semantics.c (perform_koenig_lookup): Likewise.
- * pt.c (tsubst_copy <OVERLOAD>): Don't assert OVL_USED_P.
- * tree.c (ovl_copy): Delete.
- (ovl_insert): Remove OVL_USED_P checks.
- (ovl_iterator::reveal_node): Likewise.
- (ovl_iterator::remove__node): Likewise.
- (ovl_used, lookup_keep): Delete.
-
- PR c++/87269
- * parser.c (lookup_literal_operator): Mark overload for keeping
- when inside template. Refactor.
-
-2018-11-15 Nathan Sidwell <nathan@acm.org>
-
- PR c++/86246
- PR c++/87989
- * typeck.c (finish_class_member_access_expr): Conversion operator
- to dependent type is dependent.
-
-2018-11-15 Paolo Carlini <paolo.carlini@oracle.com>
-
- * constexpr.c (ensure_literal_type_for_constexpr_object): Use
- DECL_SOURCE_LOCATION in error_at calls.
-
-2018-11-15 Nathan Sidwell <nathan@acm.org>
-
- DR 2336
- * cp-tree.h (enum special_function_kind): Add sfk_virtual_destructor.
- * method.c (type_has_trivial_fn): Add it.
- (SFK_DTOR_P): Likewise.
- (synthesized_method_base_walk): Don't check access of vbases of
- abstract classes when sfk_virtual_destructor.
- (synthesized_method_walk): Skip vbases of abstract classes except
- when sfk_virtual_destructor.
- (get_defaulted_eh_spec): Set sfk_virtual_destructor as needed.
-
- * cp-tree.h (enum special_function_kind): Reorder and comment.
- * method.c (SFK_CTOR_P, SFK_DTOR_P, SFK_ASSIGN_P, SFK_COPY_P)
- (SFK_MOVE_P): New predicates.
- (walk_field_subobs, synthesized_method_base_walk): Drop
- copy_arg_p, move_p, assign_p args. Use new SFK predicates. Order
- parameters consistently.
- (synthesized_method_walk): Drop ctor_p, copy_arg_p, move_p,
- assign_p calculations. Use new SFK predicates. Adjust calls to
- worker functions.
-
-2018-11-14 Paolo Carlini <paolo.carlini@oracle.com>
-
- * parser.c (make_id_declarator): Add location_t parameter.
- (cp_parser_lambda_declarator_opt): Adjust call.
- (cp_parser_decomposition_declaration): Likewise.
- (cp_parser_alias_declaration): Likewise.
- (cp_parser_direct_declarator): Likewise.
- (cp_parser_member_declaration): Likewise.
- (cp_parser_objc_class_ivars): Likewise.
- * decl.c (grokdeclarator): Use declarator->id_loc in two error
- messages.
-
-2018-11-14 Jakub Jelinek <jakub@redhat.com>
-
- P1236R1 - Signed integers are two's complement
- * constexpr.c (cxx_eval_check_shift_p): Disable the signed LSHIFT_EXPR
- checks for c++2a.
-
-2018-11-13 David Malcolm <dmalcolm@redhat.com>
-
- * call.c: Replace "source_location" with "location_t".
- * cp-tree.h: Likewise.
- * cvt.c: Likewise.
- * name-lookup.c: Likewise.
- * parser.c: Likewise.
- * typeck.c: Likewise.
-
-2018-11-12 Jason Merrill <jason@redhat.com>
-
- Implement P0315R4, Lambdas in unevaluated contexts.
- * decl2.c (min_vis_expr_r): Handle LAMBDA_EXPR.
- * mangle.c (write_expression): Handle LAMBDA_EXPR.
- * parser.c (cp_parser_lambda_expression): Allow lambdas in
- unevaluated context. Start the tentative firewall sooner.
- (cp_parser_lambda_body): Use cp_evaluated.
- * pt.c (iterative_hash_template_arg): Handle LAMBDA_EXPR.
- (tsubst_function_decl): Substitute a lambda even if it isn't
- dependent.
- (tsubst_lambda_expr): Use cp_evaluated. Always complain.
- (tsubst_copy_and_build) [LAMBDA_EXPR]: Do nothing if tf_partial.
- * semantics.c (begin_class_definition): Allow in template parm list.
- * tree.c (strip_typedefs_expr): Pass through LAMBDA_EXPR.
- (cp_tree_equal): Handle LAMBDA_EXPR.
-
- * pt.c (fn_type_unification): If we have a full set of explicit
- arguments, go straight to substitution.
-
- * decl2.c (min_vis_expr_r, expr_visibility): New.
- (min_vis_r): Call expr_visibility.
- (constrain_visibility_for_template): Likewise.
-
- Implement P0722R3, destroying operator delete.
- * call.c (std_destroying_delete_t_p, destroying_delete_p): New.
- (aligned_deallocation_fn_p, usual_deallocation_fn_p): Use
- destroying_delete_p.
- (build_op_delete_call): Handle destroying delete.
- * decl2.c (coerce_delete_type): Handle destroying delete.
- * init.c (build_delete): Don't call dtor with destroying delete.
- * optimize.c (build_delete_destructor_body): Likewise.
-
- Implement P0780R2, pack expansion in lambda init-capture.
- * parser.c (cp_parser_lambda_introducer): Parse pack init-capture.
- * pt.c (tsubst_pack_expansion): Handle init-capture packs.
- (lookup_init_capture_pack): New.
- (tsubst_expr) [DECL_EXPR]: Use it.
- (tsubst_lambda_expr): Remember field pack expansions for
- init-captures.
-
- * cp-tree.h (struct cp_evaluated): New.
- * init.c (get_nsdmi): Use it.
- * parser.c (cp_parser_enclosed_template_argument_list): Use it.
- * pt.c (coerce_template_parms, tsubst_aggr_type): Use it.
-
-2018-11-09 Jakub Jelinek <jakub@redhat.com>
-
- * parser.c (cp_parser_omp_clause_final, cp_parser_omp_clause_if): Use
- cp_parser_assignment_expression instead of cp_parser_condition.
- (cp_parser_omp_clause_num_threads, cp_parser_omp_clause_num_tasks,
- cp_parser_omp_clause_grainsize, cp_parser_omp_clause_priority,
- cp_parser_omp_clause_num_teams, cp_parser_omp_clause_thread_limit,
- cp_parser_omp_clause_linear, cp_parser_omp_clause_device): Use
- cp_parser_assignment_expression instead of cp_parser_expression.
- (cp_parser_omp_clause_hint): Likewise. Formatting fix.
-
- * parser.c (cp_parser_omp_clause_reduction): Call sorry_at on
- reduction clause with inscan modifier.
-
- * parser.c (cp_parser_omp_requires): Call sorry_at on requires
- clauses other than atomic_default_mem_order.
-
-2018-11-09 Martin Sebor <msebor@redhat.com>
-
- PR middle-end/81824
- * pt.c (warn_spec_missing_attributes): Move code to attribs.c.
- Call decls_mismatched_attributes.
-
-2018-11-08 Jakub Jelinek <jakub@redhat.com>
-
- * constexpr.c (potential_constant_expression_1): Handle OMP_DEPOBJ.
- * cp-gimplify.c (cp_genericize_r): Handle
- OMP_CLAUSE_{IN,TASK}_REDUCTION.
- (cxx_omp_predetermined_sharing_1): Don't return
- OMP_CLAUSE_DEFAULT_SHARED for const qualified decls with no mutable
- member. Return OMP_CLAUSE_DEFAULT_FIRSTPRIVATE for this pointer.
- * cp-objcp-common.c (cp_common_init_ts): Handle OMP_DEPOBJ.
- * cp-tree.def (OMP_DEPOBJ): New tree code.
- * cp-tree.h (OMP_ATOMIC_DEPENDENT_P): Return true also for first
- argument being OMP_CLAUSE.
- (OMP_DEPOBJ_DEPOBJ, OMP_DEPOBJ_CLAUSES): Define.
- (cp_convert_omp_range_for, cp_finish_omp_range_for): Declare.
- (finish_omp_atomic): Add LOC, CLAUSES and MO arguments. Remove
- SEQ_CST argument.
- (finish_omp_for_block): Declare.
- (finish_omp_flush): Add MO argument.
- (finish_omp_depobj): Declare.
- * cxx-pretty-print.c (cxx_pretty_printer::statement): Handle
- OMP_DEPOBJ.
- * dump.c (cp_dump_tree): Likewise.
- * lex.c (cxx_init): Likewise.
- * parser.c: Include memmodel.h.
- (cp_parser_for): Pass false as new is_omp argument to
- cp_parser_range_for.
- (cp_parser_range_for): Add IS_OMP argument, return before finalizing
- if it is true.
- (cp_parser_omp_clause_name): Handle nontemporal, in_reduction and
- task_reduction clauses.
- (cp_parser_omp_var_list_no_open): Handle
- OMP_CLAUSE_{IN,TASK}_REDUCTION. For OMP_CLAUSE_DEPEND, parse clause
- operands as either an array section, or lvalue assignment expression.
- (cp_parser_omp_clause_if): Handle cancel and simd modifiers.
- (cp_parser_omp_clause_defaultmap): Parse new kinds of defaultmap
- clause.
- (cp_parser_omp_clause_reduction): Add IS_OMP and KIND arguments.
- Parse reduction modifiers. Pass KIND to c_parser_omp_variable_list.
- (cp_parser_omp_clause_lastprivate, cp_parser_omp_iterators): New
- functions.
- (cp_parser_omp_clause_depend): Parse iterator modifier and handle
- iterators. Parse mutexinoutset and depobj kinds.
- (cp_parser_oacc_all_clauses): Adjust cp_parser_omp_clause_reduction
- callers.
- (cp_parser_omp_all_clauses): Likewise. Handle
- PRAGMA_OMP_CLAUSE_NONTEMPORAL and
- PRAGMA_OMP_CLAUSE_{IN,TASK}_REDUCTION. Call
- cp_parser_omp_clause_lastprivate for OpenMP lastprivate clause.
- (cp_parser_omp_atomic): Pass pragma_tok->location as
- LOC to finish_omp_atomic. Parse hint and memory order clauses.
- Handle default memory order from requires directive if any. Adjust
- finish_omp_atomic caller.
- (cp_parser_omp_critical): Allow comma in between (name) and hint
- clause.
- (cp_parser_omp_depobj): New function.
- (cp_parser_omp_flush): Parse flush with memory-order-clause.
- (cp_parser_omp_for_cond): Allow NE_EXPR even in OpenMP loops.
- (cp_convert_omp_range_for, cp_finish_omp_range_for): New functions.
- (cp_parser_omp_for_loop): Parse C++11 range for loops among omp
- loops. Handle OMP_CLAUSE_IN_REDUCTION like OMP_CLAUSE_REDUCTION.
- (OMP_SIMD_CLAUSE_MASK): Add if and nontemporal clauses.
- (cp_parser_omp_simd, cp_parser_omp_for): Call keep_next_level before
- begin_omp_structured_block and call finish_omp_for_block on
- finish_omp_structured_block result.
- (cp_parser_omp_master): Add p_name, mask and cclauses arguments.
- Allow to be called while parsing combined parallel master.
- Parse combined master taskloop{, simd}.
- (cp_parser_omp_parallel): Parse combined
- parallel master{, taskloop{, simd}} constructs.
- (cp_parser_omp_single): Use SET_EXPR_LOCATION.
- (OMP_TASK_CLAUSE_MASK): Add in_reduction clause.
- (OMP_TASKWAIT_CLAUSE_MASK): Define.
- (cp_parser_omp_taskwait): Handle taskwait with depend clauses.
- (OMP_TASKGROUP_CLAUSE_MASK): Define.
- (cp_parser_omp_taskgroup): Parse taskgroup clauses, adjust
- c_finish_omp_taskgroup caller.
- (cp_parser_omp_distribute): Call keep_next_level before
- begin_omp_structured_block and call finish_omp_for_block on
- finish_omp_structured_block result.
- (cp_parser_omp_teams): Force a BIND_EXPR with BLOCK around teams
- body.
- (cp_parser_omp_target_data): Allow target data with only
- use_device_ptr clauses.
- (cp_parser_omp_target): Set OMP_REQUIRES_TARGET_USED bit in
- omp_requires_mask.
- (cp_parser_omp_requires): New function.
- (OMP_TASKLOOP_CLAUSE_MASK): Add reduction and in_reduction clauses.
- (cp_parser_omp_taskloop): Add forward declaration. Disallow
- in_reduction clause when combined with parallel master. Call
- keep_next_level before begin_omp_structured_block and call
- finish_omp_for_block on finish_omp_structured_block result.
- (cp_parser_omp_construct): Adjust cp_parser_omp_master caller.
- (cp_parser_pragma): Handle PRAGMA_OMP_DEPOBJ and PRAGMA_OMP_REQUIRES.
- * pt.c (tsubst_omp_clause_decl): Add iterators_cache argument.
- Adjust recursive calls. Handle iterators.
- (tsubst_omp_clauses): Handle OMP_CLAUSE_{IN,TASK}_REDUCTION and
- OMP_CLAUSE_NONTEMPORAL. Adjust tsubst_omp_clause_decl callers.
- (tsubst_decomp_names):
- (tsubst_omp_for_iterator): Change orig_declv into a reference.
- Handle range for loops. Move orig_declv handling after declv/initv
- handling.
- (tsubst_expr): Force a BIND_EXPR with BLOCK around teams body.
- Adjust finish_omp_atomic caller. Call keep_next_level before
- begin_omp_structured_block. Call cp_finish_omp_range_for for range
- for loops and use {begin,finish}_omp_structured_block instead of
- {push,pop}_stmt_list if there are any range for loops. Call
- finish_omp_for_block on finish_omp_structured_block result.
- Handle OMP_DEPOBJ. Handle taskwait with depend clauses. For
- OMP_ATOMIC call tsubst_omp_clauses on clauses if any, adjust
- finish_omp_atomic caller. Use OMP_ATOMIC_MEMORY_ORDER rather
- than OMP_ATOMIC_SEQ_CST. Handle clauses on OMP_TASKGROUP.
- (dependent_omp_for_p): Always return true for range for loops if
- processing_template_decl. Return true if class type iterator
- does not have INTEGER_CST increment.
- * semantics.c: Include memmodel.h.
- (handle_omp_array_sections_1): Handle OMP_CLAUSE_{IN,TASK}_REDUCTION
- like OMP_CLAUSE_REDUCTION.
- (handle_omp_array_sections): Likewise. Call save_expr on array
- reductions before calling build_index_type. Handle depend clauses
- with iterators.
- (finish_omp_reduction_clause): Call save_expr for whole array
- reduction sizes. Don't mark OMP_CLAUSE_DECL addressable if it has
- reference type. Do mark decl_placeholder addressable if needed.
- Use error_at with OMP_CLAUSE_LOCATION (c) as first argument instead
- of error.
- (cp_omp_finish_iterators): New function.
- (finish_omp_clauses): Don't diagnose nonmonotonic clause with static,
- runtime or auto schedule kinds. Diagnose nogroup clause used with
- reduction clause(s). Handle depend clause with
- OMP_CLAUSE_DEPEND_DEPOBJ. Diagnose bit-fields. Require
- omp_depend_t type for OMP_CLAUSE_DEPEND_DEPOBJ kinds and
- some different type for other kinds. Use cp_build_addr_expr
- and cp_build_indirect_ref instead of cxx_mark_addressable.
- Handle depend clauses with iterators. Only handle static data members
- in the special case that const qualified vars may be specified in
- firstprivate clause. Complain if const qualified vars without mutable
- members are mentioned in data-sharing clauses other than firstprivate
- or shared. Use error_at with OMP_CLAUSE_LOCATION (c) as first
- argument instead of error. Diagnose more than one nontemporal clause
- refering to the same variable. Use error_at rather than error for
- priority and hint clause diagnostics. Fix pasto for hint clause.
- Diagnose hint expression that doesn't fold into INTEGER_CST.
- Diagnose if clause with modifier other than cancel. Handle
- OMP_CLAUSE_{IN,TASK}_REDUCTION like OMP_CLAUSE_REDUCTION. Allow any
- lvalue as OMP_CLAUSE_DEPEND operand (besides array section), adjust
- diagnostics.
- (handle_omp_for_class_iterator): Don't create a new TREE_LIST if one
- has been created already for range for, just fill TREE_PURPOSE and
- TREE_VALUE. Call cp_fully_fold on incr.
- (finish_omp_for): Don't check cond/incr if cond is global_namespace.
- Pass to c_omp_check_loop_iv_exprs orig_declv if non-NULL. Don't
- use IS_EMPTY_STMT on NULL pre_body. Adjust c_finish_omp_for caller.
- (finish_omp_for_block): New function.
- (finish_omp_atomic): Add LOC argument, pass it through
- to c_finish_omp_atomic and set it as location of OMP_ATOMIC* trees.
- Remove SEQ_CST argument. Add CLAUSES and MO arguments. Adjust
- c_finish_omp_atomic caller. Stick clauses if any into first argument
- of wrapping OMP_ATOMIC.
- (finish_omp_depobj): New function.
- (finish_omp_flush): Add MO argument, if not
- MEMMODEL_LAST, emit __atomic_thread_fence call with the given value.
- (finish_omp_cancel): Diagnose if clause with modifier other than
- cancel.
-
-2018-11-07 Nathan Sidwell <nathan@acm.org>
-
- PR c++/87904
- * cp-tree.h (struct tree_overload): Fix comment.
- * tree.c (ovl_iterator::reveal_node): Propagate OVL_DEDUP_P.
-
-2018-11-04 Jason Merrill <jason@redhat.com>
-
- Implement UDL changes from P0732R2.
- * cp-tree.h (struct releasing_vec): Move from mangle.c.
- Add get_ref method.
- * parser.c (cp_parser_userdef_string_literal): Use it. Handle
- passing the string to a single template parameter of class type.
- (cp_parser_template_declaration_after_parameters): Allow it.
- Pedwarn about the character pack template that was proposed but not
- accepted for C++14, and don't suggest it.
-
- Implement P0732R2, class types in non-type template parameters.
- * error.c (dump_simple_decl): Look through a template parm object.
- * mangle.c (write_template_arg): Likewise.
- (mangle_template_parm_object): New.
- * pt.c (template_parm_object_p, get_template_parm_object): New.
- (invalid_tparm_referent_p): Factor from convert_nontype_argument.
- (convert_nontype_argument, invalid_nontype_parm_type_p): Handle
- class-type template arguments.
- * tree.c (lvalue_kind): Likewise.
-
- * cvt.c (ocp_convert): Don't wrap a CONSTRUCTOR in a NOP_EXPR.
- * constexpr.c (initialized_type): Fix AGGR_INIT_EXPR handling.
- (cxx_eval_vec_init_1): Correct type of AGGR_INIT_EXPR.
- (cxx_eval_outermost_constant_expr): Make sure a CONSTRUCTOR has the
- right type. Don't wrap a CONSTRUCTOR if one was passed in.
- * tree.c (build_aggr_init_expr): Check for void.
-
- PR c++/60503 - wrong lambda attribute syntax.
- * parser.c (cp_parser_lambda_declarator_opt): Fix attribute
- handling.
-
-2018-11-02 Nathan Sidwell <nathan@acm.org>
-
- * decl.c (duplicate_decls): Refactor checks.
-
-2018-11-01 Marek Polacek <polacek@redhat.com>
-
- Implement P0846R0, ADL and function templates.
- * decl.c (grokfndecl): Allow FUNCTION_DECL in assert.
- * lex.c (unqualified_fn_lookup_error): Handle TEMPLATE_ID_EXPR.
- * parser.c (cp_parser_postfix_expression): Do ADL for a template-name.
- (cp_parser_template_id): Give errors if parsing the template argument
- list didn't go well. Allow FUNCTION_DECL in assert.
- (cp_parser_template_name): Consider a name to refer to a template if
- it is an unqualified-id followed by a <. Don't return the identifier
- if the decl is a function and dependent.
- * pt.c (tsubst_copy) <case OVERLOAD>: Remove assert.
-
-2018-11-01 Nathan Sidwell <nathan@acm.org>
-
- * cp-tree.h (struct lang_function): Delete x_local_names field.
- (struct lang_decl_base): Rename u2sel to spare.
- (struct lang_decl_min): Remove lang_decl_u2 union. Keep access
- field.
- (LANG_DECL_U2_CHECK): Delete.
- (DECL_DISCRIMINATOR_P): Require function scope.
- (DECL_DISCRIMINATOR): Adjust.
- (DECL_DISCRIMINATOR_SET_P): Delete.
- (DECL_CAPTURED_VARIABLE, DECL_ACCESS, THUnK_VIRTUAL_OFFSET): Adjust.
- (local_classes): Don't declare.
- (determine_local_discriminator): Declare.
- * decl.c (push_local_name): Delete.
- (local_entities, determina_local_discrminator): New.
- (duplicate_decls): Copy DECL_ACCESS. Fix formatting.
- (cp_finish_decl): Use determine_local_discriminator.
- (save_function_data): Drop x_local_names.
- (finish_function): Drop local_names.
- * decl2.c (finish_anon_union): Use determine_local_disciminator.
- * mangle.c (write_unnamed_type_name): Use
- discriminator_for_local_entity.
- (local_class_index): Delete.
- (discriminator_for_local_entity): Reimplement.
- (write_local_name): Adjust discriminator code.
- * name-lookup.c (do_pushtag): Call determine_local_discrimiator.
- * semantics.c (finish_omp_threadprivate): Drop DECL_DISCRIMINATOR
- handling.
- * class.c (local_classes): Delete.
- (init_class_processing): Don't init it.
-
-2018-11-01 Martin Liska <mliska@suse.cz>
- Jason Merrill <jason@redhat.com>
-
- PR c++/64266
- PR bootstrap/70422
- PR ipa/81277
- * cp-tree.h (DECL_FNAME_P): New macro.
- * decl.c (cp_make_fname_decl): Set DECL_DECLARED_CONSTEXPR_P,
- DECL_VALUE_EXPR, DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
- (cp_finish_decl):
- * lambda.c (is_capture_proxy): Use DECL_FNAME_P.
- * pt.c (tsubst_expr): Handle DECL_PRETTY_FUNCTION_P.
-
-2018-10-31 Nathan Sidwell <nathan@acm.org>
-
- * cp-tree.h (OVL_DEDUP_P): New.
- * name-lookup.c (name_lookup::add_overload): Check OVL_DEDUP_P.
- (get_class_binding_direct): Likwise.
- * tree.c (ovl_make): Propagate OVL_DEDUP_P.
- (ovl_copy): Copy it.
- (ovl_insert): Do not keep using-decls ordered.
- (lookup_maybe_add): Adjust comment.
-
-2018-10-30 Marek Polacek <polacek@redhat.com>
-
- Implement P0892R2, explicit(bool).
- * call.c (add_template_candidate_real): Return if the declaration is
- explicit and we're only looking for non-converting constructor.
- * cp-tree.h (lang_decl_fn): Add has_dependent_explicit_spec_p bit.
- (DECL_HAS_DEPENDENT_EXPLICIT_SPEC_P): New macro.
- (cp_decl_specifier_seq): Add explicit_specifier field.
- (build_explicit_specifier, store_explicit_specifier): Declare.
- * decl.c (grokdeclarator): Call store_explicit_specifier.
- (build_explicit_specifier): New function.
- * parser.c (cp_parser_function_specifier_opt) <case RID_EXPLICIT>:
- Parse C++20 explicit(bool).
- * pt.c (store_explicit_specifier, lookup_explicit_specifier): New.
- (tsubst_function_decl): Handle explicit(dependent-expr).
-
-2018-10-30 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokdeclarator): Use declarator->id_loc in diagnostic
- about flexible array members.
-
-2018-10-29 David Malcolm <dmalcolm@redhat.com>
-
- * cp-name-hint.h: New file.
- * cp-tree.h (expr_to_string): New decl.
- (suggest_alternatives_for): Move to cp-name-hint.h, changing
- return type from bool to name_hint.
- (suggest_alternative_in_explicit_scope): Likewise.
- * error.c: Define INCLUDE_UNIQUE_PTR. Include "cp-name-hint.h".
- (expr_to_string): Make non-static.
- (qualified_name_lookup_error): For the non-"::" case, take
- responsibity for issuing any suggestion from
- suggest_alternative_in_explicit_scope, as it changes from
- returning a bool to returning a name_hint. Replace fallback call
- to suggest_alternatives_for to a call to
- suggest_alternatives_in_other_namespaces, capturing the fact that
- we don't have enough location information to issue a fix-it hint
- for this case. Update the error to support emitting a fix-it hint
- where appropriate. For the "::" case, take responsibility for
- issuing any suggestion from suggest_alternatives_for, supporting
- emitting a fix-it hint.
- * lex.c: Define INCLUDE_UNIQUE_PTR. Include "gcc-rich-location.h"
- and "cp-name-hint.h".
- (unqualified_name_lookup_error): Take responsibility for issuing
- any suggestion from suggest_alternatives_for, supporting emitting
- a fix-it hint.
- * name-lookup.c (class namespace_limit_reached): New subclass of
- deferred_diagnostic.
- (class show_candidate_location): Likewise.
- (class suggest_alternatives): Likewise.
- (class namespace_hints): New class.
- (suggest_alternatives_for): Convert return type from bool to
- name_hint, replacing all direct diagnostic emission by setting
- suggestions on the return value, or creating deferred diagnostics.
- Specifically, split out initial traversal of namespaces into
- namespace_hints' ctor, and maybe_decorate_with_limit, and move the
- rest of the implementation to
- namespace_hints::convert_candidates_to_name_hint and
- suggest_alternatives_for_1.
- (namespace_hints::namespace_hints): New ctor, adapted from
- suggest_alternatives_for's initial namespace traversal, storing
- location and name, and converting locals "candidates", "limited"
- and "limit" into members.
- (namespace_hints::convert_candidates_to_name_hint): New member
- function.
- (namespace_hints::maybe_decorate_with_limit): New member function.
- (suggest_alternatives_for_1): New function, based on second half
- of old implementation of suggest_alternatives_for, converting from
- immediate emission of suggestions to using name_hint.
- (suggest_alternatives_in_other_namespaces): New function.
- (maybe_suggest_missing_std_header): Convert from immediate
- emission of suggestions to using name_hint, moving emission
- implementation to...
- (class missing_std_header): New subclass of deferred_diagnostic.
- (maybe_suggest_missing_header): Convert return type from bool to
- name_hint.
- (suggest_alternative_in_explicit_scope): Convert from immediate
- emission of suggestions to using name_hint.
- * parser.c: Replace include of "c-family/name-hint.h" with
- "cp-name-hint.h".
- (cp_parser_diagnose_invalid_type_name): Update
- "is there a suggestion" logic for change to
- name_hint::operator bool. Take responsibility for emitting
- fix-it hints from suggest_alternative_in_explicit_scope.
- (cp_parser_namespace_name): Take responsibility for emitting
- fix-it hints from suggest_alternative_in_explicit_scope. Don't
- emit the "expected namespace-name" error if we've already emitted
- an "is not a namespace-name" error.
-
-2018-10-29 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/56856
- * call.c (build_over_call): Eliminate the "arglocs" array, and the
- call to maybe_constant_value when building "fargs".
-
-2018-10-29 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (create_array_type_for_decl): Add location_t parameter
- and use it.
- (grokdeclarator): Adjust call.
-
-2018-10-29 Marek Polacek <polacek@redhat.com>
-
- PR c++/87594 - constexpr rejects-valid with range-based for.
- * constexpr.c (potential_constant_expression_1): If the condition
- can't be evaluated, return true.
-
-2018-10-29 Joseph Myers <joseph@codesourcery.com>
- Julian Brown <julian@codesourcery.com>
-
- PR c++/66053
- * semantics.c (handle_omp_array_sections_1): Allow array
- sections with "this" pointer for OpenACC.
-
-2018-10-25 Jason Merrill <jason@redhat.com>
-
- * parser.c (cp_parser_sizeof_operand): Remove redundant use of
- grokdeclarator.
-
-2018-10-24 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86288
- * parser.c (cp_parser_std_attribute): Canonicalize attr_ns, and when
- :: is not present and attr_ns non-NULL, canonicalize also attr_id.
- (cp_parser_attribute_spec): Fix comment typo.
-
-2018-10-24 Martin Sebor <msebor@redhat.com>
-
- PR c++/84851
- * call.c (maybe_warn_class_memaccess): Tighten up.
-
-2018-10-17 David Malcolm <dmalcolm@redhat.com>
-
- * Make-lang.in (selftest-c++): New.
- (CPP_SELFTEST_FLAGS, CPP_SELFTEST_DEPS, s-selftest-c++)
- (selftest-c++-gdb, selftest-c++-valgrind): Move here from
- gcc/Makefile.in.
-
-2018-10-17 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84705
- * tree.c (build_cplus_new): Avoid duplicate diagnostic about
- incomplete type, early return error_mark_node if the second
- argument is error_mark_node.
-
-2018-10-12 Nathan Sidwell <nathan@acm.org>
-
- * parser.h (struct cp_parser): Drop implicit_extern_c.
- * parser.c (cp_debug_parser): Drop implicit_extern_c.
- (cp_parser_new): Likewise.
- (cp_parser_translation_unit): Handle implicit extern c here. Call
- cp_parser_toplevel_declaration.
- (cp_parser_toplevel_declaration): New, broken out of ...
- (cp_parser_declaration_seq_opt): ... here. Call it. Drop
- implicit extern C handling.
-
-2018-10-11 Will Wray <wjwray@gmail.com>
-
- PR c++/87364
- * cxx-pretty-print.c (pp_cxx_enumeration_constant): New function.
- (cxx_pretty_printer::constant): Use it.
-
-2018-10-11 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/84993
- * call.c (enforce_access): Move diagnostics to...
- (complain_about_access): ...this new function.
- * cp-tree.h (class access_failure_info): Rename split out field
- "m_field_decl" into "m_decl" and "m_diag_decl".
- (access_failure_info::record_access_failure): Add tree param.
- (access_failure_info::was_inaccessible_p): New accessor.
- (access_failure_info::get_decl): New accessor.
- (access_failure_info::get_diag_decl): New accessor.
- (access_failure_info::get_any_accessor): New member function.
- (access_failure_info::add_fixit_hint): New static member function.
- (complain_about_access): New decl.
- * typeck.c (access_failure_info::record_access_failure): Update
- for change to fields.
- (access_failure_info::maybe_suggest_accessor): Split out into...
- (access_failure_info::get_any_accessor): ...this new function...
- (access_failure_info::add_fixit_hint): ...and this new function.
- (finish_class_member_access_expr): Split out "has no member named"
- error-handling into...
- (complain_about_unrecognized_member): ...this new function, and
- check that the guessed name is accessible along the access path.
- Only provide a spell-correction fix-it hint if it is; otherwise,
- attempt to issue an accessor fix-it hint.
-
-2018-10-11 Nathan Sidwell <nathan@acm.org>
-
- * parser.c (cp_parser_translation_unit): Return void. Don't fail
- at first extra }, simplify logic.
- (c_parse_file): Call finish_translation_unit here.
-
-2018-10-11 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87582
- * typeck.c (maybe_warn_about_returning_address_of_local): If
- whats_returned is a structured binding identifier and the structured
- binding is a reference, recurse on its initializer.
-
- PR c++/87547
- * rtti.c (get_tinfo_decl_dynamic): Use unlowered_expr_type instead
- of TREE_TYPE.
-
-2018-10-10 Marek Polacek <polacek@redhat.com>
-
- PR c++/87567 - constexpr rejects call to non-constexpr function.
- * constexpr.c (potential_constant_expression_1) <case FOR_STMT>: Return
- true if the condition is always false.
- <case WHILE_STMT>: Likewise.
-
-2018-10-09 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84423
- * pt.c (convert_template_argument): Immediately return error_mark_node
- if the second argument is erroneous.
- * parser.c (cp_parser_type_id): Add location_t * parameter.
- (cp_parser_type_id_1): Likewise.
- (cp_parser_alias_declaration): Adjust cp_parser_type_id call,
- obtain the location of the type and save it.
- (cp_parser_template_type_arg): Adjust.
- (cp_parser_trailing_type_id): Likewise.
- * decl.c (grokdeclarator): Improve error message for 'auto' in
- alias declaration.
-
-2018-10-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/71128
- * pt.c (do_decl_instantiation): Per 12.6.8/5, a concept cannot be
- explicitly instantiated.
-
-2018-10-05 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/56856
- * call.c (build_over_call): Build a vec of locations of the
- arguments before the call to maybe_constant_value, and pass to
- check_function_arguments.
- * cp-lang.c (LANG_HOOKS_GET_SUBSTRING_LOCATION): Define as
- c_get_substring_location.
- * parser.c (cp_parser_string_literal): Capture string
- concatenation locations.
-
-2018-10-04 Nathan Sidwell <nathan@acm.org>
-
- * lang-specs.h: Use string contatenation, not line splicing.
-
-2018-10-03 Jason Merrill <jason@redhat.com>
-
- Implement P0840, language support for empty objects.
- * tree.c (handle_no_unique_addr_attribute): New.
- (cxx_attribute_table): Add [[no_unique_address]].
- * class.c (field_poverlapping_p): New.
- (layout_class_type): Check it. Adjust DECL_SIZE of potentially
- overlapping fields.
- (layout_empty_base_or_field): Rename from layout_empty_base, handle
- FIELD_DECL as well.
- (build_base_field, record_subobject_offsets): Adjust.
-
-2018-10-03 Martin Liska <mliska@suse.cz>
-
- PR gcov-profile/86109
- * parser.c (cp_parser_lambda_declarator_opt):
- Set DECL_LAMBDA_FUNCTION for lambdas.
-
-2018-10-02 Richard Biener <rguenther@suse.de>
-
- * name-lookup.c (check_local_shadow): Do not test DECL_FROM_INLINE.
-
-2018-09-28 Eric Botcazou <ebotcazou@adacore.com>
- Pierre-Marie de Rodat <derodat@adacore.com>
-
- * method.c (use_thunk): Adjust call to cgraph_node::create_thunk.
-
-2018-09-28 Richard Biener <rguenther@suse.de>
-
- * error.c (cp_print_error_function): Simplify by eliding
- the BLOCK_ABSTRACT_ORIGIN chasing.
-
-2018-09-27 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84940
- * semantics.c (finish_unary_op_expr): Check return value of
- build_x_unary_op for error_mark_node.
-
-2018-09-25 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87398
- * constexpr.c (cxx_eval_constant_expression) <case OBJ_TYPE_REF>: Only
- look through COMPONENT_REFs with DECL_FIELD_IS_BASE FIELD_DECLs.
-
-2018-09-25 Martin Liska <mliska@suse.cz>
-
- * name-lookup.c (namespace_scope_ht_size): Remove
- unused function.
- * parser.c (cp_lexer_next_token_is_not_keyword): Likewise.
-
-2018-09-24 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85070
- * method.c (lazily_declare_fn): During error-recovery add_method
- may return false.
-
-2018-09-21 Marek Polacek <polacek@redhat.com>
-
- PR c++/87372 - __func__ constexpr evaluation.
- * constexpr.c (maybe_constant_init_1): Pass false for strict down to
- cxx_eval_outermost_constant_expr.
-
-2018-09-20 Marek Polacek <polacek@redhat.com>
-
- PR c++/87109 - wrong ctor with maybe-rvalue semantics.
- * call.c (build_user_type_conversion_1): Refine the maybe-rvalue
- check to only return if we're converting the return value to a base
- class.
-
-2018-09-20 Allan Sandfeld Jensen <allan.jensen@qt.io>
-
- * g++spec.c (lang_specific_driver): Handle -r like -nostdlib.
-
-2018-09-20 Jason Merrill <jason@redhat.com>
-
- PR c++/87075 - ICE with constexpr array initialization.
- * constexpr.c (cxx_eval_vec_init_1): Handle trivial initialization.
-
-2018-09-19 Marek Polacek <polacek@redhat.com>
-
- Add -Wclass-conversion.
- * decl.c (grok_op_properties): Change a warning from -Wconversion to
- -Wclass-conversion. Make it print the types.
-
-2018-09-19 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/87324
- * parser.c (cp_parser_initializer_list): Assign error_mark_node
- to the index upon error.
-
-2018-09-19 Marek Polacek <polacek@redhat.com>
-
- PR c++/87357 - missing -Wconversion warning
- * decl.c (grok_op_properties): Remove diagnostic parts mentioning
- a conversion to a reference to void. Use
- same_type_ignoring_top_level_qualifiers_p rather than comparing types
- directly.
-
-2018-09-18 Marek Polacek <polacek@redhat.com>
-
- P1064R0 - Allowing Virtual Function Calls in Constant Expressions
- * call.c (build_over_call): No longer check if we're outside a template
- function.
- * class.c (build_vtbl_initializer): Build vtable's constructor with
- indexes.
- * constexpr.c (cxx_eval_constant_expression): Don't ignore _vptr's
- initializer. Handle OBJ_TYPE_REF.
- (potential_constant_expression_1): Handle OBJ_TYPE_REF.
- * decl.c (maybe_commonize_var): Bail out for any DECL_ARTIFICIAL.
- (initialize_artificial_var): Mark the variable as constexpr.
- (grokdeclarator): Change error to pedwarn. Only warn when
- pedantic and not C++2a.
-
-2018-09-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85065
- * cp-tree.h (NON_ERROR): New.
- * pt.c (auto_hash::hash): Use it.
- (do_auto_deduction): Likewise.
-
-2018-09-18 Nathan Sidwell <nathan@acm.org>
-
- PR c++/86881
- * name-lookup.c (check_local_shadow): Ignore auto types.
-
-2018-09-17 David Malcolm <dmalcolm@redhat.com>
-
- * error.c (range_label_for_type_mismatch::get_text): Update for
- new param.
-
-2018-09-13 Bernd Edlinger <bernd.edlinger@hotmail.de>
-
- * typeck2.c (digest_init_r): Fix overlength strings.
-
-2018-09-13 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- PR c++/87093
- * method.c (constructible_expr): We're in an unevaluated context
- in all cases, not just for class targets.
-
-2018-09-12 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85110
- * call.c (struct conversion_info): Add "loc" field.
- (arg_conversion_rejection): Add "loc" param, using it to
- initialize the new field.
- (bad_arg_conversion_rejection): Likewise.
- (explicit_conversion_rejection): Initialize the new field to
- UNKNOWN_LOCATION.
- (template_conversion_rejection): Likewise.
- (add_function_candidate): Pass on the argument location to the new
- param of arg_conversion_rejection.
- (add_conv_candidate): Likewise.
- (build_builtin_candidate): Likewise.
- (build_user_type_conversion_1): Likewise.
- (single_z_candidate): New function.
- (maybe_get_bad_conversion_for_unmatched_call): New function.
- (complain_about_bad_argument): New function, based on part of
- convert_for_assignment.
- (build_new_method_call_1): Split out handling of the "no viable
- candidates" case into...
- (complain_about_no_candidates_for_method_call): ...this new
- function, and use the new functions above to special-case the
- handling of a single non-viable candidate due to a bad argument.
- * cp-tree.h (complain_about_bad_argument): New decl.
- * typeck.c (convert_for_assignment): Split out one error-handling
- case into complain_about_bad_argument.
-
-2018-09-09 Cesar Philippidis <cesar@codesourcery.com>
- Julian Brown <julian@codesourcery.com>
-
- PR middle-end/86336
- * semantics.c (finish_omp_clauses): Treat C++ references the same in
- OpenACC as OpenMP.
-
-2018-08-28 Martin Liska <mliska@suse.cz>
-
- * constexpr.c (cxx_eval_call_expression): Add quotes
- to -fconstexpr-depth=.
-
-2018-09-10 Marek Polacek <polacek@redhat.com>
-
- * class.c (build_vtbl_ref): Remove.
- (build_vtbl_ref_1): Rename to build_vtbl_ref.
- (build_vfn_ref): Call build_vtbl_ref instead of build_vtbl_ref_1.
-
-2018-09-08 Marek Polacek <polacek@redhat.com>
-
- PR c++/87150 - wrong ctor with maybe-rvalue semantics.
- * call.c (struct conversion): Update commentary.
- (standard_conversion): Set rvaluedness_matches_p if LOOKUP_PREFER_RVALUE
- for ck_base.
-
-2018-09-08 Jason Merrill <jason@redhat.com>
-
- PR c++/86678 - constexpr function with non-constant after return.
- * constexpr.c (potential_constant_expression_1): Add jump_target.
- (breaks): Check for BREAK_STMT.
- (continues): Check for CONTINUE_STMT.
-
-2018-09-08 Marek Polacek <polacek@redhat.com>
-
- * cxx-pretty-print.c (cxx_pretty_printer::statement) <case
- RANGE_FOR_SMT>: Handle RANGE_FOR_INIT_STMT.
-
-2018-09-07 Marek Polacek <polacek@redhat.com>
-
- PR c++/87152 - range-based for loops with initializer broken in templates.
- * constexpr.c (potential_constant_expression_1) <case RANGE_FOR_STMT>:
- Recur into RANGE_FOR_INIT_STMT.
- * cp-tree.def: Add RANGE_FOR_INIT_STMT to RANGE_FOR_STMT.
- * cp-tree.h (RANGE_FOR_INIT_STMT): Define.
- * dump.c (cp_dump_tree) <case RANGE_FOR_STMT>: Also dump
- RANGE_FOR_INIT_STMT.
- * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Recur into
- RANGE_FOR_INIT_STMT.
- * semantics.c (begin_range_for_stmt): Adjust call to build_stmt.
- Do put the init statement in RANGE_FOR_INIT_STMT.
- (finish_range_for_decl): Pop it for templates.
-
-2018-09-06 Bernd Edlinger <bernd.edlinger@hotmail.de>
-
- * decl.c (check_initializer): Call cp_complete_array_type.
-
-2018-09-05 Marek Polacek <polacek@redhat.com>
-
- PR c++/87109, wrong overload with ref-qualifiers.
- * call.c (build_user_type_conversion_1): Use NULL instead of 0. Bail
- out if performing the maybe-rvalue overload resolution and a conversion
- function is getting called.
-
- PR c++/86982, -Wreturn-local-addr and std::move and std::forward.
- * typeck.c (maybe_warn_about_returning_address_of_local): Handle calls
- to std::move or std::forward.
- (is_std_forward_p): New function.
-
-2018-09-05 Pádraig Brady <p@draigbrady.com>
-
- PR c++/87185
- * lambda.c (prune_lambda_captures): Protect against const_vars.get
- returning NULL.
-
-2018-09-04 Marek Polacek <polacek@redhat.com>
-
- * cp-tree.h (treat_lvalue_as_rvalue_p): Declare.
- * except.c (build_throw): Use it. Use CP_TYPE_VOLATILE_P.
- * typeck.c (treat_lvalue_as_rvalue_p): No longer static. Add PARM_OK
- parameter.
- (maybe_warn_pessimizing_move): Adjust treat_lvalue_as_rvalue_p call.
- (check_return_expr): Likewise.
-
-2018-09-03 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84980
- * constraint.cc (finish_shorthand_constraint): Early return if the
- constraint is erroneous.
-
-2018-09-02 Bernd Edlinger <bernd.edlinger@hotmail.de>
-
- * decl.c (eval_check_narrowing): Remove.
- (check_initializer): Move call to braced_list_to_string from here ...
- * typeck2.c (store_init_value): ... to here.
- (digest_init_r): Remove handing of signed/unsigned char strings.
-
-2018-08-31 Nathan Sidwell <nathan@acm.org>
-
- PR c++/87155
- PR c++/84707
- * name-lookup.c (name_lookup::search_namespace): Don't look at
- inlines when searching for NULL names.
-
- * decl.c (decls_match): Remove SYSTEM_IMPLICIT_EXTERN_C matching
- of return types and parms.
- * parser.c (cp_parser_parameter_declaration_clause): Likewise,
- '()' always means '(void)'.
-
-2018-08-29 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87095
- * decl.c (begin_destructor_body): If current_class_type has
- virtual bases and the primary base is nearly empty virtual base,
- voidify clearing of vptr and make it conditional on in-charge
- argument.
-
-2018-08-29 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85265
- * parser.c (cp_parser_introduction_list): If cp_parser_identifier
- returns error_mark_node early exit the loop.
- (cp_parser_template_introduction): Improve error-recovery, remove
- error call about empty introduction-list.
-
-2018-08-29 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85110
- * call.c (print_conversion_rejection): Add "fn" param and use it
- for "no known conversion" messages to underline the pertinent
- param.
- (print_z_candidate): Supply "fn" to the new param above.
-
-2018-08-29 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/87122
- * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: If
- processing_template_decl and decl is structured binding decl, call
- cp_finish_decomp.
-
-2018-08-28 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/86546
- * decl.c (finish_case_label): If the type is erroneous early
- return error_mark_node.
-
-2018-08-27 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/63392
- * parser.c (cp_parser_diagnose_invalid_type_name): Add fix-it
- hint.
-
-2018-08-27 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86993
- * cp-tree.h (cxx_readonly_error): Add location_t argument.
- * typeck2.c (cxx_readonly_error): Add LOC argument, pass it to
- ERROR_FOR_ASSIGNMENT macro and readonly_error. Add LOC argument
- to ERROR_FOR_ASSIGNMENT macro, use error_at instead of error and
- pass LOC to it. Formatting fixes.
- * typeck.c (cp_build_unary_op): Pass location to cxx_readonly_error.
- (cp_build_modify_expr): Pass loc to cxx_readonly_error.
- * semantics.c (finish_asm_stmt): Pass input_location to
- cxx_readonly_error.
-
-2018-08-27 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/87091
- * decl.c (grokdeclarator): Update for conversion of show_caret_p
- to a tri-state.
- * error.c (cp_printer): Likewise.
- * name-lookup.c (maybe_suggest_missing_std_header): Update call to
- maybe_add_include_fixit to suggest overriding the location, as it
- is for a note.
- * parser.c (cp_parser_string_literal): Update for conversion of
- show_caret_p to a tri-state.
- (cp_parser_elaborated_type_specifier): Likewise.
- (set_and_check_decl_spec_loc): Likewise.
- * pt.c (listify): Update call to maybe_add_include_fixit to not
- override the location, as it is for an error.
- * rtti.c (typeid_ok_p): Likewise.
-
-2018-08-27 Martin Liska <mliska@suse.cz>
-
- * call.c (build_call_a): Use new function
- fndecl_built_in_p and remove check for FUNCTION_DECL if
- possible.
- (build_cxx_call): Likewise.
- * constexpr.c (constexpr_fn_retval): Likewise.
- (cxx_eval_builtin_function_call): Likewise.
- (cxx_eval_call_expression): Likewise.
- (potential_constant_expression_1): Likewise.
- * cp-gimplify.c (cp_gimplify_expr): Likewise.
- (cp_fold): Likewise.
- * decl.c (decls_match): Likewise.
- (validate_constexpr_redeclaration): Likewise.
- (duplicate_decls): Likewise.
- (make_rtl_for_nonlocal_decl): Likewise.
- * name-lookup.c (consider_binding_level): Likewise.
- (cp_emit_debug_info_for_using): Likewise.
- * semantics.c (finish_call_expr): Likewise.
- * tree.c (builtin_valid_in_constant_expr_p): Likewise.
-
-2018-08-26 Marek Polacek <polacek@redhat.com>
-
- PR c++/87080
- * typeck.c (maybe_warn_pessimizing_move): Do nothing in a template.
-
- PR c++/87029, Implement -Wredundant-move.
- * typeck.c (treat_lvalue_as_rvalue_p): New function.
- (maybe_warn_pessimizing_move): Call convert_from_reference.
- Warn about redundant moves.
-
-2018-08-24 Marek Polacek <polacek@redhat.com>
-
- PR c++/67012
- PR c++/86942
- * decl.c (grokdeclarator): Disallow functions with trailing return
- type with decltype(auto) as its type. Also check the function if
- it's inner declarator doesn't exist
-
-2018-08-21 Marek Polacek <polacek@redhat.com>
-
- PR c++/86499
- * parser.c (cp_parser_lambda_introducer): Give error if a non-local
- lambda has a capture-default.
-
-2018-08-21 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (check_static_variable_definition): Change to return void.
-
-2018-08-21 Marek Polacek <polacek@redhat.com>
-
- PR c++/86981, Implement -Wpessimizing-move.
- * typeck.c (decl_in_std_namespace_p): New.
- (is_std_move_p): New.
- (maybe_warn_pessimizing_move): New.
- (can_do_nrvo_p): New, factored out of ...
- (check_return_expr): ... here. Warn about potentially harmful
- std::move in a return statement.
-
- PR c++/65043
- * call.c (standard_conversion): Set check_narrowing.
- * typeck2.c (check_narrowing): Use CP_INTEGRAL_TYPE_P rather
- than comparing with INTEGER_TYPE.
-
- * cp-tree.h: Fix typo.
-
-2018-08-20 David Malcolm <dmalcolm@redhat.com>
-
- PR other/84889
- * call.c (build_user_type_conversion_1): Add auto_diagnostic_group
- instance(s).
- (print_error_for_call_failure): Likewise.
- (build_op_call_1): Likewise.
- (build_conditional_expr_1): Likewise.
- (build_new_op_1): Likewise.
- (build_op_delete_call): Likewise.
- (convert_like_real): Likewise.
- (build_over_call): Likewise.
- (build_new_method_call_1): Likewise.
- (joust): Likewise.
- * class.c (check_tag): Likewise.
- (finish_struct_anon_r): Likewise.
- (one_inherited_ctor): Likewise.
- (finalize_literal_type_property): Likewise.
- (explain_non_literal_class): Likewise.
- (find_flexarrays): Likewise.
- (resolve_address_of_overloaded_function): Likewise.
- * constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
- (is_valid_constexpr_fn): Likewise.
- (cx_check_missing_mem_inits): Likewise.
- * cp-gimplify.c (cp_genericize_r): Likewise.
- * cvt.c (maybe_warn_nodiscard): Likewise.
- * decl.c (warn_extern_redeclared_static): Likewise.
- (check_redeclaration_exception_specification): Likewise.
- (check_no_redeclaration_friend_default_args): Likewise.
- (duplicate_decls): Likewise.
- (redeclaration_error_message): Likewise.
- (warn_misplaced_attr_for_class_type): Likewise.
- * decl2.c (finish_static_data_member_decl): Likewise.
- (no_linkage_error): Likewise.
- (cp_warn_deprecated_use): Likewise.
- * error.c (qualified_name_lookup_error): Likewise.
- * friend.c (make_friend_class): Likewise.
- (do_friend): Likewise.
- * init.c (perform_member_init): Likewise.
- (build_new_1): Likewise.
- (build_vec_delete_1): Likewise.
- (build_delete): Likewise.
- * lex.c (unqualified_name_lookup_error): Likewise.
- * name-lookup.c (check_extern_c_conflict): Likewise.
- (inform_shadowed): New function.
- (check_local_shadow): Add auto_diagnostic_group instances,
- replacing goto "inform_shadowed" label with call to subroutine.
- (set_local_extern_decl_linkage): Add auto_diagnostic_group
- instance(s).
- * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
- (cp_parser_namespace_name): Likewise.
- * pt.c (check_specialization_namespace): Likewise.
- (check_template_variable): Likewise.
- (warn_spec_missing_attributes): Likewise.
- (check_explicit_specialization): Likewise.
- (process_partial_specialization): Likewise.
- (lookup_template_class_1): Likewise.
- (finish_template_variable): Likewise.
- (do_auto_deduction): Likewise.
- * search.c (check_final_overrider): Likewise.
- (look_for_overrides_r): Likewise.
- * tree.c (maybe_warn_parm_abi): Likewise.
- * typeck.c (cxx_sizeof_expr): Likewise.
- (cp_build_function_call_vec): Likewise.
- (cp_build_binary_op): Likewise.
- (convert_for_assignment): Likewise.
- (maybe_warn_about_returning_address_of_local): Likewise.
- * typeck2.c (abstract_virtuals_error_sfinae): Likewise.
- (check_narrowing): Likewise.
-
-2018-08-17 David Malcolm <dmalcolm@redhat.com>
-
- * typeck.c (string_conv_p): Extract location from EXP and use it
- in preference to input_location when issuing warnings.
-
-2018-08-15 David Malcolm <dmalcolm@redhat.com>
-
- * call.c: Include "gcc-rich-location.h".
- (convert_like_real): Add range label for "invalid conversion"
- diagnostic.
- (perform_implicit_conversion_flags): Add type label to the
- "could not convert" error.
- * error.c: Include "gcc-rich-location.h".
- (range_label_for_type_mismatch::get_text): New function.
- * typeck.c (convert_for_assignment): Add type label to
- the "cannot convert" error if a location is available.
-
-2018-08-15 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (check_previous_goto_1): When decl_jump_unsafe returns 2
- emit an error instead of a permerror.
-
-2018-08-13 Marek Polacek <polacek@redhat.com>
-
- PR c++/57891
- * call.c (struct conversion): Add check_narrowing_const_only.
- (build_converted_constant_expr): Set check_narrowing and
- check_narrowing_const_only. Give error if expr is error node.
- (convert_like_real): Pass it to check_narrowing.
- * cp-tree.h (check_narrowing): Add a default parameter.
- * decl.c (compute_array_index_type): Use input_location instead of
- location_of.
- * pt.c (convert_nontype_argument): Return NULL_TREE if tf_error.
- * typeck2.c (check_narrowing): Don't warn for instantiation-dependent
- expressions. Call maybe_constant_value instead of
- fold_non_dependent_expr. Don't mention { } in diagnostic. Only check
- narrowing for constants if CONST_ONLY.
-
-2018-08-13 Martin Sebor <msebor@redhat.com>
-
- PR tree-optimization/71625
- * decl.c (check_initializer): Call braced_list_to_string.
- (eval_check_narrowing): New function.
- * gcc/cp/typeck2.c (digest_init_r): Accept strings literals
- as initilizers for all narrow character types.
-
-2018-08-13 Marek Polacek <polacek@redhat.com>
-
- P0806R2 - Deprecate implicit capture of this via [=]
- * lambda.c (add_default_capture): Formatting fixes. Warn about
- deprecated implicit capture of this via [=].
-
- PR c++/86915
- * decl.c (create_array_type_for_decl): Handle null name.
-
-2018-08-10 Jason Merrill <jason@redhat.com>
-
- PR c++/86728 - C variadic generic lambda.
- * parser.c (cp_parser_parameter_declaration): Don't turn 'auto' into
- a pack if it's followed by a declarator-id.
-
-2018-08-08 Jakub Jelinek <jakub@redhat.com>
-
- P0595R1 - is_constant_evaluated
- * cp-tree.h (enum cp_built_in_function): New.
- (maybe_constant_init): Add pretend_const_required argument.
- * typeck2.c (store_init_value): Pass true as new argument to
- maybe_constant_init.
- * constexpr.c (constexpr_fn_retval): Check also DECL_BUILT_IN_CLASS
- for BUILT_IN_UNREACHABLE.
- (struct constexpr_ctx): Add pretend_const_required field.
- (cxx_eval_builtin_function_call): Use DECL_IS_BUILTIN_CONSTANT_P
- macro. Handle CP_BUILT_IN_IS_CONSTANT_EVALUATED. Check also
- DECL_BUILT_IN_CLASS for BUILT_IN_UNREACHABLE.
- (cxx_eval_outermost_constant_expr): Add pretend_const_required
- argument, initialize pretend_const_required field in ctx. If the
- result is TREE_CONSTANT and non_constant_p, retry with
- pretend_const_required false if it was true.
- (is_sub_constant_expr): Initialize pretend_const_required_field in
- ctx.
- (cxx_constant_value): Pass true as pretend_const_required to
- cxx_eval_outermost_constant_expr.
- (maybe_constant_value): Pass false as pretend_const_required to
- cxx_eval_outermost_constant_expr.
- (fold_non_dependent_expr): Likewise.
- (maybe_constant_init_1): Add pretend_const_required argument, pass it
- down to cxx_eval_outermost_constant_expr. Pass !allow_non_constant
- instead of false as strict to cxx_eval_outermost_constant_expr.
- (maybe_constant_init): Add pretend_const_required argument, pass it
- down to maybe_constant_init_1.
- (cxx_constant_init): Pass true as pretend_const_required to
- maybe_constant_init_1.
- * cp-gimplify.c (cp_gimplify_expr): Handle CALL_EXPRs to
- CP_BUILT_IN_IS_CONSTANT_EVALUATED.
- (cp_fold): Don't fold CP_BUILT_IN_IS_CONSTANT_EVALUATED calls.
- * decl.c: Include langhooks.h.
- (cxx_init_decl_processing): Register __builtin_is_constant_evaluated
- built-in.
- * tree.c (builtin_valid_in_constant_expr_p): Return true for
- CP_BUILT_IN_IS_CONSTANT_EVALUATED.
- * pt.c (declare_integer_pack): Initialize DECL_FUNCTION_CODE.
-
- PR c++/86836
- * pt.c (tsubst_expr): For structured bindings, call tsubst_decomp_names
- before tsubst_init, not after it.
-
- PR c++/86738
- * constexpr.c (cxx_eval_binary_expression): For arithmetics involving
- NULL pointer set *non_constant_p to true.
- (cxx_eval_component_reference): For dereferencing of a NULL pointer,
- set *non_constant_p to true and return t.
-
-2018-08-07 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/59480, DR 136
- * decl.c (check_no_redeclaration_friend_default_args): New.
- (duplicate_decls): Use the latter; also check that a friend
- declaration specifying default arguments is a definition.
-
-2018-08-07 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- PR c++/79133
- * name-lookup.c (check_local_shadow): Reject captures and parameters
- with the same name.
-
-2018-08-06 Marek Polacek <polacek@redhat.com>
-
- PR c++/86767
- * constexpr.c (cxx_eval_statement_list): Handle continue.
-
-2018-08-03 David Malcolm <dmalcolm@redhat.com>
- Jonathan Wakely <jwakely@redhat.com>
-
- * decl.c: Include "gcc-rich-location.h".
- (add_return_star_this_fixit): New function.
- (finish_function): When warning about missing return statements in
- functions returning non-void, add a "return *this;" fix-it hint for
- assignment operators.
-
-2018-08-03 Jason Merrill <jason@redhat.com>
-
- PR c++/86706
- * class.c (build_base_path): Use currently_open_class.
-
-2018-08-02 David Malcolm <dmalcolm@redhat.com>
-
- * error.c (cxx_print_error_function): Duplicate "file" before
- passing it to pp_set_prefix.
- (cp_print_error_function): Use pp_take_prefix when saving the
- existing prefix.
-
-2018-08-02 Richard Biener <rguenther@suse.de>
-
- PR c++/86763
- * class.c (layout_class_type): Copy TYPE_TYPELESS_STORAGE
- to the CLASSTYPE_AS_BASE.
-
-2018-08-01 Martin Sebor <msebor@redhat.com>
-
- PR tree-optimization/86650
- * error.c (cp_printer): Move usage of EXPR_LOCATION (t) and
- TREE_BLOCK (t) from within percent_K_format to this callsite.
-
-2018-08-01 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/86661
- * class.c (note_name_declared_in_class): Use location_of in permerror
- instead of DECL_SOURCE_LOCATION (for OVERLOADs).
-
-2018-07-31 Tom de Vries <tdevries@suse.de>
-
- PR debug/86687
- * optimize.c (update_cloned_parm): Copy DECL_BY_REFERENCE.
-
-2018-07-31 Jakub Jelinek <jakub@redhat.com>
-
- P1008R1 - prohibit aggregates with user-declared constructors
- * class.c (check_bases_and_members): For C++2a set
- CLASSTYPE_NON_AGGREGATE based on TYPE_HAS_USER_CONSTRUCTOR rather than
- type_has_user_provided_or_explicit_constructor.
-
-2018-07-31 Martin Liska <mliska@suse.cz>
-
- PR c++/86653
- * parser.c (cp_parser_condition): Initialize non_constant_p
- to false.
-
-2018-07-28 David Malcolm <dmalcolm@redhat.com>
-
- * error.c (cp_printer): In the leading comment, move "%H" and "%I"
- into alphabetical order, and add missing "%G" and "%K". Within
- the switch statement, move cases 'G', 'H', 'I' and 'K' so that the
- cases are in alphabetical order.
-
-2018-07-25 Jakub Jelinek <jakub@redhat.com>
-
- * cp-tree.h (enum cp_tree_index): Add
- CPTI_{ABI_TAG,ALIGNED,BEGIN,END,GET,TUPLE_{ELEMENT,SIZE}}_IDENTIFIER
- and CPTI_{GNU,TYPE,VALUE,FUN,CLOSURE}_IDENTIFIER.
- (abi_tag_identifier, aligned_identifier, begin_identifier,
- end_identifier, get__identifier, gnu_identifier,
- tuple_element_identifier, tuple_size_identifier, type_identifier,
- value_identifier, fun_identifier, closure_identifier): Define.
- * decl.c (initialize_predefined_identifiers): Initialize the above
- identifiers.
- (get_tuple_size): Use tuple_size_identifier instead of
- get_identifier ("tuple_size") and value_identifier instead of
- get_identifier ("value").
- (get_tuple_element_type): Use tuple_element_identifier instead of
- get_identifier ("tuple_element") and type_identifier instead of
- get_identifier ("type").
- (get_tuple_decomp_init): Use get__identifier instead of
- get_identifier ("get").
- * lambda.c (maybe_add_lambda_conv_op): Use fun_identifier instead of
- get_identifier ("_FUN").
- * parser.c (cp_parser_lambda_declarator_opt): Use closure_identifier
- instead of get_identifier ("__closure").
- (cp_parser_std_attribute): Use gnu_identifier instead of
- get_identifier ("gnu").
- (cp_parser_std_attribute_spec): Likewise. Use aligned_identifier
- instead of get_identifier ("aligned").
- * class.c (check_abi_tags, inherit_targ_abi_tags): Use
- abi_tag_identifier instead of get_identifier ("abi_tag").
-
- PR c++/85515
- * cp-tree.h (enum cp_tree_index): Add
- CPTI_FOR_{RANGE,BEGIN,END}{,_}_IDENTIFIER.
- (for_range__identifier, for_begin__identifier, for_end__identifier,
- for_range_identifier, for_begin_identifier, for_end_identifier):
- Define.
- * decl.c (initialize_predefined_identifiers): Initialize
- for_{range,begin,end}{,_}_identifier.
- * parser.c (build_range_temp): Use for_range__identifier instead of
- get_identifier ("__for_range").
- (cp_convert_range_for): Use for_begin__identifier and
- for_end__identifier instead of get_identifier ("__for_begin") and
- get_identifier ("__for_end").
- * semantics.c (finish_for_stmt): Rename "__for_{range,begin,end} "
- local symbols to "__for_{range,begin,end}".
-
-2018-07-23 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86569
- * cp-gimplify.c (cp_fold): Don't fold comparisons into other kind
- of expressions other than INTEGER_CST regardless of TREE_NO_WARNING
- or warn_nonnull_compare.
-
-2018-07-19 Paolo Carlini <paolo.carlini@oracle.com>
-
- Revert fix for c++/59480 (and testsuite followup)
-
- 2019-07-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/59480, DR 136
- * decl.c (check_no_redeclaration_friend_default_args): New.
- (duplicate_decls): Use the latter; also check that a friend
- declaration specifying default arguments is a definition.
-
-2018-07-18 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86550
- * parser.c (cp_parser_decl_specifier_seq): Diagnose invalid type
- specifier if CP_PARSER_FLAGS_ONLY_MUTABLE_OR_CONSTEXPR.
-
-2018-07-18 Marek Polacek <polacek@redhat.com>
-
- PR c++/86190 - bogus -Wsign-conversion warning
- * typeck.c (cp_build_binary_op): Fix formatting. Add a warning
- sentinel.
-
-2018-07-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/59480, DR 136
- * decl.c (check_no_redeclaration_friend_default_args): New.
- (duplicate_decls): Use the latter; also check that a friend
- declaration specifying default arguments is a definition.
-
-2018-07-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- * class.c (note_name_declared_in_class): Prefer permerror + inform
- to a pair of permerrors; use DECL_SOURCE_LOCATION.
-
-2018-07-18 Richard Biener <rguenther@suse.de>
-
- PR debug/86523
- * decl2.c (c_parse_final_cleanups): Call write_out_vars before
- start_static_storage_duration_function sets current_function_decl.
-
-2018-07-17 Jason Merrill <jason@redhat.com>
-
- PR c++/86480 - nested variadic lambda and constexpr if.
- * pt.c (find_parameter_packs_r) [IF_STMT]: Don't walk into
- IF_STMT_EXTRA_ARGS.
- * tree.c (cp_walk_subtrees) [DECLTYPE_TYPE]: Set
- cp_unevaluated_operand.
- [ALIGNOF_EXPR] [SIZEOF_EXPR] [NOEXCEPT_EXPR]: Likewise.
-
-2018-07-16 Paolo Carlini <paolo.carlini@oracle.com>
-
- * class.c (resolve_address_of_overloaded_function): Don't emit an
- inform if the matching permerror returns false.
- * pt.c (check_specialization_namespace): Likewise.
-
-2018-07-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/3698
- PR c++/86208
- * cp-gimplify.c (cp_genericize_r): When using extern_decl_map, or
- in TREE_USED flag from stmt to h->to.
-
-2018-07-13 Nathan Sidwell <nathan@acm.org>
-
- PR c++/86374
- * pt.c (lookup_template_class_1): Use tsubst_aggr_type for
- contexts that are classes.
- * parser.c (cp_parser_template_id): Combine entering_scope decl &
- initializer.
-
-2018-07-12 Jakub Jelinek <jakub@redhat.com>
-
- * decl2.c (cplus_decl_attributes): Don't diagnose vars without mappable
- type here, instead add "omp declare target implicit" attribute. Add
- that attribute instead of "omp declare target" also when
- processing_template_decl.
- * decl.c (cp_finish_decl): Diagnose vars without mappable type here,
- and before calling cp_omp_mappable_type call complete_type.
-
-2018-07-10 Jakub Jelinek <jakub@redhat.com>
-
- PR sanitizer/86406
- * cp-gimplify.c (cp_maybe_instrument_return): Skip trailing
- DEBUG_BEGIN_STMTs.
-
- PR c++/86443
- * semantics.c (handle_omp_for_class_iterator): Remove lastp argument,
- instead of setting *lastp turn orig_declv elt into a TREE_LIST.
- (finish_omp_for): Adjust handle_omp_for_class_iterator caller.
- * pt.c (tsubst_omp_for_iterator): Allow OMP_FOR_ORIG_DECLS to contain
- TREE_LIST for both the original class iterator and the "last" helper
- var.
-
-2018-07-09 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokdeclarator): Use rich_location::add_range in three
- more places; include gcc-rich-location.h.
-
-2018-07-07 Aldy Hernandez <aldyh@redhat.com>
-
- * decl.c (build_enumerator): Change overflow type to overflow_type.
- * init.c (build_new_1): Same.
-
-2018-07-05 Nathan Sidwell <nathan@acm.org>
-
- * cp/decl.c (decls_match): Check SYSTEM_IMPLICIT_EXTERN_C not
- NO_IMPLICIT_EXTERN_C.
- * cp/parser.c (cp_parser_parameter_declaration_clause): Likewise.
-
-2018-07-04 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- PR c++/86398
- * method.c (is_trivially_xible): Return false
- if is_xible_helper returns a NULL_TREE.
-
-2018-07-03 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (min_location): New.
- (smallest_type_quals_location): Use the latter.
- (check_concept_fn): Use DECL_SOURCE_LOCATION.
- (grokdeclarator): Use accurate locations in a number of error
- messages involving ds_thread, ds_storage_class, ds_virtual,
- ds_constexpr, ds_typedef and ds_friend; exploit min_location.
-
-2018-07-03 Marek Polacek <polacek@redhat.com>
-
- PR c++/86201
- * typeck.c (cp_build_binary_op): Check c_inhibit_evaluation_warnings.
-
-2018-07-03 Jason Merrill <jason@redhat.com>
-
- PR c++/86378 - functional cast in noexcept-specifier.
- * tree.c (strip_typedefs_expr) [TREE_LIST]: Fix iteration.
-
-2018-07-02 Paolo Carlini <paolo.carlini@oracle.com>
-
- * parser.c (set_and_check_decl_spec_loc): Use rich_location::add_range
- in error message about __thread and thread_local at the same time.
-
-2018-06-29 Marek Polacek <polacek@redhat.com>
-
- PR c++/86184
- * tree.c (cp_save_expr): Don't call save_expr for TARGET_EXPRs.
-
-2018-06-28 David Malcolm <dmalcolm@redhat.com>
-
- * parser.c (cp_parser_error_1): After issuing a conflict marker
- error, consume tokens until the end of the source line.
-
-2018-06-28 Jason Merrill <jason@redhat.com>
-
- PR c++/86342 - -Wdeprecated-copy and system headers.
- * decl2.c (cp_warn_deprecated_use): Don't warn about declarations
- in system headers.
-
-2018-06-27 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/86329
- * name-lookup.c (consider_binding_level): Filter out names that
- match anon_aggrname_p.
-
-2018-06-27 Jason Merrill <jason@redhat.com>
-
- * name-lookup.c (do_pushtag): If we skip a class level, also skip
- its template level.
-
-2018-06-26 Jason Merrill <jason@redhat.com>
-
- PR c++/86320 - memory-hog with std::array of pair
- * typeck2.c (process_init_constructor_array): Only compute a
- constant initializer once.
-
- PR c++/80290 - memory-hog with std::pair.
- * pt.c (fn_type_unification): Add convs parameter.
- (check_non_deducible_conversion): Remember conversion.
- (check_non_deducible_conversions): New. Do checks here.
- (type_unification_real): Not here. Remove flags parm.
- * call.c (add_function_candidate): Make convs a parameter.
- Don't recalculate the conversion if it's already set.
- (add_template_candidate_real): Allocate convs here.
- (good_conversion, conv_flags): New.
-
-2018-06-26 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/86291
- * parser.c (cp_parser_omp_for_loop_init): Change for_block argument
- type from vec<tree, va_gc> * to vec<tree, va_gc> *&.
-
-2018-06-23 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (bad_specifiers): Add const location_t* parameter and
- use locations in error messages about 'inline' and 'virtual'.
- (mark_inline_variable): Add location_t parameter and use it in
- error_at and pedwarn messages.
- (grokdeclarator): Use declspecs->locations[ds_constexpr],
- declspecs->locations[ds_concept], declspecs->locations[ds_virtual],
- declspecs->locations[ds_inline] in many error messages; adjust
- bad_specifiers and mark_inline_variable calls.
- (grokvardecl): Use declspecs->locations[ds_concept] in error message.
-
-2018-06-22 Jason Merrill <jason@redhat.com>
-
- PR c++/86219 - ICE with erroneous initializer in template.
- * constexpr.c (fold_non_dependent_expr): Add complain parm.
- * call.c, expr.c, init.c, pt.c, semantics.c, typeck.c, typeck2.c:
- Pass it.
- * call.c (build_cxx_call): Don't mess with builtins in a template.
- * typeck2.c (store_init_value): If fold_non_dependent_expr didn't
- produce a constant value, go back to the uninstantiated form.
-
- Avoid taking the address of something just because it's in parens.
- * constexpr.c (same_type_ignoring_tlq_and_bounds_p): New.
- (cxx_fold_indirect_ref): Use it.
- (cxx_eval_constant_expression) [VIEW_CONVERT_EXPR]: Use it.
- * cp-tree.h (REF_PARENTHESIZED_P): Allow VIEW_CONVERT_EXPR.
- * semantics.c (force_paren_expr): Use VIEW_CONVERT_EXPR instead of
- static_cast to reference type.
- (maybe_undo_parenthesized_ref): Handle VIEW_CONVERT_EXPR.
-
-2018-06-21 Jason Merrill <jason@redhat.com>
-
- * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Use TEMPLATE_PARM_DESCENDANTS.
-
- * name-lookup.c (do_push_to_top_level): Don't allocate
- current_lang_base.
- (do_pop_from_top_level): Release current_lang_base.
-
- Let -fmem-report see callers of cxx_make_type.
- * lex.c (cxx_make_type): Add MEM_STAT_DECL.
- (make_class_type): Likewise.
- (cxx_make_type_hook): New.
- * cp-objcp-common.h (LANG_HOOKS_MAKE_TYPE): Use cxx_make_type_hook.
-
-2018-06-20 Nathan Sidwell <nathan@acm.org>
-
- PR c++/85634
- * friend.c (add_friend): Keep lookup sets of tempate sets.
-
-2018-06-20 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokfndecl): Add const cp_decl_specifier_seq* parameter;
- tidy handling of a null location_t argument; use proper location
- information in a few additional error messages.
- (grokdeclarator): Update calls.
-
-2018-06-20 Chung-Lin Tang <cltang@codesourcery.com>
- Thomas Schwinge <thomas@codesourcery.com>
- Cesar Philippidis <cesar@codesourcery.com>
-
- * parser.c (cp_parser_omp_clause_name): Add support for finalize
- and if_present. Make present_or_{copy,copyin,copyout,create} aliases
- to their non-present_or_* counterparts. Make 'self' an alias to
- PRAGMA_OACC_CLAUSE_HOST.
- (cp_parser_oacc_data_clause): Update GOMP mappings for
- PRAGMA_OACC_CLAUSE_{COPY,COPYIN,COPYOUT,CREATE,DELETE}. Remove
- PRAGMA_OACC_CLAUSE_{SELF,PRESENT_OR_*}.
- (cp_parser_oacc_all_clauses): Handle finalize and if_present clauses.
- Remove support for present_or_* clauses.
- (OACC_KERNELS_CLAUSE_MASK): Remove PRESENT_OR_* clauses.
- (OACC_PARALLEL_CLAUSE_MASK): Likewise.
- (OACC_DECLARE_CLAUSE_MASK): Likewise.
- (OACC_DATA_CLAUSE_MASK): Likewise.
- (OACC_ENTER_DATA_CLAUSE_MASK): Remove PRESENT_OR_* clauses.
- (OACC_EXIT_DATA_CLAUSE_MASK): Add FINALIZE clause.
- (OACC_UPDATE_CLAUSE_MASK): Remove SELF, add IF_PRESENT.
- (cp_parser_oacc_declare): Remove PRESENT_OR_* clauses.
- * pt.c (tsubst_omp_clauses): Handle IF_PRESENT and FINALIZE.
- * semantics.c (finish_omp_clauses): Handle IF_PRESENT and FINALIZE.
-
-2018-06-20 Marek Polacek <polacek@redhat.com>
-
- PR c++/86240
- * constexpr.c (cxx_eval_constant_expression): Handle ABSU_EXPR.
- (fold_simple_1): Likewise.
- * error.c (dump_expr): Likewise.
-
-2018-06-20 Nathan Sidwell <nathan@acm.org>
-
- PR c++/85634
- * cp-tree.h (lookup_keep): Drop KEEP parm.
- (lookup_list_keep): Delete.
- (maybe_get_fns): Declare.
- * parser.c (cp_parser_primary_expression): Call lookup_keep here.
- (cp_parser_template_id): Not here ...
- * decl.c (cp_finish_decl): ... nor here ...
- * init.c (build_raw_new_expr): ... nor here ...
- * pt.c (process_template_parm): ... nor here ...
- * semantics.c (perform_koenig_lookup): Call lookup_keep.
- (finish_call_expr): Not here.
- * tree.c (ovl_cache): Delete.
- (ovl_make, ovl_copy): No cache.
- (lookup_keep): Always keep.
- (lookup_list_keep): Delete.
- (maybe_get_fns): New, broken out of ...
- (get_fns): ... here. Call it.
- (built_min_nt_loc, build_min, build_min_non_dep): Drop lookup_keep.
- (build_min_nt_call_vec): Likewise.
-
-2018-06-19 Jason Merrill <jason@redhat.com>
-
- * cp-tree.h (CONSTRUCTOR_NO_IMPLICIT_ZERO): Remove.
- * constexpr.c: Use CONSTRUCTOR_NO_CLEARING instead.
-
- PR c++/86182 - ICE with anonymous union passed to template.
- * pt.c (tsubst_expr) [DECL_EXPR]: Handle an anonymous union type
- used to declare a named variable.
-
-2018-06-18 Jason Merrill <jason@redhat.com>
-
- * tree.c (cp_expr_location): New.
- * cp-tree.h (cp_expr_loc_or_loc): New.
- * call.c, cvt.c, constexpr.c, constraint.cc, cp-gimplify.c, decl.c,
- error.c, init.c, lex.c, parser.c, pt.c, semantics.c, typeck.c,
- typeck2.c: Use it instead of EXPR_LOC_OR_LOC.
-
- * parser.c (cp_parser_lambda_expression): Use a range for
- LAMBDA_EXPR_LOCATION.
-
- PR c++/86200 - ICE with unexpanded pack in lambda parameter.
- * pt.c (find_parameter_packs_r) [LAMBDA_EXPR]: Also look into the
- function type.
-
- PR c++/81060 - ICE with unexpanded parameter pack.
- * pt.c (check_for_bare_parameter_packs): Add loc parameter.
- * decl.c (grokdeclarator): Call it for qualifying_scope.
-
- PR c++/86171 - ICE with recursive alias instantiation.
- * pt.c (tsubst_decl): Handle recursive alias instantiation.
-
-2018-06-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (duplicate_decls): Consistently use DECL_SOURCE_LOCATION
- in errors about redefined default arguments; tidy.
-
-2018-06-16 Kugan Vivekanandarajah <kuganv@linaro.org>
-
- * constexpr.c (potential_constant_expression_1): Handle ABSU_EXPR.
- * cp-gimplify.c (cp_fold): Likewise.
-
-2018-06-15 Jason Merrill <jason@redhat.com>
-
- PR c++/86147 - wrong capture for template argument.
- * expr.c (mark_use): Look through NOP_EXPR.
-
- * name-lookup.c (do_pushtag): Don't look through complete types, but
- don't add to them either. Get context from current_binding_level.
- * pt.c (tsubst_default_argument): Use push_to/pop_from_top_level.
-
- * decl.c (start_enum): Do compare dependent underlying type.
-
- PR c++/82882 - ICE with lambda in template default argument.
- * lambda.c (record_null_lambda_scope): New.
- * pt.c (tsubst_lambda_expr): Use it.
- * name-lookup.c (do_pushtag): Don't give a lambda DECL_CONTEXT of a
- function that isn't open.
-
- * tree.c (maybe_warn_parm_abi): Inform the location of the class.
-
-2018-06-14 Marek Polacek <polacek@redhat.com>
-
- PR c++/86063
- * decl2.c (cp_check_const_attributes): Skip trees that are not
- TREE_LISTs.
-
-2018-06-14 Jakub Jelinek <jakub@redhat.com>
-
- P0624R2 - Default constructible and assignable stateless lambdas
- * method.c (synthesized_method_walk): For C++2a don't mark
- sfk_constructor or sfk_copy_assignment as deleted if lambda has
- no lambda-captures.
-
-2018-06-14 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (duplicate_decls): Use DECL_SOURCE_LOCATION in
- OPT_Wshadow warning_at.
- (grokfndecl): Consistently use the location_t argument in
- literal operator diagnostic messages.
- (grokdeclarator): Use declspecs->locations[ds_storage_class]
- in error_at call.
- * decl2.c (finish_static_data_member_decl): Use DECL_SOURCE_LOCATION
- in permerror call.
-
-2018-06-13 Jason Merrill <jason@redhat.com>
-
- PR c++/86099 - ICE with trivial copy and non-trivial default ctor.
- * constexpr.c (instantiate_cx_fn_r): Don't synthesize trivial
- constructors.
-
- PR c++/86094 - wrong code with defaulted move ctor.
- * class.c (classtype_has_non_deleted_move_ctor): New.
- * tree.c (maybe_warn_parm_abi, type_has_nontrivial_copy_init):
- Handle v12 breakage.
-
-2018-06-12 Jason Merrill <jason@redhat.com>
-
- PR c++/86098 - ICE with template placeholder for TTP.
- * typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Check
- CLASS_PLACEHOLDER_TEMPLATE.
-
-2018-06-12 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl2.c (coerce_new_type, coerce_delete_type): Add location_t
- parameter and adjust error_at calls.
- * decl.c (grok_op_properties): Adjust calls.
- * cp-tree.h (oerce_new_type, coerce_delete_type): Adjust decls.
-
-2018-06-12 Marek Polacek <polacek@redhat.com>
-
- Core issue 1331 - const mismatch with defaulted copy constructor
- * class.c (check_bases_and_members): When checking a defaulted
- function, mark it as deleted rather than giving an error.
-
-2018-06-11 Jason Merrill <jason@redhat.com>
-
- PR c++/85792 -Wctor-dtor-privacy and inherited constructor.
- * class.c (maybe_warn_about_overly_private_class): Handle inherited
- constructors.
-
- PR c++/85963 - -Wunused-but-set with ?: in template.
- * pt.c (tsubst_copy_and_build) [COND_EXPR]: Call mark_rvalue_use.
-
-2018-06-11 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grok_op_properties): Consistently use the location
- of the decl; remove special casing of POSTINCREMENT_EXPR and
- POSTDECREMENT_EXPR wrt default arguments.
-
-2018-06-05 Jason Merrill <jason@redhat.com>
-
- * constexpr.c (cxx_eval_binary_expression): Special case comparison
- of pointers to members of the same union.
-
-2018-06-11 Jason Merrill <jason@redhat.com>
-
- PR c++/86094 - wrong code with defaulted move ctor.
- * tree.c (type_has_nontrivial_copy_init): Fix move ctor handling.
-
-2018-06-10 Paolo Carlini <paolo.carlini@oracle.com>
-
- * decl.c (grokfndecl): Use the location_t argument in two more places.
-
-2018-06-06 Marek Polacek <polacek@redhat.com>
-
- PR c++/85977
- * pt.c (unify): If ELTTYPE has no deducible template parms, skip
- deduction from the list elements.
- (type_unification_real): Check convertibility of list elements.
-
-2018-06-06 Jason Merrill <jason@redhat.com>
-
- PR c++/86060 - ICE on range for with -std=c++98.
- * parser.c (cp_parser_init_statement): Don't clobber *decl after
- pedwarn.
-
- PR c++/85710 - ICE with -Wmemset-elt-size.
- * semantics.c (finish_call_expr): Call warn_for_memset here.
- * parser.c (cp_parser_postfix_expression): Not here.
- (literal_integer_zerop): No longer static.
- * pt.c (build_non_dependent_expr): Don't wrap CONST_DECL.
-
-2018-06-05 Marek Polacek <polacek@redhat.com>
-
- PR c++/85976
- * tree.c (cp_tree_equal): Handle USING_DECL.
-
-2018-06-05 Jason Merrill <jason@redhat.com>
-
- PR c++/85731 - wrong error with qualified-id in template.
- * semantics.c (finish_qualified_id_expr): build_qualified_name
- for unbound names in the current class.
-
-2018-06-04 Jason Merrill <jason@redhat.com>
-
- PR c++/61806 - missed SFINAE with partial specialization.
- * cp-tree.h (deferring_access_check_sentinel): Add deferring_kind
- parameter to constructor.
- * pt.c (instantiate_class_template_1): Enable access checking
- before call to most_specialized_partial_spec.
-
- PR c++/85765 - SFINAE and non-type default template arg.
- * pt.c (type_unification_real): Do full semantic processing if
- substituting a partial args list replaces all template parms.
-
-2018-06-03 Jason Merrill <jason@redhat.com>
-
- PR c++/85739 - ICE with pointer to member template parm.
- * cvt.c (perform_qualification_conversions): Use cp_fold_convert.
-
-2018-06-02 Jason Merrill <jason@redhat.com>
-
- PR c++/85761 - ICE with ill-formed use of const outer variable.
- * expr.c (mark_use): Handle location wrappers.
-
-2018-06-01 Jason Merrill <jason@redhat.com>
-
- PR c++/85764 - bogus 'this' not captured error.
- * lambda.c (resolvable_dummy_lambda): Use nonlambda_method_basetype.
- (nonlambda_method_basetype): Handle NSDMI.
-
- CWG 1581: When are constexpr member functions defined?
- * constexpr.c (instantiate_cx_fn_r, instantiate_constexpr_fns): New.
- (cxx_eval_outermost_constant_expr): Call instantiate_constexpr_fns.
-
- PR c++/58281 - explicit instantiation of constexpr
- * pt.c (mark_decl_instantiated): Clear DECL_EXTERNAL.
-
- * pt.c (instantiate_decl): Any defaulted function is defined.
-
-2018-05-30 Jonathan Wakely <jwakely@redhat.com>
-
- PR c++/77777
- * call.c (resolve_args): Use location of expression, not current input
- location.
-
-2018-05-30 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- Do not warn about zero-as-null when NULL is used.
- * call.c (conversion_null_warnings): Check for pointer
- types converted from zero constants.
- (convert_like_real): Add a warning sentinel at the end.
- * tree.c (maybe_warn_zero_as_null_pointer_constant): Also
- check null_node_p.
-
-2018-05-30 Jason Merrill <jason@redhat.com>
-
- PR c++/85807 - ICE with call in template NSDMI.
- * init.c (get_nsdmi): Use push_to/pop_from_top_level.
- * tree.c (bot_manip): Don't set_flags_from_callee in a template.
-
- PR c++/85873 - constant initializer_list array not in .rodata.
- * tree.c (build_target_expr): Set TREE_READONLY.
- * call.c (set_up_extended_ref_temp): Set TREE_READONLY.
-
- * parser.c (cp_parser_check_condition_declarator): Handle
- cp_error_declarator.
-
-2018-05-30 Jonathan Wakely <jwakely@redhat.com>
-
- * typeck.c (cxx_sizeof_or_alignof_type): Return size_one_node instead
- of using it in dead store.
-
-2018-05-29 Jason Merrill <jason@redhat.com>
-
- PR c++/67445 - returning temporary initializer_list.
- PR c++/67711 - assigning from temporary initializer_list.
- PR c++/48562 - new initializer_list.
- * typeck.c (maybe_warn_about_returning_address_of_local): Also warn
- about returning local initializer_list.
- * cp-tree.h (AUTO_TEMP_NAME, TEMP_NAME_P): Remove.
- * call.c (build_over_call): Warn about assignment from temporary
- init_list.
- * init.c (build_new_1): Warn about 'new std::initializer_list'.
- (find_list_begin, maybe_warn_list_ctor): New.
- (perform_member_init): Use maybe_warn_list_ctor.
-
-2018-05-29 Marek Polacek <polacek@redhat.com>
-
- PR c++/85883
- * init.c (build_new): Handle deducing a class with new
- with more than one argument.
-
-2018-05-29 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85952
- * init.c (build_aggr_init): For structured binding initialized from
- array call mark_rvalue_use on the initializer.
-
-2018-05-28 Bernd Edlinger <bernd.edlinger@hotmail.de>
-
- * decl2.c (start_static_storage_duration_function): Use
- splay_tree_delete_pointers.
-
-2018-05-25 Jason Merrill <jason@redhat.com>
-
- PR c++/85815 - reference to member of enclosing template.
- * search.c (lookup_base): Use currently_open_class.
- (lookup_member): Use it regardless of -fconcepts.
- * parser.c (cp_parser_postfix_dot_deref_expression): Check it.
-
- CWG 616, 1213 - value category of subobject references.
- * tree.c (lvalue_kind): Fix handling of ARRAY_REF of pointer.
-
-2018-05-24 Jason Merrill <jason@redhat.com>
-
- PR c++/85842 - -Wreturn-type, constexpr if and generic lambda.
- * pt.c (tsubst_lambda_expr): Copy current_function_returns_* to
- generic lambda.
-
-2018-05-24 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- Pedwarn on a non-standard position of a C++ attribute.
- * parser.c (cp_parser_namespace_definition): Pedwarn about attributes
- after the namespace name.
-
-2018-05-24 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cp-tree.h (INDIRECT_TYPE_P): New.
- * call.c (build_trivial_dtor_call, maybe_warn_class_memaccess,
- joust): Use it instead of POINTER_TYPE_P.
- * class.c (update_vtable_entry_for_fn, find_flexarrays,
- * fixed_type_or_null, resolves_to_fixed_type_p): Likewise.
- * constexpr.c (cxx_eval_binary_expression, cxx_fold_indirect_ref,
- * cxx_eval_increment_expression, potential_constant_expression_1):
- Likewise.
- * cp-gimplify.c (cp_gimplify_expr, cp_genericize_r): Likewise.
- * cp-objcp-common.c (cxx_get_alias_set): Likewise.
- * cp-ubsan.c (cp_ubsan_maybe_instrument_member_call,
- cp_ubsan_maybe_instrument_downcast): Likewise.
- * cvt.c (cp_convert_to_pointer, ocp_convert,
- cp_get_fndecl_from_callee, maybe_warn_nodiscard, convert): Likewise.
- * cxx-pretty-print.c (cxx_pretty_printer::abstract_declarator,
- pp_cxx_offsetof_expression_1): Likewise.
- * decl.c (grokparms, static_fn_type): Likewise.
- * decl2.c (grokbitfield): Likewise.
- * error.c (dump_expr): Likewise.
- * except.c (initialize_handler_parm, check_noexcept_r): Likewise.
- * init.c (warn_placement_new_too_small): Likewise.
- * lambda.c (build_capture_proxy, add_capture): Likewise.
- * parser.c (cp_parser_omp_for_loop): Likewise.
- * pt.c (convert_nontype_argument, fn_type_unification,
- uses_deducible_template_parms, check_cv_quals_for_unify,
- dependent_type_p_r): Likewise.
- * search.c (check_final_overrider): Likewise.
- * semantics.c (handle_omp_array_sections, finish_omp_clauses,
- finish_omp_for): Likewise.
- * tree.c (cp_build_qualified_type_real): Likewise.
- * typeck.c (build_class_member_access_expr,
- finish_class_member_access_expr, build_x_indirect_ref,
- cp_build_indirect_ref_1, cp_build_binary_op, build_const_cast_1):
- Likewise.
-
-2018-05-24 Jason Merrill <jason@redhat.com>
-
- PR c++/85864 - literal template and default template arg.
- * pt.c (instantiation_dependent_r): Handle NONTYPE_ARGUMENT_PACK.
-
-2018-05-24 Marek Polacek <polacek@redhat.com>
-
- PR c++/85847
- * init.c (build_new_1): Use fold_non_dependent_expr. Use a dedicated
- variable for its result. Fix a condition.
- (build_new): Use fold_non_dependent_expr. Tweak a condition.
-
-2018-05-23 Jason Merrill <jason@redhat.com>
-
- Fix cast to rvalue reference from prvalue.
- * cvt.c (diagnose_ref_binding): Handle rvalue reference.
- * rtti.c (build_dynamic_cast_1): Don't try to build a reference to
- non-class type. Handle xvalue argument.
- * typeck.c (build_reinterpret_cast_1): Allow cast from prvalue to
- rvalue reference.
- * semantics.c (finish_compound_literal): Do direct-initialization,
- not cast, to initialize a reference.
-
- CWG 616, 1213 - value category of subobject references.
- * tree.c (lvalue_kind): A reference to a subobject of a prvalue is
- an xvalue.
- * typeck2.c (build_m_component_ref): Likewise.
- * typeck.c (cp_build_addr_expr_1, lvalue_or_else): Remove diagnostic
- distinction between temporary and xvalue.
-
-2018-05-23 Marek Polacek <polacek@redhat.com>
-
- Implement P0614R1, Range-based for statements with initializer.
- * parser.c (cp_parser_range_based_for_with_init_p): New.
- (cp_parser_init_statement): Use it. Parse the optional init-statement
- for a range-based for loop.
- (cp_parser_skip_to_closing_parenthesis_1): Handle balancing ?:.
-
-2018-05-22 Jason Merrill <jason@redhat.com>
-
- PR c++/81420 - not extending temporary lifetime.
- * call.c (extend_ref_init_temps_1): Handle ARRAY_REF.
- * class.c (build_base_path): Avoid redundant move of an rvalue.
-
- PR c++/85866 - error with .* in default template arg.
- * pt.c (tsubst_copy_and_build): Handle partial instantiation.
-
-2018-05-21 Paolo Carlini <paolo.carlini@oracle.com>
-
- * parser.c (cp_parser_parameter_declaration_list): Remove
- bool* parameter.
- (cp_parser_parameter_declaration_clause): Adjust.
- (cp_parser_cache_defarg): Likewise.
-
-2018-05-21 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84588
- * parser.c (cp_parser_maybe_commit_to_declaration,
- cp_parser_check_condition_declarator): New.
- (cp_parser_simple_declaration): Use the first above.
- (cp_parser_condition): Use both the above; enforce
- [stmt.stmt]/2 about the declarator not specifying
- a function or an array; improve error-recovery.
-
-2018-05-20 Jason Merrill <jason@redhat.com>
-
- PR libstdc++/85843 - warning in logic_error copy constructor.
- * class.c (type_has_user_nondefault_constructor): Check for a
- user-provided ctor, not user-declared.
-
-2018-05-19 Jason Merrill <jason@redhat.com>
-
- * pt.c (tsubst_pack_expansion): Sorry rather than abort
- on __integer_pack as subexpression of pattern.
-
-2018-05-18 Jason Merrill <jason@redhat.com>
-
- PR c++/58407 - deprecated implicit copy ops.
- * call.c (build_over_call): Warn about deprecated trivial fns.
- * class.c (classtype_has_user_copy_or_dtor): New.
- (type_build_ctor_call): Check TREE_DEPRECATED.
- (type_build_dtor_call): Likewise.
- * decl2.c (cp_warn_deprecated_use): Move from tree.c.
- Add checks. Return bool. Handle -Wdeprecated-copy.
- (mark_used): Use it.
- * decl.c (grokdeclarator): Remove redundant checks.
- * typeck2.c (build_functional_cast): Likewise.
- * method.c (lazily_declare_fn): Mark deprecated copy ops.
- * init.c (build_aggr_init): Only set TREE_USED if there are
- side-effects.
-
-2018-05-18 Cesar Philippidis <cesar@codesourcery.com>
-
- PR c++/85782
- * cp-gimplify.c (cp_genericize_r): Call genericize_omp_for_stmt for
- OACC_LOOPs.
-
-2018-05-18 Richard Sandiford <richard.sandiford@linaro.org>
-
- * constexpr.c (cxx_eval_constant_expression): Remove FMA_EXPR handling.
- (potential_constant_expression_1): Likewise.
-
-2018-05-16 Marek Polacek <polacek@redhat.com>
-
- PR c++/85363
- * call.c (set_flags_from_callee): Handle AGGR_INIT_EXPRs too.
- * tree.c (bot_manip): Call set_flags_from_callee for
- AGGR_INIT_EXPRs too.
-
-2018-05-15 Jason Merrill <jason@redhat.com>
-
- * cp-tree.h (cp_expr): Remove copy constructor.
- * mangle.c (struct releasing_vec): Declare copy constructor.
-
- * constexpr.c (cxx_eval_vec_init_1): Pass tf_none if ctx->quiet.
-
- PR c++/64372 - CWG 1560, gratuitous lvalue-rvalue conversion in ?:
- * call.c (build_conditional_expr_1): Don't force_rvalue when one arm
- is a throw-expression.
-
-2018-05-15 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cp-tree.h (DECL_MAYBE_IN_CHARGE_CDTOR_P): New.
- (FOR_EACH_CLONE): Update.
- * decl.c (grokdeclarator): Use it.
- * decl2.c (vague_linkage_p): Likewise.
- * mangle.c (mangle_decl): Likewise.
- * method.c (lazily_declare_fn): Likewise.
- * optimize.c (can_alias_cdtor, maybe_clone_body): Likewise.
- * repo.c (repo_emit_p): Likewise.
- * tree.c (decl_linkage): Likewise.
-
-2018-05-14 Jason Merrill <jason@redhat.com>
-
- Handle TYPE_HAS_LATE_RETURN_TYPE like ref-qualifier and eh spec.
- * tree.c (build_cp_fntype_variant): New.
- (build_ref_qualified_type, build_exception_variant)
- (strip_typedefs, cxx_copy_lang_qualifiers): Use it.
- (cxx_type_hash_eq, cp_check_qualified_type): Check
- TYPE_HAS_LATE_RETURN_TYPE.
- (cp_build_type_attribute_variant): Check cxx_type_hash_eq.
- (cp_build_qualified_type_real): No need to preserve C++ qualifiers.
- * class.c (build_clone): Use cxx_copy_lang_qualifiers.
- (adjust_clone_args): Likewise.
- * decl.c (grokfndecl): Add late_return_type_p parameter. Use
- build_cp_fntype_variant.
- (grokdeclarator): Pass late_return_type_p to grokfndecl.
- (check_function_type): Use cxx_copy_lang_qualifiers.
- (static_fn_type): Use cxx_copy_lang_qualifiers.
- * decl2.c (build_memfn_type, maybe_retrofit_in_chrg)
- (cp_reconstruct_complex_type, coerce_new_type, coerce_delete_type)
- (change_return_type): Use cxx_copy_lang_qualifiers.
- * mangle.c (write_type): Use cxx_copy_lang_qualifiers.
- * parser.c (cp_parser_lambda_declarator_opt): Represent an explicit
- return type on the declarator like a normal trailing return type.
- * pt.c (tsubst_function_type): Use build_cp_fntype_variant.
- (copy_default_args_to_explicit_spec): Use cxx_copy_lang_qualifiers.
- * typeck.c (merge_types): Use build_cp_fntype_variant.
-
-2018-05-14 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cp-tree.h (TYPE_REF_P): New.
- (TYPE_OBJ_P, TYPE_REF_OBJ_P, TYPE_REFFN_P): Update.
- * call.c (build_list_conv, build_aggr_conv, standard_conversion,
- direct_reference_binding, reference_binding, implicit_conversion,
- add_builtin_candidate, build_user_type_conversion_1, build_op_call_1,
- build_new_op_1, build_x_va_arg, conv_binds_ref_to_prvalue,
- build_over_call, perform_implicit_conversion_flags,
- extend_ref_init_temps, type_has_extended_temps): Use it.
- * class.c (one_inheriting_sig, check_field_decls,
- check_bases_and_members, find_flexarrays, finish_struct,
- fixed_type_or_null): Likewise.
- * constexpr.c (literal_type_p, cxx_bind_parameters_in_call,
- non_const_var_error, cxx_eval_constant_expression,
- potential_constant_expression_1): Likewise.
- * cp-gimplify.c (omp_var_to_track, omp_cxx_notice_variable,
- cp_genericize_r, cxx_omp_privatize_by_reference,
- cxx_omp_const_qual_no_mutable, cxx_omp_finish_clause,
- cp_fold_maybe_rvalue): Likewise.
- * cp-ubsan.c (cp_ubsan_maybe_instrument_downcast): Likewise.
- * cvt.c (build_up_reference, convert_to_reference,
- convert_from_reference, convert_to_void, noexcept_conv_p,
- fnptr_conv_p): Likewise.
- * decl.c (poplevel, check_for_uninitialized_const_var,
- check_initializer, initialize_local_var, cp_finish_decl,
- get_tuple_decomp_init, cp_finish_decomp, grokdeclarator, copy_fn_p,
- move_signature_fn_p, grok_op_properties, finish_function): Likewise.
- * decl2.c (grok_array_decl, cp_reconstruct_complex_type,
- decl_maybe_constant_var_p): Likewise.
- * error.c (dump_type_prefix, dump_expr): Likewise.
- * except.c (initialize_handler_parm, complete_ptr_ref_or_void_ptr_p,
- is_admissible_throw_operand_or_catch_parameter): Likewise.
- * expr.c (mark_use): Likewise.
- * init.c (build_zero_init_1, build_value_init_noctor,
- perform_member_init, diagnose_uninitialized_cst_or_ref_member_1,
- build_new, build_delete): Likewise.
- * lambda.c (build_lambda_object): Likewise.
- * mangle.c (write_expression, write_template_arg): Likewise.
- * method.c (forward_parm, do_build_copy_constructor,
- do_build_copy_assign, build_stub_object, constructible_expr,
- walk_field_subobs): Likewise.
- * parser.c (cp_parser_omp_for_loop_init,
- cp_parser_omp_declare_reduction_exprs,
- cp_parser_omp_declare_reduction): Likewise.
- * pt.c (convert_nontype_argument_function, convert_nontype_argument,
- convert_template_argument, tsubst_pack_expansion,
- tsubst_function_decl, tsubst_decl, tsubst, tsubst_copy_and_build,
- maybe_adjust_types_for_deduction, check_cv_quals_for_unify, unify,
- more_specialized_fn, invalid_nontype_parm_type_p, dependent_type_p_r,
- value_dependent_expression_p, build_deduction_guide): Likewise.
- * semantics.c (finish_handler_parms, finish_non_static_data_member,
- finish_compound_literal, omp_privatize_field,
- handle_omp_array_sections_1, handle_omp_array_sections,
- cp_check_omp_declare_reduction, finish_omp_reduction_clause,
- finish_omp_declare_simd_methods, cp_finish_omp_clause_depend_sink,
- finish_omp_clauses, finish_decltype_type, capture_decltype,
- finish_builtin_launder): Likewise.
- * tree.c (lvalue_kind, cp_build_reference_type, move,
- cp_build_qualified_type_real, stabilize_expr, stabilize_init): Likewise.
- * typeck.c (cxx_safe_arg_type_equiv_p, build_class_member_access_expr,
- cp_build_indirect_ref_1, convert_arguments, warn_for_null_address,
- cp_build_addr_expr_1, maybe_warn_about_useless_cast,
- build_static_cast_1, build_static_cast, build_reinterpret_cast_1,
- build_const_cast_1, cp_build_c_cast, cp_build_modify_expr,
- convert_for_initialization,
- maybe_warn_about_returning_address_of_local, check_return_expr,
- cp_type_quals, casts_away_constness, non_reference): Likewise.
- * typeck2.c (cxx_readonly_error, store_init_value,
- process_init_constructor_record, build_x_arrow, build_functional_cast,
- add_exception_specifier): Likewise.
-
-2018-05-14 Jason Merrill <jason@redhat.com>
-
- * pt.c (tsubst) [ARRAY_TYPE]: Check valid_array_size_p.
- (tsubst_copy_and_build) [NEW_EXPR]: Clear in_decl.
-
-2018-05-11 Jakub Jelinek <jakub@redhat.com>
-
- PR c/85696
- * cp-tree.h (cxx_omp_predetermined_sharing_1): New prototype.
- * cp-gimplify.c (cxx_omp_predetermined_sharing): New wrapper around
- cxx_omp_predetermined_sharing_1. Rename old function to ...
- (cxx_omp_predetermined_sharing_1): ... this.
- * semantics.c (finish_omp_clauses): Use cxx_omp_predetermined_sharing_1
- instead of cxx_omp_predetermined_sharing.
-
-2018-05-10 Jason Merrill <jason@redhat.com>
-
- * decl.c (cp_finish_decl): Don't instantiate auto variable.
- (check_static_variable_definition): Allow auto.
- * constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
-
- * cp-tree.h (DECL_CONSTRUCTOR_P): Use DECL_CXX_CONSTRUCTOR_P.
- (DECL_DESTRUCTOR_P): Use DECL_CXX_DESTRUCTOR_P.
-
- Core issue 2310 - conversion to base of incomplete type.
- * class.c (build_base_path): Check COMPLETE_TYPE_P for source type.
-
- CWG 2267 - list-initialization of reference temporary
- * call.c (reference_binding): List-initializing a reference
- temporary is copy-list-initialization.
-
- * parser.c (cp_parser_class_head): Use num_template_headers_for_class.
-
- * pt.c (instantiate_decl): Make sure we aren't trying to do a nested
- instantiation in template context.
-
- * class.c (vbase_has_user_provided_move_assign): Use
- user_provided_p.
-
- * lambda.c (lambda_expr_this_capture): Improve logic.
-
- * decl.c (make_typename_type): s/parameters/arguments/.
- * parser.c (cp_parser_nested_name_specifier_opt): Likewise.
- * pt.c (make_pack_expansion): Correct error message.
-
-2018-05-10 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85662
- * cp-gimplify.c (cp_fold): Use fold_offsetof rather than
- fold_offsetof_1, pass TREE_TYPE (x) as TYPE to it and drop the
- fold_convert.
-
-2018-05-10 Eric Botcazou <ebotcazou@adacore.com>
-
- PR c++/85400
- * decl2.c (adjust_var_decl_tls_model): New static function.
- (comdat_linkage): Call it on a variable.
- (maybe_make_one_only): Likewise.
-
-2018-05-09 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85713
- Revert:
- 2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84588
- * parser.c (cp_parser_parameter_declaration_list): When the
- entire parameter-declaration-list is erroneous maybe call
- abort_fully_implicit_template.
-
-2018-05-08 Jason Merrill <jason@redhat.com>
-
- PR c++/85706 - class deduction under decltype
- * pt.c (for_each_template_parm_r): Handle DECLTYPE_TYPE. Clear
- *walk_subtrees whether or not we walked into the operand.
- (type_uses_auto): Only look at deduced contexts.
-
-2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84588
- * parser.c (cp_parser_parameter_declaration_list): When the
- entire parameter-declaration-list is erroneous maybe call
- abort_fully_implicit_template.
-
-2018-05-08 Marek Polacek <polacek@redhat.com>
-
- PR c++/85695
- * semantics.c (finish_if_stmt_cond): See through typedefs.
-
-2018-05-07 Jason Merrill <jason@redhat.com>
-
- PR c++/85646 - lambda visibility.
- * decl2.c (determine_visibility): Don't mess with template arguments
- from the containing scope.
- (vague_linkage_p): Check DECL_ABSTRACT_P before looking at a 'tor
- thunk.
-
-2018-05-07 Nathan Sidwell <nathan@acm.org>
-
- Remove fno-for-scope
- * cp-tree.h (DECL_ERROR_REPORTED, DECL_DEAD_FOR_LOCAL)
- (DECL_HAS_SHADOWED_FOR_VAR_P, DECL_SHADOWED_FOR_VAR)
- (SET_DECL_SHADOWED_FOR_VAR): Delete.
- (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert)
- (check_for_out_of_scope_variable, init_shadowed_var_for_decl):
- Don't declare.
- * name-lookup.h (struct cp_binding_level): Remove
- dead_vars_from_for field.
- * cp-lang.c (cp_init_ts): Delete.
- (LANG_HOOKS_INIT_TS): Override to cp_common_init_ts.
- * cp-objcp-common.c (shadowed_var_for_decl): Delete.
- (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert)
- (init_shadowed_var_for_decl): Delete.
- * decl.c (poplevel): Remove shadowed for var handling.
- (cxx_init_decl_processing): Remove -ffor-scope deprecation.
- * name-lookup.c (find_local_binding): Remove shadowed for var
- handling.
- (check_local_shadow): Likewise.
- (check_for_out_of_scope_variable): Delete.
- * parser.c (cp_parser_primary_expression): Remove shadowed for var
- handling.
- * pt.c (tsubst_decl): Remove DECL_DEAD_FOR_LOCAL setting.
- * semantics.c (begin_for_scope): Always have a scope.
- (begin_for_stmt, finish_for_stmt): Remove ARM-for scope handling.
- (begin_range_for_stmt, finish_id_expression): Likewise.
-
-2018-05-07 Jason Merrill <jason@redhat.com>
-
- PR c++/85618 - ICE with initialized VLA.
- * tree.c (vla_type_p): New.
- * typeck2.c (store_init_value, split_nonconstant_init_1): Check it
- rather than array_of_runtime_bound_p.
-
-2018-05-05 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cvt.c (ocp_convert): Early handle the special case of a
- null_ptr_cst_p expr converted to a NULLPTR_TYPE_P type.
-
-2018-05-03 Jason Merrill <jason@redhat.com>
-
- PR c++/85600 - virtual delete failure.
- * init.c (build_delete): Always save_expr when deleting.
-
-2018-05-03 Nathan Sidwell <nathan@acm.org>
-
- * decl.c (cxx_init_decl_processing): Remove flag_friend_injection.
- * name-lookup.c (do_pushdecl): Likewise.
-
-2018-05-02 Paolo Carlini <paolo.carlini@oracle.com>
- Jason Merrill <jason@redhat.com>
-
- PR c++/68374
- * name-lookup.c (check_local_shadow): Don't handle static old
- declarations in the block handling locals shadowing locals.
-
-2018-05-01 Jason Merrill <jason@redhat.com>
-
- PR c++/85587 - error with scoped enum in template.
- * semantics.c (finish_qualified_id_expr): Don't return an
- unqualified IDENTIFIER_NODE.
-
-2018-04-30 Jason Merrill <jason@redhat.com>
-
- PR c++/85580 - extern "C" and local variables
- * name-lookup.c (check_extern_c_conflict): Ignore local decls.
-
- PR c++/84701 - unsigned typeof.
- * decl.c (grokdeclarator): Overhaul diagnostics for invalid use
- of long/short/signed/unsigned.
-
- PR c++/85305 - pack in lambda init-capture.
- * parser.c (cp_parser_initializer): Add subexpression_p parm; don't
- check_for_bare_parameter_packs in a subexpression.
- (cp_parser_lambda_introducer): Use it.
-
- PR c++/61982 - dead stores to destroyed objects.
- * call.c (build_trivial_dtor_call): New, assigns a clobber.
- (build_over_call, build_special_member_call): Use it.
- * cp-tree.h: Declare it.
- * init.c (build_delete): Remove trivial path.
-
- * init.c (build_dtor_call): Use build_special_member_call.
- (build_delete): Remove redundant uses of save_addr.
-
- * decl.c (build_clobber_this): Use build_clobber.
-
-2018-04-27 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85553
- * init.c (build_zero_init_1): For zero initialization of
- NULLPTR_TYPE_P type use build_int_cst directly.
-
-2018-04-27 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85515
- * name-lookup.c (consider_binding_level): Skip compiler-generated
- variables.
- * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Flatten
- nested if statements into a series of rejection tests. Reject
- lambda-ignored entities as suggestions.
-
-2018-04-27 Jason Merrill <jason@redhat.com>
-
- * cvt.c (cp_fold_convert): Use convert_ptrmem.
- * typeck.c (convert_ptrmem): Add a NOP even if no adjustment.
-
-2018-04-27 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84691
- * decl.c (grokdeclarator): Clear friendp upon definition in local
- class definition error.
-
-2018-04-27 Jason Merrill <jason@redhat.com>
-
- PR c++/85545 - ICE with noexcept PMF conversion.
- * cvt.c (cp_fold_convert): Pass PMF CONSTRUCTORs to
- build_ptrmemfunc.
- * typeck.c (build_ptrmemfunc): Don't build a NOP_EXPR for zero
- adjustment.
- (build_ptrmemfunc_access_expr): Special-case CONSTRUCTORs.
-
-2018-04-27 Nathan Sidwell <nathan@acm.org>
-
- * typeck.c (convert_ptrmem): Move local var decls to initialization.
-
- * cp-tree.h (TEMPLATE_INFO): Fix comments.
- (TI_PENDING_TEMPLATE_FLAG): Check TEMPLATE_INFO.
- (NON_DEFAULT_TEMPLATE_ARG_COUNT): Wrap line.
- (dump, print_other_binding_stacks): Remove declarations.
- * name-lookup.c (print_other_binding_stack): Make static.
- * pt.c (build_template_decl): Make static.
-
-2018-04-26 Jason Merrill <jason@redhat.com>
-
- PR c++/85545 - ICE with noexcept PMF conversion.
- * cvt.c (cp_fold_convert): Handle PMF CONSTRUCTORs directly.
-
-2018-04-25 Nathan Sidwell <nathan@acm.org>
-
- PR c++/85437
- PR c++/49171
- * cp-tree.h (REINTERPRET_CAST_P): New.
- * constexpr.c (cxx_eval_constant_expression) <case NOP_EXPR>:
- Reject REINTERPET_CAST_P conversions. Use cplus_expand_constant
- for non-trivial PTRMEM_CST cases.
- * typeck.c (build_nop_reinterpret): New.
- (build_reinterpret_cast_1): Use it. Set REINTERPRET_CAST_P on
- NOP_EXPRs returned by cp_convert.
-
-2018-04-23 Jason Merrill <jason@redhat.com>
-
- PR c++/69560 - wrong alignof(double) on x86.
- CWG 1879 - Inadequate definition of alignment requirement.
- * cp-tree.h (ALIGNOF_EXPR_STD_P): New.
- * typeck.c (cxx_sizeof_or_alignof_type): Add std_alignof parm.
- (cxx_sizeof_expr, cxx_sizeof_nowarn, cxx_alignas_expr)
- (cxx_alignof_expr): Pass it.
- * parser.c (cp_parser_unary_expression): Pass it.
- * pt.c (tsubst_copy): Copy it.
- (tsubst_copy_and_build): Pass it.
- * decl.c (fold_sizeof_expr): Pass it.
-
-2018-04-23 Jakub Jelinek <jakub@redhat.com>
- Jason Merrill <jason@redhat.com>
-
- PR c++/85470 - wrong error with static data member.
- * decl.c (check_initializer): Check DECL_INITIALIZED_IN_CLASS_P.
- * typeck2.c (store_init_value): Likewise.
-
-2018-04-20 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85462
- * cp-tree.h (tinst_level): Remove in_system_header_p member,
- change refcount member from unsigned char to unsigned short,
- add refcount_infinity static data member, adjust comments.
- * pt.c (tinst_level::refcount_infinity): Define.
- (inc_refcount_use): Remove assert, don't increment if refcount
- is already refcount_infinity, adjust comment.
- (dec_refcount_use): Remove assert, don't decrement if refcount
- is refcount_infinity, adjust comment.
- (push_tinst_level_loc): Formatting fix.
-
-2018-04-19 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84611
- * pt.c (lookup_template_class_1): Check pushtag return value for
- error_mark_node.
-
-2018-04-19 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/80290
- * cp-tree.h (tinst_level::free): Fix whitespace.
-
-2018-04-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84630
- * pt.c (tsubst_lambda_expr): Check begin_lambda_type return value
- for error_mark_node.
-
-2018-04-18 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84463
- * typeck.c (cp_build_addr_expr_1): Move handling of offsetof-like
- tricks from here to ...
- * cp-gimplify.c (cp_fold) <case ADDR_EXPR>: ... here. Only use it
- if INDIRECT_REF's operand is INTEGER_CST cast to pointer type.
-
-2018-04-18 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/80290
- * cp-tree.h (struct tinst_level): Split decl into tldcl and
- targs. Add private split_list_p, tree_list_p, and not_list_p
- inline const predicates; to_list private member function
- declaration; free public member function declaration; list_p,
- get_node and maybe_get_node accessors, and refcount data
- member. Narrow errors to unsigned short.
- * error.c (print_instantiation_full_context): Use new
- accessors.
- (print_instantiation_partial_context_line): Likewise. Drop
- const from tinst_level-typed parameter.
- * mangle.c (mangle_decl_string): Likewise.
- * pt.c (freelist): New template class.
- (tree_list_freelist_head): New var.
- (tree_list_freelist): New fn, along with specializations.
- (tinst_level_freelist_head): New var.
- (pending_template_freelist_head): Likewise.
- (tinst_level_freelist, pending_template_freelist): New fns.
- (tinst_level::to_list, tinst_level::free): Define.
- (inc_refcount_use, dec_refcount_use): New fns for tinst_level.
- (set_refcount_ptr): New template fn.
- (add_pending_template): Adjust for refcounting, freelists and
- new accessors.
- (neglectable_inst_p): Take a NULL d as a non-DECL.
- (limit_bad_template_recursion): Use new accessors.
- (push_tinst_level): New overload to create the list.
- (push_tinst_level_loc): Make it static, split decl into two
- args, adjust tests and initialization to cope with split
- lists, use freelist, adjust for refcounting.
- (push_tinst_level_loc): New wrapper with the old interface.
- (pop_tinst_level): Adjust for refcounting.
- (record_last_problematic_instantiation): Likewise.
- (reopen_tinst_level): Likewise. Use new accessors.
- (instantiate_alias_template): Adjust for split list.
- (fn_type_unification): Likewise.
- (get_partial_spec_bindings): Likewise.
- (instantiate_pending_templates): Use new accessors. Adjust
- for refcount. Release pending_template to freelist.
- (instantiating_current_function_p): Use new accessors.
-
-2018-04-16 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/85039
- * parser.c (cp_parser_builtin_offset): Reject type definitions.
- * mangle.c (nested_anon_class_index): Avoid crash returning -1
- if we've seen errors.
-
-2018-04-12 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85385
- * name-lookup.c (macro_use_before_def::maybe_make): New function,
- checking that the use is indeed before the definition.
- (macro_use_before_def::macro_use_before_def): Make private.
- (macro_use_before_def::~macro_use_before_def): Make private. Move
- check for UNKNOWN_LOCATION to macro_use_before_def::maybe_make.
- (lookup_name_fuzzy): Call macro_use_before_def::maybe_make rather
- than using new directly.
-
-2018-04-12 Jason Merrill <jason@redhat.com>
-
- PR c++/85356 - ICE with pointer to member function.
- * pt.c (maybe_instantiate_noexcept): Do instantiate in templates if
- flag_noexcept_type. Build the new spec within the function context.
- * except.c (build_noexcept_spec): Do get constant value in templates
- if flag_noexcept_type.
- * decl.c (check_redeclaration_exception_specification): Don't
- instantiate noexcept on a dependent declaration.
-
-2018-04-12 Marek Polacek <polacek@redhat.com>
-
- PR c++/85258
- * constexpr.c (reduced_constant_expression_p): Return false for null
- trees.
-
-2018-04-11 Marek Polacek <polacek@redhat.com>
-
- PR c++/85032
- * constexpr.c (potential_constant_expression_1): Consider conversions
- from classes to literal types potentially constant.
-
-2018-04-10 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/70808
- * init.c (build_zero_init_1): Handle NULLPTR_TYPE_P being true of
- the type like TYPE_PTR_OR_PTRMEM_P.
-
-2018-04-10 Jason Merrill <jason@redhat.com>
-
- PR debug/65821 - wrong location for main().
- * call.c (clear_location_r, convert_default_arg): Revert.
- * tree.c (break_out_target_exprs): Add clear_location parm.
- (struct bot_data): New.
- (bot_manip): Clear location if requested.
- * init.c (get_nsdmi): Pass clear_location.
-
-2018-04-10 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85110
- * call.c (get_fndecl_argument_location): Make non-static.
- * cp-tree.h (get_fndecl_argument_location): New decl.
- * typeck.c (convert_for_assignment): When complaining due to
- conversions for an argument, show the location of the parameter
- within the decl.
-
-2018-04-10 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85312 - P0962 cleanup
- * parser.c (cp_parser_perform_range_for_lookup): Remove unreachable
- diagnostics.
-
-2018-04-10 Jason Merrill <jason@redhat.com>
-
- PR debug/65821 - wrong location for main().
- * call.c (clear_location_r): New.
- (convert_default_arg): Use it.
- * tree.c (bot_manip): Remove builtin_LINE/FILE handling.
-
- PR c++/85285 - ICE with flexible array after substitution.
- * pt.c (instantiate_class_template_1): Check for flexible array in
- union.
-
-2018-04-09 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85227
- * decl.c (cp_finish_decomp): In a template, if the type is incomplete
- issue a pedwarn and defer trying to do bindings.
-
-2018-04-09 Jason Merrill <jason@redhat.com>
-
- PR c++/85279 - dump_expr doesn't understand decltype.
- * error.c (dump_expr): Handle DECLTYPE_TYPE.
-
- PR c++/85262 - ICE with redundant qualification on constructor.
- * call.c (build_new_method_call_1): Move make_args_non_dependent
- after A::A() handling.
-
- PR c++/85277 - ICE with invalid offsetof.
- * semantics.c (finish_offsetof): Avoid passing non-DECL to %qD.
- Adjust -Winvalid-offsetof diagnostic to say conditionally supported.
-
- PR c++/85264 - ICE with excess template-parameter-list.
- * parser.c (cp_parser_check_template_parameters): Add template_id_p
- parameter. Don't allow an extra template header if true.
- (cp_parser_class_head): Pass template_id_p.
- (cp_parser_elaborated_type_specifier): Likewise.
- (cp_parser_alias_declaration): Likewise.
- (cp_parser_check_declarator_template_parameters): Likewise.
-
-2018-04-09 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85194
- * parser.c (cp_parser_simple_declaration): For structured bindings,
- if *maybe_range_for_decl is NULL after parsing it, set it to
- error_mark_node.
-
-2018-04-09 Jason Merrill <jason@redhat.com>
-
- PR c++/85256 - ICE capturing pointer to VLA.
- * lambda.c (add_capture): Distinguish between variable-size and
- variably-modified types.
-
-2018-04-06 Jason Merrill <jason@redhat.com>
-
- PR c++/85214 - ICE with alias, generic lambda, constexpr if.
- * pt.c (extract_locals_r): Remember local typedefs.
-
-2018-04-06 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/84269
- * name-lookup.c (struct std_name_hint): Move out of
- get_std_name_hint; add field "min_dialect".
- (get_std_name_hint): Add min_dialect values to all initializers.
- Add <any>, <atomic>, <bitset>, <condition_variable>, <functional>,
- <future>, <istream>, <iterator>, <ostream>, <mutex>, <optional>,
- <shared_mutex>, <string_view>, <thread>, and <variant>.
- Add fstream, ifstream, and ofstream to <fstream>.
- Add istringstream, ostringstream, and stringstream to <sstream>.
- Add basic_string to <string>.
- Add tuple_element and tuple_size to <tuple>.
- Add declval to <utility>.
- Fix ordering of <queue> and <tuple>.
- Return a std_name_hint, rather than a const char *.
- (get_cxx_dialect_name): New function.
- (maybe_suggest_missing_std_header): Detect names that aren't yet
- available in the current dialect, and instead of suggesting a
- missing #include, warn about the dialect.
-
-2018-04-06 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85210
- * pt.c (tsubst_decomp_names): Return error_mark_node and assert
- errorcount is set if tsubst doesn't return a VAR_DECL.
-
-2018-04-06 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85021
- * name-lookup.c (using_directives_contain_std_p): New function.
- (has_using_namespace_std_directive_p): New function.
- (suggest_alternatives_for): Simplify if/else logic using early
- returns. If no candidates were found, and there's a
- "using namespace std;" directive, call
- maybe_suggest_missing_std_header.
- (maybe_suggest_missing_header): Split later part of the function
- into..
- (maybe_suggest_missing_std_header): New.
-
-2018-04-06 Jason Merrill <jason@redhat.com>
-
- PR c++/85242 - ICE with class definition in template parm.
- * cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): False if
- processing_template_parmlist.
-
- PR c++/85240 - LTO ICE with using of undeduced auto fn.
- * cp-gimplify.c (cp_genericize_r): Discard using of undeduced auto.
-
-2018-04-05 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85209
- * pt.c (tsubst_decomp_names): Don't fail or ICE if DECL_CHAIN (decl3)
- is not prev, if prev == decl.
-
- PR c++/85208
- * decl.c (start_decl): For DECL_DECOMPOSITION_P decls, don't call
- maybe_apply_pragma_weak here...
- (cp_maybe_mangle_decomp): ... but call it here instead.
-
-2018-04-05 Jason Merrill <jason@redhat.com>
-
- PR c++/85136 - ICE with designated init in template.
- * decl.c (maybe_deduce_size_from_array_init): Handle dependent
- designated initializer.
- (check_array_designated_initializer): Update ce->index with the
- constant value.
-
- PR c++/83808 - ICE with VLA initialization.
- * typeck2.c (process_init_constructor_array): Don't require a VLA
- initializer to have VLA type.
-
-2018-04-05 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/80956
- * call.c (convert_like_real): Fail gracefully for a broken
- std::initializer_list, missing a definition.
-
- * name-lookup.c (do_pushtag): Tweak message, use %< and %>.
-
-2018-04-05 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84792
- * decl.c (grokdeclarator): Fix diagnostic about typedef name used
- as nested-name-specifier, keep type and TREE_TYPE (decl) in sync.
-
-2018-04-05 Jason Merrill <jason@redhat.com>
-
- PR c++/82152 - ICE with class deduction and inherited ctor.
- * pt.c (do_class_deduction): Ignore inherited ctors.
-
- PR c++/84665 - ICE with array of empty class.
- * decl2.c (cp_check_const_attributes): Use fold_non_dependent_expr.
-
- PR c++/85228 - ICE with lambda in enumerator in template.
- * pt.c (bt_instantiate_type_proc): Don't assume
- CLASSTYPE_TEMPLATE_INFO is non-null.
-
-2018-04-05 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- Implement P0969
- * decl.c (find_decomp_class_base): Check accessibility instead
- of declared access, adjust diagnostic.
-
-2018-04-05 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- Implement P0961
- * decl.c (get_tuple_decomp_init): Check the templatedness
- of a member get.
-
-2018-04-05 Jason Merrill <jason@redhat.com>
-
- PR c++/85200 - ICE with constexpr if in generic lambda.
- * pt.c (extract_locals_r): Don't record the local specs of variables
- declared within the pattern.
-
-2018-04-05 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/84979
- * pt.c (check_auto_in_tmpl_args): New.
- (tsubst_qualified_id): Use it to reject template args
- referencing auto for non-type templates.
- * parser.c (cp_parser_template_id): Likewise.
- * cp-tree.h (check_auto_in_tmpl_args): Declare.
- * typeck2.c (build_functional_cast): Report correct location
- for invalid use of auto.
-
-2018-04-04 Jason Merrill <jason@redhat.com>
-
- PR c++/85215 - ICE with copy-init from conversion.
- * call.c (merge_conversion_sequences): Fix type of direct binding
- sequence.
-
- PR c++/84938 - ICE with division by ~-1.
- * call.c (set_up_extended_ref_temp): Call cp_fully_fold.
-
- PR c++/84936 - ICE with unexpanded pack in mem-initializer.
- * parser.c (cp_parser_mem_initializer_list): Call
- check_for_bare_parameter_packs.
-
-2018-04-04 Jakub Jelinek <jakub@redhat.com>
-
- PR inline-asm/85172
- * constexpr.c (cxx_eval_builtin_function_call): For calls to
- builtin_valid_in_constant_expr_p functions, don't call
- cxx_eval_constant_expression if argument is not
- potential_constant_expression.
-
- PR c++/85146
- * cp-tree.h (calculate_bases, calculate_direct_bases): Add complain
- argument.
- * semantics.c (calculate_bases): Add complain argument. Use
- complete_type_or_maybe_complain instead of just complete_type and
- return an empty vector if it fails. Move make_tree_vector () call
- after early return. Formatting fixes.
- (calculate_direct_bases): Likewise. Call release_tree_vector at the
- end.
- (dfs_calculate_bases_post, calculate_bases_helper): Formatting fixes.
- * pt.c (tsubst_pack_expansion): Adjust calculate_bases and
- calculate_direct_bases callers, formatting fixes.
-
-2018-04-04 Jason Merrill <jason@redhat.com>
-
- PR c++/85006 - -fconcepts ICE with A<auto...> return type
- * pt.c (tsubst_pack_expansion): Allow unsubstituted auto pack.
-
- PR c++/85200 - ICE with constexpr if in generic lambda.
- * tree.c (cp_walk_subtrees): Walk into DECL_EXPR in templates.
-
- PR c++/84221 - bogus -Wunused with attribute and template.
- * decl2.c (is_late_template_attribute): Handle unused and used
- normally on non-TYPE_DECL.
-
- PR c++/85135 - ICE with omitted template arguments.
- * decl.c (grokdeclarator): Catch deduced class type in trailing
- return type.
-
- PR c++/85133 - ICE with missing concept initializer.
- * decl.c (cp_finish_decl): If a concept initializer is missing, use
- true.
-
- PR c++/85118 - wrong error with generic lambda and std::bind.
- * call.c (add_template_conv_candidate): Disable if there are any
- call operators.
-
- PR c++/85141 - ICE with compound assignment and static member fn.
- * typeck.c (cp_build_modify_expr): Call decay_conversion for RHS of
- compound assignment.
-
- PR c++/85148 - ICE with 'this' in array NSDMI.
- * tree.c (replace_placeholders_r): Use handled_component_p.
-
-2018-04-04 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- PR c++/65923
- * decl.c (grokfndecl): Handle standard UDL diagnostics here..
- * parser.c (cp_parser_unqualified_id): ..not here.
-
-2018-04-04 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/84943
- * typeck.c (cp_build_addr_expr_1): Mark FUNCTION_DECL as
- used.
- * decl2.c (mark_used): Return without effects if tf_conv.
-
-2018-04-03 Jason Merrill <jason@redhat.com>
-
- PR c++/85092 - C++17 ICE with unused list constructor.
- * call.c (conv_binds_ref_to_prvalue): Also count ck_identity
- from a TARGET_EXPR.
-
- PR c++/85113 - ICE with constexpr and __builtin_constant_p.
- * constexpr.c (cxx_eval_builtin_function_call): Only defer
- __builtin_constant_p if ctx->quiet.
-
-2018-04-03 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84768
- * pt.c (rewrite_template_parm): If the first argument is
- error_mark_node return it immediately.
- (build_deduction_guide): Check the return value of the
- latter for error_mark_node.
- (do_class_deduction): Check the return value of the latter.
-
-2018-04-03 Jason Merrill <jason@redhat.com>
-
- * semantics.c (finish_if_stmt_cond): Use
- instantiation_dependent_expression_p.
-
- PR c++/85149 - generic lambda and constexpr if.
- * pt.c (build_extra_args, add_extra_args): Split from
- tsubst_pack_expansion.
- (tsubst_expr) [IF_STMT]: Use them.
- * cp-tree.h (IF_STMT_EXTRA_ARGS): New.
-
- * typeck.c (merge_types): Limit matching attribute shortcut to
- the default case.
-
-2018-04-03 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85147
- * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node.
-
- PR c++/85140
- * name-lookup.c (handle_namespace_attrs): Return early if attributes
- is error_mark_node.
-
- PR c++/85134
- * decl.c (cp_finish_decl): If ensure_literal_type_for_constexpr_object
- fails, after clearing DECL_DECLARED_CONSTEXPR_P don't return early,
- instead for static data members clear init and set DECL_EXTERNAL.
-
-2018-04-02 Jason Merrill <jason@redhat.com>
-
- PR c++/64095 - auto... parameter pack.
- * parser.c (cp_parser_parameter_declaration): Handle turning autos
- into packs here.
- (cp_parser_parameter_declaration_list): Not here.
-
-2018-03-31 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/85027
- * class.c (instantiate_type): Peel off SAVE_EXPR before
- BASELINK.
-
-2018-03-30 Jason Merrill <jason@redhat.com>
-
- * typeck2.c (process_init_constructor_record): Use
- init_list_type_node for the CONSTRUCTOR around an anonymous union
- designated initializer.
-
-2018-03-30 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84791
- * semantics.c (finish_omp_reduction_clause): If
- OMP_CLAUSE_REDUCTION_PLACEHOLDER is error_mark_node, return true
- even if processing_template_decl.
-
-2018-03-29 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/84269
- * name-lookup.c (get_std_name_hint): Add names from <memory>,
- <tuple>, and <utility>.
-
-2018-03-29 Jason Merrill <jason@redhat.com>
-
- PR c++/85093 - too many template args with pack expansion.
- * pt.c (coerce_template_parms): Keep pack expansion args that will
- need to be empty.
-
-2018-03-29 Jason Merrill <jason@redhat.com>
-
- * pt.c (build_non_dependent_expr): Propagate expr location.
-
-2018-03-27 Jason Merrill <jason@redhat.com>
-
- PR c++/85060 - wrong-code with call to base member in template.
- * search.c (any_dependent_bases_p): Check uses_template_parms
- rather than processing_template_decl.
-
-2018-03-29 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/85110
- * typeck.c (convert_for_assignment): When complaining due to
- conversions for an argument, attempt to use the location of the
- argument.
-
-2018-03-28 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85028
- * pt.c (tsubst_default_argument): Early return if the type of the
- parameter is erroneous.
-
-2018-03-28 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/84973
- * decl2.c (note_vague_linkage_fn): Don't defer uninstantiated
- templates.
-
- PR c++/84968
- * tree.c (strip_typedefs_expr): Reject STATEMENT_LISTs.
-
-2018-03-27 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/85067
- * method.c (defaulted_late_check): Partially revert r253321 changes,
- do not early return upon error.
-
-2018-03-27 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85077
- * cp-gimplify.c (cp_fold) <case CONSTRUCTOR>: For ctors with vector
- type call fold to generate VECTOR_CSTs when possible.
-
- PR c++/85076
- * tree.c (cp_build_reference_type): If to_type is error_mark_node,
- return it right away.
-
-2018-03-27 Volker Reichelt <v.reichelt@netcologne.de>
-
- * search.c (check_final_overrider): Use inform instead of error
- for the diagnostics of the overridden functions. Tweak wording.
-
-2018-03-27 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85068
- * class.c (update_vtable_entry_for_fn): Don't ICE if base_binfo
- is NULL. Assert if thunk_binfo is NULL then errorcount is non-zero.
-
-2018-03-27 Paolo Carlini <paolo.carlini@oracle.com>
- Jason Merrill <jason@redhat.com>
-
- PR c++/84632
- * init.c (build_aggr_init): When initializing from array,
- reject anything but CONSTRUCTORs and TARGET_EXPRs.
- (build_vec_init): Handle separately ARRAY_TYPEs.
-
-2018-03-26 Jason Merrill <jason@redhat.com>
-
- PR c++/85062 - ICE with alignas in wrong place.
- * decl.c (grokdeclarator): Ignore attributes on type-specifiers
- here.
-
- PR c++/85049 - ICE with __integer_pack.
- * pt.c (unify_pack_expansion): Don't try to deduce generated packs.
- * cp-tree.h (TEMPLATE_PARM_P): New.
-
-2018-03-23 Jason Merrill <jason@redhat.com>
-
- PR c++/78489 - wrong SFINAE behavior.
-
- PR c++/84489
- * pt.c (type_unification_real): Don't defer substitution failure.
-
-2018-03-23 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/85015
- * decl.c (compute_array_index_type): Set osize to mark_rvalue_use
- result.
-
- PR c++/84942
- * pt.c (tsubst_copy_and_build) <case FIX_TRUNC_EXPR>: Replace
- cp_build_unary_op call with gcc_unreachable ().
-
-2018-03-23 Marek Polacek <polacek@redhat.com>
-
- PR c++/85045
- * cxx-pretty-print.c (cxx_pretty_printer::multiplicative_expression):
- Handle EXACT_DIV_EXPR and RDIV_EXPR. Tweak condition.
- (cxx_pretty_printer::expression): Handle EXACT_DIV_EXPR and RDIV_EXPR.
-
-2018-03-23 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- Implement P0962
- * parser.c (cp_parser_perform_range_for_lookup): Change
- the condition for deciding whether to use members.
-
-2018-03-23 Marek Polacek <polacek@redhat.com>
-
- PR c++/85033
- * semantics.c (finish_offsetof): Don't allow CONST_DECLs.
-
-2018-03-23 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/71251
- * parser.c (cp_parser_alias_declaration): Call
- parser_check_template_parameters.
-
- PR c++/84789
- * pt.c (resolve_typename_type): Drop assert that stopped
- simplification to template-independent types. Add assert to
- verify the initial scope is template dependent.
- * parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
- Reparse the id expression as a type-name, not a declarator.
-
- PR c++/84729
- * init.c (build_vec_init): Error at parenthesized array init.
-
- PR c++/84610
- PR c++/84642
- PR c++/84942
- * cp-tree.h (temp_override): New template class, generalizing
- a cleanup that was only used...
- * parser.c (cp_parser_parameter_declaration_clause):
- ... here for auto_is_implicit_function_template_parm_p.
- (cp_parser_gnu_attributes_opt): Use it here as well.
- (cp_parser_std_attribute): Likewise.
-
-2018-03-22 Marek Polacek <polacek@redhat.com>
-
- PR c++/84854
- * semantics.c (finish_if_stmt_cond): Check if the type of the condition
- is boolean.
-
-2018-03-21 Jason Merrill <jason@redhat.com>
-
- PR c++/81311 - wrong C++17 overload resolution.
- * call.c (build_user_type_conversion_1): Remove C++17 code.
- (conv_binds_ref_to_prvalue): New.
- (build_over_call): Handle C++17 copy elision.
- (build_special_member_call): Only do C++17 copy elision here if the
- argument is already the right type.
-
-2018-03-21 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/71965
- * init.c (build_vec_init): Silence error, former sorry,
- without tf_error.
-
- PR c++/84610
- PR c++/84642
- * parser.c (abort_fully_implicit_template_p): New.
- (cp_parser_skip_to_end_of_statement): Use it.
- (cp_parser_skip_to_end_of_block_or_statement): Likewise.
- (finish_fully_implicit_template_p): Clear
- implicit_template_parms and implicit_template_scope.
-
-2018-03-21 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84972
- * decl.c (maybe_deduce_size_from_array_init): Set TREE_TYPE to
- error_mark_node when check_array_designated_initializer fails.
-
-2018-03-21 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84961
- * cp-tree.h (genericize_compound_lvalue): Declare.
- * typeck.c (genericize_compound_lvalue): New function.
- (unary_complex_lvalue, cp_build_modify_expr): Use it.
- * semantics.c (finish_asm_stmt): Replace MODIFY_EXPR, PREINCREMENT_EXPR
- and PREDECREMENT_EXPR in output and "m" constrained input operands with
- COMPOUND_EXPR. Call cxx_mark_addressable on the rightmost
- COMPOUND_EXPR operand.
-
-2018-03-21 Nathan Sidwell <nathan@acm.org>
-
- PR c++/85008
- * tree.c (decl_linkage): Use DECL_CLONED_FUNCTION_P.
- * decl2.c (vague_linkage_p): Likewise.
-
-2018-03-21 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/84994
- * constexpr.c (constexpr_fn_retval): Make non-"static".
- * cp-tree.h (constexpr_fn_retval): New decl.
- * search.c (direct_accessor_p): Update leading comment.
- (reference_accessor_p): Likewise.
- (field_accessor_p): Replace check that function body is a
- RETURN_EXPR with a call to constexpr_fn_retval. Fix
- indentation of "field_type" decl.
-
-2018-03-21 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84804
- * name-lookup.c (do_pushtag): Permit lambdas to be pushed into
- complete classes.
-
-2018-03-21 Martin Sebor <msebor@redhat.com>
-
- PR c++/84850
- * call.c (first_non_public_field): New template and function.
- (first_non_trivial_field): New function.
- (maybe_warn_class_memaccess): Call them.
-
-2018-03-21 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/84892
- * search.c (field_accessor_p): Use class_of_this_parm rather than
- type_of_this_parm, to check that "this" is a "const T *", rather
- than a "T *const".
-
-2018-03-21 Nathan Sidwell <nathan@acm.org>
-
- * class.c (finish_struct_anon_r): Refactor, deprecate anything
- other than public non-static data members.
- * parser.c (cp_parser_init_declarator): Deprecate attributes after
- parenthesized initializer.
-
- PR c++/84836
- * name-lookup.c (update_binding): Correct logic for local binding
- update.
-
-2018-03-21 Marek Polacek <polacek@redhat.com>
-
- PR c++/71638, ICE with NSDMI and reference.
- * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
- even when we replace an element.
-
-2018-03-20 Marek Polacek <polacek@redhat.com>
-
- PR c++/84978, ICE with NRVO.
- * constexpr.c (cxx_eval_constant_expression): Handle the case when
- a RESULT_DECL isn't in the hash map.
-
-2018-03-20 Jason Merrill <jason@redhat.com>
-
- PR c++/84978, ICE with NRVO.
- * cvt.c (cp_get_fndecl_from_callee): Add fold parameter.
- (cp_get_callee_fndecl_nofold): New.
- * cp-gimplify.c (cp_genericize_r): Use it instead.
- * call.c (check_self_delegation): Likewise.
-
-2018-03-20 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84962
- * name-lookup.c (pushdecl_class_level): Push anon-struct's
- member_vec, if there is one.
-
- PR c++/84970
- * cp-tree.h (lookup_list_keep): Declare.
- * tree.c (lookup_list_keep): New, broken out of ...
- (build_min): ... here. Call it.
- * decl.c (cp_finish_decl): Call lookup_list_keep.
-
-2018-03-19 Jason Merrill <jason@redhat.com>
-
- PR c++/84937 - ICE with class deduction and auto.
- * pt.c (rewrite_template_parm): Fix auto handling.
-
-2018-03-19 Marek Polacek <polacek@redhat.com>
-
- PR c++/84925
- * pt.c (enclosing_instantiation_of): Check if fn is null.
-
- PR c++/84927
- * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
- as we evaluate the elements.
- (cxx_eval_constant_expression): Verify constructor's flags
- unconditionally.
-
-2018-03-19 Jason Merrill <jason@redhat.com>
-
- PR c++/71834 - template-id with too few arguments.
- * pt.c (coerce_template_parms): Check fixed_parameter_pack_p.
-
-2018-03-19 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84835
- * lambda.c (maybe_add_lambda_conv_op): Force C++ linkage.
- * pt.c (build_template_decl): Propagate language linkage.
-
- PR c++/84812
- * name-lookup.c (set_local_extern_decl_linkage): Defend against
- ambiguous lookups.
-
-2018-03-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c/84910
- * parser.c (cp_parser_lambda_introducer): Remove trailing space from
- diagnostics.
- * method.c (synthesize_method): Likewise.
- * pt.c (convert_nontype_argument): Likewise.
-
-2018-03-16 Jason Merrill <jason@redhat.com>
-
- PR c++/84720 - ICE with rvalue ref non-type argument.
- * pt.c (invalid_nontype_parm_type_p): Prohibit rvalue reference.
- (convert_nontype_argument): Revert earlier change.
-
- PR c++/80227 - SFINAE and negative array size.
- * decl.c (compute_array_index_type): Use
- build_converted_constant_expr and valid_constant_size_p.
-
- PR c++/84906 - silent wrong code with ambiguous conversion.
- * call.c (build_user_type_conversion_1): Set need_temporary_p on
- ambiguous conversion.
- (convert_like_real): Check it.
-
- PR c++/83937 - wrong C++17 handling of init-list ctor argument.
- * call.c (build_special_member_call): Don't convert an init-list
- argument directly to the class type.
-
-2018-03-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/79937
- PR c++/82410
- * cp-tree.h (CONSTRUCTOR_PLACEHOLDER_BOUNDARY): Define.
- (find_placeholder): Declare.
- * tree.c (struct replace_placeholders_t): Add exp member.
- (replace_placeholders_r): Don't walk into ctors with
- CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag set, unless they are equal to
- d->exp. Replace PLACEHOLDER_EXPR with unshare_expr (x) rather than x.
- (replace_placeholders): Initialize data.exp.
- (find_placeholders_r, find_placeholders): New functions.
- * typeck2.c (process_init_constructor_record,
- process_init_constructor_union): Set CONSTRUCTOR_PLACEHOLDER_BOUNDARY
- if adding NSDMI on which find_placeholder returns true.
- * call.c (build_over_call): Don't call replace_placeholders here.
- * cp-gimplify.c (cp_genericize_r): Set TARGET_EXPR_NO_ELIDE on
- TARGET_EXPRs with CONSTRUCTOR_PLACEHOLDER_BOUNDARY set on
- TARGET_EXPR_INITIAL.
- (cp_fold): Copy over CONSTRUCTOR_PLACEHOLDER_BOUNDARY bit to new
- ctor.
-
-2018-03-16 Jason Merrill <jason@redhat.com>
-
- PR c++/83911 - ICE with multiversioned constructor.
- * cp-gimplify.c (cp_genericize_r): Replace versioned function with
- dispatchere here.
- * call.c (build_over_call): Not here.
-
-2018-03-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84874
- * decl.c (reshape_init_class): Don't assert d->cur->index == field
- if d->cur->index is a FIELD_DECL, instead set field to d->cur->index.
-
-2018-03-15 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84222
- * cp-tree.h (cp_warn_deprecated_use): Declare.
- * tree.c (cp_warn_deprecated_use): New function.
- * typeck2.c (build_functional_cast): Use it.
- * decl.c (grokparms): Likewise.
- (grokdeclarator): Likewise. Temporarily push nested class scope
- around grokparms call for out of class member definitions.
-
-2018-03-14 Jason Merrill <jason@redhat.com>
-
- PR c++/84820 - no error for invalid qualified-id.
- * parser.c (cp_parser_make_indirect_declarator): Don't wrap
- cp_error_declarator.
-
- PR c++/84801 - ICE with unexpanded pack in lambda.
- * pt.c (check_for_bare_parameter_packs): Don't return early for a
- lambda in non-template context.
-
- PR c++/81236 - auto variable and auto function
- * pt.c (tsubst_baselink): Update the type of the BASELINK after
- mark_used.
-
-2018-03-14 Jason Merrill <jason@redhat.com>
-
- PR c++/83916 - ICE with template template parameters.
- * pt.c (convert_template_argument): Don't substitute into type of
- non-type parameter if we don't have enough arg levels.
- (unify): Likewise.
-
-2018-03-14 Marek Polacek <polacek@redhat.com>
-
- PR c++/84596
- * semantics.c (finish_static_assert): Check
- instantiation_dependent_expression_p instead of
- {type,value}_dependent_expression_p.
-
-2018-03-13 Paolo Carlini <paolo.carlini@oracle.com>
- Jason Merrill <jason@redhat.com>
-
- PR c++/82336 - link error with list-init default argument.
- * decl.c (check_default_argument): Unshare an initializer list.
-
-2018-03-13 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84843
- * decl.c (duplicate_decls): For redefinition of built-in, use error
- and return error_mark_node. For redeclaration, return error_mark_node
- rather than olddecl if !flag_permissive.
-
-2018-03-13 Jason Merrill <jason@redhat.com>
-
- PR c++/82565 - ICE with concepts and generic lambda.
- * pt.c (instantiate_decl): Clear fn_context for lambdas.
-
-2018-03-13 Jason Merrill <jason@redhat.com>
-
- PR c++/84720 - ICE with rvalue ref non-type argument.
- * pt.c (convert_nontype_argument): Handle rvalue references.
-
- PR c++/84839 - ICE with decltype of parameter pack.
- * pt.c (tsubst_pack_expansion): Set cp_unevaluated_operand while
- instantiating dummy parms.
-
- * parser.c (cp_parser_simple_type_specifier): Pedwarn about auto
- parameter even without -Wpedantic.
-
- PR c++/84798 - ICE with auto in abstract function declarator.
- * parser.c (cp_parser_parameter_declaration_clause): Check
- parser->default_arg_ok_p.
-
-2018-03-13 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84808
- * constexpr.c (find_array_ctor_elt): Don't use elt reference after
- first potential CONSTRUCTOR_ELTS reallocation. Convert dindex to
- sizetype. Formatting fixes.
-
-2018-03-12 Jason Merrill <jason@redhat.com>
-
- PR c++/84355 - ICE with deduction for member class template.
- * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
- CLASS_PLACEHOLDER_TEMPLATE.
-
- PR c++/84802 - ICE capturing uninstantiated class.
- * lambda.c (build_capture_proxy): Call complete_type.
-
-2018-03-09 Jason Merrill <jason@redhat.com>
-
- PR c++/84770 - ICE with typedef and parameter pack.
- * pt.c (verify_unstripped_args_1): Split out from
- verify_unstripped_args.
-
- PR c++/84785 - ICE with alias template and default targs.
- * pt.c (type_unification_real): Set processing_template_decl if
- saw_undeduced == 1.
-
- PR c++/84752 - ICE with capture of constexpr array.
- * call.c (standard_conversion): Set rvaluedness_matches_p on the
- identity conversion under ck_lvalue.
-
-2018-03-09 Jason Merrill <jason@redhat.com>
- Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/71169
- PR c++/71832
- * pt.c (any_erroneous_template_args_p): New.
- * cp-tree.h (any_erroneous_template_args_p): Declare it.
- * parser.c (cp_parser_class_specifier_1): Use it.
-
-2018-03-09 Jason Merrill <jason@redhat.com>
-
- PR c++/84726 - unnecessary capture of constant vars.
- * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
- (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
- * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
- * lambda.c (is_constant_capture_proxy)
- (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
- (prune_lambda_captures): New.
- (finish_lambda_function): Call prune_lambda_captures.
-
-2018-03-09 Jason Merrill <jason@redhat.com>
- Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84076
- * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
- build ADDR_EXPR with REFERENCE_TYPE.
- (build_over_call): For purposes of check_function_arguments, if
- argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
- its operand rather than the argument itself.
-
-2018-03-09 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84724
- * decl.c (duplicate_decls): Don't override __* prefixed builtins
- except for __[^b]*_chk, instead issue permerror and for -fpermissive
- also a note and return olddecl.
-
-2018-03-09 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84733
- * name-lookup.c (do_pushdecl_with_scope): Only clear
- current_function_decl when pushing a non-class (i.e. namespace)
- scope.
-
-2018-03-08 Jason Merrill <jason@redhat.com>
- Jakub Jelinek <jakub@redhat.com>
-
- PR c++/80598
- * call.c (build_over_call): In templates set TREE_USED (first_fn) when
- not calling mark_used for the benefit of -Wunused-function warning.
-
-2018-03-06 Jason Merrill <jason@redhat.com>
-
- * lambda.c (is_capture_proxy_with_ref): Remove.
- * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
-
-2018-03-06 Marek Polacek <polacek@redhat.com>
-
- PR c++/84684
- * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
- arguments.
-
-2018-03-06 Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/84231
- * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
- only while processing template decls.
- * typeck.c (build_x_conditional_expr): Move wrapping of
- reference type around type...
- * call.c (build_conditional_expr_1): ... here. Rename
- is_lvalue to is_glvalue.
- * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
- INDIRECT_REF of COND_EXPR too.
-
- PR c++/84593
- * init.c (build_zero_init_1): Zero-initialize references.
-
- PR c++/84492
- * semantics.c (finish_stmt_expr_expr): Reject unresolved
- overloads used as stmt expr values.
-
-2018-03-05 Jason Merrill <jason@redhat.com>
-
- PR c++/84708 - ICE with lambda in local class NSDMI.
- * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
- context.
-
-2018-03-05 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84684
- * constexpr.c (constexpr_call_hasher::equal): Return false if
- lhs->hash != rhs->hash. Change return 1 to return true and
- return 0 to return false.
-
-2018-03-05 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84702
- * pt.c (process_template_arg): Mark lookup_keep on a default arg.
-
-2018-03-05 Marek Polacek <polacek@redhat.com>
-
- PR c++/84707
- * decl.c (duplicate_decls): Check DECL_NAME before accessing
- UDLIT_OPER_P.
-
-2018-03-05 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84694
- * friend.c (do_friend): Restore check for identifier_p inside
- TEMPLATE_ID_EXPR.
-
-2018-03-05 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84618
- * parser.c (cp_parser_lambda_introducer): Reject any capture not
- involving a VAR_DECL or a PARM_DECL.
-
-2018-03-05 Pádraig Brady <P@draigBrady.com>
- Jason Merrill <jason@redhat.com>
- Nathan Sidwell <nathan@acm.org>
-
- PR c++/84497
- * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
-
-2018-03-03 Jason Merrill <jason@redhat.com>
-
- PR c++/84686 - missing volatile loads.
- * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
-
-2018-03-03 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/71464
- * optimize.c (maybe_thunk_body): Bail out immediately if either
- fns[0] or fns[1] is null.
-
-2018-03-02 Marek Polacek <polacek@redhat.com>
-
- PR c++/84578
- * constexpr.c (get_array_or_vector_nelts): New.
- (cxx_eval_array_reference): Use it.
- (cxx_eval_vec_init_1): Likewise.
- (cxx_eval_store_expression): Likewise.
-
-2018-03-02 Jason Merrill <jason@redhat.com>
-
- * semantics.c (force_paren_expr): Remove redundant test.
-
-2018-03-02 Marek Polacek <polacek@redhat.com>
-
- PR c++/84663
- * decl.c (cp_complete_array_type): Check error_mark_node.
-
- PR c++/84664
- * typeck.c (cp_perform_integral_promotions): Check the result of
- mark_rvalue_use.
-
-2018-03-02 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84662
- * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
- RETURN instead of return.
- <case POINTER_PLUS_EXPR>: Likewise.
- <case CONVERT_EXPR>: If op0 is error_mark_node, just return
- it instead of wrapping it into CONVERT_EXPR.
-
-2018-03-02 Jason Merrill <jason@redhat.com>
-
- Fix MIPS16 ICE.
- * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
-
-2018-03-02 Marek Polacek <polacek@redhat.com>
-
- PR c++/84590
- * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
- wrapped in VIEW_CONVERT_EXPR.
-
-2018-03-01 Martin Sebor <msebor@redhat.com>
-
- PR c++/84294
- * decl.c (check_redeclaration_no_default_args): Merge attributes
- specified on redeclarations of the same function template.
- Remove dead code.
-
-2018-03-01 Marek Polacek <polacek@redhat.com>
- Jason Merrill <jason@redhat.com>
-
- PR c++/84582
- * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
- a template.
- (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
- * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
- of instantiate_non_dependent_expr.
- * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
-
-2018-03-01 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84434
- * name-lookup.c (member_vec_dedup): Remove manually peeled
- iteration. Ignore dependent ctor inheritance.
-
-2018-03-01 Jason Merrill <jason@redhat.com>
-
- PR c++/71569 - decltype of template.
- * parser.c (cp_parser_decltype_expr): Handle missing template args.
-
-2018-03-01 Marek Polacek <polacek@redhat.com>
-
- PR c++/84596
- * constexpr.c (require_rvalue_constant_expression): New function.
- * cp-tree.h: Declare it.
- * semantics.c (finish_static_assert): Use it instead of
- require_potential_rvalue_constant_expression.
-
-2018-03-01 Jason Merrill <jason@redhat.com>
- Alexandre Oliva <aoliva@redhat.com>
-
- PR c++/71569 - ICE with redundant args on member variable template.
- * decl.c (start_decl): Handle partial specialization of member
- variable template.
- * pt.c (determine_specialization): Allow partial specialization
- of member variable template without specializing enclosing class.
- (process_partial_specialization): Improve error message.
-
-2018-02-28 Jason Merrill <jason@redhat.com>
-
- PR c++/71784 - ICE with ref-qualifier and explicit specialization.
- * pt.c (determine_specialization): Check ref-qualifier.
-
-2018-02-28 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84609
- * parser.c (cp_parser_attributes_opt): Formatting fix.
- (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
- cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
- New functions.
- (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
- instead of tentative parse to peek over optional attribute tokens
- to check for CPP_COLON after them.
-
- PR c++/83871
- PR c++/83503
- * pt.c (INCLUDE_STRING): Remove define.
- (warn_spec_missing_attributes): Use pretty_printer instead of
- std::string. Fix up inform call so that the list of attributes
- is in %s argument.
-
-2018-02-28 Martin Sebor <msebor@redhat.com>
-
- PR testsuite/84617
- * decl.c (duplicate_decls): Fully merge attributes const, pure,
- and malloc.
-
-2018-02-28 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84602
- * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
- * name-lookup.c (fields_linear_search): Look in an anon-aggr
- regardless of want_type.
- (search_anon_aggr): Just use get_class_binding_direct.
-
-2018-02-28 Jakub Jelinek <jakub@redhat.com>
-
- * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
- inform_n.
-
-2018-02-27 Martin Sebor <msebor@redhat.com>
-
- * pt.c: Avoid including <string> directly.
-
-2018-02-27 Martin Sebor <msebor@redhat.com>
-
- PR c++/83871
- PR c++/83503
- * cp-tree.h (warn_spec_missing_attributes): New function.
- ((check_explicit_specialization): Add an argument. Call the above
- function.
- * decl.c (duplicate_decls): Avoid applying primary function template's
- attributes to its explicit specializations.
- cp/pt.c (warn_spec_missing_attributes): Define.
-
-2018-02-27 Håkon Sandsmark <hsandsmark@gmail.com>
-
- PR c++/71546 - lambda init-capture with qualified-id.
- * parser.c (cp_parser_lambda_introducer): Clear scope after
- each lambda capture.
-
-2018-02-27 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84426
- * name-lookup.h (get_member_slot): Rename ...
- (find_member_slot): ... here.
- (add_member_slot): New.
- * name-lookup.c (member_vec_linear_search): No need to check for
- NULL slot.
- (get_member_slot): Rename ...
- (find_member_slot): ... here. Don't add slot for incomplete class.
- (add_member_slot): New.
- * class.c (add_method): Adjust get_member_slot rename. Bail out
- if push_class_level_binding fails. Create slot and grok
- properties once we're committed to insertion.
-
-2018-02-27 Jason Merrill <jason@redhat.com>
-
- PR c++/84489 - dependent default template argument
- * pt.c (type_unification_real): Handle early substitution failure.
-
-2018-02-26 Jason Merrill <jason@redhat.com>
-
- PR c++/84560 - ICE capturing multi-dimensional VLA.
- * tree.c (array_of_runtime_bound_p): False if the element is
- variably-modified.
-
- PR c++/84441 - ICE with base initialized from ?:
- * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
-
- PR c++/84520 - ICE with generic lambda in NSDMI.
- * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
- 'this' in a generic lambda instantiation.
-
- PR c++/84559 - ICE with constexpr VLA.
- * constexpr.c (ensure_literal_type_for_constexpr_object): Check
- for constexpr variable with VLA type.
-
-2018-02-26 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84558
- * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
- a valid constant initializer. Formatting fixes.
-
-2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84540
- * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
- returning NULL_TREE.
- (apply_late_template_attributes): Likewise.
-
-2018-02-26 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84557
- * parser.c (cp_parser_omp_var_list_no_open): Only call
- cp_parser_lookup_name_simple on names satisfying identifier_p.
- (cp_parser_oacc_routine): Likewise.
-
-2018-02-26 Jason Merrill <jason@redhat.com>
-
- PR c++/84551 - ICE with concepts and -g.
- * parser.c (add_debug_begin_stmt): Do nothing in a concept.
-
-2018-02-26 Marek Polacek <polacek@redhat.com>
-
- PR c++/84325
- * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
- non-types.
-
-2018-02-26 Jason Merrill <jason@redhat.com>
-
- PR c++/84447 - ICE with deleted inherited ctor with default arg.
- * call.c (build_over_call): Handle deleted functions in one place.
-
-2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84533
- * decl.c (redeclaration_error_message): Don't try to use
- DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
-
-2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
-
- * lambda.c (build_capture_proxy): Define static.
- * cp-tree.h (build_capture_proxy): Remove.
-
-2018-02-26 Marek Polacek <polacek@redhat.com>
-
- PR c++/84537
- * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
- if name is error node.
-
-2018-02-25 Jason Merrill <jason@redhat.com>
-
- PR c++/84015 - ICE with class deduction and auto template parm.
- * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
-
-2018-02-24 Marek Polacek <polacek@redhat.com>
-
- PR c++/83692
- * constexpr.c (maybe_constant_init_1): New function.
- (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
- (cxx_constant_init): New function.
- * cp-tree.h (cxx_constant_init): Declare.
- * typeck2.c (store_init_value): Call cxx_constant_init instead of
- cxx_constant_value. Move the maybe_constant_init call under an 'else'.
-
-2018-02-22 Jason Merrill <jason@redhat.com>
-
- PR c++/70468 - ICE with constructor delegation via typedef.
- * pt.c (tsubst_initializer_list): Check for other mem-initializers
- with constructor delegation.
-
-2018-02-22 Jason Merrill <jason@redhat.com>
-
- PR c++/84424 - ICE with constexpr and __builtin_shuffle.
- * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
- VECTOR_TYPE.
-
-2018-02-22 Marek Polacek <polacek@redhat.com>
-
- PR c++/84493
- * parser.c (cp_parser_braced_list): Use require_open instead of
- consume_open.
-
-2018-02-21 Jason Merrill <jason@redhat.com>
-
- PR c++/84454 - ICE with pack expansion in signature.
- * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
-
-2018-02-20 Siddhesh Poyarekar <siddhesh@sourceware.org>
-
- * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
- IF_STMT.
-
-2018-02-20 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84446
- * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
- on error_mark_node.
-
-2018-02-20 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84445
- * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
- TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
-
- PR c++/84449
- * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
- returns error_mark_node, return it immediately.
- (break_out_target_exprs): If cp_walk_tree with bot_manip returns
- error_mark_node, return error_mark_node.
-
- PR c++/84455
- * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
- function_depth to avoid GC during finish_lambda_function.
-
-2018-02-19 Jason Merrill <jason@redhat.com>
-
- PR c++/84429 - ICE capturing VLA.
- * lambda.c (build_capture_proxy): Handle reference refs.
-
-2018-02-19 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84448
- * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
- either operand is error_mark_node, set current.lhs to that instead of
- creating a binary op with error_mark_node operands.
-
- PR c++/84430
- * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
-
-2018-02-19 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84348
- * decl.c (grokdeclarator): Early return error_mark_node upon
- ill-formed friend declaration.
-
-2018-02-16 Marek Polacek <polacek@redhat.com>
- Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84192
- * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
- set *jump_target to anything if jump_target is NULL.
-
-2018-02-16 Jason Merrill <jason@redhat.com>
-
- PR c++/84151 - unnecessary volatile load with static member.
- * call.c (build_new_method_call_1): Avoid loading from a volatile
- lvalue used as the object argument for a static member function.
-
- PR c++/81853 - using-directive and constexpr.
- * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
-
- PR c++/84420 - ICE with structured binding in lambda.
- * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
-
- PR c++/83835 - C++17 error with constructor ctors.
- * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
-
- PR c++/82664 - ICE with reference to function template parm.
- * pt.c (convert_nontype_argument_function): Avoid obfuscationg
- NOP_EXPRs.
-
- PR c++/82764 - C++17 ICE with empty base
- * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
-
-2018-02-16 Jason Merrill <jason@redhat.com>
-
- PR c++/84421 - type-dependent if constexpr
- * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
-
-2018-02-16 Nathan Sidwell <nathan@acm.org>
-
- Deprecate -ffriend-injection.
- * decl.c (cxx_init_decl_processing): Emit warning on option.
- * name-lookup.c (do_pushdecl): Emit warning if we push a visible
- friend.
-
-2018-02-16 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/82468
- * decl.c (check_special_function_return_type): Reject template
- template parameter in deduction guide.
-
-2018-02-16 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84375
- * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
-
-2018-02-15 Jason Merrill <jason@redhat.com>
-
- PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
- * call.c (convert_like_real): Don't use the copy-list-initialization
- shortcut for ck_base.
-
- PR c++/84045 - ICE with typedef and noexcept.
- * except.c (build_noexcept_spec): Use strip_typedefs_expr.
-
- PR c++/84376 - ICE with omitted template arguments.
- * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
-
- PR c++/84368 - wrong error with local variable in variadic lambda.
- * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
- local_specializations.
-
-2018-02-15 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84330
- * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
- as first argument.
-
-2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84350
- * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
- init, early return.
-
-2018-02-14 Nathan Sidwell <nathan@acm.org>
-
- * decl2.c (mark_vtable_entries): Set input_location to decl's.
- (c_parse_final_cleanups): Restore input_location after emitting
- vtables.
-
-2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
- (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
- auto_deduction_context, tree, int): Add defaults.
- * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
- (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
- tsubst_flags_t argument.
- * init.c (build_new): Likewise.
-
-2018-02-13 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84364
- * typeck.c (check_return_expr): Don't emit -Weffc++ warning
- about return other than *this in assignment operators if
- retval is type dependent expression.
-
-2018-02-13 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84333
- * call.c (build_conditional_expr_1): Use cp_save_expr instead of
- save_expr for the G++ extension.
-
-2018-02-13 Jason Merrill <jason@redhat.com>
-
- PR c++/84080 - ICE with return type deduction and specialization.
- * pt.c (determine_specialization): Check uses_template_parms.
-
- Fix more variadic capture issues.
- * pt.c (find_parameter_packs_r): Also look at explicit captures.
- (check_for_bare_parameter_packs): Check current_class_type for
- lambda context.
- (extract_locals_r): Handle seeing a full instantiation of a pack.
- (tsubst_pack_expansion): Likewise. Force lambda capture.
- * parser.c (cp_parser_lambda_introducer): Don't
- check_for_bare_parameter_packs.
-
- PR c++/84338 - wrong variadic sizeof.
- * pt.c (argument_pack_select_arg): Like the macro, but look through
- a pack expansion.
- (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
- (extract_fnparm_pack): Do make_pack_expansion.
- (extract_locals_r): Do strip a pack expansion.
- * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
-
-2018-02-12 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84341
- * parser.c (cp_parser_binary_expression): Use build_min instead of
- build2_loc to build the no_toplevel_fold_p toplevel binary expression.
-
-2018-02-12 Nathan Sidwell <nathan@acm.org>
-
- PR c++/84263
- * parser.c (cp_parser_decltype): Push and pop
- deferring_access_checks. Reorganize to avoid goto.
-
-2018-02-12 Richard Biener <rguenther@suse.de>
-
- PR c++/84281
- * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
- uniform constructors and delay allocating them fully.
-
-2018-02-09 Jason Merrill <jason@redhat.com>
-
- PR c++/84036 - ICE with variadic capture.
- Handle variadic capture proxies more like non-variadic.
- * lambda.c (build_capture_proxy): Remove workaround.
- * pt.c (find_parameter_packs_r): The proxy is a pack.
- (instantiate_class_template_1): Remove dead lambda code.
- (extract_fnparm_pack): Don't make_pack_expansion.
- (extract_locals_r): Don't strip a pack expansion.
- (tsubst_pack_expansion): Handle proxy packs. Use
- PACK_EXPANSION_EXTRA_ARGS less.
- (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
- (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
- [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
- (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
- (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
-
-2018-02-10 Jakub Jelinek <jakub@redhat.com>
-
- PR sanitizer/83987
- * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
-
-2018-02-09 Jason Merrill <jason@redhat.com>
-
- PR c++/81917 - ICE with void_t and partial specialization.
- * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
- calling most_specialized_partial_spec.
-
-2018-02-09 Nathan Sidwell <nathan@acm.org>
-
- PR c/84293
- * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
- Pass expr location to strict_aliasing_warning.
-
-2018-02-09 Jason Merrill <jason@redhat.com>
-
- PR c++/84296 - ICE with qualified-id in template.
- PR c++/83714
- * pt.c (unknown_base_ref_p): New.
- (instantiation_dependent_scope_ref_p): Use it instead of
- any_dependent_bases_p.
-
-2018-02-09 Marek Polacek <polacek@redhat.com>
- Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83659
- * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
- fold_indirect_ref_1, including poly_*int64. Verify first that
- tree_fits_poly_int64_p (op01). Formatting fixes.
-
-2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
- * lambda.c (build_capture_proxy): Likewise.
- * search.c (field_access_p): Likewise.
- * semantics.c (omp_clause_decl, omp_privatize_field,
- finish_omp_clauses): Likewise.
-
-2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/83806
- * typeck.c (decay_conversion): Use mark_rvalue_use for the special
- case of nullptr too.
-
-2018-02-08 Nathan Sidwell <nathan@acm.org>
-
- * class.c (finish_struct): Fix std:initializer_list diagnostic
- formatting.
-
-2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/83204
- * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
-
-2018-02-07 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84082
- * parser.c (cp_parser_dot_deref_incomplete): New function.
- (cp_parser_postfix_dot_deref_expression): Use it.
-
-2018-02-07 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/81610
- PR c++/80567
- * name-lookup.c (suggest_rid_p): New function.
- (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
- suggest_rid_p.
-
-2018-02-07 Jason Merrill <jason@redhat.com>
-
- PR c++/84182 - ICE with captured lambda
- PR c++/84181
- * pt.c (extract_locals_r, extract_local_specs): New.
- (tsubst_pack_expansion): Use them.
-
-2018-02-07 Martin Liska <mliska@suse.cz>
-
- PR c++/84059.
- * class.c (add_method): Append argument value.
- * cp-tree.h (maybe_version_functions): Add new argument.
- * decl.c (decls_match): Call it if a declaration does not
- have DECL_FUNCTION_VERSIONED.
- (maybe_version_functions): record argument is added.
-
-2018-02-05 Marek Polacek <polacek@redhat.com>
-
- * class.c: Remove unused global variables.
- (build_primary_vtable): Don't gather statistics.
- (print_class_statistics): Remove.
- * cp-tree.h (print_class_statistics): Remove.
- * tree.c (cxx_print_statistics): Don't call print_class_statistics.
-
-2018-02-02 Paolo Carlini <paolo.carlini@oracle.com>
-
- * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
- * constexpr.c (cx_check_missing_mem_inits): Likewise.
- * decl.c (next_initializable_field, find_decomp_class_base,
- cp_finish_decomp): Likewise.
- * typeck2.c (process_init_constructor_record): Likewise.
-
-2018-02-02 Jason Merrill <jason@redhat.com>
-
- PR c++/84181 - ICE with lambda parm in template argument.
- * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
-
-2018-02-01 Jason Merrill <jason@redhat.com>
-
- PR c++/84160 - ICE with nested variadic capture.
- * lambda.c (is_capture_proxy_with_ref): New.
- (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
- COMPONENT_REF.
- * expr.c (mark_use): Use is_capture_proxy_with_ref.
- * constexpr.c (potential_constant_expression_1): Likewise.
- * semantics.c (process_outer_var_ref): Likewise.
-
-2018-02-01 Marek Polacek <polacek@redhat.com>
-
- PR c++/84125
- * typeck.c (build_address): Relax the assert when
- processing_template_decl.
-
-2018-02-01 Jason Merrill <jason@redhat.com>
-
- PR c++/84126 - ICE with variadic generic lambda
- PR c++/84036
- PR c++/82249
- * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
- PACK_EXPANSION_EXTRA_ARGS.
-
-2018-02-01 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/83796
- * call.c (convert_like_real): If w're initializing from {} explicitly
- call abstract_virtuals_error_sfinae.
-
-2018-01-31 Jason Merrill <jason@redhat.com>
- Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83993
- * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
- around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
- on ADDR_EXPR.
-
-2018-01-31 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83993
- * constexpr.c (diag_array_subscript): Emit different diagnostics
- if TYPE_DOMAIN (arraytype) is NULL.
- (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
- with NULL TYPE_DOMAIN use size_zero_node as nelts.
-
-2018-01-31 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/84092
- * semantics.c (finish_qualified_id_expr): When handling an
- UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
-
-2018-01-31 Marek Polacek <polacek@redhat.com>
-
- PR c++/84138
- * cp-gimplify.c (cp_fold): Check if X is an error node before
- calling useless_type_conversion_p.
-
-2018-01-30 Jason Merrill <jason@redhat.com>
-
- PR c++/84091 - ICE with local class in lambda in template.
- * decl2.c (determine_visibility): Look for outer containing template
- instantiation.
-
- PR c++/84098 - ICE with lambda in template NSDMI.
- * pt.c (instantiate_class_template_1): Ignore more lambdas.
-
-2018-01-29 Jason Merrill <jason@redhat.com>
-
- PR c++/68810 - wrong location for reinterpret_cast error.
- * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
- !dofold.
-
-2018-01-29 Marek Polacek <polacek@redhat.com>
-
- PR c++/83996
- * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
- => fooarray[1] in offset_int.
-
-2018-01-29 Jason Merrill <jason@redhat.com>
-
- PR c++/83942 - wrong unused warning with static_cast.
- * cvt.c (ocp_convert): Call mark_rvalue_use.
-
-2018-01-26 Jason Merrill <jason@redhat.com>
-
- PR c++/83956 - wrong dtor error with anonymous union
- * method.c (walk_field_subobs): Variant members only affect
- deletedness.
- (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
-
- PR c++/84036 - ICE with variadic capture.
- PR c++/82249
- * pt.c (tsubst_pack_expansion): When optimizing a simple
- substitution, pull a single pack expansion out of its pack.
-
- PR c++/82514 - ICE with local class in generic lambda.
- * pt.c (regenerated_lambda_fn_p): Remove.
- (enclosing_instantiation_of): Don't use it.
- (tsubst_function_decl): Call enclosing_instantiation_of.
-
- * pt.c (lookup_template_class_1): Add sanity check.
- * name-lookup.c (do_pushtag): Don't add closures to local_classes.
-
-2018-01-25 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/84031
- * decl.c (find_decomp_class_base): Ignore unnamed bitfields. Ignore
- recursive calls that return ret.
- (cp_finish_decomp): Ignore unnamed bitfields.
-
-2018-01-23 Jason Merrill <jason@redhat.com>
-
- PR c++/82249 - wrong mismatched pack length error.
- * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
- unsubstituted function parameter pack.
-
-2018-01-23 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/83921
- * decl.c (check_for_uninitialized_const_var): Not static; add
- bool and tsubst_flags_t parameters; adjust to be used both in
- constexpr context and not.
- * constexpr.c (potential_constant_expression_1): Use the above.
- * cp-tree.h (check_for_uninitialized_const_var): Declare.
-
-2018-01-23 Jason Merrill <jason@redhat.com>
-
- PR c++/83947 - ICE with auto declarations.
- * pt.c (do_auto_deduction): Don't deduce from an auto decl.
- * decl.c (undeduced_auto_decl): Limit to vars and fns.
-
-2018-01-23 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/83974
- * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
- for pointer to member function types.
-
-2018-01-23 Jakub Jelinek <jakub@redhat.com>
-
- PR sanitizer/83987
- * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
- DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
-
-2018-01-23 Nathan Sidwell <nathan@acm.org>
-
- PR c++/83988
- * pt.c (tsubst_baselink): Remove optype assert.
- * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
-
-2018-01-23 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83958
- * decl.c (cp_finish_decomp): Diagnose if reference structure binding
- refers to incomplete type.
-
-2018-01-23 Nathan Sidwell <nathan@acm.org>
-
- Deprecate ARM-era for scope handling
- * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
- (cxx_init_decl_processing): Deprecate flag_new_for_scope being
- cleared.
- * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
- cleanup handling.
- * semantics.c (begin_for_scope): Flag_new_for_scope is
- boolean-like.
- (finish_for_stmt, begin_range_for_stmt): Likewise.
-
-2018-01-22 Jason Merrill <jason@redhat.com>
-
- PR c++/83720
- * decl2.c (determine_visibility): Fix template_decl handling
- instead of blocking it.
-
- PR c++/83720 - ICE with lambda and LTO.
- * decl2.c (determine_visibility): Clear template_decl for
- function-scope decls. Propagate anonymous linkage from containing
- function.
-
-2018-01-22 Marek Polacek <polacek@redhat.com>
-
- PR c++/81933
- * typeck2.c (split_nonconstant_init_1): Return false if we didn't
- split out anything.
-
-2018-01-22 Ville Voutilainen <ville.voutilainen@gmail.com>
-
- PR c++/83895
- * decl.c (grokdeclarator): Don't diagnose extra parens
- on typedefs.
-
-2018-01-19 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/81167
- * call.c (joust): Use TREE_TYPE (source) if source is
- a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
-
- PR c++/83919
- * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
- for direct enum init.
- * decl.c (reshape_init): Likewise.
-
-2018-01-19 Marek Polacek <polacek@redhat.com>
-
- * constexpr.c (fold_simple): Simplify.
-
-2018-01-18 Jason Merrill <jason@redhat.com>
-
- PR c++/83714
- * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
- * pt.c (instantiation_dependent_scope_ref_p): True if
- any_dependent_bases_p.
-
-2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
- vs DECL_NONTRIVIALLY_INITIALIZED_P).
-
-2018-01-18 Jason Merrill <jason@redhat.com>
-
- PR c++/82461 - constexpr list-initialized member
- * constexpr.c (potential_constant_expression_1): Check
- TARGET_EXPR_DIRECT_INIT_P.
-
-2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/81013
- * decl.c (xref_basetypes): Early return upon error about derived
- union.
-
-2018-01-18 Nathan Sidwell <nathan@acm.org>
-
- PR c++/83160
- * cp-tree.h (mark_use): Declare.
- * expr.c (mark_use): Make extern.
- * call.c (direct_reference_binding): Set inner conv's
- rvaluedness_matches_p, if it is an identity.
- (convert_like_real): Mark lvalue or rvalue use for identity as
- rvaledness_matches_p demands.
-
-2018-01-18 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83824
- * parser.c (attr_chainon): New function.
- (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
- cp_parser_namespace_definition, cp_parser_init_declarator,
- cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
- cp_parser_gnu_attributes_opt): Use it.
- (cp_parser_member_declaration, cp_parser_objc_class_ivars,
- cp_parser_objc_struct_declaration): Likewise. Don't reset
- prefix_attributes if attributes is error_mark_node.
-
-2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/78344
- * decl.c (grokdeclarator): Do not append the error_mark_node
- due to an erroneous optional attribute-specifier-seq.
-
-2018-01-17 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83897
- * cp-gimplify.c (cp_maybe_instrument_return): Handle
- CLEANUP_POINT_EXPR.
-
-2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/81054
- * constexpr.c (ensure_literal_type_for_constexpr_object): Return
- error_mark_node when we give an error.
- * decl.c (cp_finish_decl): Use the latter.
-
-2018-01-17 Nathan Sidwell <nathan@acm.org>
-
- PR c++/83287
- * init.c (build_raw_new_expr): Scan list for lookups to keep.
-
-2018-01-17 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/83814
- * expr.c (fold_for_warn): Move from c-common.c, reducing to just
- the C++ part. If processing a template, call
- fold_non_dependent_expr rather than fully folding.
-
-2018-01-17 Jason Merrill <jason@redhat.com>
-
- PR c++/81067 - redundant NULL warning.
- * call.c (convert_like_real): Restore null_node handling.
-
-2018-01-17 Jason Merrill <jason@redhat.com>
-
- PR c++/81843 - ICE with variadic member template.
- PR c++/72801
- * pt.c (unify_pack_expansion): Don't try to deduce enclosing
- template args.
-
-2018-01-17 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/83799
- * pt.c (type_dependent_expression_p): Strip any location wrapper
- before testing tree codes.
- (selftest::test_type_dependent_expression_p): New function.
- (selftest::cp_pt_c_tests): Call it.
-
-2018-01-17 Nathan Sidwell <nathan@acm.org>
-
- PR c++/83739
- * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
- this not a final instantiation.
-
-2018-01-16 Jason Merrill <jason@redhat.com>
-
- PR c++/83714 - ICE checking return in template.
- * typeck.c (check_return_expr): Call build_non_dependent_expr.
-
-2018-01-16 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83817
- * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
- is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
- instead of CALL_FROM_THUNK_P.
-
- PR c++/83825
- * name-lookup.c (member_vec_dedup): Return early if len is 0.
- (resort_type_member_vec, set_class_bindings,
- insert_late_enum_def_bindings): Use vec qsort method instead of
- calling qsort directly.
-
-2018-01-15 Martin Sebor <msebor@redhat.com>
-
- PR c++/83588
- * class.c (find_flexarrays): Make a record of multiple flexible array
- members.
-
-2018-01-12 Jason Merrill <jason@redhat.com>
-
- PR c++/83186 - ICE with static_cast of list-initialized temporary.
- * typeck.c (build_static_cast): Use build_non_dependent_expr.
-
-2018-01-12 Nathan Sidwell <nathan@acm.org>
-
- * cp-tree.h (mark_rvalue_use): Add parm name.
- * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
- mark_rvalue_use.
- * call.c (convert_like_real): Fix formatting.
-
-2018-01-11 Jason Merrill <jason@redhat.com>
-
- PR c++/82728 - wrong -Wunused-but-set-variable
- PR c++/82799
- PR c++/83690
- * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
- * decl.c (case_conversion): Likewise.
- * semantics.c (finish_static_assert): Call
- perform_implicit_conversion_flags.
-
-2018-01-11 Nathan Sidwell <nathan@acm.org>
-
- * method.c (enum mangling_flags): Delete long-dead enum.
-
-2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
-
- * parser.c (cp_parser_std_attribute_spec): When
- token_pair::require_open / require_close return false simply
- return error_mark_node, avoid duplicate cp_parser_error about
- expected '(' / ')', respectively.
-
-2018-01-10 David Malcolm <dmalcolm@redhat.com>
-
- PR c++/43486
- * call.c (null_ptr_cst_p): Strip location wrappers when
- converting from '0' to a pointer type in C++11 onwards.
- (conversion_null_warnings): Replace comparison with null_node with
- call to null_node_p.
- (build_over_call): Likewise.
- * cp-gimplify.c (cp_fold): Remove the early bailout when
- processing_template_decl.
- * cp-lang.c (selftest::run_cp_tests): Call
- selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
- * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
- (selftest::run_cp_tests): Move decl to bottom of file.
- (null_node_p): New inline function.
- (selftest::cp_pt_c_tests): New decl.
- (selftest::cp_tree_c_tests): New decl.
- * cvt.c (build_expr_type_conversion): Replace comparison with
- null_node with call to null_node_p.
- * error.c (args_to_string): Likewise.
- * except.c (build_throw): Likewise.
- * mangle.c (write_expression): Skip location wrapper nodes.
- * parser.c (literal_integer_zerop): New function.
- (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
- the result for RID_TYPEID. Pass true for new "wrap_locations_p"
- param of cp_parser_parenthesized_expression_list. When calling
- warn_for_memset, replace integer_zerop calls with
- literal_integer_zerop, eliminating the double logical negation
- cast to bool. Eliminate the special-casing for CONST_DECL in
- favor of the fold_for_warn within warn_for_memset.
- (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
- param, defaulting to false. Convert "expr" to a cp_expr, and call
- maybe_add_location_wrapper on it when wrap_locations_p is true.
- (cp_parser_unary_expression): Call maybe_add_location_wrapper on
- the result for RID_ALIGNOF and RID_SIZEOF.
- (cp_parser_builtin_offsetof): Likewise.
- * pt.c: Include "selftest.h".
- (tsubst_copy): Handle location wrappers.
- (tsubst_copy_and_build): Likewise.
- (build_non_dependent_expr): Likewise.
- (selftest::test_build_non_dependent_expr): New function.
- (selftest::cp_pt_c_tests): New function.
- * tree.c: Include "selftest.h".
- (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
- (selftest::test_lvalue_kind): New function.
- (selftest::cp_tree_c_tests): New function.
- * typeck.c (string_conv_p): Strip any location wrapper from "exp".
- (cp_build_binary_op): Replace comparison with null_node with call
- to null_node_p.
- (build_address): Use location of operand when building address
- expression.
-
-2018-01-10 Marek Polacek <polacek@redhat.com>
-
- PR c++/82541
- * call.c (build_conditional_expr_1): Check complain before warning.
- * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
- -Wduplicated-branches.
-
-2018-01-10 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/81327
- * call.c (maybe_warn_class_memaccess): Add forward declaration.
- Change last argument from tree * to const vec<tree, va_gc> *, adjust
- args uses and check number of operands too. Don't strip away any
- nops. Use maybe_constant_value when looking for INTEGER_CST args.
- Deal with src argument not having pointer type. Check
- tree_fits_uhwi_p before calling tree_to_uhwi. Remove useless
- test.
- (build_over_call): Call maybe_warn_class_memaccess here on the
- original arguments.
- (build_cxx_call): Rather than here on converted arguments.
-
-2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
-
- PR c++/81055
- * init.c (build_vec_init): Avoid building an INIT_EXPR with
- error_mark_node as second argument.
-
-2018-01-09 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83734
- * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
- in STATEMENT_LIST. Remove unneeded assert.
-
-2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
- Alan Hayward <alan.hayward@arm.com>
- David Sherwood <david.sherwood@arm.com>
-
- * constexpr.c (cxx_eval_array_reference): Handle polynomial
- VECTOR_CST_NELTS.
- (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
- * call.c (build_conditional_expr_1): Likewise.
- * decl.c (cp_finish_decomp): Likewise.
- * mangle.c (write_type): Likewise.
- * typeck.c (structural_comptypes): Likewise.
- (cp_build_binary_op): Likewise.
- * typeck2.c (process_init_constructor_array): Likewise.
-
-2018-01-03 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83555
- * typeck.c (build_static_cast_1): For static casts to reference types,
- call build_base_path with flag_delete_null_pointer_checks as nonnull
- instead of always false. When -fsanitize=null, call
- ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
- * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
- call if the first argument is INTEGER_CST with REFERENCE_TYPE.
-
-2018-01-03 Nathan Sidwell <nathan@acm.org>
-
- PR c++/83667
- * method.c (make_alias_for): Copy DECL_CONTEXT.
-
-2018-01-03 Marek Polacek <polacek@redhat.com>
-
- PR c++/83592
- * decl.c (grokdeclarator): Don't warn about MVP in typename context.
-
-2018-01-03 Jakub Jelinek <jakub@redhat.com>
-
- PR preprocessor/83602
- * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
- for builtin macros.
-
- PR c++/83634
- * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
- error_mark_node, return error_mark_node.
+2019-01-01 Jakub Jelinek <jakub@redhat.com>
Update copyright years.
-
-2018-01-02 Jakub Jelinek <jakub@redhat.com>
-
- PR c++/83556
- * tree.c (replace_placeholders_r): Pass NULL as last argument to
- cp_walk_tree instead of d->pset. If non-TREE_CONSTANT and
- non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
- to false and return.
- (replace_placeholders): Pass NULL instead of &pset as last argument
- to cp_walk_tree.
-
-2018-01-02 Nathan Sidwell <nathan@acm.org>
-
- * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
- lval var.
\f
-Copyright (C) 2018 Free Software Foundation, Inc.
+Copyright (C) 2019 Free Software Foundation, Inc.
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
projects / thirdparty / gcc.git / blobdiff