| blob | ee7361b6e2771bd565edbf983f7d509812185d25 |
1 2018-05-22 Jason Merrill <jason@redhat.com>
3 PR c++/81420 - not extending temporary lifetime.
4 * call.c (extend_ref_init_temps_1): Handle ARRAY_REF.
5 * class.c (build_base_path): Avoid redundant move of an rvalue.
7 PR c++/85866 - error with .* in default template arg.
8 * pt.c (tsubst_copy_and_build): Handle partial instantiation.
10 2018-05-21 Paolo Carlini <paolo.carlini@oracle.com>
12 * parser.c (cp_parser_parameter_declaration_list): Remove
13 bool* parameter.
14 (cp_parser_parameter_declaration_clause): Adjust.
15 (cp_parser_cache_defarg): Likewise.
17 2018-05-21 Paolo Carlini <paolo.carlini@oracle.com>
19 PR c++/84588
20 * parser.c (cp_parser_maybe_commit_to_declaration,
21 cp_parser_check_condition_declarator): New.
22 (cp_parser_simple_declaration): Use the first above.
23 (cp_parser_condition): Use both the above; enforce
24 [stmt.stmt]/2 about the declarator not specifying
25 a function or an array; improve error-recovery.
27 2018-05-20 Jason Merrill <jason@redhat.com>
29 PR libstdc++/85843 - warning in logic_error copy constructor.
30 * class.c (type_has_user_nondefault_constructor): Check for a
31 user-provided ctor, not user-declared.
33 2018-05-19 Jason Merrill <jason@redhat.com>
35 * pt.c (tsubst_pack_expansion): Sorry rather than abort
36 on __integer_pack as subexpression of pattern.
38 2018-05-18 Jason Merrill <jason@redhat.com>
40 PR c++/58407 - deprecated implicit copy ops.
41 * call.c (build_over_call): Warn about deprecated trivial fns.
42 * class.c (classtype_has_user_copy_or_dtor): New.
43 (type_build_ctor_call): Check TREE_DEPRECATED.
44 (type_build_dtor_call): Likewise.
45 * decl2.c (cp_warn_deprecated_use): Move from tree.c.
46 Add checks. Return bool. Handle -Wdeprecated-copy.
47 (mark_used): Use it.
48 * decl.c (grokdeclarator): Remove redundant checks.
49 * typeck2.c (build_functional_cast): Likewise.
50 * method.c (lazily_declare_fn): Mark deprecated copy ops.
51 * init.c (build_aggr_init): Only set TREE_USED if there are
52 side-effects.
54 2018-05-18 Cesar Philippidis <cesar@codesourcery.com>
56 PR c++/85782
57 * cp-gimplify.c (cp_genericize_r): Call genericize_omp_for_stmt for
58 OACC_LOOPs.
60 2018-05-18 Richard Sandiford <richard.sandiford@linaro.org>
62 * constexpr.c (cxx_eval_constant_expression): Remove FMA_EXPR handling.
63 (potential_constant_expression_1): Likewise.
65 2018-05-16 Marek Polacek <polacek@redhat.com>
67 PR c++/85363
68 * call.c (set_flags_from_callee): Handle AGGR_INIT_EXPRs too.
69 * tree.c (bot_manip): Call set_flags_from_callee for
70 AGGR_INIT_EXPRs too.
72 2018-05-15 Jason Merrill <jason@redhat.com>
74 * cp-tree.h (cp_expr): Remove copy constructor.
75 * mangle.c (struct releasing_vec): Declare copy constructor.
77 * constexpr.c (cxx_eval_vec_init_1): Pass tf_none if ctx->quiet.
79 PR c++/64372 - CWG 1560, gratuitous lvalue-rvalue conversion in ?:
80 * call.c (build_conditional_expr_1): Don't force_rvalue when one arm
81 is a throw-expression.
83 2018-05-15 Paolo Carlini <paolo.carlini@oracle.com>
85 * cp-tree.h (DECL_MAYBE_IN_CHARGE_CDTOR_P): New.
86 (FOR_EACH_CLONE): Update.
87 * decl.c (grokdeclarator): Use it.
88 * decl2.c (vague_linkage_p): Likewise.
89 * mangle.c (mangle_decl): Likewise.
90 * method.c (lazily_declare_fn): Likewise.
91 * optimize.c (can_alias_cdtor, maybe_clone_body): Likewise.
92 * repo.c (repo_emit_p): Likewise.
93 * tree.c (decl_linkage): Likewise.
95 2018-05-14 Jason Merrill <jason@redhat.com>
97 Handle TYPE_HAS_LATE_RETURN_TYPE like ref-qualifier and eh spec.
98 * tree.c (build_cp_fntype_variant): New.
99 (build_ref_qualified_type, build_exception_variant)
100 (strip_typedefs, cxx_copy_lang_qualifiers): Use it.
101 (cxx_type_hash_eq, cp_check_qualified_type): Check
102 TYPE_HAS_LATE_RETURN_TYPE.
103 (cp_build_type_attribute_variant): Check cxx_type_hash_eq.
104 (cp_build_qualified_type_real): No need to preserve C++ qualifiers.
105 * class.c (build_clone): Use cxx_copy_lang_qualifiers.
106 (adjust_clone_args): Likewise.
107 * decl.c (grokfndecl): Add late_return_type_p parameter. Use
108 build_cp_fntype_variant.
109 (grokdeclarator): Pass late_return_type_p to grokfndecl.
110 (check_function_type): Use cxx_copy_lang_qualifiers.
111 (static_fn_type): Use cxx_copy_lang_qualifiers.
112 * decl2.c (build_memfn_type, maybe_retrofit_in_chrg)
113 (cp_reconstruct_complex_type, coerce_new_type, coerce_delete_type)
114 (change_return_type): Use cxx_copy_lang_qualifiers.
115 * mangle.c (write_type): Use cxx_copy_lang_qualifiers.
116 * parser.c (cp_parser_lambda_declarator_opt): Represent an explicit
117 return type on the declarator like a normal trailing return type.
118 * pt.c (tsubst_function_type): Use build_cp_fntype_variant.
119 (copy_default_args_to_explicit_spec): Use cxx_copy_lang_qualifiers.
120 * typeck.c (merge_types): Use build_cp_fntype_variant.
122 2018-05-14 Paolo Carlini <paolo.carlini@oracle.com>
124 * cp-tree.h (TYPE_REF_P): New.
125 (TYPE_OBJ_P, TYPE_REF_OBJ_P, TYPE_REFFN_P): Update.
126 * call.c (build_list_conv, build_aggr_conv, standard_conversion,
127 direct_reference_binding, reference_binding, implicit_conversion,
128 add_builtin_candidate, build_user_type_conversion_1, build_op_call_1,
129 build_new_op_1, build_x_va_arg, conv_binds_ref_to_prvalue,
130 build_over_call, perform_implicit_conversion_flags,
131 extend_ref_init_temps, type_has_extended_temps): Use it.
132 * class.c (one_inheriting_sig, check_field_decls,
133 check_bases_and_members, find_flexarrays, finish_struct,
134 fixed_type_or_null): Likewise.
135 * constexpr.c (literal_type_p, cxx_bind_parameters_in_call,
136 non_const_var_error, cxx_eval_constant_expression,
137 potential_constant_expression_1): Likewise.
138 * cp-gimplify.c (omp_var_to_track, omp_cxx_notice_variable,
139 cp_genericize_r, cxx_omp_privatize_by_reference,
140 cxx_omp_const_qual_no_mutable, cxx_omp_finish_clause,
141 cp_fold_maybe_rvalue): Likewise.
142 * cp-ubsan.c (cp_ubsan_maybe_instrument_downcast): Likewise.
143 * cvt.c (build_up_reference, convert_to_reference,
144 convert_from_reference, convert_to_void, noexcept_conv_p,
145 fnptr_conv_p): Likewise.
146 * decl.c (poplevel, check_for_uninitialized_const_var,
147 check_initializer, initialize_local_var, cp_finish_decl,
148 get_tuple_decomp_init, cp_finish_decomp, grokdeclarator, copy_fn_p,
149 move_signature_fn_p, grok_op_properties, finish_function): Likewise.
150 * decl2.c (grok_array_decl, cp_reconstruct_complex_type,
151 decl_maybe_constant_var_p): Likewise.
152 * error.c (dump_type_prefix, dump_expr): Likewise.
153 * except.c (initialize_handler_parm, complete_ptr_ref_or_void_ptr_p,
154 is_admissible_throw_operand_or_catch_parameter): Likewise.
155 * expr.c (mark_use): Likewise.
156 * init.c (build_zero_init_1, build_value_init_noctor,
157 perform_member_init, diagnose_uninitialized_cst_or_ref_member_1,
158 build_new, build_delete): Likewise.
159 * lambda.c (build_lambda_object): Likewise.
160 * mangle.c (write_expression, write_template_arg): Likewise.
161 * method.c (forward_parm, do_build_copy_constructor,
162 do_build_copy_assign, build_stub_object, constructible_expr,
163 walk_field_subobs): Likewise.
164 * parser.c (cp_parser_omp_for_loop_init,
165 cp_parser_omp_declare_reduction_exprs,
166 cp_parser_omp_declare_reduction): Likewise.
167 * pt.c (convert_nontype_argument_function, convert_nontype_argument,
168 convert_template_argument, tsubst_pack_expansion,
169 tsubst_function_decl, tsubst_decl, tsubst, tsubst_copy_and_build,
170 maybe_adjust_types_for_deduction, check_cv_quals_for_unify, unify,
171 more_specialized_fn, invalid_nontype_parm_type_p, dependent_type_p_r,
172 value_dependent_expression_p, build_deduction_guide): Likewise.
173 * semantics.c (finish_handler_parms, finish_non_static_data_member,
174 finish_compound_literal, omp_privatize_field,
175 handle_omp_array_sections_1, handle_omp_array_sections,
176 cp_check_omp_declare_reduction, finish_omp_reduction_clause,
177 finish_omp_declare_simd_methods, cp_finish_omp_clause_depend_sink,
178 finish_omp_clauses, finish_decltype_type, capture_decltype,
179 finish_builtin_launder): Likewise.
180 * tree.c (lvalue_kind, cp_build_reference_type, move,
181 cp_build_qualified_type_real, stabilize_expr, stabilize_init): Likewise.
182 * typeck.c (cxx_safe_arg_type_equiv_p, build_class_member_access_expr,
183 cp_build_indirect_ref_1, convert_arguments, warn_for_null_address,
184 cp_build_addr_expr_1, maybe_warn_about_useless_cast,
185 build_static_cast_1, build_static_cast, build_reinterpret_cast_1,
186 build_const_cast_1, cp_build_c_cast, cp_build_modify_expr,
187 convert_for_initialization,
188 maybe_warn_about_returning_address_of_local, check_return_expr,
189 cp_type_quals, casts_away_constness, non_reference): Likewise.
190 * typeck2.c (cxx_readonly_error, store_init_value,
191 process_init_constructor_record, build_x_arrow, build_functional_cast,
192 add_exception_specifier): Likewise.
194 2018-05-14 Jason Merrill <jason@redhat.com>
196 * pt.c (tsubst) [ARRAY_TYPE]: Check valid_array_size_p.
197 (tsubst_copy_and_build) [NEW_EXPR]: Clear in_decl.
199 2018-05-11 Jakub Jelinek <jakub@redhat.com>
201 PR c/85696
202 * cp-tree.h (cxx_omp_predetermined_sharing_1): New prototype.
203 * cp-gimplify.c (cxx_omp_predetermined_sharing): New wrapper around
204 cxx_omp_predetermined_sharing_1. Rename old function to ...
205 (cxx_omp_predetermined_sharing_1): ... this.
206 * semantics.c (finish_omp_clauses): Use cxx_omp_predetermined_sharing_1
207 instead of cxx_omp_predetermined_sharing.
209 2018-05-10 Jason Merrill <jason@redhat.com>
211 * decl.c (cp_finish_decl): Don't instantiate auto variable.
212 (check_static_variable_definition): Allow auto.
213 * constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
215 * cp-tree.h (DECL_CONSTRUCTOR_P): Use DECL_CXX_CONSTRUCTOR_P.
216 (DECL_DESTRUCTOR_P): Use DECL_CXX_DESTRUCTOR_P.
218 Core issue 2310 - conversion to base of incomplete type.
219 * class.c (build_base_path): Check COMPLETE_TYPE_P for source type.
221 CWG 2267 - list-initialization of reference temporary
222 * call.c (reference_binding): List-initializing a reference
223 temporary is copy-list-initialization.
225 * parser.c (cp_parser_class_head): Use num_template_headers_for_class.
227 * pt.c (instantiate_decl): Make sure we aren't trying to do a nested
228 instantiation in template context.
230 * class.c (vbase_has_user_provided_move_assign): Use
231 user_provided_p.
233 * lambda.c (lambda_expr_this_capture): Improve logic.
235 * decl.c (make_typename_type): s/parameters/arguments/.
236 * parser.c (cp_parser_nested_name_specifier_opt): Likewise.
237 * pt.c (make_pack_expansion): Correct error message.
239 2018-05-10 Jakub Jelinek <jakub@redhat.com>
241 PR c++/85662
242 * cp-gimplify.c (cp_fold): Use fold_offsetof rather than
243 fold_offsetof_1, pass TREE_TYPE (x) as TYPE to it and drop the
244 fold_convert.
246 2018-05-10 Eric Botcazou <ebotcazou@adacore.com>
248 PR c++/85400
249 * decl2.c (adjust_var_decl_tls_model): New static function.
250 (comdat_linkage): Call it on a variable.
251 (maybe_make_one_only): Likewise.
253 2018-05-09 Paolo Carlini <paolo.carlini@oracle.com>
255 PR c++/85713
256 Revert:
257 2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
259 PR c++/84588
260 * parser.c (cp_parser_parameter_declaration_list): When the
261 entire parameter-declaration-list is erroneous maybe call
262 abort_fully_implicit_template.
264 2018-05-08 Jason Merrill <jason@redhat.com>
266 PR c++/85706 - class deduction under decltype
267 * pt.c (for_each_template_parm_r): Handle DECLTYPE_TYPE. Clear
268 *walk_subtrees whether or not we walked into the operand.
269 (type_uses_auto): Only look at deduced contexts.
271 2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
273 PR c++/84588
274 * parser.c (cp_parser_parameter_declaration_list): When the
275 entire parameter-declaration-list is erroneous maybe call
276 abort_fully_implicit_template.
278 2018-05-08 Marek Polacek <polacek@redhat.com>
280 PR c++/85695
281 * semantics.c (finish_if_stmt_cond): See through typedefs.
283 2018-05-07 Jason Merrill <jason@redhat.com>
285 PR c++/85646 - lambda visibility.
286 * decl2.c (determine_visibility): Don't mess with template arguments
287 from the containing scope.
288 (vague_linkage_p): Check DECL_ABSTRACT_P before looking at a 'tor
289 thunk.
291 2018-05-07 Nathan Sidwell <nathan@acm.org>
293 Remove fno-for-scope
294 * cp-tree.h (DECL_ERROR_REPORTED, DECL_DEAD_FOR_LOCAL)
295 (DECL_HAS_SHADOWED_FOR_VAR_P, DECL_SHADOWED_FOR_VAR)
296 (SET_DECL_SHADOWED_FOR_VAR): Delete.
297 (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert)
298 (check_for_out_of_scope_variable, init_shadowed_var_for_decl):
299 Don't declare.
300 * name-lookup.h (struct cp_binding_level): Remove
301 dead_vars_from_for field.
302 * cp-lang.c (cp_init_ts): Delete.
303 (LANG_HOOKS_INIT_TS): Override to cp_common_init_ts.
304 * cp-objcp-common.c (shadowed_var_for_decl): Delete.
305 (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert)
306 (init_shadowed_var_for_decl): Delete.
307 * decl.c (poplevel): Remove shadowed for var handling.
308 (cxx_init_decl_processing): Remove -ffor-scope deprecation.
309 * name-lookup.c (find_local_binding): Remove shadowed for var
310 handling.
311 (check_local_shadow): Likewise.
312 (check_for_out_of_scope_variable): Delete.
313 * parser.c (cp_parser_primary_expression): Remove shadowed for var
314 handling.
315 * pt.c (tsubst_decl): Remove DECL_DEAD_FOR_LOCAL setting.
316 * semantics.c (begin_for_scope): Always have a scope.
317 (begin_for_stmt, finish_for_stmt): Remove ARM-for scope handling.
318 (begin_range_for_stmt, finish_id_expression): Likewise.
320 2018-05-07 Jason Merrill <jason@redhat.com>
322 PR c++/85618 - ICE with initialized VLA.
323 * tree.c (vla_type_p): New.
324 * typeck2.c (store_init_value, split_nonconstant_init_1): Check it
325 rather than array_of_runtime_bound_p.
327 2018-05-05 Paolo Carlini <paolo.carlini@oracle.com>
329 * cvt.c (ocp_convert): Early handle the special case of a
330 null_ptr_cst_p expr converted to a NULLPTR_TYPE_P type.
332 2018-05-03 Jason Merrill <jason@redhat.com>
334 PR c++/85600 - virtual delete failure.
335 * init.c (build_delete): Always save_expr when deleting.
337 2018-05-03 Nathan Sidwell <nathan@acm.org>
339 * decl.c (cxx_init_decl_processing): Remove flag_friend_injection.
340 * name-lookup.c (do_pushdecl): Likewise.
342 2018-05-02 Paolo Carlini <paolo.carlini@oracle.com>
343 Jason Merrill <jason@redhat.com>
345 PR c++/68374
346 * name-lookup.c (check_local_shadow): Don't handle static old
347 declarations in the block handling locals shadowing locals.
349 2018-05-01 Jason Merrill <jason@redhat.com>
351 PR c++/85587 - error with scoped enum in template.
352 * semantics.c (finish_qualified_id_expr): Don't return an
353 unqualified IDENTIFIER_NODE.
355 2018-04-30 Jason Merrill <jason@redhat.com>
357 PR c++/85580 - extern "C" and local variables
358 * name-lookup.c (check_extern_c_conflict): Ignore local decls.
360 PR c++/84701 - unsigned typeof.
361 * decl.c (grokdeclarator): Overhaul diagnostics for invalid use
362 of long/short/signed/unsigned.
364 PR c++/85305 - pack in lambda init-capture.
365 * parser.c (cp_parser_initializer): Add subexpression_p parm; don't
366 check_for_bare_parameter_packs in a subexpression.
367 (cp_parser_lambda_introducer): Use it.
369 PR c++/61982 - dead stores to destroyed objects.
370 * call.c (build_trivial_dtor_call): New, assigns a clobber.
371 (build_over_call, build_special_member_call): Use it.
372 * cp-tree.h: Declare it.
373 * init.c (build_delete): Remove trivial path.
375 * init.c (build_dtor_call): Use build_special_member_call.
376 (build_delete): Remove redundant uses of save_addr.
378 * decl.c (build_clobber_this): Use build_clobber.
380 2018-04-27 Jakub Jelinek <jakub@redhat.com>
382 PR c++/85553
383 * init.c (build_zero_init_1): For zero initialization of
384 NULLPTR_TYPE_P type use build_int_cst directly.
386 2018-04-27 David Malcolm <dmalcolm@redhat.com>
388 PR c++/85515
389 * name-lookup.c (consider_binding_level): Skip compiler-generated
390 variables.
391 * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Flatten
392 nested if statements into a series of rejection tests. Reject
393 lambda-ignored entities as suggestions.
395 2018-04-27 Jason Merrill <jason@redhat.com>
397 * cvt.c (cp_fold_convert): Use convert_ptrmem.
398 * typeck.c (convert_ptrmem): Add a NOP even if no adjustment.
400 2018-04-27 Paolo Carlini <paolo.carlini@oracle.com>
402 PR c++/84691
403 * decl.c (grokdeclarator): Clear friendp upon definition in local
404 class definition error.
406 2018-04-27 Jason Merrill <jason@redhat.com>
408 PR c++/85545 - ICE with noexcept PMF conversion.
409 * cvt.c (cp_fold_convert): Pass PMF CONSTRUCTORs to
410 build_ptrmemfunc.
411 * typeck.c (build_ptrmemfunc): Don't build a NOP_EXPR for zero
412 adjustment.
413 (build_ptrmemfunc_access_expr): Special-case CONSTRUCTORs.
415 2018-04-27 Nathan Sidwell <nathan@acm.org>
417 * typeck.c (convert_ptrmem): Move local var decls to initialization.
419 * cp-tree.h (TEMPLATE_INFO): Fix comments.
420 (TI_PENDING_TEMPLATE_FLAG): Check TEMPLATE_INFO.
421 (NON_DEFAULT_TEMPLATE_ARG_COUNT): Wrap line.
422 (dump, print_other_binding_stacks): Remove declarations.
423 * name-lookup.c (print_other_binding_stack): Make static.
424 * pt.c (build_template_decl): Make static.
426 2018-04-26 Jason Merrill <jason@redhat.com>
428 PR c++/85545 - ICE with noexcept PMF conversion.
429 * cvt.c (cp_fold_convert): Handle PMF CONSTRUCTORs directly.
431 2018-04-25 Nathan Sidwell <nathan@acm.org>
433 PR c++/85437
434 PR c++/49171
435 * cp-tree.h (REINTERPRET_CAST_P): New.
436 * constexpr.c (cxx_eval_constant_expression) <case NOP_EXPR>:
437 Reject REINTERPET_CAST_P conversions. Use cplus_expand_constant
438 for non-trivial PTRMEM_CST cases.
439 * typeck.c (build_nop_reinterpret): New.
440 (build_reinterpret_cast_1): Use it. Set REINTERPRET_CAST_P on
441 NOP_EXPRs returned by cp_convert.
443 2018-04-23 Jason Merrill <jason@redhat.com>
445 PR c++/69560 - wrong alignof(double) on x86.
446 CWG 1879 - Inadequate definition of alignment requirement.
447 * cp-tree.h (ALIGNOF_EXPR_STD_P): New.
448 * typeck.c (cxx_sizeof_or_alignof_type): Add std_alignof parm.
449 (cxx_sizeof_expr, cxx_sizeof_nowarn, cxx_alignas_expr)
450 (cxx_alignof_expr): Pass it.
451 * parser.c (cp_parser_unary_expression): Pass it.
452 * pt.c (tsubst_copy): Copy it.
453 (tsubst_copy_and_build): Pass it.
454 * decl.c (fold_sizeof_expr): Pass it.
456 2018-04-23 Jakub Jelinek <jakub@redhat.com>
457 Jason Merrill <jason@redhat.com>
459 PR c++/85470 - wrong error with static data member.
460 * decl.c (check_initializer): Check DECL_INITIALIZED_IN_CLASS_P.
461 * typeck2.c (store_init_value): Likewise.
463 2018-04-20 Jakub Jelinek <jakub@redhat.com>
465 PR c++/85462
466 * cp-tree.h (tinst_level): Remove in_system_header_p member,
467 change refcount member from unsigned char to unsigned short,
468 add refcount_infinity static data member, adjust comments.
469 * pt.c (tinst_level::refcount_infinity): Define.
470 (inc_refcount_use): Remove assert, don't increment if refcount
471 is already refcount_infinity, adjust comment.
472 (dec_refcount_use): Remove assert, don't decrement if refcount
473 is refcount_infinity, adjust comment.
474 (push_tinst_level_loc): Formatting fix.
476 2018-04-19 Paolo Carlini <paolo.carlini@oracle.com>
478 PR c++/84611
479 * pt.c (lookup_template_class_1): Check pushtag return value for
480 error_mark_node.
482 2018-04-19 Alexandre Oliva <aoliva@redhat.com>
484 PR c++/80290
485 * cp-tree.h (tinst_level::free): Fix whitespace.
487 2018-04-18 Paolo Carlini <paolo.carlini@oracle.com>
489 PR c++/84630
490 * pt.c (tsubst_lambda_expr): Check begin_lambda_type return value
491 for error_mark_node.
493 2018-04-18 Jakub Jelinek <jakub@redhat.com>
495 PR c++/84463
496 * typeck.c (cp_build_addr_expr_1): Move handling of offsetof-like
497 tricks from here to ...
498 * cp-gimplify.c (cp_fold) <case ADDR_EXPR>: ... here. Only use it
499 if INDIRECT_REF's operand is INTEGER_CST cast to pointer type.
501 2018-04-18 Alexandre Oliva <aoliva@redhat.com>
503 PR c++/80290
504 * cp-tree.h (struct tinst_level): Split decl into tldcl and
505 targs. Add private split_list_p, tree_list_p, and not_list_p
506 inline const predicates; to_list private member function
507 declaration; free public member function declaration; list_p,
508 get_node and maybe_get_node accessors, and refcount data
509 member. Narrow errors to unsigned short.
510 * error.c (print_instantiation_full_context): Use new
511 accessors.
512 (print_instantiation_partial_context_line): Likewise. Drop
513 const from tinst_level-typed parameter.
514 * mangle.c (mangle_decl_string): Likewise.
515 * pt.c (freelist): New template class.
516 (tree_list_freelist_head): New var.
517 (tree_list_freelist): New fn, along with specializations.
518 (tinst_level_freelist_head): New var.
519 (pending_template_freelist_head): Likewise.
520 (tinst_level_freelist, pending_template_freelist): New fns.
521 (tinst_level::to_list, tinst_level::free): Define.
522 (inc_refcount_use, dec_refcount_use): New fns for tinst_level.
523 (set_refcount_ptr): New template fn.
524 (add_pending_template): Adjust for refcounting, freelists and
525 new accessors.
526 (neglectable_inst_p): Take a NULL d as a non-DECL.
527 (limit_bad_template_recursion): Use new accessors.
528 (push_tinst_level): New overload to create the list.
529 (push_tinst_level_loc): Make it static, split decl into two
530 args, adjust tests and initialization to cope with split
531 lists, use freelist, adjust for refcounting.
532 (push_tinst_level_loc): New wrapper with the old interface.
533 (pop_tinst_level): Adjust for refcounting.
534 (record_last_problematic_instantiation): Likewise.
535 (reopen_tinst_level): Likewise. Use new accessors.
536 (instantiate_alias_template): Adjust for split list.
537 (fn_type_unification): Likewise.
538 (get_partial_spec_bindings): Likewise.
539 (instantiate_pending_templates): Use new accessors. Adjust
540 for refcount. Release pending_template to freelist.
541 (instantiating_current_function_p): Use new accessors.
543 2018-04-16 Alexandre Oliva <aoliva@redhat.com>
545 PR c++/85039
546 * parser.c (cp_parser_builtin_offset): Reject type definitions.
547 * mangle.c (nested_anon_class_index): Avoid crash returning -1
548 if we've seen errors.
550 2018-04-12 David Malcolm <dmalcolm@redhat.com>
552 PR c++/85385
553 * name-lookup.c (macro_use_before_def::maybe_make): New function,
554 checking that the use is indeed before the definition.
555 (macro_use_before_def::macro_use_before_def): Make private.
556 (macro_use_before_def::~macro_use_before_def): Make private. Move
557 check for UNKNOWN_LOCATION to macro_use_before_def::maybe_make.
558 (lookup_name_fuzzy): Call macro_use_before_def::maybe_make rather
559 than using new directly.
561 2018-04-12 Jason Merrill <jason@redhat.com>
563 PR c++/85356 - ICE with pointer to member function.
564 * pt.c (maybe_instantiate_noexcept): Do instantiate in templates if
565 flag_noexcept_type. Build the new spec within the function context.
566 * except.c (build_noexcept_spec): Do get constant value in templates
567 if flag_noexcept_type.
568 * decl.c (check_redeclaration_exception_specification): Don't
569 instantiate noexcept on a dependent declaration.
571 2018-04-12 Marek Polacek <polacek@redhat.com>
573 PR c++/85258
574 * constexpr.c (reduced_constant_expression_p): Return false for null
575 trees.
577 2018-04-11 Marek Polacek <polacek@redhat.com>
579 PR c++/85032
580 * constexpr.c (potential_constant_expression_1): Consider conversions
581 from classes to literal types potentially constant.
583 2018-04-10 Paolo Carlini <paolo.carlini@oracle.com>
585 PR c++/70808
586 * init.c (build_zero_init_1): Handle NULLPTR_TYPE_P being true of
587 the type like TYPE_PTR_OR_PTRMEM_P.
589 2018-04-10 Jason Merrill <jason@redhat.com>
591 PR debug/65821 - wrong location for main().
592 * call.c (clear_location_r, convert_default_arg): Revert.
593 * tree.c (break_out_target_exprs): Add clear_location parm.
594 (struct bot_data): New.
595 (bot_manip): Clear location if requested.
596 * init.c (get_nsdmi): Pass clear_location.
598 2018-04-10 David Malcolm <dmalcolm@redhat.com>
600 PR c++/85110
601 * call.c (get_fndecl_argument_location): Make non-static.
602 * cp-tree.h (get_fndecl_argument_location): New decl.
603 * typeck.c (convert_for_assignment): When complaining due to
604 conversions for an argument, show the location of the parameter
605 within the decl.
607 2018-04-10 Jakub Jelinek <jakub@redhat.com>
609 PR c++/85312 - P0962 cleanup
610 * parser.c (cp_parser_perform_range_for_lookup): Remove unreachable
611 diagnostics.
613 2018-04-10 Jason Merrill <jason@redhat.com>
615 PR debug/65821 - wrong location for main().
616 * call.c (clear_location_r): New.
617 (convert_default_arg): Use it.
618 * tree.c (bot_manip): Remove builtin_LINE/FILE handling.
620 PR c++/85285 - ICE with flexible array after substitution.
621 * pt.c (instantiate_class_template_1): Check for flexible array in
622 union.
624 2018-04-09 Paolo Carlini <paolo.carlini@oracle.com>
626 PR c++/85227
627 * decl.c (cp_finish_decomp): In a template, if the type is incomplete
628 issue a pedwarn and defer trying to do bindings.
630 2018-04-09 Jason Merrill <jason@redhat.com>
632 PR c++/85279 - dump_expr doesn't understand decltype.
633 * error.c (dump_expr): Handle DECLTYPE_TYPE.
635 PR c++/85262 - ICE with redundant qualification on constructor.
636 * call.c (build_new_method_call_1): Move make_args_non_dependent
637 after A::A() handling.
639 PR c++/85277 - ICE with invalid offsetof.
640 * semantics.c (finish_offsetof): Avoid passing non-DECL to %qD.
641 Adjust -Winvalid-offsetof diagnostic to say conditionally supported.
643 PR c++/85264 - ICE with excess template-parameter-list.
644 * parser.c (cp_parser_check_template_parameters): Add template_id_p
645 parameter. Don't allow an extra template header if true.
646 (cp_parser_class_head): Pass template_id_p.
647 (cp_parser_elaborated_type_specifier): Likewise.
648 (cp_parser_alias_declaration): Likewise.
649 (cp_parser_check_declarator_template_parameters): Likewise.
651 2018-04-09 Jakub Jelinek <jakub@redhat.com>
653 PR c++/85194
654 * parser.c (cp_parser_simple_declaration): For structured bindings,
655 if *maybe_range_for_decl is NULL after parsing it, set it to
656 error_mark_node.
658 2018-04-09 Jason Merrill <jason@redhat.com>
660 PR c++/85256 - ICE capturing pointer to VLA.
661 * lambda.c (add_capture): Distinguish between variable-size and
662 variably-modified types.
664 2018-04-06 Jason Merrill <jason@redhat.com>
666 PR c++/85214 - ICE with alias, generic lambda, constexpr if.
667 * pt.c (extract_locals_r): Remember local typedefs.
669 2018-04-06 David Malcolm <dmalcolm@redhat.com>
671 PR c++/84269
672 * name-lookup.c (struct std_name_hint): Move out of
673 get_std_name_hint; add field "min_dialect".
674 (get_std_name_hint): Add min_dialect values to all initializers.
675 Add <any>, <atomic>, <bitset>, <condition_variable>, <functional>,
676 <future>, <istream>, <iterator>, <ostream>, <mutex>, <optional>,
677 <shared_mutex>, <string_view>, <thread>, and <variant>.
678 Add fstream, ifstream, and ofstream to <fstream>.
679 Add istringstream, ostringstream, and stringstream to <sstream>.
680 Add basic_string to <string>.
681 Add tuple_element and tuple_size to <tuple>.
682 Add declval to <utility>.
683 Fix ordering of <queue> and <tuple>.
684 Return a std_name_hint, rather than a const char *.
685 (get_cxx_dialect_name): New function.
686 (maybe_suggest_missing_std_header): Detect names that aren't yet
687 available in the current dialect, and instead of suggesting a
688 missing #include, warn about the dialect.
690 2018-04-06 Jakub Jelinek <jakub@redhat.com>
692 PR c++/85210
693 * pt.c (tsubst_decomp_names): Return error_mark_node and assert
694 errorcount is set if tsubst doesn't return a VAR_DECL.
696 2018-04-06 David Malcolm <dmalcolm@redhat.com>
698 PR c++/85021
699 * name-lookup.c (using_directives_contain_std_p): New function.
700 (has_using_namespace_std_directive_p): New function.
701 (suggest_alternatives_for): Simplify if/else logic using early
702 returns. If no candidates were found, and there's a
703 "using namespace std;" directive, call
704 maybe_suggest_missing_std_header.
705 (maybe_suggest_missing_header): Split later part of the function
706 into..
707 (maybe_suggest_missing_std_header): New.
709 2018-04-06 Jason Merrill <jason@redhat.com>
711 PR c++/85242 - ICE with class definition in template parm.
712 * cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): False if
713 processing_template_parmlist.
715 PR c++/85240 - LTO ICE with using of undeduced auto fn.
716 * cp-gimplify.c (cp_genericize_r): Discard using of undeduced auto.
718 2018-04-05 Jakub Jelinek <jakub@redhat.com>
720 PR c++/85209
721 * pt.c (tsubst_decomp_names): Don't fail or ICE if DECL_CHAIN (decl3)
722 is not prev, if prev == decl.
724 PR c++/85208
725 * decl.c (start_decl): For DECL_DECOMPOSITION_P decls, don't call
726 maybe_apply_pragma_weak here...
727 (cp_maybe_mangle_decomp): ... but call it here instead.
729 2018-04-05 Jason Merrill <jason@redhat.com>
731 PR c++/85136 - ICE with designated init in template.
732 * decl.c (maybe_deduce_size_from_array_init): Handle dependent
733 designated initializer.
734 (check_array_designated_initializer): Update ce->index with the
735 constant value.
737 PR c++/83808 - ICE with VLA initialization.
738 * typeck2.c (process_init_constructor_array): Don't require a VLA
739 initializer to have VLA type.
741 2018-04-05 Paolo Carlini <paolo.carlini@oracle.com>
743 PR c++/80956
744 * call.c (convert_like_real): Fail gracefully for a broken
745 std::initializer_list, missing a definition.
747 * name-lookup.c (do_pushtag): Tweak message, use %< and %>.
749 2018-04-05 Paolo Carlini <paolo.carlini@oracle.com>
751 PR c++/84792
752 * decl.c (grokdeclarator): Fix diagnostic about typedef name used
753 as nested-name-specifier, keep type and TREE_TYPE (decl) in sync.
755 2018-04-05 Jason Merrill <jason@redhat.com>
757 PR c++/82152 - ICE with class deduction and inherited ctor.
758 * pt.c (do_class_deduction): Ignore inherited ctors.
760 PR c++/84665 - ICE with array of empty class.
761 * decl2.c (cp_check_const_attributes): Use fold_non_dependent_expr.
763 PR c++/85228 - ICE with lambda in enumerator in template.
764 * pt.c (bt_instantiate_type_proc): Don't assume
765 CLASSTYPE_TEMPLATE_INFO is non-null.
767 2018-04-05 Ville Voutilainen <ville.voutilainen@gmail.com>
769 Implement P0969
770 * decl.c (find_decomp_class_base): Check accessibility instead
771 of declared access, adjust diagnostic.
773 2018-04-05 Ville Voutilainen <ville.voutilainen@gmail.com>
775 Implement P0961
776 * decl.c (get_tuple_decomp_init): Check the templatedness
777 of a member get.
779 2018-04-05 Jason Merrill <jason@redhat.com>
781 PR c++/85200 - ICE with constexpr if in generic lambda.
782 * pt.c (extract_locals_r): Don't record the local specs of variables
783 declared within the pattern.
785 2018-04-05 Alexandre Oliva <aoliva@redhat.com>
787 PR c++/84979
788 * pt.c (check_auto_in_tmpl_args): New.
789 (tsubst_qualified_id): Use it to reject template args
790 referencing auto for non-type templates.
791 * parser.c (cp_parser_template_id): Likewise.
792 * cp-tree.h (check_auto_in_tmpl_args): Declare.
793 * typeck2.c (build_functional_cast): Report correct location
794 for invalid use of auto.
796 2018-04-04 Jason Merrill <jason@redhat.com>
798 PR c++/85215 - ICE with copy-init from conversion.
799 * call.c (merge_conversion_sequences): Fix type of direct binding
800 sequence.
802 PR c++/84938 - ICE with division by ~-1.
803 * call.c (set_up_extended_ref_temp): Call cp_fully_fold.
805 PR c++/84936 - ICE with unexpanded pack in mem-initializer.
806 * parser.c (cp_parser_mem_initializer_list): Call
807 check_for_bare_parameter_packs.
809 2018-04-04 Jakub Jelinek <jakub@redhat.com>
811 PR inline-asm/85172
812 * constexpr.c (cxx_eval_builtin_function_call): For calls to
813 builtin_valid_in_constant_expr_p functions, don't call
814 cxx_eval_constant_expression if argument is not
815 potential_constant_expression.
817 PR c++/85146
818 * cp-tree.h (calculate_bases, calculate_direct_bases): Add complain
819 argument.
820 * semantics.c (calculate_bases): Add complain argument. Use
821 complete_type_or_maybe_complain instead of just complete_type and
822 return an empty vector if it fails. Move make_tree_vector () call
823 after early return. Formatting fixes.
824 (calculate_direct_bases): Likewise. Call release_tree_vector at the
825 end.
826 (dfs_calculate_bases_post, calculate_bases_helper): Formatting fixes.
827 * pt.c (tsubst_pack_expansion): Adjust calculate_bases and
828 calculate_direct_bases callers, formatting fixes.
830 2018-04-04 Jason Merrill <jason@redhat.com>
832 PR c++/85006 - -fconcepts ICE with A<auto...> return type
833 * pt.c (tsubst_pack_expansion): Allow unsubstituted auto pack.
835 PR c++/85200 - ICE with constexpr if in generic lambda.
836 * tree.c (cp_walk_subtrees): Walk into DECL_EXPR in templates.
838 PR c++/84221 - bogus -Wunused with attribute and template.
839 * decl2.c (is_late_template_attribute): Handle unused and used
840 normally on non-TYPE_DECL.
842 PR c++/85135 - ICE with omitted template arguments.
843 * decl.c (grokdeclarator): Catch deduced class type in trailing
844 return type.
846 PR c++/85133 - ICE with missing concept initializer.
847 * decl.c (cp_finish_decl): If a concept initializer is missing, use
848 true.
850 PR c++/85118 - wrong error with generic lambda and std::bind.
851 * call.c (add_template_conv_candidate): Disable if there are any
852 call operators.
854 PR c++/85141 - ICE with compound assignment and static member fn.
855 * typeck.c (cp_build_modify_expr): Call decay_conversion for RHS of
856 compound assignment.
858 PR c++/85148 - ICE with 'this' in array NSDMI.
859 * tree.c (replace_placeholders_r): Use handled_component_p.
861 2018-04-04 Ville Voutilainen <ville.voutilainen@gmail.com>
863 PR c++/65923
864 * decl.c (grokfndecl): Handle standard UDL diagnostics here..
865 * parser.c (cp_parser_unqualified_id): ..not here.
867 2018-04-04 Alexandre Oliva <aoliva@redhat.com>
869 PR c++/84943
870 * typeck.c (cp_build_addr_expr_1): Mark FUNCTION_DECL as
871 used.
872 * decl2.c (mark_used): Return without effects if tf_conv.
874 2018-04-03 Jason Merrill <jason@redhat.com>
876 PR c++/85092 - C++17 ICE with unused list constructor.
877 * call.c (conv_binds_ref_to_prvalue): Also count ck_identity
878 from a TARGET_EXPR.
880 PR c++/85113 - ICE with constexpr and __builtin_constant_p.
881 * constexpr.c (cxx_eval_builtin_function_call): Only defer
882 __builtin_constant_p if ctx->quiet.
884 2018-04-03 Paolo Carlini <paolo.carlini@oracle.com>
886 PR c++/84768
887 * pt.c (rewrite_template_parm): If the first argument is
888 error_mark_node return it immediately.
889 (build_deduction_guide): Check the return value of the
890 latter for error_mark_node.
891 (do_class_deduction): Check the return value of the latter.
893 2018-04-03 Jason Merrill <jason@redhat.com>
895 * semantics.c (finish_if_stmt_cond): Use
896 instantiation_dependent_expression_p.
898 PR c++/85149 - generic lambda and constexpr if.
899 * pt.c (build_extra_args, add_extra_args): Split from
900 tsubst_pack_expansion.
901 (tsubst_expr) [IF_STMT]: Use them.
902 * cp-tree.h (IF_STMT_EXTRA_ARGS): New.
904 * typeck.c (merge_types): Limit matching attribute shortcut to
905 the default case.
907 2018-04-03 Jakub Jelinek <jakub@redhat.com>
909 PR c++/85147
910 * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node.
912 PR c++/85140
913 * name-lookup.c (handle_namespace_attrs): Return early if attributes
914 is error_mark_node.
916 PR c++/85134
917 * decl.c (cp_finish_decl): If ensure_literal_type_for_constexpr_object
918 fails, after clearing DECL_DECLARED_CONSTEXPR_P don't return early,
919 instead for static data members clear init and set DECL_EXTERNAL.
921 2018-04-02 Jason Merrill <jason@redhat.com>
923 PR c++/64095 - auto... parameter pack.
924 * parser.c (cp_parser_parameter_declaration): Handle turning autos
925 into packs here.
926 (cp_parser_parameter_declaration_list): Not here.
928 2018-03-31 Alexandre Oliva <aoliva@redhat.com>
930 PR c++/85027
931 * class.c (instantiate_type): Peel off SAVE_EXPR before
932 BASELINK.
934 2018-03-30 Jason Merrill <jason@redhat.com>
936 * typeck2.c (process_init_constructor_record): Use
937 init_list_type_node for the CONSTRUCTOR around an anonymous union
938 designated initializer.
940 2018-03-30 Jakub Jelinek <jakub@redhat.com>
942 PR c++/84791
943 * semantics.c (finish_omp_reduction_clause): If
944 OMP_CLAUSE_REDUCTION_PLACEHOLDER is error_mark_node, return true
945 even if processing_template_decl.
947 2018-03-29 David Malcolm <dmalcolm@redhat.com>
949 PR c++/84269
950 * name-lookup.c (get_std_name_hint): Add names from <memory>,
951 <tuple>, and <utility>.
953 2018-03-29 Jason Merrill <jason@redhat.com>
955 PR c++/85093 - too many template args with pack expansion.
956 * pt.c (coerce_template_parms): Keep pack expansion args that will
957 need to be empty.
959 2018-03-29 Jason Merrill <jason@redhat.com>
961 * pt.c (build_non_dependent_expr): Propagate expr location.
963 2018-03-27 Jason Merrill <jason@redhat.com>
965 PR c++/85060 - wrong-code with call to base member in template.
966 * search.c (any_dependent_bases_p): Check uses_template_parms
967 rather than processing_template_decl.
969 2018-03-29 David Malcolm <dmalcolm@redhat.com>
971 PR c++/85110
972 * typeck.c (convert_for_assignment): When complaining due to
973 conversions for an argument, attempt to use the location of the
974 argument.
976 2018-03-28 Paolo Carlini <paolo.carlini@oracle.com>
978 PR c++/85028
979 * pt.c (tsubst_default_argument): Early return if the type of the
980 parameter is erroneous.
982 2018-03-28 Alexandre Oliva <aoliva@redhat.com>
984 PR c++/84973
985 * decl2.c (note_vague_linkage_fn): Don't defer uninstantiated
986 templates.
988 PR c++/84968
989 * tree.c (strip_typedefs_expr): Reject STATEMENT_LISTs.
991 2018-03-27 Paolo Carlini <paolo.carlini@oracle.com>
993 PR c++/85067
994 * method.c (defaulted_late_check): Partially revert r253321 changes,
995 do not early return upon error.
997 2018-03-27 Jakub Jelinek <jakub@redhat.com>
999 PR c++/85077
1000 * cp-gimplify.c (cp_fold) <case CONSTRUCTOR>: For ctors with vector
1001 type call fold to generate VECTOR_CSTs when possible.
1003 PR c++/85076
1004 * tree.c (cp_build_reference_type): If to_type is error_mark_node,
1005 return it right away.
1007 2018-03-27 Volker Reichelt <v.reichelt@netcologne.de>
1009 * search.c (check_final_overrider): Use inform instead of error
1010 for the diagnostics of the overridden functions. Tweak wording.
1012 2018-03-27 Jakub Jelinek <jakub@redhat.com>
1014 PR c++/85068
1015 * class.c (update_vtable_entry_for_fn): Don't ICE if base_binfo
1016 is NULL. Assert if thunk_binfo is NULL then errorcount is non-zero.
1018 2018-03-27 Paolo Carlini <paolo.carlini@oracle.com>
1019 Jason Merrill <jason@redhat.com>
1021 PR c++/84632
1022 * init.c (build_aggr_init): When initializing from array,
1023 reject anything but CONSTRUCTORs and TARGET_EXPRs.
1024 (build_vec_init): Handle separately ARRAY_TYPEs.
1026 2018-03-26 Jason Merrill <jason@redhat.com>
1028 PR c++/85062 - ICE with alignas in wrong place.
1029 * decl.c (grokdeclarator): Ignore attributes on type-specifiers
1030 here.
1032 PR c++/85049 - ICE with __integer_pack.
1033 * pt.c (unify_pack_expansion): Don't try to deduce generated packs.
1034 * cp-tree.h (TEMPLATE_PARM_P): New.
1036 2018-03-23 Jason Merrill <jason@redhat.com>
1038 PR c++/78489 - wrong SFINAE behavior.
1040 PR c++/84489
1041 * pt.c (type_unification_real): Don't defer substitution failure.
1043 2018-03-23 Jakub Jelinek <jakub@redhat.com>
1045 PR c++/85015
1046 * decl.c (compute_array_index_type): Set osize to mark_rvalue_use
1047 result.
1049 PR c++/84942
1050 * pt.c (tsubst_copy_and_build) <case FIX_TRUNC_EXPR>: Replace
1051 cp_build_unary_op call with gcc_unreachable ().
1053 2018-03-23 Marek Polacek <polacek@redhat.com>
1055 PR c++/85045
1056 * cxx-pretty-print.c (cxx_pretty_printer::multiplicative_expression):
1057 Handle EXACT_DIV_EXPR and RDIV_EXPR. Tweak condition.
1058 (cxx_pretty_printer::expression): Handle EXACT_DIV_EXPR and RDIV_EXPR.
1060 2018-03-23 Ville Voutilainen <ville.voutilainen@gmail.com>
1062 Implement P0962
1063 * parser.c (cp_parser_perform_range_for_lookup): Change
1064 the condition for deciding whether to use members.
1066 2018-03-23 Marek Polacek <polacek@redhat.com>
1068 PR c++/85033
1069 * semantics.c (finish_offsetof): Don't allow CONST_DECLs.
1071 2018-03-23 Alexandre Oliva <aoliva@redhat.com>
1073 PR c++/71251
1074 * parser.c (cp_parser_alias_declaration): Call
1075 parser_check_template_parameters.
1077 PR c++/84789
1078 * pt.c (resolve_typename_type): Drop assert that stopped
1079 simplification to template-independent types. Add assert to
1080 verify the initial scope is template dependent.
1081 * parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
1082 Reparse the id expression as a type-name, not a declarator.
1084 PR c++/84729
1085 * init.c (build_vec_init): Error at parenthesized array init.
1087 PR c++/84610
1088 PR c++/84642
1089 PR c++/84942
1090 * cp-tree.h (temp_override): New template class, generalizing
1091 a cleanup that was only used...
1092 * parser.c (cp_parser_parameter_declaration_clause):
1093 ... here for auto_is_implicit_function_template_parm_p.
1094 (cp_parser_gnu_attributes_opt): Use it here as well.
1095 (cp_parser_std_attribute): Likewise.
1097 2018-03-22 Marek Polacek <polacek@redhat.com>
1099 PR c++/84854
1100 * semantics.c (finish_if_stmt_cond): Check if the type of the condition
1101 is boolean.
1103 2018-03-21 Jason Merrill <jason@redhat.com>
1105 PR c++/81311 - wrong C++17 overload resolution.
1106 * call.c (build_user_type_conversion_1): Remove C++17 code.
1107 (conv_binds_ref_to_prvalue): New.
1108 (build_over_call): Handle C++17 copy elision.
1109 (build_special_member_call): Only do C++17 copy elision here if the
1110 argument is already the right type.
1112 2018-03-21 Alexandre Oliva <aoliva@redhat.com>
1114 PR c++/71965
1115 * init.c (build_vec_init): Silence error, former sorry,
1116 without tf_error.
1118 PR c++/84610
1119 PR c++/84642
1120 * parser.c (abort_fully_implicit_template_p): New.
1121 (cp_parser_skip_to_end_of_statement): Use it.
1122 (cp_parser_skip_to_end_of_block_or_statement): Likewise.
1123 (finish_fully_implicit_template_p): Clear
1124 implicit_template_parms and implicit_template_scope.
1126 2018-03-21 Paolo Carlini <paolo.carlini@oracle.com>
1128 PR c++/84972
1129 * decl.c (maybe_deduce_size_from_array_init): Set TREE_TYPE to
1130 error_mark_node when check_array_designated_initializer fails.
1132 2018-03-21 Jakub Jelinek <jakub@redhat.com>
1134 PR c++/84961
1135 * cp-tree.h (genericize_compound_lvalue): Declare.
1136 * typeck.c (genericize_compound_lvalue): New function.
1137 (unary_complex_lvalue, cp_build_modify_expr): Use it.
1138 * semantics.c (finish_asm_stmt): Replace MODIFY_EXPR, PREINCREMENT_EXPR
1139 and PREDECREMENT_EXPR in output and "m" constrained input operands with
1140 COMPOUND_EXPR. Call cxx_mark_addressable on the rightmost
1141 COMPOUND_EXPR operand.
1143 2018-03-21 Nathan Sidwell <nathan@acm.org>
1145 PR c++/85008
1146 * tree.c (decl_linkage): Use DECL_CLONED_FUNCTION_P.
1147 * decl2.c (vague_linkage_p): Likewise.
1149 2018-03-21 David Malcolm <dmalcolm@redhat.com>
1151 PR c++/84994
1152 * constexpr.c (constexpr_fn_retval): Make non-"static".
1153 * cp-tree.h (constexpr_fn_retval): New decl.
1154 * search.c (direct_accessor_p): Update leading comment.
1155 (reference_accessor_p): Likewise.
1156 (field_accessor_p): Replace check that function body is a
1157 RETURN_EXPR with a call to constexpr_fn_retval. Fix
1158 indentation of "field_type" decl.
1160 2018-03-21 Nathan Sidwell <nathan@acm.org>
1162 PR c++/84804
1163 * name-lookup.c (do_pushtag): Permit lambdas to be pushed into
1164 complete classes.
1166 2018-03-21 Martin Sebor <msebor@redhat.com>
1168 PR c++/84850
1169 * call.c (first_non_public_field): New template and function.
1170 (first_non_trivial_field): New function.
1171 (maybe_warn_class_memaccess): Call them.
1173 2018-03-21 David Malcolm <dmalcolm@redhat.com>
1175 PR c++/84892
1176 * search.c (field_accessor_p): Use class_of_this_parm rather than
1177 type_of_this_parm, to check that "this" is a "const T *", rather
1178 than a "T *const".
1180 2018-03-21 Nathan Sidwell <nathan@acm.org>
1182 * class.c (finish_struct_anon_r): Refactor, deprecate anything
1183 other than public non-static data members.
1184 * parser.c (cp_parser_init_declarator): Deprecate attributes after
1185 parenthesized initializer.
1187 PR c++/84836
1188 * name-lookup.c (update_binding): Correct logic for local binding
1189 update.
1191 2018-03-21 Marek Polacek <polacek@redhat.com>
1193 PR c++/71638, ICE with NSDMI and reference.
1194 * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
1195 even when we replace an element.
1197 2018-03-20 Marek Polacek <polacek@redhat.com>
1199 PR c++/84978, ICE with NRVO.
1200 * constexpr.c (cxx_eval_constant_expression): Handle the case when
1201 a RESULT_DECL isn't in the hash map.
1203 2018-03-20 Jason Merrill <jason@redhat.com>
1205 PR c++/84978, ICE with NRVO.
1206 * cvt.c (cp_get_fndecl_from_callee): Add fold parameter.
1207 (cp_get_callee_fndecl_nofold): New.
1208 * cp-gimplify.c (cp_genericize_r): Use it instead.
1209 * call.c (check_self_delegation): Likewise.
1211 2018-03-20 Nathan Sidwell <nathan@acm.org>
1213 PR c++/84962
1214 * name-lookup.c (pushdecl_class_level): Push anon-struct's
1215 member_vec, if there is one.
1217 PR c++/84970
1218 * cp-tree.h (lookup_list_keep): Declare.
1219 * tree.c (lookup_list_keep): New, broken out of ...
1220 (build_min): ... here. Call it.
1221 * decl.c (cp_finish_decl): Call lookup_list_keep.
1223 2018-03-19 Jason Merrill <jason@redhat.com>
1225 PR c++/84937 - ICE with class deduction and auto.
1226 * pt.c (rewrite_template_parm): Fix auto handling.
1228 2018-03-19 Marek Polacek <polacek@redhat.com>
1230 PR c++/84925
1231 * pt.c (enclosing_instantiation_of): Check if fn is null.
1233 PR c++/84927
1234 * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
1235 as we evaluate the elements.
1236 (cxx_eval_constant_expression): Verify constructor's flags
1237 unconditionally.
1239 2018-03-19 Jason Merrill <jason@redhat.com>
1241 PR c++/71834 - template-id with too few arguments.
1242 * pt.c (coerce_template_parms): Check fixed_parameter_pack_p.
1244 2018-03-19 Nathan Sidwell <nathan@acm.org>
1246 PR c++/84835
1247 * lambda.c (maybe_add_lambda_conv_op): Force C++ linkage.
1248 * pt.c (build_template_decl): Propagate language linkage.
1250 PR c++/84812
1251 * name-lookup.c (set_local_extern_decl_linkage): Defend against
1252 ambiguous lookups.
1254 2018-03-16 Jakub Jelinek <jakub@redhat.com>
1256 PR c/84910
1257 * parser.c (cp_parser_lambda_introducer): Remove trailing space from
1258 diagnostics.
1259 * method.c (synthesize_method): Likewise.
1260 * pt.c (convert_nontype_argument): Likewise.
1262 2018-03-16 Jason Merrill <jason@redhat.com>
1264 PR c++/84720 - ICE with rvalue ref non-type argument.
1265 * pt.c (invalid_nontype_parm_type_p): Prohibit rvalue reference.
1266 (convert_nontype_argument): Revert earlier change.
1268 PR c++/80227 - SFINAE and negative array size.
1269 * decl.c (compute_array_index_type): Use
1270 build_converted_constant_expr and valid_constant_size_p.
1272 PR c++/84906 - silent wrong code with ambiguous conversion.
1273 * call.c (build_user_type_conversion_1): Set need_temporary_p on
1274 ambiguous conversion.
1275 (convert_like_real): Check it.
1277 PR c++/83937 - wrong C++17 handling of init-list ctor argument.
1278 * call.c (build_special_member_call): Don't convert an init-list
1279 argument directly to the class type.
1281 2018-03-16 Jakub Jelinek <jakub@redhat.com>
1283 PR c++/79937
1284 PR c++/82410
1285 * cp-tree.h (CONSTRUCTOR_PLACEHOLDER_BOUNDARY): Define.
1286 (find_placeholder): Declare.
1287 * tree.c (struct replace_placeholders_t): Add exp member.
1288 (replace_placeholders_r): Don't walk into ctors with
1289 CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag set, unless they are equal to
1290 d->exp. Replace PLACEHOLDER_EXPR with unshare_expr (x) rather than x.
1291 (replace_placeholders): Initialize data.exp.
1292 (find_placeholders_r, find_placeholders): New functions.
1293 * typeck2.c (process_init_constructor_record,
1294 process_init_constructor_union): Set CONSTRUCTOR_PLACEHOLDER_BOUNDARY
1295 if adding NSDMI on which find_placeholder returns true.
1296 * call.c (build_over_call): Don't call replace_placeholders here.
1297 * cp-gimplify.c (cp_genericize_r): Set TARGET_EXPR_NO_ELIDE on
1298 TARGET_EXPRs with CONSTRUCTOR_PLACEHOLDER_BOUNDARY set on
1299 TARGET_EXPR_INITIAL.
1300 (cp_fold): Copy over CONSTRUCTOR_PLACEHOLDER_BOUNDARY bit to new
1301 ctor.
1303 2018-03-16 Jason Merrill <jason@redhat.com>
1305 PR c++/83911 - ICE with multiversioned constructor.
1306 * cp-gimplify.c (cp_genericize_r): Replace versioned function with
1307 dispatchere here.
1308 * call.c (build_over_call): Not here.
1310 2018-03-16 Jakub Jelinek <jakub@redhat.com>
1312 PR c++/84874
1313 * decl.c (reshape_init_class): Don't assert d->cur->index == field
1314 if d->cur->index is a FIELD_DECL, instead set field to d->cur->index.
1316 2018-03-15 Jakub Jelinek <jakub@redhat.com>
1318 PR c++/84222
1319 * cp-tree.h (cp_warn_deprecated_use): Declare.
1320 * tree.c (cp_warn_deprecated_use): New function.
1321 * typeck2.c (build_functional_cast): Use it.
1322 * decl.c (grokparms): Likewise.
1323 (grokdeclarator): Likewise. Temporarily push nested class scope
1324 around grokparms call for out of class member definitions.
1326 2018-03-14 Jason Merrill <jason@redhat.com>
1328 PR c++/84820 - no error for invalid qualified-id.
1329 * parser.c (cp_parser_make_indirect_declarator): Don't wrap
1330 cp_error_declarator.
1332 PR c++/84801 - ICE with unexpanded pack in lambda.
1333 * pt.c (check_for_bare_parameter_packs): Don't return early for a
1334 lambda in non-template context.
1336 PR c++/81236 - auto variable and auto function
1337 * pt.c (tsubst_baselink): Update the type of the BASELINK after
1338 mark_used.
1340 2018-03-14 Jason Merrill <jason@redhat.com>
1342 PR c++/83916 - ICE with template template parameters.
1343 * pt.c (convert_template_argument): Don't substitute into type of
1344 non-type parameter if we don't have enough arg levels.
1345 (unify): Likewise.
1347 2018-03-14 Marek Polacek <polacek@redhat.com>
1349 PR c++/84596
1350 * semantics.c (finish_static_assert): Check
1351 instantiation_dependent_expression_p instead of
1352 {type,value}_dependent_expression_p.
1354 2018-03-13 Paolo Carlini <paolo.carlini@oracle.com>
1355 Jason Merrill <jason@redhat.com>
1357 PR c++/82336 - link error with list-init default argument.
1358 * decl.c (check_default_argument): Unshare an initializer list.
1360 2018-03-13 Jakub Jelinek <jakub@redhat.com>
1362 PR c++/84843
1363 * decl.c (duplicate_decls): For redefinition of built-in, use error
1364 and return error_mark_node. For redeclaration, return error_mark_node
1365 rather than olddecl if !flag_permissive.
1367 2018-03-13 Jason Merrill <jason@redhat.com>
1369 PR c++/82565 - ICE with concepts and generic lambda.
1370 * pt.c (instantiate_decl): Clear fn_context for lambdas.
1372 2018-03-13 Jason Merrill <jason@redhat.com>
1374 PR c++/84720 - ICE with rvalue ref non-type argument.
1375 * pt.c (convert_nontype_argument): Handle rvalue references.
1377 PR c++/84839 - ICE with decltype of parameter pack.
1378 * pt.c (tsubst_pack_expansion): Set cp_unevaluated_operand while
1379 instantiating dummy parms.
1381 * parser.c (cp_parser_simple_type_specifier): Pedwarn about auto
1382 parameter even without -Wpedantic.
1384 PR c++/84798 - ICE with auto in abstract function declarator.
1385 * parser.c (cp_parser_parameter_declaration_clause): Check
1386 parser->default_arg_ok_p.
1388 2018-03-13 Jakub Jelinek <jakub@redhat.com>
1390 PR c++/84808
1391 * constexpr.c (find_array_ctor_elt): Don't use elt reference after
1392 first potential CONSTRUCTOR_ELTS reallocation. Convert dindex to
1393 sizetype. Formatting fixes.
1395 2018-03-12 Jason Merrill <jason@redhat.com>
1397 PR c++/84355 - ICE with deduction for member class template.
1398 * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
1399 CLASS_PLACEHOLDER_TEMPLATE.
1401 PR c++/84802 - ICE capturing uninstantiated class.
1402 * lambda.c (build_capture_proxy): Call complete_type.
1404 2018-03-09 Jason Merrill <jason@redhat.com>
1406 PR c++/84770 - ICE with typedef and parameter pack.
1407 * pt.c (verify_unstripped_args_1): Split out from
1408 verify_unstripped_args.
1410 PR c++/84785 - ICE with alias template and default targs.
1411 * pt.c (type_unification_real): Set processing_template_decl if
1412 saw_undeduced == 1.
1414 PR c++/84752 - ICE with capture of constexpr array.
1415 * call.c (standard_conversion): Set rvaluedness_matches_p on the
1416 identity conversion under ck_lvalue.
1418 2018-03-09 Jason Merrill <jason@redhat.com>
1419 Paolo Carlini <paolo.carlini@oracle.com>
1421 PR c++/71169
1422 PR c++/71832
1423 * pt.c (any_erroneous_template_args_p): New.
1424 * cp-tree.h (any_erroneous_template_args_p): Declare it.
1425 * parser.c (cp_parser_class_specifier_1): Use it.
1427 2018-03-09 Jason Merrill <jason@redhat.com>
1429 PR c++/84726 - unnecessary capture of constant vars.
1430 * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
1431 (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
1432 * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
1433 * lambda.c (is_constant_capture_proxy)
1434 (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
1435 (prune_lambda_captures): New.
1436 (finish_lambda_function): Call prune_lambda_captures.
1438 2018-03-09 Jason Merrill <jason@redhat.com>
1439 Jakub Jelinek <jakub@redhat.com>
1441 PR c++/84076
1442 * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
1443 build ADDR_EXPR with REFERENCE_TYPE.
1444 (build_over_call): For purposes of check_function_arguments, if
1445 argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
1446 its operand rather than the argument itself.
1448 2018-03-09 Jakub Jelinek <jakub@redhat.com>
1450 PR c++/84724
1451 * decl.c (duplicate_decls): Don't override __* prefixed builtins
1452 except for __[^b]*_chk, instead issue permerror and for -fpermissive
1453 also a note and return olddecl.
1455 2018-03-09 Nathan Sidwell <nathan@acm.org>
1457 PR c++/84733
1458 * name-lookup.c (do_pushdecl_with_scope): Only clear
1459 current_function_decl when pushing a non-class (i.e. namespace)
1460 scope.
1462 2018-03-08 Jason Merrill <jason@redhat.com>
1463 Jakub Jelinek <jakub@redhat.com>
1465 PR c++/80598
1466 * call.c (build_over_call): In templates set TREE_USED (first_fn) when
1467 not calling mark_used for the benefit of -Wunused-function warning.
1469 2018-03-06 Jason Merrill <jason@redhat.com>
1471 * lambda.c (is_capture_proxy_with_ref): Remove.
1472 * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
1474 2018-03-06 Marek Polacek <polacek@redhat.com>
1476 PR c++/84684
1477 * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
1478 arguments.
1480 2018-03-06 Alexandre Oliva <aoliva@redhat.com>
1482 PR c++/84231
1483 * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
1484 only while processing template decls.
1485 * typeck.c (build_x_conditional_expr): Move wrapping of
1486 reference type around type...
1487 * call.c (build_conditional_expr_1): ... here. Rename
1488 is_lvalue to is_glvalue.
1489 * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
1490 INDIRECT_REF of COND_EXPR too.
1492 PR c++/84593
1493 * init.c (build_zero_init_1): Zero-initialize references.
1495 PR c++/84492
1496 * semantics.c (finish_stmt_expr_expr): Reject unresolved
1497 overloads used as stmt expr values.
1499 2018-03-05 Jason Merrill <jason@redhat.com>
1501 PR c++/84708 - ICE with lambda in local class NSDMI.
1502 * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
1503 context.
1505 2018-03-05 Jakub Jelinek <jakub@redhat.com>
1507 PR c++/84684
1508 * constexpr.c (constexpr_call_hasher::equal): Return false if
1509 lhs->hash != rhs->hash. Change return 1 to return true and
1510 return 0 to return false.
1512 2018-03-05 Nathan Sidwell <nathan@acm.org>
1514 PR c++/84702
1515 * pt.c (process_template_arg): Mark lookup_keep on a default arg.
1517 2018-03-05 Marek Polacek <polacek@redhat.com>
1519 PR c++/84707
1520 * decl.c (duplicate_decls): Check DECL_NAME before accessing
1521 UDLIT_OPER_P.
1523 2018-03-05 Nathan Sidwell <nathan@acm.org>
1525 PR c++/84694
1526 * friend.c (do_friend): Restore check for identifier_p inside
1527 TEMPLATE_ID_EXPR.
1529 2018-03-05 Paolo Carlini <paolo.carlini@oracle.com>
1531 PR c++/84618
1532 * parser.c (cp_parser_lambda_introducer): Reject any capture not
1533 involving a VAR_DECL or a PARM_DECL.
1535 2018-03-05 Pádraig Brady <P@draigBrady.com>
1536 Jason Merrill <jason@redhat.com>
1537 Nathan Sidwell <nathan@acm.org>
1539 PR c++/84497
1540 * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
1542 2018-03-03 Jason Merrill <jason@redhat.com>
1544 PR c++/84686 - missing volatile loads.
1545 * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
1547 2018-03-03 Paolo Carlini <paolo.carlini@oracle.com>
1549 PR c++/71464
1550 * optimize.c (maybe_thunk_body): Bail out immediately if either
1551 fns[0] or fns[1] is null.
1553 2018-03-02 Marek Polacek <polacek@redhat.com>
1555 PR c++/84578
1556 * constexpr.c (get_array_or_vector_nelts): New.
1557 (cxx_eval_array_reference): Use it.
1558 (cxx_eval_vec_init_1): Likewise.
1559 (cxx_eval_store_expression): Likewise.
1561 2018-03-02 Jason Merrill <jason@redhat.com>
1563 * semantics.c (force_paren_expr): Remove redundant test.
1565 2018-03-02 Marek Polacek <polacek@redhat.com>
1567 PR c++/84663
1568 * decl.c (cp_complete_array_type): Check error_mark_node.
1570 PR c++/84664
1571 * typeck.c (cp_perform_integral_promotions): Check the result of
1572 mark_rvalue_use.
1574 2018-03-02 Jakub Jelinek <jakub@redhat.com>
1576 PR c++/84662
1577 * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
1578 RETURN instead of return.
1579 <case POINTER_PLUS_EXPR>: Likewise.
1580 <case CONVERT_EXPR>: If op0 is error_mark_node, just return
1581 it instead of wrapping it into CONVERT_EXPR.
1583 2018-03-02 Jason Merrill <jason@redhat.com>
1585 Fix MIPS16 ICE.
1586 * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
1588 2018-03-02 Marek Polacek <polacek@redhat.com>
1590 PR c++/84590
1591 * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
1592 wrapped in VIEW_CONVERT_EXPR.
1594 2018-03-01 Martin Sebor <msebor@redhat.com>
1596 PR c++/84294
1597 * decl.c (check_redeclaration_no_default_args): Merge attributes
1598 specified on redeclarations of the same function template.
1599 Remove dead code.
1601 2018-03-01 Marek Polacek <polacek@redhat.com>
1602 Jason Merrill <jason@redhat.com>
1604 PR c++/84582
1605 * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
1606 a template.
1607 (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
1608 * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
1609 of instantiate_non_dependent_expr.
1610 * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
1612 2018-03-01 Nathan Sidwell <nathan@acm.org>
1614 PR c++/84434
1615 * name-lookup.c (member_vec_dedup): Remove manually peeled
1616 iteration. Ignore dependent ctor inheritance.
1618 2018-03-01 Jason Merrill <jason@redhat.com>
1620 PR c++/71569 - decltype of template.
1621 * parser.c (cp_parser_decltype_expr): Handle missing template args.
1623 2018-03-01 Marek Polacek <polacek@redhat.com>
1625 PR c++/84596
1626 * constexpr.c (require_rvalue_constant_expression): New function.
1627 * cp-tree.h: Declare it.
1628 * semantics.c (finish_static_assert): Use it instead of
1629 require_potential_rvalue_constant_expression.
1631 2018-03-01 Jason Merrill <jason@redhat.com>
1632 Alexandre Oliva <aoliva@redhat.com>
1634 PR c++/71569 - ICE with redundant args on member variable template.
1635 * decl.c (start_decl): Handle partial specialization of member
1636 variable template.
1637 * pt.c (determine_specialization): Allow partial specialization
1638 of member variable template without specializing enclosing class.
1639 (process_partial_specialization): Improve error message.
1641 2018-02-28 Jason Merrill <jason@redhat.com>
1643 PR c++/71784 - ICE with ref-qualifier and explicit specialization.
1644 * pt.c (determine_specialization): Check ref-qualifier.
1646 2018-02-28 Jakub Jelinek <jakub@redhat.com>
1648 PR c++/84609
1649 * parser.c (cp_parser_attributes_opt): Formatting fix.
1650 (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
1651 cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
1652 New functions.
1653 (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
1654 instead of tentative parse to peek over optional attribute tokens
1655 to check for CPP_COLON after them.
1657 PR c++/83871
1658 PR c++/83503
1659 * pt.c (INCLUDE_STRING): Remove define.
1660 (warn_spec_missing_attributes): Use pretty_printer instead of
1661 std::string. Fix up inform call so that the list of attributes
1662 is in %s argument.
1664 2018-02-28 Martin Sebor <msebor@redhat.com>
1666 PR testsuite/84617
1667 * decl.c (duplicate_decls): Fully merge attributes const, pure,
1668 and malloc.
1670 2018-02-28 Nathan Sidwell <nathan@acm.org>
1672 PR c++/84602
1673 * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
1674 * name-lookup.c (fields_linear_search): Look in an anon-aggr
1675 regardless of want_type.
1676 (search_anon_aggr): Just use get_class_binding_direct.
1678 2018-02-28 Jakub Jelinek <jakub@redhat.com>
1680 * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
1681 inform_n.
1683 2018-02-27 Martin Sebor <msebor@redhat.com>
1685 * pt.c: Avoid including <string> directly.
1687 2018-02-27 Martin Sebor <msebor@redhat.com>
1689 PR c++/83871
1690 PR c++/83503
1691 * cp-tree.h (warn_spec_missing_attributes): New function.
1692 ((check_explicit_specialization): Add an argument. Call the above
1693 function.
1694 * decl.c (duplicate_decls): Avoid applying primary function template's
1695 attributes to its explicit specializations.
1696 cp/pt.c (warn_spec_missing_attributes): Define.
1698 2018-02-27 Håkon Sandsmark <hsandsmark@gmail.com>
1700 PR c++/71546 - lambda init-capture with qualified-id.
1701 * parser.c (cp_parser_lambda_introducer): Clear scope after
1702 each lambda capture.
1704 2018-02-27 Nathan Sidwell <nathan@acm.org>
1706 PR c++/84426
1707 * name-lookup.h (get_member_slot): Rename ...
1708 (find_member_slot): ... here.
1709 (add_member_slot): New.
1710 * name-lookup.c (member_vec_linear_search): No need to check for
1711 NULL slot.
1712 (get_member_slot): Rename ...
1713 (find_member_slot): ... here. Don't add slot for incomplete class.
1714 (add_member_slot): New.
1715 * class.c (add_method): Adjust get_member_slot rename. Bail out
1716 if push_class_level_binding fails. Create slot and grok
1717 properties once we're committed to insertion.
1719 2018-02-27 Jason Merrill <jason@redhat.com>
1721 PR c++/84489 - dependent default template argument
1722 * pt.c (type_unification_real): Handle early substitution failure.
1724 2018-02-26 Jason Merrill <jason@redhat.com>
1726 PR c++/84560 - ICE capturing multi-dimensional VLA.
1727 * tree.c (array_of_runtime_bound_p): False if the element is
1728 variably-modified.
1730 PR c++/84441 - ICE with base initialized from ?:
1731 * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
1733 PR c++/84520 - ICE with generic lambda in NSDMI.
1734 * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
1735 'this' in a generic lambda instantiation.
1737 PR c++/84559 - ICE with constexpr VLA.
1738 * constexpr.c (ensure_literal_type_for_constexpr_object): Check
1739 for constexpr variable with VLA type.
1741 2018-02-26 Jakub Jelinek <jakub@redhat.com>
1743 PR c++/84558
1744 * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
1745 a valid constant initializer. Formatting fixes.
1747 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
1749 PR c++/84540
1750 * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
1751 returning NULL_TREE.
1752 (apply_late_template_attributes): Likewise.
1754 2018-02-26 Jakub Jelinek <jakub@redhat.com>
1756 PR c++/84557
1757 * parser.c (cp_parser_omp_var_list_no_open): Only call
1758 cp_parser_lookup_name_simple on names satisfying identifier_p.
1759 (cp_parser_oacc_routine): Likewise.
1761 2018-02-26 Jason Merrill <jason@redhat.com>
1763 PR c++/84551 - ICE with concepts and -g.
1764 * parser.c (add_debug_begin_stmt): Do nothing in a concept.
1766 2018-02-26 Marek Polacek <polacek@redhat.com>
1768 PR c++/84325
1769 * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
1770 non-types.
1772 2018-02-26 Jason Merrill <jason@redhat.com>
1774 PR c++/84447 - ICE with deleted inherited ctor with default arg.
1775 * call.c (build_over_call): Handle deleted functions in one place.
1777 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
1779 PR c++/84533
1780 * decl.c (redeclaration_error_message): Don't try to use
1781 DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
1783 2018-02-26 Paolo Carlini <paolo.carlini@oracle.com>
1785 * lambda.c (build_capture_proxy): Define static.
1786 * cp-tree.h (build_capture_proxy): Remove.
1788 2018-02-26 Marek Polacek <polacek@redhat.com>
1790 PR c++/84537
1791 * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
1792 if name is error node.
1794 2018-02-25 Jason Merrill <jason@redhat.com>
1796 PR c++/84015 - ICE with class deduction and auto template parm.
1797 * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
1799 2018-02-24 Marek Polacek <polacek@redhat.com>
1801 PR c++/83692
1802 * constexpr.c (maybe_constant_init_1): New function.
1803 (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
1804 (cxx_constant_init): New function.
1805 * cp-tree.h (cxx_constant_init): Declare.
1806 * typeck2.c (store_init_value): Call cxx_constant_init instead of
1807 cxx_constant_value. Move the maybe_constant_init call under an 'else'.
1809 2018-02-22 Jason Merrill <jason@redhat.com>
1811 PR c++/70468 - ICE with constructor delegation via typedef.
1812 * pt.c (tsubst_initializer_list): Check for other mem-initializers
1813 with constructor delegation.
1815 2018-02-22 Jason Merrill <jason@redhat.com>
1817 PR c++/84424 - ICE with constexpr and __builtin_shuffle.
1818 * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
1819 VECTOR_TYPE.
1821 2018-02-22 Marek Polacek <polacek@redhat.com>
1823 PR c++/84493
1824 * parser.c (cp_parser_braced_list): Use require_open instead of
1825 consume_open.
1827 2018-02-21 Jason Merrill <jason@redhat.com>
1829 PR c++/84454 - ICE with pack expansion in signature.
1830 * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
1832 2018-02-20 Siddhesh Poyarekar <siddhesh@sourceware.org>
1834 * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
1835 IF_STMT.
1837 2018-02-20 Paolo Carlini <paolo.carlini@oracle.com>
1839 PR c++/84446
1840 * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
1841 on error_mark_node.
1843 2018-02-20 Jakub Jelinek <jakub@redhat.com>
1845 PR c++/84445
1846 * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
1847 TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
1849 PR c++/84449
1850 * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
1851 returns error_mark_node, return it immediately.
1852 (break_out_target_exprs): If cp_walk_tree with bot_manip returns
1853 error_mark_node, return error_mark_node.
1855 PR c++/84455
1856 * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
1857 function_depth to avoid GC during finish_lambda_function.
1859 2018-02-19 Jason Merrill <jason@redhat.com>
1861 PR c++/84429 - ICE capturing VLA.
1862 * lambda.c (build_capture_proxy): Handle reference refs.
1864 2018-02-19 Jakub Jelinek <jakub@redhat.com>
1866 PR c++/84448
1867 * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
1868 either operand is error_mark_node, set current.lhs to that instead of
1869 creating a binary op with error_mark_node operands.
1871 PR c++/84430
1872 * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
1874 2018-02-19 Paolo Carlini <paolo.carlini@oracle.com>
1876 PR c++/84348
1877 * decl.c (grokdeclarator): Early return error_mark_node upon
1878 ill-formed friend declaration.
1880 2018-02-16 Marek Polacek <polacek@redhat.com>
1881 Jakub Jelinek <jakub@redhat.com>
1883 PR c++/84192
1884 * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
1885 set *jump_target to anything if jump_target is NULL.
1887 2018-02-16 Jason Merrill <jason@redhat.com>
1889 PR c++/84151 - unnecessary volatile load with static member.
1890 * call.c (build_new_method_call_1): Avoid loading from a volatile
1891 lvalue used as the object argument for a static member function.
1893 PR c++/81853 - using-directive and constexpr.
1894 * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
1896 PR c++/84420 - ICE with structured binding in lambda.
1897 * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
1899 PR c++/83835 - C++17 error with constructor ctors.
1900 * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
1902 PR c++/82664 - ICE with reference to function template parm.
1903 * pt.c (convert_nontype_argument_function): Avoid obfuscationg
1904 NOP_EXPRs.
1906 PR c++/82764 - C++17 ICE with empty base
1907 * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
1909 2018-02-16 Jason Merrill <jason@redhat.com>
1911 PR c++/84421 - type-dependent if constexpr
1912 * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
1914 2018-02-16 Nathan Sidwell <nathan@acm.org>
1916 Deprecate -ffriend-injection.
1917 * decl.c (cxx_init_decl_processing): Emit warning on option.
1918 * name-lookup.c (do_pushdecl): Emit warning if we push a visible
1919 friend.
1921 2018-02-16 Paolo Carlini <paolo.carlini@oracle.com>
1923 PR c++/82468
1924 * decl.c (check_special_function_return_type): Reject template
1925 template parameter in deduction guide.
1927 2018-02-16 Nathan Sidwell <nathan@acm.org>
1929 PR c++/84375
1930 * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
1932 2018-02-15 Jason Merrill <jason@redhat.com>
1934 PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
1935 * call.c (convert_like_real): Don't use the copy-list-initialization
1936 shortcut for ck_base.
1938 PR c++/84045 - ICE with typedef and noexcept.
1939 * except.c (build_noexcept_spec): Use strip_typedefs_expr.
1941 PR c++/84376 - ICE with omitted template arguments.
1942 * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
1944 PR c++/84368 - wrong error with local variable in variadic lambda.
1945 * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
1946 local_specializations.
1948 2018-02-15 Paolo Carlini <paolo.carlini@oracle.com>
1950 PR c++/84330
1951 * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
1952 as first argument.
1954 2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
1956 PR c++/84350
1957 * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
1958 init, early return.
1960 2018-02-14 Nathan Sidwell <nathan@acm.org>
1962 * decl2.c (mark_vtable_entries): Set input_location to decl's.
1963 (c_parse_final_cleanups): Restore input_location after emitting
1964 vtables.
1966 2018-02-14 Paolo Carlini <paolo.carlini@oracle.com>
1968 * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
1969 (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
1970 auto_deduction_context, tree, int): Add defaults.
1971 * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
1972 (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
1973 tsubst_flags_t argument.
1974 * init.c (build_new): Likewise.
1976 2018-02-13 Jakub Jelinek <jakub@redhat.com>
1978 PR c++/84364
1979 * typeck.c (check_return_expr): Don't emit -Weffc++ warning
1980 about return other than *this in assignment operators if
1981 retval is type dependent expression.
1983 2018-02-13 Paolo Carlini <paolo.carlini@oracle.com>
1985 PR c++/84333
1986 * call.c (build_conditional_expr_1): Use cp_save_expr instead of
1987 save_expr for the G++ extension.
1989 2018-02-13 Jason Merrill <jason@redhat.com>
1991 PR c++/84080 - ICE with return type deduction and specialization.
1992 * pt.c (determine_specialization): Check uses_template_parms.
1994 Fix more variadic capture issues.
1995 * pt.c (find_parameter_packs_r): Also look at explicit captures.
1996 (check_for_bare_parameter_packs): Check current_class_type for
1997 lambda context.
1998 (extract_locals_r): Handle seeing a full instantiation of a pack.
1999 (tsubst_pack_expansion): Likewise. Force lambda capture.
2000 * parser.c (cp_parser_lambda_introducer): Don't
2001 check_for_bare_parameter_packs.
2003 PR c++/84338 - wrong variadic sizeof.
2004 * pt.c (argument_pack_select_arg): Like the macro, but look through
2005 a pack expansion.
2006 (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
2007 (extract_fnparm_pack): Do make_pack_expansion.
2008 (extract_locals_r): Do strip a pack expansion.
2009 * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
2011 2018-02-12 Jakub Jelinek <jakub@redhat.com>
2013 PR c++/84341
2014 * parser.c (cp_parser_binary_expression): Use build_min instead of
2015 build2_loc to build the no_toplevel_fold_p toplevel binary expression.
2017 2018-02-12 Nathan Sidwell <nathan@acm.org>
2019 PR c++/84263
2020 * parser.c (cp_parser_decltype): Push and pop
2021 deferring_access_checks. Reorganize to avoid goto.
2023 2018-02-12 Richard Biener <rguenther@suse.de>
2025 PR c++/84281
2026 * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
2027 uniform constructors and delay allocating them fully.
2029 2018-02-09 Jason Merrill <jason@redhat.com>
2031 PR c++/84036 - ICE with variadic capture.
2032 Handle variadic capture proxies more like non-variadic.
2033 * lambda.c (build_capture_proxy): Remove workaround.
2034 * pt.c (find_parameter_packs_r): The proxy is a pack.
2035 (instantiate_class_template_1): Remove dead lambda code.
2036 (extract_fnparm_pack): Don't make_pack_expansion.
2037 (extract_locals_r): Don't strip a pack expansion.
2038 (tsubst_pack_expansion): Handle proxy packs. Use
2039 PACK_EXPANSION_EXTRA_ARGS less.
2040 (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
2041 (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
2042 [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
2043 (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
2044 (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
2046 2018-02-10 Jakub Jelinek <jakub@redhat.com>
2048 PR sanitizer/83987
2049 * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
2051 2018-02-09 Jason Merrill <jason@redhat.com>
2053 PR c++/81917 - ICE with void_t and partial specialization.
2054 * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
2055 calling most_specialized_partial_spec.
2057 2018-02-09 Nathan Sidwell <nathan@acm.org>
2059 PR c/84293
2060 * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
2061 Pass expr location to strict_aliasing_warning.
2063 2018-02-09 Jason Merrill <jason@redhat.com>
2065 PR c++/84296 - ICE with qualified-id in template.
2066 PR c++/83714
2067 * pt.c (unknown_base_ref_p): New.
2068 (instantiation_dependent_scope_ref_p): Use it instead of
2069 any_dependent_bases_p.
2071 2018-02-09 Marek Polacek <polacek@redhat.com>
2072 Jakub Jelinek <jakub@redhat.com>
2074 PR c++/83659
2075 * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
2076 fold_indirect_ref_1, including poly_*int64. Verify first that
2077 tree_fits_poly_int64_p (op01). Formatting fixes.
2079 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
2081 * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
2082 * lambda.c (build_capture_proxy): Likewise.
2083 * search.c (field_access_p): Likewise.
2084 * semantics.c (omp_clause_decl, omp_privatize_field,
2085 finish_omp_clauses): Likewise.
2087 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
2089 PR c++/83806
2090 * typeck.c (decay_conversion): Use mark_rvalue_use for the special
2091 case of nullptr too.
2093 2018-02-08 Nathan Sidwell <nathan@acm.org>
2095 * class.c (finish_struct): Fix std:initializer_list diagnostic
2096 formatting.
2098 2018-02-08 Paolo Carlini <paolo.carlini@oracle.com>
2100 PR c++/83204
2101 * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
2103 2018-02-07 Jakub Jelinek <jakub@redhat.com>
2105 PR c++/84082
2106 * parser.c (cp_parser_dot_deref_incomplete): New function.
2107 (cp_parser_postfix_dot_deref_expression): Use it.
2109 2018-02-07 David Malcolm <dmalcolm@redhat.com>
2111 PR c++/81610
2112 PR c++/80567
2113 * name-lookup.c (suggest_rid_p): New function.
2114 (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
2115 suggest_rid_p.
2117 2018-02-07 Jason Merrill <jason@redhat.com>
2119 PR c++/84182 - ICE with captured lambda
2120 PR c++/84181
2121 * pt.c (extract_locals_r, extract_local_specs): New.
2122 (tsubst_pack_expansion): Use them.
2124 2018-02-07 Martin Liska <mliska@suse.cz>
2126 PR c++/84059.
2127 * class.c (add_method): Append argument value.
2128 * cp-tree.h (maybe_version_functions): Add new argument.
2129 * decl.c (decls_match): Call it if a declaration does not
2130 have DECL_FUNCTION_VERSIONED.
2131 (maybe_version_functions): record argument is added.
2133 2018-02-05 Marek Polacek <polacek@redhat.com>
2135 * class.c: Remove unused global variables.
2136 (build_primary_vtable): Don't gather statistics.
2137 (print_class_statistics): Remove.
2138 * cp-tree.h (print_class_statistics): Remove.
2139 * tree.c (cxx_print_statistics): Don't call print_class_statistics.
2141 2018-02-02 Paolo Carlini <paolo.carlini@oracle.com>
2143 * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
2144 * constexpr.c (cx_check_missing_mem_inits): Likewise.
2145 * decl.c (next_initializable_field, find_decomp_class_base,
2146 cp_finish_decomp): Likewise.
2147 * typeck2.c (process_init_constructor_record): Likewise.
2149 2018-02-02 Jason Merrill <jason@redhat.com>
2151 PR c++/84181 - ICE with lambda parm in template argument.
2152 * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
2154 2018-02-01 Jason Merrill <jason@redhat.com>
2156 PR c++/84160 - ICE with nested variadic capture.
2157 * lambda.c (is_capture_proxy_with_ref): New.
2158 (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
2159 COMPONENT_REF.
2160 * expr.c (mark_use): Use is_capture_proxy_with_ref.
2161 * constexpr.c (potential_constant_expression_1): Likewise.
2162 * semantics.c (process_outer_var_ref): Likewise.
2164 2018-02-01 Marek Polacek <polacek@redhat.com>
2166 PR c++/84125
2167 * typeck.c (build_address): Relax the assert when
2168 processing_template_decl.
2170 2018-02-01 Jason Merrill <jason@redhat.com>
2172 PR c++/84126 - ICE with variadic generic lambda
2173 PR c++/84036
2174 PR c++/82249
2175 * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
2176 PACK_EXPANSION_EXTRA_ARGS.
2178 2018-02-01 Paolo Carlini <paolo.carlini@oracle.com>
2180 PR c++/83796
2181 * call.c (convert_like_real): If w're initializing from {} explicitly
2182 call abstract_virtuals_error_sfinae.
2184 2018-01-31 Jason Merrill <jason@redhat.com>
2185 Jakub Jelinek <jakub@redhat.com>
2187 PR c++/83993
2188 * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
2189 around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
2190 on ADDR_EXPR.
2192 2018-01-31 Jakub Jelinek <jakub@redhat.com>
2194 PR c++/83993
2195 * constexpr.c (diag_array_subscript): Emit different diagnostics
2196 if TYPE_DOMAIN (arraytype) is NULL.
2197 (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
2198 with NULL TYPE_DOMAIN use size_zero_node as nelts.
2200 2018-01-31 Paolo Carlini <paolo.carlini@oracle.com>
2202 PR c++/84092
2203 * semantics.c (finish_qualified_id_expr): When handling an
2204 UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
2206 2018-01-31 Marek Polacek <polacek@redhat.com>
2208 PR c++/84138
2209 * cp-gimplify.c (cp_fold): Check if X is an error node before
2210 calling useless_type_conversion_p.
2212 2018-01-30 Jason Merrill <jason@redhat.com>
2214 PR c++/84091 - ICE with local class in lambda in template.
2215 * decl2.c (determine_visibility): Look for outer containing template
2216 instantiation.
2218 PR c++/84098 - ICE with lambda in template NSDMI.
2219 * pt.c (instantiate_class_template_1): Ignore more lambdas.
2221 2018-01-29 Jason Merrill <jason@redhat.com>
2223 PR c++/68810 - wrong location for reinterpret_cast error.
2224 * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
2225 !dofold.
2227 2018-01-29 Marek Polacek <polacek@redhat.com>
2229 PR c++/83996
2230 * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
2231 => fooarray[1] in offset_int.
2233 2018-01-29 Jason Merrill <jason@redhat.com>
2235 PR c++/83942 - wrong unused warning with static_cast.
2236 * cvt.c (ocp_convert): Call mark_rvalue_use.
2238 2018-01-26 Jason Merrill <jason@redhat.com>
2240 PR c++/83956 - wrong dtor error with anonymous union
2241 * method.c (walk_field_subobs): Variant members only affect
2242 deletedness.
2243 (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
2245 PR c++/84036 - ICE with variadic capture.
2246 PR c++/82249
2247 * pt.c (tsubst_pack_expansion): When optimizing a simple
2248 substitution, pull a single pack expansion out of its pack.
2250 PR c++/82514 - ICE with local class in generic lambda.
2251 * pt.c (regenerated_lambda_fn_p): Remove.
2252 (enclosing_instantiation_of): Don't use it.
2253 (tsubst_function_decl): Call enclosing_instantiation_of.
2255 * pt.c (lookup_template_class_1): Add sanity check.
2256 * name-lookup.c (do_pushtag): Don't add closures to local_classes.
2258 2018-01-25 Jakub Jelinek <jakub@redhat.com>
2260 PR c++/84031
2261 * decl.c (find_decomp_class_base): Ignore unnamed bitfields. Ignore
2262 recursive calls that return ret.
2263 (cp_finish_decomp): Ignore unnamed bitfields.
2265 2018-01-23 Jason Merrill <jason@redhat.com>
2267 PR c++/82249 - wrong mismatched pack length error.
2268 * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
2269 unsubstituted function parameter pack.
2271 2018-01-23 Paolo Carlini <paolo.carlini@oracle.com>
2273 PR c++/83921
2274 * decl.c (check_for_uninitialized_const_var): Not static; add
2275 bool and tsubst_flags_t parameters; adjust to be used both in
2276 constexpr context and not.
2277 * constexpr.c (potential_constant_expression_1): Use the above.
2278 * cp-tree.h (check_for_uninitialized_const_var): Declare.
2280 2018-01-23 Jason Merrill <jason@redhat.com>
2282 PR c++/83947 - ICE with auto declarations.
2283 * pt.c (do_auto_deduction): Don't deduce from an auto decl.
2284 * decl.c (undeduced_auto_decl): Limit to vars and fns.
2286 2018-01-23 David Malcolm <dmalcolm@redhat.com>
2288 PR c++/83974
2289 * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
2290 for pointer to member function types.
2292 2018-01-23 Jakub Jelinek <jakub@redhat.com>
2294 PR sanitizer/83987
2295 * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
2296 DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
2298 2018-01-23 Nathan Sidwell <nathan@acm.org>
2300 PR c++/83988
2301 * pt.c (tsubst_baselink): Remove optype assert.
2302 * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
2304 2018-01-23 Jakub Jelinek <jakub@redhat.com>
2306 PR c++/83958
2307 * decl.c (cp_finish_decomp): Diagnose if reference structure binding
2308 refers to incomplete type.
2310 2018-01-23 Nathan Sidwell <nathan@acm.org>
2312 Deprecate ARM-era for scope handling
2313 * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
2314 (cxx_init_decl_processing): Deprecate flag_new_for_scope being
2315 cleared.
2316 * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
2317 cleanup handling.
2318 * semantics.c (begin_for_scope): Flag_new_for_scope is
2319 boolean-like.
2320 (finish_for_stmt, begin_range_for_stmt): Likewise.
2322 2018-01-22 Jason Merrill <jason@redhat.com>
2324 PR c++/83720
2325 * decl2.c (determine_visibility): Fix template_decl handling
2326 instead of blocking it.
2328 PR c++/83720 - ICE with lambda and LTO.
2329 * decl2.c (determine_visibility): Clear template_decl for
2330 function-scope decls. Propagate anonymous linkage from containing
2331 function.
2333 2018-01-22 Marek Polacek <polacek@redhat.com>
2335 PR c++/81933
2336 * typeck2.c (split_nonconstant_init_1): Return false if we didn't
2337 split out anything.
2339 2018-01-22 Ville Voutilainen <ville.voutilainen@gmail.com>
2341 PR c++/83895
2342 * decl.c (grokdeclarator): Don't diagnose extra parens
2343 on typedefs.
2345 2018-01-19 Jakub Jelinek <jakub@redhat.com>
2347 PR c++/81167
2348 * call.c (joust): Use TREE_TYPE (source) if source is
2349 a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
2351 PR c++/83919
2352 * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
2353 for direct enum init.
2354 * decl.c (reshape_init): Likewise.
2356 2018-01-19 Marek Polacek <polacek@redhat.com>
2358 * constexpr.c (fold_simple): Simplify.
2360 2018-01-18 Jason Merrill <jason@redhat.com>
2362 PR c++/83714
2363 * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
2364 * pt.c (instantiation_dependent_scope_ref_p): True if
2365 any_dependent_bases_p.
2367 2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
2369 * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
2370 vs DECL_NONTRIVIALLY_INITIALIZED_P).
2372 2018-01-18 Jason Merrill <jason@redhat.com>
2374 PR c++/82461 - constexpr list-initialized member
2375 * constexpr.c (potential_constant_expression_1): Check
2376 TARGET_EXPR_DIRECT_INIT_P.
2378 2018-01-18 Paolo Carlini <paolo.carlini@oracle.com>
2380 PR c++/81013
2381 * decl.c (xref_basetypes): Early return upon error about derived
2382 union.
2384 2018-01-18 Nathan Sidwell <nathan@acm.org>
2386 PR c++/83160
2387 * cp-tree.h (mark_use): Declare.
2388 * expr.c (mark_use): Make extern.
2389 * call.c (direct_reference_binding): Set inner conv's
2390 rvaluedness_matches_p, if it is an identity.
2391 (convert_like_real): Mark lvalue or rvalue use for identity as
2392 rvaledness_matches_p demands.
2394 2018-01-18 Jakub Jelinek <jakub@redhat.com>
2396 PR c++/83824
2397 * parser.c (attr_chainon): New function.
2398 (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
2399 cp_parser_namespace_definition, cp_parser_init_declarator,
2400 cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
2401 cp_parser_gnu_attributes_opt): Use it.
2402 (cp_parser_member_declaration, cp_parser_objc_class_ivars,
2403 cp_parser_objc_struct_declaration): Likewise. Don't reset
2404 prefix_attributes if attributes is error_mark_node.
2406 2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
2408 PR c++/78344
2409 * decl.c (grokdeclarator): Do not append the error_mark_node
2410 due to an erroneous optional attribute-specifier-seq.
2412 2018-01-17 Jakub Jelinek <jakub@redhat.com>
2414 PR c++/83897
2415 * cp-gimplify.c (cp_maybe_instrument_return): Handle
2416 CLEANUP_POINT_EXPR.
2418 2018-01-17 Paolo Carlini <paolo.carlini@oracle.com>
2420 PR c++/81054
2421 * constexpr.c (ensure_literal_type_for_constexpr_object): Return
2422 error_mark_node when we give an error.
2423 * decl.c (cp_finish_decl): Use the latter.
2425 2018-01-17 Nathan Sidwell <nathan@acm.org>
2427 PR c++/83287
2428 * init.c (build_raw_new_expr): Scan list for lookups to keep.
2430 2018-01-17 David Malcolm <dmalcolm@redhat.com>
2432 PR c++/83814
2433 * expr.c (fold_for_warn): Move from c-common.c, reducing to just
2434 the C++ part. If processing a template, call
2435 fold_non_dependent_expr rather than fully folding.
2437 2018-01-17 Jason Merrill <jason@redhat.com>
2439 PR c++/81067 - redundant NULL warning.
2440 * call.c (convert_like_real): Restore null_node handling.
2442 2018-01-17 Jason Merrill <jason@redhat.com>
2444 PR c++/81843 - ICE with variadic member template.
2445 PR c++/72801
2446 * pt.c (unify_pack_expansion): Don't try to deduce enclosing
2447 template args.
2449 2018-01-17 David Malcolm <dmalcolm@redhat.com>
2451 PR c++/83799
2452 * pt.c (type_dependent_expression_p): Strip any location wrapper
2453 before testing tree codes.
2454 (selftest::test_type_dependent_expression_p): New function.
2455 (selftest::cp_pt_c_tests): Call it.
2457 2018-01-17 Nathan Sidwell <nathan@acm.org>
2459 PR c++/83739
2460 * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
2461 this not a final instantiation.
2463 2018-01-16 Jason Merrill <jason@redhat.com>
2465 PR c++/83714 - ICE checking return in template.
2466 * typeck.c (check_return_expr): Call build_non_dependent_expr.
2468 2018-01-16 Jakub Jelinek <jakub@redhat.com>
2470 PR c++/83817
2471 * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
2472 is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
2473 instead of CALL_FROM_THUNK_P.
2475 PR c++/83825
2476 * name-lookup.c (member_vec_dedup): Return early if len is 0.
2477 (resort_type_member_vec, set_class_bindings,
2478 insert_late_enum_def_bindings): Use vec qsort method instead of
2479 calling qsort directly.
2481 2018-01-15 Martin Sebor <msebor@redhat.com>
2483 PR c++/83588
2484 * class.c (find_flexarrays): Make a record of multiple flexible array
2485 members.
2487 2018-01-12 Jason Merrill <jason@redhat.com>
2489 PR c++/83186 - ICE with static_cast of list-initialized temporary.
2490 * typeck.c (build_static_cast): Use build_non_dependent_expr.
2492 2018-01-12 Nathan Sidwell <nathan@acm.org>
2494 * cp-tree.h (mark_rvalue_use): Add parm name.
2495 * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
2496 mark_rvalue_use.
2497 * call.c (convert_like_real): Fix formatting.
2499 2018-01-11 Jason Merrill <jason@redhat.com>
2501 PR c++/82728 - wrong -Wunused-but-set-variable
2502 PR c++/82799
2503 PR c++/83690
2504 * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
2505 * decl.c (case_conversion): Likewise.
2506 * semantics.c (finish_static_assert): Call
2507 perform_implicit_conversion_flags.
2509 2018-01-11 Nathan Sidwell <nathan@acm.org>
2511 * method.c (enum mangling_flags): Delete long-dead enum.
2513 2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
2515 * parser.c (cp_parser_std_attribute_spec): When
2516 token_pair::require_open / require_close return false simply
2517 return error_mark_node, avoid duplicate cp_parser_error about
2518 expected '(' / ')', respectively.
2520 2018-01-10 David Malcolm <dmalcolm@redhat.com>
2522 PR c++/43486
2523 * call.c (null_ptr_cst_p): Strip location wrappers when
2524 converting from '0' to a pointer type in C++11 onwards.
2525 (conversion_null_warnings): Replace comparison with null_node with
2526 call to null_node_p.
2527 (build_over_call): Likewise.
2528 * cp-gimplify.c (cp_fold): Remove the early bailout when
2529 processing_template_decl.
2530 * cp-lang.c (selftest::run_cp_tests): Call
2531 selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
2532 * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
2533 (selftest::run_cp_tests): Move decl to bottom of file.
2534 (null_node_p): New inline function.
2535 (selftest::cp_pt_c_tests): New decl.
2536 (selftest::cp_tree_c_tests): New decl.
2537 * cvt.c (build_expr_type_conversion): Replace comparison with
2538 null_node with call to null_node_p.
2539 * error.c (args_to_string): Likewise.
2540 * except.c (build_throw): Likewise.
2541 * mangle.c (write_expression): Skip location wrapper nodes.
2542 * parser.c (literal_integer_zerop): New function.
2543 (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
2544 the result for RID_TYPEID. Pass true for new "wrap_locations_p"
2545 param of cp_parser_parenthesized_expression_list. When calling
2546 warn_for_memset, replace integer_zerop calls with
2547 literal_integer_zerop, eliminating the double logical negation
2548 cast to bool. Eliminate the special-casing for CONST_DECL in
2549 favor of the fold_for_warn within warn_for_memset.
2550 (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
2551 param, defaulting to false. Convert "expr" to a cp_expr, and call
2552 maybe_add_location_wrapper on it when wrap_locations_p is true.
2553 (cp_parser_unary_expression): Call maybe_add_location_wrapper on
2554 the result for RID_ALIGNOF and RID_SIZEOF.
2555 (cp_parser_builtin_offsetof): Likewise.
2556 * pt.c: Include "selftest.h".
2557 (tsubst_copy): Handle location wrappers.
2558 (tsubst_copy_and_build): Likewise.
2559 (build_non_dependent_expr): Likewise.
2560 (selftest::test_build_non_dependent_expr): New function.
2561 (selftest::cp_pt_c_tests): New function.
2562 * tree.c: Include "selftest.h".
2563 (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
2564 (selftest::test_lvalue_kind): New function.
2565 (selftest::cp_tree_c_tests): New function.
2566 * typeck.c (string_conv_p): Strip any location wrapper from "exp".
2567 (cp_build_binary_op): Replace comparison with null_node with call
2568 to null_node_p.
2569 (build_address): Use location of operand when building address
2570 expression.
2572 2018-01-10 Marek Polacek <polacek@redhat.com>
2574 PR c++/82541
2575 * call.c (build_conditional_expr_1): Check complain before warning.
2576 * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
2577 -Wduplicated-branches.
2579 2018-01-10 Jakub Jelinek <jakub@redhat.com>
2581 PR c++/81327
2582 * call.c (maybe_warn_class_memaccess): Add forward declaration.
2583 Change last argument from tree * to const vec<tree, va_gc> *, adjust
2584 args uses and check number of operands too. Don't strip away any
2585 nops. Use maybe_constant_value when looking for INTEGER_CST args.
2586 Deal with src argument not having pointer type. Check
2587 tree_fits_uhwi_p before calling tree_to_uhwi. Remove useless
2588 test.
2589 (build_over_call): Call maybe_warn_class_memaccess here on the
2590 original arguments.
2591 (build_cxx_call): Rather than here on converted arguments.
2593 2018-01-10 Paolo Carlini <paolo.carlini@oracle.com>
2595 PR c++/81055
2596 * init.c (build_vec_init): Avoid building an INIT_EXPR with
2597 error_mark_node as second argument.
2599 2018-01-09 Jakub Jelinek <jakub@redhat.com>
2601 PR c++/83734
2602 * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
2603 in STATEMENT_LIST. Remove unneeded assert.
2605 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
2606 Alan Hayward <alan.hayward@arm.com>
2607 David Sherwood <david.sherwood@arm.com>
2609 * constexpr.c (cxx_eval_array_reference): Handle polynomial
2610 VECTOR_CST_NELTS.
2611 (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
2612 * call.c (build_conditional_expr_1): Likewise.
2613 * decl.c (cp_finish_decomp): Likewise.
2614 * mangle.c (write_type): Likewise.
2615 * typeck.c (structural_comptypes): Likewise.
2616 (cp_build_binary_op): Likewise.
2617 * typeck2.c (process_init_constructor_array): Likewise.
2619 2018-01-03 Jakub Jelinek <jakub@redhat.com>
2621 PR c++/83555
2622 * typeck.c (build_static_cast_1): For static casts to reference types,
2623 call build_base_path with flag_delete_null_pointer_checks as nonnull
2624 instead of always false. When -fsanitize=null, call
2625 ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
2626 * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
2627 call if the first argument is INTEGER_CST with REFERENCE_TYPE.
2629 2018-01-03 Nathan Sidwell <nathan@acm.org>
2631 PR c++/83667
2632 * method.c (make_alias_for): Copy DECL_CONTEXT.
2634 2018-01-03 Marek Polacek <polacek@redhat.com>
2636 PR c++/83592
2637 * decl.c (grokdeclarator): Don't warn about MVP in typename context.
2639 2018-01-03 Jakub Jelinek <jakub@redhat.com>
2641 PR preprocessor/83602
2642 * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
2643 for builtin macros.
2645 PR c++/83634
2646 * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
2647 error_mark_node, return error_mark_node.
2649 Update copyright years.
2651 2018-01-02 Jakub Jelinek <jakub@redhat.com>
2653 PR c++/83556
2654 * tree.c (replace_placeholders_r): Pass NULL as last argument to
2655 cp_walk_tree instead of d->pset. If non-TREE_CONSTANT and
2656 non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
2657 to false and return.
2658 (replace_placeholders): Pass NULL instead of &pset as last argument
2659 to cp_walk_tree.
2661 2018-01-02 Nathan Sidwell <nathan@acm.org>
2663 * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
2664 lval var.
2665 \f
2666 Copyright (C) 2018 Free Software Foundation, Inc.
2668 Copying and distribution of this file, with or without modification,
2669 are permitted in any medium without royalty provided the copyright
2670 notice and this notice are preserved.