diff options
Diffstat (limited to 'gcc/cp/ChangeLog-2018')
| -rw-r--r-- | gcc/cp/ChangeLog-2018 | 5477 |
1 files changed, 5477 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog-2018 b/gcc/cp/ChangeLog-2018 new file mode 100644 index 00000000000..a53ea052510 --- /dev/null +++ b/gcc/cp/ChangeLog-2018 @@ -0,0 +1,5477 @@ +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. + + 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. + +Copyright (C) 2018 Free Software Foundation, Inc. + +Copying and distribution of this file, with or without modification, +are permitted in any medium without royalty provided the copyright +notice and this notice are preserved. |