]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cp/ChangeLog
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
/cp
[thirdparty/gcc.git] / gcc / cp / ChangeLog
CommitLineData
43bbc1da 12019-06-13 Paolo Carlini <paolo.carlini@oracle.com>
2
3 * decl.c (grokdeclarator): Use id_loc in five additional places
4 in the last part of the function.
5
62019-06-13 Paolo Carlini <paolo.carlini@oracle.com>
7
8 * decl.c (grokdeclarator): Move further up the declaration of
9 id_loc, use it immediately, update its value after the loop
10 over declarator, use it again in the final part of function;
11 improve locations of error messages about multiple data types
12 and conflicting specifiers.
13
fec050ac 142019-06-13 Richard Biener <rguenther@suse.de>
15
16 PR c++/90801
17 * typeck2.c (split_nonconstant_init_1): Properly count
18 num_split_elts, optimize single constructor elt removal.
19
6233ade9 202019-06-12 Marek Polacek <polacek@redhat.com>
21
7ff4860a 22 PR c++/66999 - 'this' captured by reference.
23 * parser.c (cp_parser_lambda_introducer): Reject `&this'. Use
24 cp_lexer_nth_token_is instead of cp_lexer_peek_nth_token.
25
518af62d 26 PR c++/90825 - endless recursion when evaluating sizeof.
27 PR c++/90832 - endless recursion when evaluating sizeof.
28 * constexpr.c (cxx_eval_constant_expression): Don't recurse on the
29 result of fold_sizeof_expr if is returns a SIZEOF_EXPR.
30 * typeck.c (cxx_sizeof_expr): Only return a SIZEOF_EXPR if the operand
31 is instantiation-dependent.
32
6233ade9 33 PR c++/90736 - bogus error with alignof.
34 * constexpr.c (adjust_temp_type): Use cv_unqualified type.
35
d5d463f6 362019-06-11 Matthew Beliveau <mbelivea@redhat.com>
37
38 PR c++/90449 - add -Winaccessible-base option.
39 * class.c (warn_about_ambiguous_bases): Changed name to:
40 maybe_warn_about_inaccessible_bases.
41 (maybe_warn_about_inaccessible_bases): Implemented new
42 Winaccessible-base warning option for both direct and virtual
43 base warnings.
44 (layout_class_type): Call to warn_about_ambiguous_bases changed to fit
45 new name.
46
c89f472e 472019-06-11 Richard Biener <rguenther@suse.de>
48
49 PR c++/90801
50 * typeck2.c (split_nonconstant_init_1): Avoid ordered remove
51 from CONSTRUCTOR by marking to remove elements and doing all
52 of them in a O(n) scan.
53
78a67ead 542019-06-11 Jakub Jelinek <jakub@redhat.com>
55
56 PR c++/90810
57 * init.c (constant_value_1): Handle VECTOR_CST DECL_INITIAL for
58 !DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P decls like CONSTRUCTOR.
59
64940dfc 602019-06-11 Martin Liska <mliska@suse.cz>
61
62 PR c++/87847
63 * pt.c (init_template_processing): Disable hash table
64 sanitization for decl_specializations and type_specializations.
65
7a429a9d 662019-06-10 Jason Merrill <jason@redhat.com>
67
714c2a31 68 * constexpr.c (free_constructor): New.
69 (cxx_eval_call_expression): Free parameter value CONSTRUCTORs.
70
e25c1ab4 71 * constexpr.c (unshare_constructor): Only unshare if T is itself a
72 CONSTRUCTOR.
73 (cxx_eval_call_expression): Don't call it on the result here.
74
7a429a9d 75 Reduce constexpr_call memory consumption.
76 * constexpr.c (cxx_bind_parameters_in_call): Use TREE_VEC rather
77 than TREE_LIST.
78 (constexpr_call_hasher::equal, cxx_bind_parameters_in_call)
79 (cxx_eval_call_expression): Adjust.
80
70a6624c 812019-06-10 Jakub Jelinek <jakub@redhat.com>
82
83 * parser.c (cp_parser_omp_clause_reduction): Don't sorry_at on inscan
84 reductions.
85 (cp_parser_omp_scan_loop_body): New function.
86 (cp_parser_omp_for_loop): Call cp_parser_omp_scan_loop_body if there
87 are inscan reduction clauses.
88 (cp_parser_pragma): Reject PRAGMA_OMP_SCAN.
89 * semantics.c (finish_omp_clauses): Reject mixing inscan with
90 non-inscan reductions on the same construct, or inscan reductions with
91 ordered or schedule clauses, or inscan array reductions.
92 * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_{IN,EX}CLUSIVE.
93 (tsubst_expr): Handle OMP_SCAN.
94
5f93e2e7 952019-06-07 Jason Merrill <jason@redhat.com>
96
97 * constexpr.c (cxx_eval_constant_expression): Call
98 STRIP_ANY_LOCATION_WRAPPER early.
99 [CONVERT_EXPR]: Don't build anything for conversion to void.
100 [ADDR_EXPR]: ggc_free unused ADDR_EXPR.
101
11adab2d 1022019-06-05 Martin Sebor <msebor@redhat.com>
103
104 PR c/90737
105 * typeck.c (maybe_warn_about_returning_address_of_local): Only
106 consider functions returning pointers as candidates for
107 -Wreturn-local-addr.
108
bd17a04e 1092019-06-05 Paolo Carlini <paolo.carlini@oracle.com>
110
111 * decl.c (smallest_type_location): New.
112 (check_special_function_return_type): Use it.
113 (grokdeclarator): Lkewise.
114
1152019-06-05 Paolo Carlini <paolo.carlini@oracle.com>
116
117 * decl.c (grokdeclarator): Use locations[ds_friend]
118 in one place.
119
62c34df8 1202019-06-05 Martin Sebor <msebor@redhat.com>
121
122 * call.c (build_conditional_expr_1): Adjust quoting and hyphenation.
123 (convert_like_real): Same.
124 (convert_arg_to_ellipsis): Same.
125 * constexpr.c (diag_array_subscript): Same.
126 * constraint.cc (diagnose_trait_expression): Same.
127 * cvt.c (ocp_convert): Same.
128 * decl.c (start_decl): Same.
129 (check_for_uninitialized_const_var): Same.
130 (grokfndecl): Same.
131 (check_special_function_return_type): Same.
132 (finish_enum_value_list): Same.
133 (start_preparsed_function): Same.
134 * parser.c (cp_parser_decl_specifier_seq): Same.
135 * typeck.c (cp_build_binary_op): Same.
136 (build_static_cast_1): Same.
137
f68dfb14 1382019-06-04 Nina Dinka Ranns <dinka.ranns@gmail.com>
139
140 PR c++/63149 - Wrong auto deduction from braced-init-list.
141 * pt.c (listify_autos): use non cv qualified auto_node in
142 std::initializer_list<auto>.
143
05475179 1442019-06-04 Paolo Carlini <paolo.carlini@oracle.com>
145
146 * decl.c (grokdeclarator): Use declarator->id_loc in two
147 additional places.
148
573559db 1492019-06-04 Nathan Sidwell <nathan@acm.org>
150
151 * name-lookup.c (lookup_type_scope_1): Reimplement, handle local
152 and namespace scopes separately.
153
7e0a9a7a 1542019-06-04 Harald van Dijk <harald@gigawatt.nl>
155
156 PR c++/60531 - Wrong error about unresolved overloaded function
157 * typeck.c (cp_build_binary_op): See if overload can be resolved.
158 (cp_build_unary_op): Ditto.
159
8a9112cd 1602019-06-04 Jason Merrill <jason@redhat.com>
161
162 Reduce accumulated garbage in constexpr evaluation.
163 * constexpr.c (cxx_eval_call_expression): ggc_free any bindings we
164 don't save.
165 (cxx_eval_increment_expression): ggc_free the MODIFY_EXPR after
166 evaluating it.
167
384aea12 1682019-06-04 Jakub Jelinek <jakub@redhat.com>
169
170 * cp-tree.h (CP_OMP_CLAUSE_INFO): Allow for any clauses up to _condvar_
171 instead of only up to linear.
172
32fdeb30 1732019-06-03 Paolo Carlini <paolo.carlini@oracle.com>
174
175 * parser.c (cp_parser_unqualified_id): Use build_min_nt_loc in
176 five places.
177
fb7fb646 1782019-06-01 Ville Voutilainen <ville.voutilainen@gmail.com>
179
fb7fb646 180 PR c++/85254
181 * class.c (fixup_type_variants): Handle CLASSTYPE_FINAL.
182
b0aa19c4 1832019-05-31 Nathan Sidwell <nathan@acm.org>
184
185 * cp-tree.h (IDENTIFIER_LAMBDA_P): New.
186 (TYPE_ANON_P): New.
187 (LAMBDA_TYPE_P, TYPE_UNNAMED_P): Likewise.
188 (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT): Delete.
189 (make_lambda_name): Don't declare.
190 * error.c (dump_aggr_type): Check for lambdas before other
191 anonymous names.
192 * lambda.c (begin_lambda_type): Use make_anon_name.
193 * cp-lang.c (cxx_dwarf_name): Lambda names smell anonymous.
194 * mangle.c (write_local_name): Likewise.
195 * name-lookup.c (lambda_cnt, make_lambda_name): Delete.
196
c950e033 1972019-05-30 Marek Polacek <polacek@redhat.com>
198
199 * cp-tree.h (TYPE_HAS_NONTRIVIAL_DESTRUCTOR): Fix a typo.
200
9161531f 2012019-05-31 Paolo Carlini <paolo.carlini@oracle.com>
202
203 * decl.c (grokdeclarator): Use declarator->id_loc in five
204 error_at calls.
205
76179fc4 2062019-05-29 Jakub Jelinek <jakub@redhat.com>
207
208 PR c++/90598
209 * tree.c (lvalue_kind): Return clk_none for expressions with
210 with VOID_TYPE_P.
211
3bb42a6e 2122019-05-29 Paolo Carlini <paolo.carlini@oracle.com>
213
214 PR c++/89875
215 * parser.c (cp_parser_sizeof_operand): When the type-id production
216 did not work out commit to the tentative parse.
217
454d5c30 2182019-05-29 Jakub Jelinek <jakub@redhat.com>
219
220 P1091R3 - Extending structured bindings to be more like var decls
221 P1381R1 - Reference capture of structured bindings
222 * decl.c (cp_maybe_mangle_decomp): Handle TREE_STATIC decls even at
223 function scope.
224 (cp_finish_decomp): Copy over various decl properties from decl to
225 v[i] in the tuple case.
226 (grokdeclarator): Allow static, thread_local and __thread for C++2a
227 and use pedwarn instead of error for older standard revisions.
228 Make other structured binding diagnostic messages more i18n friendly.
229
e037bcf8 2302019-05-28 Nathan Sidwell <nathan@acm.org>
231
232 * decl.c (duplicate_decls): Assert a template newdecl has no
233 specializations.
234
3a9560cb 2352019-05-28 Marek Polacek <polacek@redhat.com>
236
237 PR c++/90548 - ICE with generic lambda and empty pack.
238 * pt.c (tsubst_copy_and_build): Handle pack expansion properly.
239
b95089a0 2402019-05-28 Nathan Sidwell <nathan@acm.org>
241
242 * cp-tree.h (make_anon_name): Drop declaration.
243 (TYPE_UNNAMED_P): Use IDENTIFIER_ANON_P.
244 * cp-lang.c (cxx_dwarf_name): Likewise.
245 * class.c (find_flexarrays): Likewise.
246 * decl.c (name_unnamed_type, xref_tag_1): Likewise.
247 * error.c (dump_aggr_type): Likewise.
248 * pt.c (push_template_decl_real): Likewise.
249 * name-lookup.c (consider_binding_level): Likewise.
250 (anon_cnt, make_anon_name): Delete.
251
ce1fc950 2522019-05-25 Marek Polacek <polacek@redhat.com>
253
254 PR c++/90572 - wrong disambiguation in friend declaration.
255 * parser.c (cp_parser_constructor_declarator_p): Don't allow missing
256 typename for friend declarations.
257
6b8c5108 2582019-05-23 Jonathan Wakely <jwakely@redhat.com>
259
b1b80d22 260 * cp-tree.h (CP_AGGREGATE_TYPE_P): Fix whitespace.
261
6b8c5108 262 * init.c (std_placement_new_fn_p): Remove outdated TODO comment that
263 was resolved by r254694.
264
f5cde0dc 2652019-05-22 Jason Merrill <jason@redhat.com>
266
0119795e 267 PR c++/20408 - unnecessary code for empty struct.
268 * call.c (build_call_a): Use simple_empty_class_p.
269
f5cde0dc 270 PR c++/86485 - -Wmaybe-unused with empty class ?:
271 * cp-gimplify.c (simple_empty_class_p): Also true for MODIFY_EXPR.
272
e30b480f 2732019-05-21 Paolo Carlini <paolo.carlini@oracle.com>
274
275 * parser.c (cp_parser_template_declaration_after_parameters): Use
276 DECL_SOURCE_LOCATION in literal operator template errors.
277
ce547a1e 2782019-05-21 Paolo Carlini <paolo.carlini@oracle.com>
279
280 PR c++/67184
281 PR c++/69445
282 * call.c (build_over_call): Devirtualize when the final overrider
283 comes from the base.
284
e7b95f86 2852019-05-21 Nathan Sidwell <nathan@acm.org>
286
b71a2632 287 * name-lookup.c (do_nonmember_using_decl): Drop INSERT_P
288 parameter. Document.
289 (finish_nonmember_using_decl): Adjust do_nonmember_using_decl
290 calls. Remove stray FIXME comment.
291
e7b95f86 292 * name-lookup.h (struct cp_binding_level): Drop usings field.
293 (finish_namespace_using_decl, finish_local_using_decl): Replace with ...
294 (finish_nonmember_using_decl): ... this.
295 * name-lookup.c (push_using_decl_1, push_using_decl):
296 (do_nonmember_using_decl): ... here. Add INSERT_P arg. Reimplement.
297 (validate_nonmember_using_decl, finish_namespace_using_decl)
298 (finish_local_using_decl): Replace with ...
299 (finish_nonmember_using_decl): ... this. Drop DECL parm.
300 * parser.c (cp_parser_using_declaration): Don't do lookup here.
301 * pt.c (tsubst_expr): Do not do using decl lookup here.
302
3d6be0d5 3032019-05-21 Eric Botcazou <ebotcazou@adacore.com>
304
305 * decl2.c (cpp_check) <IS_ASSIGNMENT_OPERATOR>: New case.
306
31d01c8b 3072019-05-20 Marek Polacek <polacek@redhat.com>
308
309 CWG 2094 - volatile scalars are trivially copyable.
310 PR c++/85679
311 * tree.c (trivially_copyable_p): Don't check CP_TYPE_VOLATILE_P for
312 scalar types.
313
55491599 3142019-05-20 Marek Polacek <polacek@redhat.com>
315
316 * pt.c (convert_template_argument): Add a diagnostic for the
317 [temp.arg]/2 ambiguity case.
318
02c0a8db 319 * name-lookup.c (finish_using_directive): Don't issue inform() if the
320 warning didn't trigger. Add quoting. Tweak the inform message.
321
2dcee424 3222019-05-20 Paolo Carlini <paolo.carlini@oracle.com>
323
324 * cp-tree.h: Remove remnants of CONV_NONCONVERTING.
325
3a0e9478 3262019-05-20 Nathan Sidwell <nathan@acm.org>
327
2f2aa73f 328 * name-lookup.c (finish_namespace_using_directive)
329 (finish_local_using_directive): Merge to ...
330 (finish_using_directive): ... here. Handle both contexts.
331 * name-lookup.h (finish_namespace_using_directive)
332 (finish_local_using_directive): Replace with ...
333 (finish_using_directive): ... this.
334 * parser.c (cp_parser_using_directive): Adjust.
335 * pt.c (tsubst_expr): Likewise.
336
3a0e9478 337 * cp-tree.h (struct lang_decl_ns): Remove usings field.
338 (DECL_NAMESPACE_USING): Delete.
339 * name-lookup.c (name_lookup::search_usings): Use namespace's
340 binding scope.
341 (name_lookup::queue_namespae): Likewise.
342 (finish_namespace_using_directive, push_namespace): Likewise.
343 (has_using_namespace_std_directive): Just search the entire
344 binding stack.
345
48328bff 3462019-05-20 Jonathan Wakely <jwakely@redhat.com>
347
348 PR c++/90532 Ensure __is_constructible(T[]) is false
349 * method.c (is_xible_helper): Return error_mark_node for construction
350 of an array of unknown bound.
351
9b500985 3522019-05-17 Thomas Schwinge <thomas@codesourcery.com>
353
33dacef9 354 PR c++/89433
355 * parser.c (cp_finalize_oacc_routine): Rework checking if already
356 marked with an OpenACC 'routine' directive.
357
5f7ea2ee 358 PR c++/89433
359 * parser.c (cp_parser_oacc_routine)
360 (cp_parser_late_parsing_oacc_routine): Normalize order of clauses.
361 (cp_finalize_oacc_routine): Call oacc_verify_routine_clauses.
362
9b500985 363 PR c++/89433
364 * parser.c (cp_finalize_oacc_routine): Refer to OpenACC 'routine'
365 clauses from "omp declare target" attribute.
366
85b9be9b 3672019-05-16 Martin Sebor <msebor@redhat.com>
368
369 * call.c (print_z_candidate): Wrap diagnostic text in a gettext
370 macro. Adjust.
371 (print_z_candidates): Same.
372 (build_conditional_expr_1): Quote keywords, operators, and types
373 in diagnostics.
374 (build_op_delete_call): Same.
375 (maybe_print_user_conv_context): Wrap diagnostic text in a gettext
376 macro.
377 (convert_like_real): Same.
378 (convert_arg_to_ellipsis): Quote keywords, operators, and types
379 in diagnostics.
380 (build_over_call): Same.
381 (joust): Break up an overlong line. Wrap diagnostic text in a gettext
382 macro.
383 * constexpr.c (cxx_eval_check_shift_p): Spell out >= in English.
384 (cxx_eval_constant_expression): Quote keywords, operators, and types
385 in diagnostics.
386 (potential_constant_expression_1): Same.
387 * cp-gimplify.c (cp_genericize_r): Same.
388 * cvt.c (maybe_warn_nodiscard): Quote keywords, operators, and types
389 in diagnostics.
390 (type_promotes_to): Same.
391 * decl.c (check_previous_goto_1): Same.
392 (check_goto): Same.
393 (start_decl): Same.
394 (cp_finish_decl): Avoid parenthesizing a sentence for consistency.
395 (grok_op_properties): Quote keywords, operators, and types
396 in diagnostics.
397 * decl2.c (grokfield): Same.
398 (coerce_delete_type): Same.
399 * except.c (is_admissible_throw_operand_or_catch_parameter): Same.
400 * friend.c (do_friend): Quote C++ tokens.
401 * init.c (build_new_1): Quote keywords, operators, and types
402 in diagnostics.
403 (build_vec_delete_1): Same.
404 (build_delete): Same.
405 * lex.c (parse_strconst_pragma): Same.
406 (handle_pragma_implementation): Same.
407 (unqualified_fn_lookup_error): Same.
408 * mangle.c (write_type): Same.
409 * method.c (defaulted_late_check): Avoid two consecutive punctuators.
410 * name-lookup.c (cp_binding_level_debug): Remove a trailing newline.
411 (pop_everything): Same.
412 * parser.c (cp_lexer_start_debugging): Quote a macro name.
413 in a diagnostic
414 (cp_lexer_stop_debugging): Same.
415 (cp_parser_userdef_numeric_literal): Quote a C++ header name
416 in a diagnostic.
417 (cp_parser_nested_name_specifier_opt): Quote keywords, operators,
418 and types in diagnostics.
419 (cp_parser_question_colon_clause): Same.
420 (cp_parser_asm_definition): Same.
421 (cp_parser_init_declarator): Same.
422 (cp_parser_template_declaration_after_parameters): Avoid capitalizing
423 a sentence in a diagnostic.
424 (cp_parser_omp_declare_reduction): Quote keywords, operators, and types
425 in diagnostics.
426 (cp_parser_transaction): Same.
427 * pt.c (maybe_process_partial_specialization): Replace second call
428 to permerror with inform for consistency with other uses.
429 (expand_integer_pack): Quote keywords, operators, and types
430 in diagnostics.
431 * rtti.c (get_typeid): Quote keywords, operators, and types
432 in diagnostics.
433 (build_dynamic_cast_1): Same.
434 * semantics.c (finish_asm_stmt): Same.
435 (finish_label_decl): Same.
436 (finish_bases): Same.
437 (finish_offsetof): Same.
438 (cp_check_omp_declare_reduction): Same.
439 (finish_decltype_type): Same.
440 * tree.c (handle_init_priority_attribute): Same. Add detail
441 to diagnostics.
442 (maybe_warn_zero_as_null_pointer_constant): Same.
443 * typeck.c (cp_build_binary_op): Quote keywords, operators, and types
444 in diagnostics.
445 (cp_build_unary_op): Same.
446 (check_for_casting_away_constness): Same.
447 (build_static_cast): Same.
448 (build_const_cast_1): Same.
449 (maybe_warn_about_returning_address_of_local): Same.
450 (check_return_expr): Same.
451 * typeck2.c (abstract_virtuals_error_sfinae): Same.
452 (digest_init_r): Replace a tab with spaces in a diagnostic.
453 (build_functional_cast): Quote keywords, operators, and types
454 in diagnostics.
455
18b874d3 4562019-05-15 Jakub Jelinek <jakub@redhat.com>
457
458 PR debug/90197
459 * cp-gimplify.c (genericize_cp_loop): Emit a DEBUG_BEGIN_STMT
460 before the condition (or if missing or constant non-zero at the end
461 of the loop. Emit a DEBUG_BEGIN_STMT before the increment expression
462 if any. Don't call protected_set_expr_location on incr if it already
463 has a location.
464
4218eec0 4652019-05-15 Marek Polacek <polacek@redhat.com>
466
467 CWG 2096 - constraints on literal unions.
468 * class.c (check_field_decls): Initialize booleans directly. A union
469 is literal if at least one of its non-static data members is of
470 non-volatile literal type.
471
94c491e3 4722019-05-15 Paolo Carlini <paolo.carlini@oracle.com>
473
474 * cp-tree.h (REFERENCE_VLA_OK): Remove.
475 * lambda.c (build_capture_proxy): Remove use of the above.
476
70a4616f 4772019-05-15 Paolo Carlini <paolo.carlini@oracle.com>
478
479 * call.c (perform_overload_resolution, build_new_method_call_1):
480 Use OVL_P; remove redundant TEMPLATE_DECL checks.
481 * decl.c (grokfndecl): Likewise.
482 * mangle.c (write_expression): Likewise.
483 * parser.c (cp_parser_template_id): Likewise.
484 * pt.c (resolve_overloaded_unification, type_dependent_expression_p):
485 Likewise.
486 * search.c (build_baselink): Likewise.
487 * tree.c (is_overloaded_fn, dependent_name, maybe_get_fns): Likewise.
488
0ae196b0 4892019-05-14 Paolo Carlini <paolo.carlini@oracle.com>
490
491 PR preprocessor/90382
492 * decl.c (grokdeclarator): Fix value assigned to typespec_loc, use
493 min_location.
494
02fafda8 4952019-05-13 Jason Merrill <jason@redhat.com>
496
497 Use releasing_vec more broadly.
498 * cp-tree.h (struct releasing_vec): Replace get_ref method with
499 operator&.
500 (vec_safe_push, vec_safe_reserve, vec_safe_length, vec_safe_splice):
501 Forwarding functions for releasing_vec.
502 (release_tree_vector): Declare but don't define.
503 * call.c (build_op_delete_call, build_temp, call_copy_ctor)
504 (perform_direct_initialization_if_possible): Use releasing_vec.
505 * constexpr.c (cxx_eval_vec_init_1, cxx_eval_store_expression):
506 Likewise.
507 * cp-gimplify.c (cp_fold): Likewise.
508 * cvt.c (force_rvalue, ocp_convert): Likewise.
509 * decl.c (get_tuple_decomp_init): Likewise.
510 * except.c (build_throw): Likewise.
511 * init.c (perform_member_init, expand_default_init): Likewise.
512 * method.c (do_build_copy_assign, locate_fn_flags): Likewise.
513 * parser.c (cp_parser_userdef_char_literal)
514 (cp_parser_userdef_numeric_literal)
515 (cp_parser_userdef_string_literal)
516 (cp_parser_perform_range_for_lookup)
517 (cp_parser_range_for_member_function, cp_parser_omp_for_loop)
518 (cp_parser_omp_for_loop_init): Likewise.
519 * pt.c (tsubst_copy_and_build, do_class_deduction): Likewise.
520 * semantics.c (calculate_direct_bases, calculate_bases)
521 (finish_omp_barrier, finish_omp_flush, finish_omp_taskwait)
522 (finish_omp_taskyield, finish_omp_cancel)
523 (finish_omp_cancellation_point): Likewise.
524 * tree.c (build_vec_init_elt, strip_typedefs, strip_typedefs_expr)
525 (build_min_non_dep_op_overload): Likewise.
526 * typeck.c (build_function_call_vec, cp_build_function_call_nary)
527 (cp_build_modify_expr): Likewise.
528 * typeck2.c (build_functional_cast): Likewise.
529
cfaf3078 5302019-05-11 Paolo Carlini <paolo.carlini@oracle.com>
531
532 * typeck.c (cp_build_function_call_vec): When mark_used fails
533 unconditionally return error_mark_node.
534
2e846304 5352019-05-10 Paolo Carlini <paolo.carlini@oracle.com>
536
537 * decl.c (grokvardecl): Use an accurate location in error message
538 about main as a global variable.
539
412b8947 5402019-05-10 Paolo Carlini <paolo.carlini@oracle.com>
541
542 * call.c (build_call_a): Use FUNC_OR_METHOD_TYPE_P.
543 * cp-gimplify.c (cp_fold): Likewise.
544 * cp-objcp-common.c (cp_type_dwarf_attribute): Likewise.
545 * cp-tree.h (TYPE_OBJ_P, TYPE_PTROBV_P): Likewise.
546 * cvt.c (perform_qualification_conversions): Likewise.
547 * decl.c (grokdeclarator): Likewise.
548 * decl2.c (build_memfn_type): Likewise.
549 * mangle.c (canonicalize_for_substitution, write_type): Likewise.
550 * parser.c (cp_parser_omp_declare_reduction): Likewise.
551 * pt.c (check_explicit_specialization, uses_deducible_template_parms,
552 check_cv_quals_for_unify, dependent_type_p_r): Likewise.
553 * rtti.c (ptr_initializer): Likewise.
554 * semantics.c (finish_asm_stmt, finish_offsetof,
555 cp_check_omp_declare_reduction): Likewise.
556 * tree.c (cp_build_qualified_type_real,
557 cp_build_type_attribute_variant, cxx_type_hash_eq,
558 cxx_copy_lang_qualifiers, cp_free_lang_data): Likewise.
559 * typeck.c (structural_comptypes, convert_arguments,
560 cp_build_addr_expr_1, unary_complex_lvalue, cp_build_c_cast,
561 cp_build_modify_expr, comp_ptr_ttypes_real, type_memfn_rqual):
562 Likewise.
563
ed4614ba 5642019-05-10 Marek Polacek <polacek@redhat.com>
565
566 PR c++/78010 - bogus -Wsuggest-override warning on final function.
567 * class.c (check_for_override): Don't warn for final functions.
568
a71e5d81 5692019-05-10 Jakub Jelinek <jakub@redhat.com>
570
571 PR pch/90326
572 * config-lang.in (gtfiles): Remove c-family/c-lex.c, add
573 c-family/c-cppbuiltin.c.
574
456e9a34 5752019-05-09 Paolo Carlini <paolo.carlini@oracle.com>
576
577 PR c++/90382
578 Revert:
579 2018-04-26 Paolo Carlini <paolo.carlini@oracle.com>
580
581 * decl.c (grokdeclarator): Fix value assigned to typespec_loc, use
582 min_location.
583
c40a8e3a 5842019-05-08 Nathan Sidwell <nathan@acm.org>
585
586 Kill DECL_SAVED_FUNCTION_DATA .
587 * cp-tree.h (language_function): Remove x_auto_return_pattern.
588 (current_function_auto_return_pattern): Delete.
589 (lang_decl_fn): Replace saved_language_function with
590 saved_auto_return type.
591 (DECL_SAVED_FUNCTION_DATA): Delete.
592 (DECL_SAVED_AUTO_RETURN_TYPE): New.
593 (FNDECL_USED_AUTO): Correct documentation.
594 * decl.c (duplicate_decls): Adjust AUTO return handling.
595 (start_preparsed_function): Replace
596 current_function_auto_return_pattern with
597 DECL_SAVED_AUTO_RETURN_TYPE. Remove DECL_SAVED_FUNCTION_DATA
598 zapping.
599 (finish_function): Likewise.
600 (save_function_data): Delete.
601 (fndecl_declared_return_type): Reimplement.
602 * mangle.c (write_unqualified_name): Use DECL_SAVED_AUTO_RETURN_TYPE.
603 * method.c (make_thunk, make_alias_for): Likewise.
604 * parser.c (cp_parser_jump_statement): Likewise.
605 * pt.c (do_auto_deduction): Likewise.
606 * typeck.c (check_return_expr): Likewise.
607
aa52801b 6082019-05-06 Jason Merrill <jason@redhat.com>
609
610 PR c++/90171 - reorganize usual_deallocation_fn_p
611 * call.c (struct dealloc_info): New.
612 (usual_deallocation_fn_p): Take a dealloc_info*.
613 (aligned_deallocation_fn_p, sized_deallocation_fn_p): Remove.
614 (build_op_delete_call): Adjust.
615
a4057c52 6162019-05-07 Jason Merrill <jason@redhat.com>
617
c3d2add3 618 PR c++/86485 - -Wmaybe-unused with empty class ?:
619 * typeck.c (build_static_cast_1): Use cp_build_addr_expr.
620
a4057c52 621 * pt.c (type_dependent_expression_p): A non-type template parm with
622 a placeholder type is type-dependent.
623
ab2491de 6242019-05-06 Marek Polacek <polacek@redhat.com>
625
626 PR c++/90265 - ICE with generic lambda.
627 * pt.c (tsubst_copy_and_build): Use a dedicated variable for the last
628 element in the vector.
629
9a78b979 6302019-05-03 Martin Liska <mliska@suse.cz>
631
632 * call.c (build_aggr_conv): Use is_empty instead of
633 elements () == 0 (and similar usages).
634 * parser.c (cp_parser_lambda_introducer): Likewise.
635
dbab1434 6362019-05-02 Nathan Sidwell <nathan@acm.org>
637
638 * semantics.c (finish_id_expression_1): Remove unreachable code.
639
f906b0e8 6402019-05-01 Nathan Sidwell <nathan@acm.org>
641
642 * name-lookup.h (get_class_binding_direct): Change final arg to
643 bool.
644 (get_class_binding): Likewise.
645 * name-lookup.c (get_class_binding_direct): Replace TYPE_OR_FNS
646 arg with WANT_TYPE bool. Simplify.
647 (get_class_binding): Adjust final arg.
648 * decl.c (reshape_init_class): Adjust get_class_binding calls.
649
8d595bfa 6502019-04-30 Nathan Sidwell <nathan@acm.org>
651
652 * cp-objcp-common.c (cp_common_init_ts): Use MARK_TS_EXP for _EXPR
653 nodes. Call c_common_init_ts.
654
ad9db543 6552019-04-29 Nathan Sidwell <nathan@acm.org>
656
657 * decl.c (duplicate_decls): Add whitespace, move comments into
658 conditional blocks.
659 * method.c (explain_implicit_non_constexpr): Refactor.
660 * pt.c (check_explicit_specialization): Fix indentation.
661 * semantics.c (process_outer_var_ref): Reformat.
662 (finish_id_expression_1): Use STRIP_TEMPLATE.
663
5f52a13d 6642019-04-26 Jonathan Wakely <jwakely@redhat.com>
665
666 PR c++/90243 - orphaned note in uninstantiated constexpr function
667 * decl.c (check_for_uninitialized_const_var): Suppress notes if no
668 error was shown.
669
19613a9b 6702019-04-26 Paolo Carlini <paolo.carlini@oracle.com>
671
672 PR c++/90173
673 * decl.c (grokdeclarator): Set type to error_mark_node
674 upon error about template placeholder type non followed
675 by a simple declarator-id.
676
6772019-04-26 Paolo Carlini <paolo.carlini@oracle.com>
2ed13d1a 678
679 * decl.c (grokdeclarator): Fix value assigned to typespec_loc, use
680 min_location.
681
c7bf17cd 6822019-04-24 Jason Merrill <jason@redhat.com>
683
684 PR c++/90227 - error with template parameter packs.
685 * pt.c (coerce_template_parms): Do add empty pack when
686 require_all_args.
687
7b7f6a07 6882019-04-24 Richard Biener <rguenther@suse.de>
689
690 * call.c (null_ptr_cst_p): Order checks according to expensiveness.
691 (conversion_null_warnings): Likewise.
692 * typeck.c (same_type_ignoring_top_level_qualifiers_p): Return
693 early if type1 == type2.
694
80068851 6952019-04-22 Jason Merrill <jason@redhat.com>
696
697 PR c++/87366 - wrong error with alias template.
698 * typeck.c (structural_comptypes): When comparing_specializations,
699 aliases are unequal.
700 (comptypes): When comparing_specializations, do structural
701 comparison.
702
0b496006 7032019-04-19 Jason Merrill <jason@redhat.com>
704
ffa547ef 705 PR c++/90190 - CTAD with list-constructor.
706 * pt.c (do_class_deduction): Don't try the single element deduction
707 if the single element is also a braced list.
708
0b496006 709 PR c++/90171 - ICE with destroying delete with size_t parm.
710 * call.c (sized_deallocation_fn_p): New. Use it instead of
711 second_parm_is_size_t in most cases.
712 (second_parm_is_size_t): Don't check for aligned.
713
1e9afbb0 7142019-04-19 Paolo Carlini <paolo.carlini@oracle.com>
715
716 PR c++/89900
717 * pt.c (fn_type_unification): When handling null explicit
718 arguments do not special case non-parameter packs.
719
b7c7bc83 7202019-04-19 Jakub Jelinek <jakub@redhat.com>
721
dc097d0a 722 PR c++/90138
723 * pt.c (process_template_parm): Set decl to pushdecl result. If
724 !is_non_type, also set parm to that.
725
45cf699c 726 PR c/89888
727 * decl.c (struct cp_switch): Remove outside_range_p member.
728 (push_switch): Don't clear it.
729 (pop_switch): Adjust c_do_switch_warnings caller.
730 (finish_case_label): Adjust c_add_case_label caller.
731
b7c7bc83 732 PR c++/90108
733 * decl.c (duplicate_decls): If remove is main variant and
734 DECL_ORIGINAL_TYPE is some other type, remove a DECL_ORIGINAL_TYPE
735 variant that has newdecl as TYPE_NAME if any.
736
849a7926 7372019-04-18 Jason Merrill <jason@redhat.com>
738
739 PR c++/87554 - ICE with extern template and reference member.
740 * decl.c (cp_finish_decl): Don't set DECL_INITIAL of external vars.
741
a9b768f8 7422019-04-17 Jason Merrill <jason@redhat.com>
743
744 PR c++/90047 - ICE with enable_if alias template.
745 * pt.c (tsubst_decl) [TYPE_DECL]: Don't put an erroneous decl in the
746 hash table when we're in SFINAE context.
747
f1d497bc 7482019-04-17 Marek Polacek <polacek@redhat.com>
749
750 PR c++/90124 - bogus error with incomplete type in decltype.
751 * typeck.c (build_class_member_access_expr): Check
752 cp_unevaluated_operand.
753
81e61a19 7542019-04-12 Jakub Jelinek <jakub@redhat.com>
755
756 PR c/89933
757 * decl.c (duplicate_decls): When newdecl's type is its main variant,
758 don't try to remove it from the variant list, but instead assert
759 it has no variants.
760
e7136105 7612019-04-12 Martin Sebor <msebor@redhat.com>
762
763 PR c/88383
764 PR c/89288
765 * parser.c (cp_parser_has_attribute_expression): Handle assignment
766 expressions.
767
b7a39acf 7682019-04-12 Jason Merrill <jason@redhat.com>
769
770 * call.c (null_member_pointer_value_p): Handle an empty CONSTRUCTOR
771 of PMF type.
772
1fdc37a3 7732019-04-12 Marek Polacek <polacek@redhat.com>
774
775 * except.c (build_noexcept_spec): Use build_converted_constant_bool_expr
776 instead of perform_implicit_conversion_flags.
777
01e345e0 778 PR c++/87603 - constexpr functions are no longer noexcept.
779 * constexpr.c (is_sub_constant_expr): Remove unused function.
780 * cp-tree.h (is_sub_constant_expr): Remove declaration.
781 * except.c (check_noexcept_r): Don't consider a call to a constexpr
782 function noexcept.
783
f0121163 7842019-04-11 Jakub Jelinek <jakub@redhat.com>
785
786 PR translation/90035
787 * parser.h (struct cp_parser): Add
788 type_definition_forbidden_message_arg member.
789 * parser.c (cp_debug_parser): Print it.
790 (cp_parser_check_type_definition): Pass
791 parser->type_definition_forbidden_message_arg as second argument to
792 error.
793 (cp_parser_has_attribute_expression, cp_parser_sizeof_operand): Set
794 parser->type_definition_forbidden_message_arg and use G_() with
795 %qs for parser->type_definition_forbidden_message instead of
796 building untranslatable message using concat.
797
a9c7b78d 7982019-04-09 Jakub Jelinek <jakub@redhat.com>
799
800 PR translation/90011
801 * typeck2.c (check_narrowing): Remove trailing space from diagnostics.
802
67ecd3ae 8032019-04-08 Marek Polacek <polacek@redhat.com>
804
805 * typeck2.c (digest_init_r): Don't condition the object slicing warning
806 on flag_checking.
807
7651759b 8082019-04-08 Paolo Carlini <paolo.carlini@oracle.com>
809
810 PR c++/89914
811 * semantics.c (trait_expr_value): Don't use TYPE_NOTHROW_P
812 when maybe_instantiate_noexcept fails.
813 (classtype_has_nothrow_assign_or_copy_p): Likewise.
814 * method.c (implicitly_declare_fn): Avoid passing error_mark_node
815 to build_exception_variant.
816
168afa9b 8172019-04-05 Marek Polacek <polacek@redhat.com>
818
819 PR c++/87145 - bogus error converting class type in template arg list.
820 * pt.c (convert_nontype_argument): Don't call
821 build_converted_constant_expr if it could involve calling a conversion
822 function with a instantiation-dependent constructor as its argument.
823
49666f40 8242019-04-05 Martin Sebor <msebor@redhat.com>
825
826 PR bootstrap/89980
827 * decl.c (reshape_init_array_1): Avoid treating empty strings
828 as zeros in array initializers.
829 Use trivial_type_p () instead of TYPE_HAS_TRIVIAL_DFLT().
830
071a07da 8312019-04-04 Jason Merrill <jason@redhat.com>
832
833 PR c++/89948 - ICE with break in statement-expr.
834 * constexpr.c (cxx_eval_statement_list): Jumping out of a
835 statement-expr is non-constant.
836
1a08779b 8372019-04-04 Jason Merrill <jason@redhat.com>
838
839 PR c++/89966 - error with non-type auto tparm.
840 * pt.c (do_auto_deduction): Clear tf_partial.
841
80d04049 8422019-04-04 Jason Merrill <jason@redhat.com>
843
844 PR c++/86986 - ICE with TTP with parameter pack.
845 * pt.c (coerce_template_parameter_pack): Only look at the type of a
846 non-type parameter pack.
847 (fixed_parameter_pack_p_1): Don't recurse into the type of a
848 non-type parameter pack.
849 (coerce_template_template_parms): Call add_outermost_template_args.
850
b11751dc 8512019-04-04 Martin Sebor <msebor@redhat.com>
852
853 PR c++/89974
854 PR c++/89878
855 PR c++/89833
856 PR c++/47488
857 * decl.c (reshape_init_array_1): Strip trailing zero-initializers
858 from arrays of trivial type and known size.
859 * mangle.c (write_expression): Convert braced initializer lists
860 to STRING_CSTs.
861 (write_expression): Trim trailing zero-initializers from arrays
862 of trivial type.
863 (write_template_arg_literal): Mangle strings the same as braced
864 initializer lists.
865
589c66eb 8662019-04-03 Jason Merrill <jason@redhat.com>
867
b1d61c0e 868 PR c++/81866 - ICE with member template and default targ.
869 * pt.c (tsubst_template_decl): Handle getting a type from
870 retrieve_specialization.
871
b3902d2e 872 PR c++/86586 - -fcompare-debug=-Wsign-compare.
873 * typeck.c (cp_build_binary_op): Don't fold for -Wsign-compare.
874
4c246688 875 PR c++/89331 - ICE with offsetof in incomplete class.
876 * semantics.c (finish_offsetof): Handle error_mark_node.
877 * typeck.c (build_class_member_access_expr): Call
878 complete_type_or_maybe_complain before converting to base.
879
589c66eb 880 PR c++/89917 - ICE with lambda in variadic mem-init.
881 * pt.c (make_pack_expansion): Change type_pack_expansion_p to false.
882
0ccdb705 8832019-04-01 Jason Merrill <jason@redhat.com>
884
885 PR c++/86946 - ICE with function call in template argument.
886 DR 1321
887 * pt.c (iterative_hash_template_arg) [CALL_EXPR]: Use
888 dependent_name.
889
00bc562a 8902019-04-01 Paolo Carlini <paolo.carlini@oracle.com>
891
892 PR c++/62207
893 * pt.c (tsubst_copy): Deal with lookup_name not returing a variable.
894
cf13db0c 8952019-03-31 Marek Polacek <polacek@redhat.com>
896
897 PR c++/89852 - ICE with C++11 functional cast with { }.
898 * constexpr.c (fold_non_dependent_expr_template): New static function
899 broken out of...
900 (fold_non_dependent_expr): ...here.
901 (fold_non_dependent_init): New function.
902 * cp-tree.h (fold_non_dependent_init): Declare.
903 * typeck2.c (massage_init_elt): Call fold_non_dependent_init instead
904 of fold_non_dependent_expr. Don't call maybe_constant_init.
905
439021c1 9062019-03-30 Jason Merrill <jason@redhat.com>
907
908 PR c++/89744 - ICE with specialization of member class template.
909 * pt.c (lookup_template_class_1): If the partial instantiation is
910 explicitly specialized, adjust.
911 (maybe_process_partial_specialization): Also adjust
912 CLASSTYPE_TI_ARGS.
913
9a6cce24 9142019-03-29 Jakub Jelinek <jakub@redhat.com>
915
916 PR sanitizer/89869
917 * typeck.c: Include gimplify.h.
918 (cp_build_modify_expr) <case COND_EXPR>: Unshare rhs before using it
919 for second time. Formatting fixes.
920
8e98407e 9212019-03-29 Marek Polacek <polacek@redhat.com>
922
923 PR c++/89876 - ICE with deprecated conversion.
924 * call.c (convert_like_real): Only give warnings with tf_warning.
925
fcec39e1 9262019-03-28 Marek Polacek <polacek@redhat.com>
927
facf139f 928 PR c++/89612 - ICE with member friend template with noexcept.
929 * pt.c (maybe_instantiate_noexcept): For function templates, use their
930 template result (function decl). Don't set up local specializations.
931 Temporarily turn on processing_template_decl. Update the template type
932 too.
933
fcec39e1 934 PR c++/89836 - bool constant expression and explicit conversions.
935 * call.c (build_converted_constant_expr_internal): New function,
936 renamed from...
937 (build_converted_constant_expr): ...this. New.
938 (build_converted_constant_bool_expr): New.
939 * cp-tree.h (build_converted_constant_bool_expr): Declare.
940 * decl.c (build_explicit_specifier): Call
941 build_converted_constant_bool_expr.
942
ad6978a6 9432019-03-28 Jakub Jelinek <jakub@redhat.com>
944
945 PR c++/89785
946 * constexpr.c (struct check_for_return_continue_data): New type.
947 (check_for_return_continue): New function.
948 (potential_constant_expression_1) <case SWITCH_STMT>: Walk
949 SWITCH_STMT_BODY to find RETURN_EXPRs or CONTINUE_STMTs not nested
950 in loop bodies and set *jump_target to that if found.
951
64e9a5e0 9522019-03-27 Jason Merrill <jason@redhat.com>
953
7fe010eb 954 PR c++/89831 - error with qualified-id in const member function.
955 * semantics.c (finish_non_static_data_member): Use object cv-quals
956 in scoped case, too.
957
8d96c4f0 958 PR c++/89421 - ICE with lambda in template parameter list.
64e9a5e0 959 * parser.c (cp_parser_lambda_expression): Also reject a lambda in a
960 template parameter list before C++20.
961 * pt.c (type_dependent_expression_p): True for LAMBDA_EXPR.
962 * semantics.c (begin_class_definition): Restore error about defining
963 non-lambda class in template parm list.
964
460e6a8c 9652019-03-26 Jason Merrill <jason@redhat.com>
966
a6cd883f 967 PR c++/86932 - missed SFINAE with empty pack.
968 * pt.c (coerce_template_parms): Don't add an empty pack if
969 tf_partial.
970 (fn_type_unification): Pass tf_partial to coerce_template_parms.
971
460e6a8c 972 PR c++/86429 - constexpr variable in lambda.
973 PR c++/82643
974 PR c++/87327
975 * constexpr.c (cxx_eval_constant_expression): In a lambda function,
976 try evaluating the captured variable directly.
977
024a645d 9782019-03-26 Jakub Jelinek <jakub@redhat.com>
979
980 PR c++/89796
981 * semantics.c (finish_omp_atomic): Add warning_sentinel for
982 -Wunused-value around finish_expr_stmt call.
983
ac557922 9842019-03-25 Paolo Carlini <paolo.carlini@oracle.com>
985
986 PR c++/84661
987 PR c++/85013
988 * parser.c (cp_parser_binary_expression): Don't call cp_fully_fold
989 to undo the disabling of warnings.
990
93877af7 9912019-03-25 Jason Merrill <jason@redhat.com>
992
993 PR c++/87748 - substitution failure error with decltype.
994 * pt.c (most_specialized_partial_spec): Clear
995 processing_template_decl.
996
1de8eb3e 9972019-03-25 Marek Polacek <polacek@redhat.com>
998
751baf9c 999 PR c++/89214 - ICE when initializing aggregates with bases.
1000 * typeck2.c (digest_init_r): Warn about object slicing instead of
1001 crashing.
1002
1de8eb3e 1003 PR c++/89705 - ICE with reference binding with conversion function.
1004 * call.c (reference_binding): If the result of the conversion function
1005 is a prvalue of non-class type, use the cv-unqualified type.
1006
37682124 10072019-03-25 Nathan Sidwell <nathan@acm.org>
1008
1009 * lambda.c (maybe_add_lambda_conv_op): Don't add to comdat group.
1010
84f13b2f 10112019-03-22 Jakub Jelinek <jakub@redhat.com>
1012
8815602b 1013 PR c++/60702
1014 * cp-tree.h (get_tls_wrapper_fn): Remove declaration.
1015 (maybe_get_tls_wrapper_call): Declare.
1016 * decl2.c (get_tls_wrapper_fn): Make static.
1017 (maybe_get_tls_wrapper_call): New function.
1018 * typeck.c (build_class_member_access_expr): Handle accesses to TLS
1019 variables.
1020 * semantics.c (finish_qualified_id_expr): Likewise.
1021 (finish_id_expression_1): Use maybe_get_tls_wrapper_call.
1022 * pt.c (tsubst_copy_and_build): Likewise.
1023
84f13b2f 1024 PR c++/87481
1025 * constexpr.c (struct constexpr_ctx): Add constexpr_ops_count member.
1026 (cxx_eval_constant_expression): When not skipping, not constant class
1027 or location wrapper, increment *ctx->constexpr_ops_count and if it is
1028 above constexpr_loop_nest_limit, diagnose failure.
1029 (cxx_eval_outermost_constant_expr): Add constexpr_ops_count and
1030 initialize ctx.constexpr_ops_count to its address.
1031 (is_sub_constant_expr): Likewise.
1032
654b4632 10332019-03-21 Jakub Jelinek <jakub@redhat.com>
1034
f03d9a13 1035 PR c++/71446
1036 * call.c (filed_in_pset): Change pset from hash_set<tree> * to
1037 hash_set<tree, true> &, adjust uses accordingly.
1038 (build_aggr_conv): Change pset from hash_set<tree> *
1039 to hash_set<tree, true>. Replace goto fail; with return NULL;,
1040 adjust pset uses.
1041
654b4632 1042 PR c++/89767
1043 * parser.c (cp_parser_lambda_introducer): Add ids and first_capture_id
1044 variables, check for duplicates in this function.
1045 * lambda.c (add_capture): Don't check for duplicates nor use
1046 IDENTIFIER_MARKED.
1047 (register_capture_members): Don't clear IDENTIFIER_MARKED here.
1048
e6c0a0e8 10492019-03-21 Paolo Carlini <paolo.carlini@oracle.com>
1050
1051 PR c++/89571
1052 * method.c (after_nsdmi_defaulted_late_checks): Avoid passing
1053 error_mark_node to comp_except_specs.
1054
0f86e901 10552019-03-20 Jason Merrill <jason@redhat.com>
1056
1057 PR c++/87480 - decltype of member access in default template arg
1058 * pt.c (type_unification_real): Accept a dependent result in
1059 template context.
1060
dc0cf270 10612019-03-19 Martin Sebor <msebor@redhat.com>
1062
1063 PR tree-optimization/89688
1064 * typeck2.c (store_init_value): Call braced_lists_to_string for more
1065 kinds of initializers.
1066
640c769f 10672019-03-18 Jason Merrill <jason@redhat.com>
1068
56c3aeaa 1069 PR c++/89630 - ICE with dependent using-decl as template arg.
1070 * tree.c (cp_tree_equal): Always return false for USING_DECL.
1071
c821b0ef 1072 PR c++/89761 - ICE with sizeof... in pack expansion.
1073 * pt.c (argument_pack_element_is_expansion_p): Handle
1074 ARGUMENT_PACK_SELECT.
1075
4273f124 1076 PR c++/89640 - GNU attributes on lambda.
1077 * parser.c (cp_parser_lambda_declarator_opt): Allow GNU attributes.
1078
640c769f 1079 PR c++/89682 - wrong access error in default argument.
1080 * pt.c (tsubst_default_argument): Don't defer access checks.
1081
24c67877 10822019-03-18 Paolo Carlini <paolo.carlini@oracle.com>
1083
1084 PR c++/85014
1085 * semantics.c (finish_non_static_data_member): Check return value
1086 of context_for_name_lookup and immediately return error_mark_node
1087 if isn't a type.
1088
ce139b21 10892019-03-17 Jason Merrill <jason@redhat.com>
1090
1091 PR c++/89571 - ICE with ill-formed noexcept on constructor.
1092 * pt.c (maybe_instantiate_noexcept): Only return false if defaulted.
1093 (regenerate_decl_from_template): Use it for noexcept-specs.
1094
773c8785 10952019-03-14 Jason Merrill <jason@redhat.com>
1096
1097 * parser.c (cp_parser_decl_specifier_seq): Support C++20
1098 concept-definition syntax without 'bool'.
1099
d0782a7e 11002019-03-14 Jakub Jelinek <jakub@redhat.com>
1101
c17b0b28 1102 PR c++/89512
1103 * semantics.c (finish_qualified_id_expr): Reject variable templates.
1104
d0782a7e 1105 PR c++/89652
1106 * constexpr.c (struct constexpr_ctx): Change save_exprs type from
1107 hash_set<tree> to vec<tree>.
1108 (cxx_eval_call_expression): Adjust for save_exprs being a vec instead
1109 of hash_set.
1110 (cxx_eval_loop_expr): Likewise. Truncate the vector after each
1111 removal of SAVE_EXPRs from values.
1112 (cxx_eval_constant_expression) <case SAVE_EXPR>: Call safe_push
1113 method on save_exprs instead of add.
1114
d28a979f 11152019-03-13 Jason Merrill <jason@redhat.com>
1116
1117 PR c++/86521 - C++17 copy elision in initialization by constructor.
1118 * call.c (joust_maybe_elide_copy): New.
1119 (joust): Call it.
1120
e214ee76 11212019-03-13 Marek Polacek <polacek@redhat.com>
1122
1123 PR c++/88979 - further P0634 fix for constructors.
1124 * parser.c (cp_parser_decl_specifier_seq): Pass flags to
1125 cp_parser_constructor_declarator_p.
1126 (cp_parser_direct_declarator): Allow missing typename for constructor
1127 parameters.
1128 (cp_parser_constructor_declarator_p): Add FLAGS parameter. Pass it to
1129 cp_parser_type_specifier.
1130
3c78ad42 1131 PR c++/89686 - mixing init-capture and simple-capture in lambda.
1132 * parser.c (cp_parser_lambda_introducer): Give error when combining
1133 init-capture and simple-capture.
1134
8b953246 1135 PR c++/89660 - bogus error with -Wredundant-move.
1136 * typeck.c (maybe_warn_pessimizing_move): Only accept (T &) &arg
1137 as the std::move's argument. Don't call convert_for_initialization
1138 when warn_redundant_move isn't on.
1139
4ca87658 11402019-03-11 Jason Merrill <jason@redhat.com>
1141
1142 PR c++/86521 - wrong overload resolution with ref-qualifiers.
1143 * call.c (build_user_type_conversion_1): Don't use a conversion to a
1144 reference of the wrong rvalueness for direct binding.
1145
f2a60d44 11462019-03-11 Martin Liska <mliska@suse.cz>
1147
1148 * cvt.c (build_expr_type_conversion): Wrap apostrophes
1149 in gcc internal format with %'.
1150 * decl.c (check_no_redeclaration_friend_default_args): Likewise.
1151 (grokfndecl): Likewise.
1152 * name-lookup.c (do_pushtag): Likewise.
1153 * pt.c (unify_parameter_deduction_failure): Likewise.
1154 (unify_template_deduction_failure): Likewise.
1155
2f6d557f 11562019-03-11 Martin Liska <mliska@suse.cz>
1157
1158 * call.c (convert_arg_to_ellipsis): Wrap an option name
1159 in a string format message and fix GNU coding style.
1160 (build_over_call): Likewise.
1161 * class.c (check_field_decl): Likewise.
1162 (layout_nonempty_base_or_field): Likewise.
1163 * constexpr.c (cxx_eval_loop_expr): Likewise.
1164 * cvt.c (type_promotes_to): Likewise.
1165 * decl.c (cxx_init_decl_processing): Likewise.
1166 (mark_inline_variable): Likewise.
1167 (grokdeclarator): Likewise.
1168 * decl2.c (record_mangling): Likewise.
1169 * error.c (maybe_warn_cpp0x): Likewise.
1170 * except.c (doing_eh): Likewise.
1171 * mangle.c (maybe_check_abi_tags): Likewise.
1172 * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
1173 (cp_parser_userdef_numeric_literal): Likewise.
1174 (cp_parser_primary_expression): Likewise.
1175 (cp_parser_unqualified_id): Likewise.
1176 (cp_parser_pseudo_destructor_name): Likewise.
1177 (cp_parser_builtin_offsetof): Likewise.
1178 (cp_parser_lambda_expression): Likewise.
1179 (cp_parser_lambda_introducer): Likewise.
1180 (cp_parser_lambda_declarator_opt): Likewise.
1181 (cp_parser_selection_statement): Likewise.
1182 (cp_parser_init_statement): Likewise.
1183 (cp_parser_decomposition_declaration): Likewise.
1184 (cp_parser_function_specifier_opt): Likewise.
1185 (cp_parser_static_assert): Likewise.
1186 (cp_parser_simple_type_specifier): Likewise.
1187 (cp_parser_namespace_definition): Likewise.
1188 (cp_parser_using_declaration): Likewise.
1189 (cp_parser_ctor_initializer_opt_and_function_body): Likewise.
1190 (cp_parser_initializer_list): Likewise.
1191 (cp_parser_type_parameter_key): Likewise.
1192 (cp_parser_member_declaration): Likewise.
1193 (cp_parser_try_block): Likewise.
1194 (cp_parser_std_attribute_spec): Likewise.
1195 (cp_parser_requires_clause_opt): Likewise.
1196 * pt.c (check_template_variable): Likewise.
1197 (check_default_tmpl_args): Likewise.
1198 (push_tinst_level_loc): Likewise.
1199 (instantiate_pending_templates): Likewise.
1200 (invalid_nontype_parm_type_p): Likewise.
1201 * repo.c (get_base_filename): Likewise.
1202 * rtti.c (typeid_ok_p): Likewise.
1203 (build_dynamic_cast_1): Likewise.
1204 * tree.c (maybe_warn_parm_abi): Likewise.
1205
29005d9c 12062019-03-08 Jakub Jelinek <jakub@redhat.com>
1207
000969f9 1208 PR other/80058
1209 * parser.c (cp_parser_template_declaration_after_parameters): Avoid
1210 one space before " at the end of line and another after " on another
1211 line in a string literal.
1212
94a62c5a 1213 PR tree-optimization/89550
1214 * semantics.c (maybe_convert_cond): Only set TREE_NO_WARNING if
1215 warning_at returned true.
1216 * decl2.c (c_parse_final_cleanups): Likewise.
1217 * typeck.c (convert_for_assignment): Likewise.
1218 * decl.c (finish_function): Likewise.
1219
222c113b 1220 PR c++/89585
1221 * parser.c (cp_parser_asm_definition): Just warn instead of error
1222 on volatile qualifier outside of function body.
1223
92651efb 1224 PR c++/89599
1225 * constexpr.c (potential_constant_expression_1): Reject
1226 REINTERPRET_CAST_P NOP_EXPRs.
1227
29005d9c 1228 PR c++/89622
1229 * call.c (joust): Call print_z_candidate only if pedwarn returned
1230 true.
1231
bddb19c4 12322019-03-07 Jason Merrill <jason@redhat.com>
1233
84982f0e 1234 PR c++/88123 - lambda and using-directive.
1235 * name-lookup.c (op_unqualified_lookup)
1236 (maybe_save_operator_binding, discard_operator_bindings)
1237 (push_operator_bindings): New.
1238 * typeck.c (build_x_binary_op, build_x_unary_op): Call
1239 maybe_save_operator_binding.
1240 * decl.c (start_preparsed_function): Call push_operator_bindings.
1241 * tree.c (cp_free_lang_data): Call discard_operator_bindings.
1242
bddb19c4 1243 PR c++/88820 - ICE with CTAD and member template used in DMI.
1244 * pt.c (do_class_deduction): Handle parm used as its own arg.
1245
02a7fc59 12462019-03-07 Jakub Jelinek <jakub@redhat.com>
1247
1248 PR c++/89585
1249 * parser.c (cp_parser_asm_definition): Parse asm qualifiers even
1250 at toplevel, but diagnose them.
1251
bc17f5fd 12522019-03-06 Jason Merrill <jason@redhat.com>
1253
1254 PR c++/89381 - implicit copy and using-declaration.
1255 * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider
1256 op= brought in by a using-declaration.
1257
aa49bda0 12582019-03-06 Jakub Jelinek <jakub@redhat.com>
1259
1260 PR c++/87148
1261 * init.c (build_value_init_noctor): Ignore flexible array members.
1262
02daf5d2 12632019-03-06 Jason Merrill <jason@redhat.com>
1264
1265 PR c++/89576 - if constexpr of lambda capture.
1266 * semantics.c (maybe_convert_cond): Do convert a non-dependent
1267 condition in a template.
1268 * typeck.c (condition_conversion): Handle being called in a
1269 template.
1270
55d0cc00 12712019-03-06 Marek Polacek <polacek@redhat.com>
1272
1273 PR c++/87378 - bogus -Wredundant-move warning.
1274 * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue
1275 overload resolution would actually succeed.
1276
cd5a9ed1 12772019-03-05 Jason Merrill <jason@redhat.com>
1278
1279 * class.c (is_really_empty_class): Add ignore_vptr parm.
1280 (trivial_default_constructor_is_constexpr): Pass it.
1281 * call.c (build_over_call): Pass it.
1282 * constexpr.c (cxx_eval_constant_expression): Pass it instead of
1283 checking TYPE_POLYMORPHIC_P.
1284 (cxx_eval_component_reference, potential_constant_expression_1):
1285 Pass it.
1286 * cp-gimplify.c (simple_empty_class_p): Pass it.
1287 * init.c (expand_aggr_init_1): Pass it.
1288
1751c288 12892019-03-04 Paolo Carlini <paolo.carlini@oracle.com>
1290
1291 PR c++/84605
1292 * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too.
1293
10599713 12942019-03-04 Jakub Jelinek <jakub@redhat.com>
1295
1296 PR c++/71446
1297 * call.c (field_in_pset): New function.
1298 (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly.
1299
73e3d2ee 13002019-03-02 Jakub Jelinek <jakub@redhat.com>
1301
1302 PR c++/71446
1303 * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define.
1304 * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list
1305 caller, set CONSTRUCTOR_IS_DESIGNATED_INIT.
1306 (cp_parser_initializer_list): Add designated parameter, set *designated
1307 to a bool whether any designators were parsed.
1308 * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if
1309 needed.
1310 * pt.c (tsubst_copy_and_build): Likewise.
1311 * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT,
1312 don't call build_list_conv, nor build_complex_conv, nor attempt to
1313 convert a single element initializer to scalar.
1314
f409a882 13152019-03-01 Marek Polacek <polacek@redhat.com>
1316
ae8e3cb6 1317 PR c++/89537 - missing location for error with non-static member fn.
1318 * call.c (resolve_args): Use EXPR_LOCATION.
1319 * typeck.c (build_class_member_access_expr): Use input_location.
1320
f409a882 1321 PR c++/89532 - ICE with incomplete type in decltype.
1322 * semantics.c (finish_compound_literal): Return error_mark_node
1323 if digest_init_flags returns error_mark_node.
1324
b279a142 13252019-03-01 Jakub Jelinek <jakub@redhat.com>
1326
1327 Implement P1002R1, Try-catch blocks in constexpr functions
1328 PR c++/89513
1329 * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
1330 Diagnose constexpr ctor or function with function-try-block with
1331 pedwarn for c++17 and earlier. Formatting fix.
1332 (cp_parser_try_block): Use pedwarn instead of error and only for
1333 c++17 and earlier when try block appears in constexpr function.
1334 * constexpr.c (build_constexpr_constructor_member_initializers):
1335 Handle TRY_BLOCK here instead of erroring on it.
1336
c7110ca7 13372019-02-28 Jason Merrill <jason@redhat.com>
1338
bb019931 1339 PR c++/88183 - ICE with .* fold-expression.
1340 * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling.
1341
9b4cf3ba 1342 PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
1343 * class.c, lambda.c, pt.c: Revert earlier change.
1344 * lambda.c (add_capture): Don't special-case capture of dependent
1345 VLA.
1346
c7110ca7 1347 * name-lookup.c (print_binding_level): Print this_entity.
1348
90c2137c 13492019-02-27 Marek Polacek <polacek@redhat.com>
1350
1351 PR c++/88857 - ICE with value-initialization of argument in template.
1352 * call.c (convert_like_real): Don't call build_value_init in template.
1353
9ecd4044 13542019-02-27 Jason Merrill <jason@redhat.com>
1355
1356 PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
1357 * semantics.c (process_outer_var_ref): Do capture dependent vars.
1358 * class.c (finish_struct): Only add TAG_DEFN if T is in
1359 current_function_decl.
1360 * lambda.c (vla_capture_type): Force the capture type out into the
1361 lambda's enclosing function.
1362 (add_capture): Pass in the lambda.
1363 * pt.c (tsubst_lambda_expr): complete_type a VLA capture type.
1364
7304edd1 13652019-02-27 Marek Polacek <polacek@redhat.com>
1366
1367 PR c++/89511 - ICE with using-declaration and unscoped enumerator.
1368 * parser.c (cp_parser_using_declaration): For an unscoped enum
1369 only use its context if it's not a function declaration.
1370
c9f30cbb 13712019-02-27 Paolo Carlini <paolo.carlini@oracle.com>
1372
1373 PR c++/89488
1374 * method.c (process_subob_fn): When maybe_instantiate_noexcept
1375 returns false don't call merge_exception_specifiers.
1376
13772019-02-27 Paolo Carlini <paolo.carlini@oracle.com>
1378
1379 PR c++/88987
1380 * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE
1381 for a non-constant parsed expression.
1382
a165fd90 13832019-02-26 Jakub Jelinek <jakub@redhat.com>
1384
1385 PR c++/89481
1386 * constexpr.c (cxx_eval_store_expression): When changing active union
1387 member, set no_zero_init.
1388
c005651d 13892019-02-23 Marek Polacek <polacek@redhat.com>
1390
1391 PR c++/88294 - ICE with non-constant noexcept-specifier.
1392 * pt.c (maybe_instantiate_noexcept): Set up the list of local
1393 specializations. Set current_class_{ptr,ref}.
1394
689cc9b6 13952019-02-22 David Malcolm <dmalcolm@redhat.com>
1396
1397 PR c++/89390
1398 * parser.c (cp_parser_unqualified_id): Capture and use locations
1399 for destructors.
1400
e7652833 14012019-02-22 Marek Polacek <polacek@redhat.com>
1402
1403 PR c++/89420 - ICE with CAST_EXPR in explicit-specifier.
1404 * decl.c (build_explicit_specifier): Don't check
1405 processing_template_decl. Call instantiation_dependent_expression_p
1406 instead of value_dependent_expression_p. Call
1407 instantiate_non_dependent_expr_sfinae before
1408 build_converted_constant_expr instead of calling
1409 instantiate_non_dependent_expr after it. Add
1410 processing_template_decl_sentinel.
1411
51391c1d 14122019-02-22 Thomas Schwinge <thomas@codesourcery.com>
1413
1414 * parser.c (cp_parser_oacc_simple_clause): Remove parser formal
1415 parameter, move loc formal parameter to the front. Adjust all
1416 users.
1417 (cp_parser_oacc_shape_clause): Add loc formal parameter. Adjust
1418 all users.
1419
b6700c1a 14202019-02-21 Jason Merrill <jason@redhat.com>
1421
532cca3f 1422 PR c++/87685 - generic lambda 'this' capture error.
1423 * lambda.c (lambda_expr_this_capture): Change add_capture_p to int.
1424 (maybe_generic_this_capture): Pass -1.
1425
a7ea8f96 1426 PR c++/88394 - ICE with VLA init-capture.
1427 * lambda.c (is_normal_capture_proxy): Check DECL_CAPTURED_VARIABLE.
1428
e2d4b8be 1429 PR c++/88869 - C++17 ICE with CTAD and explicit specialization.
1430 * pt.c (do_class_deduction): Don't include explicit specialization
1431 args in outer_args.
1432
b6700c1a 1433 PR c++/89422 - ICE with -g and lambda in default arg in template.
1434 * pt.c (tsubst_function_decl): SET_DECL_FRIEND_CONTEXT sooner.
1435
147a31b6 14362019-02-21 Jason Merrill <jason@redhat.com>
1437
1438 PR c++/88419 - C++17 ICE with class template arg deduction.
1439 * pt.c (make_template_placeholder): Set TYPE_CANONICAL after
1440 CLASS_PLACEHOLDER_TEMPLATE.
1441
02d7a132 14422019-02-21 Jakub Jelinek <jakub@redhat.com>
1443
1444 PR c++/89285
1445 * constexpr.c (struct constexpr_fundef): Add parms and result members.
1446 (retrieve_constexpr_fundef): Adjust for the above change.
1447 (register_constexpr_fundef): Save constexpr body with copy_fn,
1448 temporarily set DECL_CONTEXT on DECL_RESULT before that.
1449 (get_fundef_copy): Change FUN argument to FUNDEF with
1450 constexpr_fundef * type, grab body and parms/result out of
1451 constexpr_fundef struct and temporarily change it for copy_fn calls
1452 too.
1453 (cxx_eval_builtin_function_call): For __builtin_FUNCTION temporarily
1454 adjust current_function_decl from ctx->call context. Test
1455 !potential_constant_expression instead of !is_constant_expression.
1456 (cxx_bind_parameters_in_call): Grab parameters from new_call. Undo
1457 convert_for_arg_passing changes for TREE_ADDRESSABLE type passing.
1458 (cxx_eval_call_expression): Adjust get_fundef_copy caller.
1459 (cxx_eval_conditional_expression): For IF_STMT, allow then or else
1460 operands to be NULL.
1461 (label_matches): Handle BREAK_STMT and CONTINUE_STMT.
1462 (cxx_eval_loop_expr): Add support for FOR_STMT, WHILE_STMT and DO_STMT.
1463 (cxx_eval_switch_expr): Add support for SWITCH_STMT.
1464 (cxx_eval_constant_expression): Handle IF_STMT, FOR_STMT, WHILE_STMT,
1465 DO_STMT, CONTINUE_STMT, SWITCH_STMT, BREAK_STMT and CONTINUE_STMT.
1466 For SIZEOF_EXPR, recurse on the result of fold_sizeof_expr. Ignore
1467 DECL_EXPR with USING_DECL operand.
1468 * lambda.c (maybe_add_lambda_conv_op): Build thisarg using
1469 build_int_cst to make it a valid constant expression.
1470
dcd8f919 14712019-02-20 Jason Merrill <jason@redhat.com>
1472
1473 PR c++/88690 - C++17 ICE with empty base in aggregate.
1474 * typeck2.c (process_init_constructor_record): Skip trivial
1475 initialization of an empty base.
1476
309e5f71 14772019-02-21 Richard Biener <rguenther@suse.de>
1478
1479 PR middle-end/89392
1480 * vtable-class-hierarchy.c (vtv_generate_init_routine): Do not
1481 make symtab process new functions here.
1482
4e60ed29 14832019-02-20 Jason Merrill <jason@redhat.com>
1484
1485 PR c++/87921 - wrong error with inline static data member.
1486 * decl2.c (finish_static_data_member_decl): Don't set DECL_IN_AGGR_P
1487 for a non-template inline variable. Do nothing for an
1488 already-instantiated variable.
1489 (c_parse_final_cleanups): Check DECL_IN_AGGR_P without
1490 DECL_INLINE_VAR_P.
1491 * decl.c (check_initializer): Likewise.
1492 (make_rtl_for_nonlocal_decl): Likewise.
1493 * pt.c (instantiate_decl): Likewise.
1494 * typeck2.c (store_init_value): Likewise.
1495
b47245f1 14962019-02-20 Jakub Jelinek <jakub@redhat.com>
1497
0c3f2aa9 1498 PR c++/89403
1499 * decl2.c (c_parse_final_cleanups): Move TREE_ASM_WRITTEN setting
1500 for flag_syntax_only from here...
1501 * semantics.c (expand_or_defer_fn_1): ... here.
1502
02dc6028 1503 PR c++/89405
1504 * decl.c (maybe_commonize_var): When clearing TREE_PUBLIC and
1505 DECL_COMMON, set DECL_INTERFACE_KNOWN.
1506
b47245f1 1507 PR c++/89336
1508 * constexpr.c (cxx_eval_store_expression): Diagnose changing of active
1509 union member for -std=c++17 and earlier.
1510
af48cea2 15112019-02-19 Jason Merrill <jason@redhat.com>
1512
1513 PR c++/87513 - 'sorry' mangling PMF template-id.
1514 * mangle.c (write_expression): Handle SCOPE_REF to BASELINK.
1515
fd8a4665 15162019-02-19 Jason Merrill <jason@redhat.com>
1517
1518 PR c++/88380 - wrong-code with flexible array and NSDMI.
1519 * typeck2.c (process_init_constructor_record): Skip flexarrays.
1520
53ceddc9 15212019-02-20 will wray <wjwray@gmail.com>
1522
1523 PR c++/88572 - wrong handling of braces on scalar init.
1524 * decl.c (reshape_init_r): Allow braces around scalar initializer
1525 within aggregate init. Reject double braced-init of scalar
1526 variable.
1527
ab0fbe16 15282019-02-20 Paolo Carlini <paolo.carlini@oracle.com>
1529
1530 PR c++/84536
1531 * pt.c (tsubst_init): Diagnose an initializer expanding to an
1532 empty list of expressions; tweak wrt dependent types.
1533 (regenerate_decl_from_template): For VAR_DECLs call tsubst_init
1534 instead of tsubst_expr.
1535
ce7f22f1 15362019-02-19 Jason Merrill <jason@redhat.com>
1537
1538 PR c++/88368 - wrong 'use of deleted function'
1539 * method.c (walk_field_subobs): Remember errors from get_nsdmi.
1540 (get_defaulted_eh_spec): Call push_tinst_level.
1541 * pt.c (maybe_instantiate_noexcept): Keep error_mark_node.
1542 * typeck2.c (merge_exception_specifiers): Handle error_mark_node.
1543
d572a4c3 15442019-02-19 Chung-Lin Tang <cltang@codesourcery.com>
1545
1546 PR c/87924
1547 * parser.c (cp_parser_oacc_clause_wait): Add representation of wait
1548 clause without argument as 'wait (GOMP_ASYNC_NOVAL)', adjust comments.
1549
31358ed0 15502019-02-19 Jakub Jelinek <jakub@redhat.com>
1551
5ebe5c44 1552 PR c++/89387
1553 * lambda.c (maybe_generic_this_capture): Don't check
1554 DECL_NONSTATIC_MEMBER_FUNCTION_P on USING_DECLs.
1555
fcea8c4d 1556 PR c++/89391
1557 * typeck.c (build_reinterpret_cast_1): Don't handle void to
1558 && conversion go through build_target_expr_with_type.
1559
31358ed0 1560 PR c++/89390
1561 * error.c (qualified_name_lookup_error): Only call
1562 suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE.
1563
25694c85 15642019-02-19 Tom Honermann <tom@honermann.net>
1565
1566 * name-lookup.c (get_std_name_hint): Added u8string as a name hint.
1567
a1e1b603 15682019-02-18 Jason Merrill <jason@redhat.com>
1569
6aaacaf1 1570 PR c++/89336 - multiple stores in constexpr stmt.
1571 * constexpr.c (cxx_eval_store_expression): Preevaluate scalar or
1572 assigned value.
1573
f6347d1a 1574 * pt.c (check_explicit_specialization): If the declarator is a
1575 template-id, only check whether the arguments are dependent.
1576
a1e1b603 1577 Improve duplicate [[likely]] diagnostic.
1578 * parser.c (cp_parser_statement): Make attrs_loc a range. Pass it
1579 to process_stmt_hotness_attribute.
1580 * cp-gimplify.c (process_stmt_hotness_attribute): Take attrs_loc.
1581 (genericize_if_stmt): Use likely/unlikely instead of predictor_name.
1582
33e6651d 15832019-02-17 Marek Polacek <polacek@redhat.com>
1584
1585 PR c++/89217 - ICE with list-initialization in range-based for loop.
1586 * constexpr.c (unshare_constructor): No longer static.
1587 * cp-tree.h (unshare_constructor): Declare.
1588 * semantics.c (finish_compound_literal): When dealing with a
1589 non-dependent expression in a template, return the original
1590 expression. Pass LOOKUP_NO_NARROWING to digest_init_flags.
1591
3a860627 15922019-02-13 Marek Polacek <polacek@redhat.com>
1593
1594 PR c++/89297 - ICE with OVERLOAD in template.
1595 * semantics.c (finish_compound_literal): Call
1596 instantiate_non_dependent_expr_sfinae.
1597
601c59dd 15982019-02-13 Alexandre Oliva <aoliva@redhat.com>
1599
40563cf7 1600 PR c++/86379
1601 * cp-tree.h (USING_DECL_SCOPE): Use result rather than type.
1602 * name-lookup.c (strip_using_decl): Use USING_DECL_SCOPE.
1603 * search.c (protected_accessible_p): Follow USING_DECL_DECLS.
1604 (shared_member_p): Likewise.
1605 (lookup_member): Likewise.
1606 * decl.c (grok_special_member_properties): Skip USING_DECLs.
1607 * semantics.c (finish_omp_declare_simd_methods): Likewise.
1608 (finish_qualified_id_expr): Do not call shared_member_p with
1609 a dependent expr.
1610
601c59dd 1611 PR c++/87322
1612 * pt.c (tsubst_lambda_expr): Avoid duplicate tsubsting.
1613 Move cp_evaluated resetting before signature tsubsting.
1614 (gen_elem_of_pack_expansion_instantiation): Separate local
1615 specializations per index.
1616
f2da1a76 16172019-02-13 David Malcolm <dmalcolm@redhat.com>
1618
1619 PR c++/89036
1620 * class.c (add_method): Drop destructor assertion.
1621
64bd49fa 16222019-02-13 Paolo Carlini <paolo.carlini@oracle.com>
1623
1624 PR c++/88986
1625 * decl.c (make_typename_type): Allow for TYPE_PACK_EXPANSION as
1626 context (the first argument).
1627 * pt.c (tsubst, case TYPENAME_TYPE): Handle TYPE_PACK_EXPANSION
1628 as context.
1629
c8e19553 16302019-02-12 Jason Merrill <jason@redhat.com>
1631
1632 PR c++/89144 - link error with constexpr initializer_list.
1633 * call.c (convert_like_real) [ck_list]: Don't allocate a temporary
1634 array for an empty list.
1635 * typeck2.c (store_init_value): Don't use cxx_constant_init in a
1636 template.
1637
33fe677e 16382019-02-11 Jason Merrill <jason@redhat.com>
1639
1640 PR c++/89241 - ICE with __func__ in lambda in template.
1641 * pt.c (enclosing_instantiation_of): Also check
1642 instantiated_lambda_fn_p for the template context.
1643
44263306 16442019-02-11 Marek Polacek <polacek@redhat.com>
1645
1646 PR c++/89212 - ICE converting nullptr to pointer-to-member-function.
1647 * pt.c (tsubst_copy_and_build) <case CONSTRUCTOR>: Return early for
1648 null member pointer value.
1649
61b94553 16502019-02-11 Jakub Jelinek <jakub@redhat.com>
1651
1652 PR c++/88977
1653 * pt.c (convert_nontype_argument): Pass true as manifestly_const_eval
1654 to maybe_constant_value calls.
1655
b10193f4 16562019-02-11 Marek Polacek <polacek@redhat.com>
1657
1658 * typeck2.c (digest_init_r): Remove commented code.
1659
08acf739 16602019-02-11 Martin Sebor <msebor@redhat.com>
1661
1662 PR c++/87996
1663 * decl.c (compute_array_index_type_loc): Preserve signed sizes
1664 for diagnostics. Call valid_array_size_p instead of error.
1665 * init.c (build_new_1): Compute size for diagnostic. Call
1666 invalid_array_size_error
1667 (build_new): Call valid_array_size_p instead of error.
1668
939d44f3 16692019-02-07 Alexandre Oliva <aoliva@redhat.com>
1670
1671 PR c++/86218
1672 * call.c (compare_ics): Deal with ck_aggr in either cs.
1673
c92ab8d4 16742019-02-06 David Malcolm <dmalcolm@redhat.com>
1675
1676 PR c++/71302
1677 * call.c (get_location_for_expr_unwinding_for_system_header): New
1678 function.
1679 (conversion_null_warnings): Use it when getting locations for
1680 EXPR, effectively adding a call to
1681 get_location_for_expr_unwinding_for_system_header for
1682 -Wconversion-null and making use of EXPR_LOCATION for
1683 -Wzero-as-null-pointer-constant.
1684
b5a6b127 16852019-02-05 Jakub Jelinek <jakub@redhat.com>
1686
1687 PR c++/89187
1688 * optimize.c (maybe_thunk_body): Clear TREE_ADDRESSABLE on
1689 PARM_DECLs of the thunk.
1690 * lambda.c (maybe_add_lambda_conv_op): Likewise.
1691
74ce2ebb 16922019-02-05 Marek Polacek <polacek@redhat.com>
1693
1694 PR c++/89158 - by-value capture of constexpr variable broken.
1695 * call.c (convert_like_real) <case ck_user>: Call mark_exp_read
1696 instead of mark_rvalue_use.
1697
9ca54fa1 16982019-02-05 Alexandre Oliva <aoliva@redhat.com>
1699
1700 PR c++/87770
1701 * pt.c (instantiates_primary_template_p): New.
1702 (type_dependent_expression_p): Use it.
1703
c758dd5a 17042019-02-01 Jason Merrill <jason@redhat.com>
1705
1706 PR c++/88761 - ICE with reference capture of constant.
1707 * lambda.c (mark_const_cap_r): Do walk subtrees of DECL_EXPR for
1708 non-proxy decls.
1709
bdb43276 17102019-02-01 Marek Polacek <polacek@redhat.com>
1711
1712 PR c++/88325 - ICE with invalid out-of-line template member definition.
1713 * parser.c (cp_parser_class_name): Don't call make_typename_type
1714 for overloads.
1715
5ab8180e 17162019-02-01 Jakub Jelinek <jakub@redhat.com>
1717
1718 PR c++/87175
1719 * parser.c (cp_parser_gnu_attributes_opt): Set ok to false
1720 if require_open failed.
1721
c8f861a0 17222019-01-31 Marek Polacek <polacek@redhat.com>
1723
1724 PR c++/89083, c++/80864 - ICE with list initialization in template.
1725 * constexpr.c (adjust_temp_type): Use copy_node and change the type
1726 instead of using build_constructor.
1727 * decl.c (reshape_init_r): Don't reshape a digested initializer.
1728 Return the initializer for COMPOUND_LITERAL_P.
1729
f1329be6 1730 PR c++/88983 - ICE with switch in constexpr function.
1731 * constexpr.c (cxx_eval_switch_expr): Use SWITCH_COND and SWITCH_BODY.
1732 (cxx_eval_constant_expression) <case COND_EXPR>: Don't look for the
1733 label in the else branch if we found it in the then branch.
1734
8c28f0ef 17352019-01-30 Jason Merrill <jason@redhat.com>
1736
1737 PR c++/88752 - ICE with lambda and constexpr if.
1738 * cp-tree.h (LAMBDA_EXPR_INSTANTIATED): New.
1739 * pt.c (tsubst_lambda_expr): Set it.
1740 (instantiated_lambda_fn_p): Check it.
1741 (enclosing_instantiation_of): Use it.
1742
abb9ae66 17432019-01-31 Jakub Jelinek <jakub@redhat.com>
1744
1745 PR libstdc++/88170
1746 * cxx-pretty-print.c (pp_cxx_enumeration_constant): Print always as
1747 a C cast in pp_c_flag_gnu_v3 mode.
1748
9b0e9786 17492019-01-30 Jakub Jelinek <jakub@redhat.com>
1750
1751 PR c++/88988
1752 * lambda.c (is_capture_proxy): Don't return true for
1753 DECL_OMP_PRIVATIZED_MEMBER artificial vars.
1754
7066144a 17552019-01-30 Marek Polacek <polacek@redhat.com>
1756
1757 PR c++/89119 - ICE with value-initialization in template.
1758 * pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.
1759
64e3499e 17602019-01-29 Jason Merrill <jason@redhat.com>
1761
1762 PR c++/86943 - wrong code converting lambda to function pointer.
1763 * lambda.c (maybe_add_lambda_conv_op): Use a template-id in the
1764 call. Only forward parms for decltype.
1765 * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Handle CALL_FROM_THUNK_P
1766 specially.
1767 * typeck.c (check_return_expr): Don't mess with a thunk call.
1768
107cba11 17692019-01-28 Jason Merrill <jason@redhat.com>
1770
1771 PR c++/89089 - ICE with [[no_unique_address]].
1772 PR c++/88865 - wrong layout with [[no_unique_address]].
1773 * class.c (check_field_decls): A potentially-overlapping field makes
1774 the class non-layout-POD, but not non-empty.
1775 (end_of_class): Always consider empty data members.
1776 (layout_class_type): Set DECL_SIZE for empty fields.
1777
44da2a17 17782019-01-28 Marek Polacek <polacek@redhat.com>
1779
1780 PR c++/88358 - name wrongly treated as type.
1781 * parser.c (cp_parser_direct_declarator): Don't assume a qualified-id
1782 in parameter-list is a type if the function's declarator-id is not
1783 qualified.
1784
1d41b42f 17852019-01-27 Marek Polacek <polacek@redhat.com>
1786
b7feeace 1787 PR c++/88815 - narrowing conversion lost in decltype.
1788 PR c++/78244 - narrowing conversion in template not detected.
1789 * cp-tree.h (CONSTRUCTOR_IS_DEPENDENT): New.
1790 * pt.c (instantiation_dependent_r): Consider a CONSTRUCTOR with
1791 CONSTRUCTOR_IS_DEPENDENT instantiation-dependent.
1792 * semantics.c (finish_compound_literal): When the compound literal
1793 isn't instantiation-dependent and the type isn't type-dependent,
1794 fall back to the normal processing. Set CONSTRUCTOR_IS_DEPENDENT.
1795
1d41b42f 1796 PR c++/89024 - ICE with incomplete enum type.
1797 * call.c (standard_conversion): When converting an
1798 ARITHMETIC_TYPE_P to an incomplete type, return NULL.
1799
837ddebd 18002019-01-25 Paolo Carlini <paolo.carlini@oracle.com>
1801
1802 PR c++/88969
1803 * call.c (build_op_delete_call): Implement 7.6.2.5/(10.1).
1804 * decl2.c (coerce_delete_type): Use build_pointer_type instead
1805 of TYPE_POINTER_TO.
1806
8c89c5fc 18072019-01-24 Jason Merrill <jason@redhat.com>
1808
1809 PR c++/89001 - mangling of reference temporaries
1810 * cp-tree.h (struct saved_scope): Add ref_temp_count.
1811 (current_ref_temp_count): New macro.
1812 * mangle.c (mangle_ref_init_variable): Use it.
1813 * typeck2.c (store_init_value): Clear it.
1814 * call.c (make_temporary_var_for_ref_to_temp): Copy public and
1815 comdat.
1816
b5e76680 18172019-01-24 Jakub Jelinek <jakub@redhat.com>
1818
1819 PR c++/88976
1820 * semantics.c (finish_omp_cancel): Diagnose more than one if
1821 on #pragma omp cancel with different modifiers. Use
1822 maybe_convert_cond when not in template or build_x_binary_op
1823 otherwise.
1824
dffbcba8 18252019-01-23 Marek Polacek <polacek@redhat.com>
1826
1827 PR c++/88757 - qualified name treated wrongly as type.
1828 * parser.c (cp_parser_direct_declarator): Don't treat qualified-ids
1829 in parameter-list as types if name lookup for declarator-id didn't
1830 find one or more function templates.
1831
1f03c410 18322019-01-23 Jakub Jelinek <jakub@redhat.com>
1833
8090d51c 1834 PR c/44715
1835 * cp-gimplify.c (genericize_cp_loop): Call begin_bc_block only
1836 after genericizing cond and incr expressions.
1837
1f03c410 1838 PR c++/88984
1839 * cp-gimplify.c (genericize_switch_stmt): Move cond genericization
1840 before the begin_bc_block call.
1841
48c03f15 18422019-01-21 Jason Merrill <jason@redhat.com>
1843
1844 PR c++/87893 - constexpr ctor ICE on ARM.
1845 PR c++/88293 - ICE with comma expression.
1846 * constexpr.c (initialized_type): Don't shortcut non-void type.
1847 Handle COMPOUND_EXPR.
1848 (cxx_eval_outermost_constant_expr): Return early for void type.
1849
99bf4b63 18502019-01-21 Jakub Jelinek <jakub@redhat.com>
1851
77fe9474 1852 PR c++/88949
1853 * optimize.c (cxx_copy_decl): New function.
1854 (clone_body): Use it instead of copy_decl_no_change.
1855
99bf4b63 1856 PR sanitizer/88901
1857 * typeck.c (cp_build_binary_op): Don't instrument
1858 SANITIZE_POINTER_COMPARE if processing_template_decl.
1859 (pointer_diff): Similarly for SANITIZE_POINTER_SUBTRACT.
1860
ecd2d842 18612019-01-18 Jason Merrill <jason@redhat.com>
1862
1863 PR c++/88875 - error with explicit list constructor.
1864 * call.c (reference_binding): Don't modify EXPR. Set
1865 need_temporary_p on the ck_user conversion for a temporary.
1866 (convert_like_real): Check it.
1867
6d4e8a95 18682019-01-18 H.J. Lu <hongjiu.lu@intel.com>
1869
1870 PR c/51628
1871 PR c/88664
1872 * call.c (convert_for_arg_passing): Upate the
1873 warn_for_address_or_pointer_of_packed_member call.
1874 * typeck.c (convert_for_assignment): Likewise.
1875
9d3c4130 18762019-01-17 Jason Merrill <jason@redhat.com>
1877
bc9c0483 1878 PR c++/86205 - ICE with ?: of throw and template-id.
1879 * pt.c (resolve_nondeduced_context_or_error): Split out from...
1880 * typeck.c (decay_conversion): ...here.
1881 * call.c (build_conditional_expr_1): Use it.
1882
9d3c4130 1883 PR c++/86740, ICE with constexpr if and nested generic lambdas.
1884 * tree.c (cp_walk_subtrees): Handle LAMBDA_EXPR.
1885
0f910e62 18862019-01-17 Paolo Carlini <paolo.carlini@oracle.com>
1887
1888 * decl.c (grokdeclarator): Use typespec_loc in error messages
1889 about 'auto' and trailing return type.
1890
098cc8f0 18912019-01-17 David Malcolm <dmalcolm@redhat.com>
1892
1893 PR c++/88699
1894 * class.c (add_method): Don't use DECL_DESTRUCTOR_P on
1895 USING_DECLs.
1896
a395125a 18972019-01-17 Nathan Sidwell <nathan@acm.org>
1898
1899 PR c++/86610
1900 * semantics.c (process_outer_var_ref): Only skip dependent types
1901 in templates.
1902
5461905d 19032019-01-17 Alexandre Oliva <aoliva@redhat.com>
1904
c5f929a4 1905 PR c++/87768
1906 * cp-tree.h (saved_scope): Add suppress_location_wrappers.
1907 * name-lookup.c (do_push_to_top_level): Save and reset it.
1908 (do_pop_from_top_level): Restore it.
1909
f97941b7 1910 PR c++/86648
1911 * pt.c (make_template_placeholder): Use auto_identifier.
1912 (is_auto): Drop CLASS_PLACEHOLDER_TEMPLATE test.
1913 * error.c (dump_type): Handle template placeholders.
1914 * cxx-pretty-print.c (pp_cx_unqualified_id): Likewise.
1915
5461905d 1916 PR c++/88146
1917 * cvt.c (convert_to_void): Handle all cdtor calls as if
1918 returning void.
1919
b92cc3ed 19202019-01-16 Paolo Carlini <paolo.carlini@oracle.com>
1921
1922 * decl.c (grokdeclarator): Use locations[ds_storage_class] in
1923 error messages about ill-formed uses of mutable.
1924
9fc2172c 19252019-01-16 Marek Polacek <polacek@redhat.com>
1926
1927 PR c++/78244 - narrowing conversion in template not detected.
1928 * call.c (perform_implicit_conversion_flags): Set
1929 IMPLICIT_CONV_EXPR_BRACED_INIT.
1930 * cp-tree.h (IMPLICIT_CONV_EXPR_BRACED_INIT): New.
1931 * pt.c (tsubst_copy_and_build): Use it.
1932
727d210b 19332019-01-15 David Malcolm <dmalcolm@redhat.com>
1934
1935 PR c++/88795
1936 * pt.c (build_deduction_guide): Bail out if tsubst_arg_types
1937 fails.
1938
39a51021 19392019-01-15 Paolo Carlini <paolo.carlini@oracle.com>
1940
1941 * decl.c (start_decl): Improve error location.
1942 * decl2.c (grokfield): Likewise.
1943
19442019-01-15 Paolo Carlini <paolo.carlini@oracle.com>
1945
1946 * decl.c (grokdeclarator): Move further up the location_t loc
1947 declaration and use the location when building a TYPE_DECL for
1948 a typedef name.
1949 * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in the error
1950 about an ill-formed bit-field as typedef.
1951
affca1c8 19522019-01-14 Marek Polacek <polacek@redhat.com>
1953
1954 PR c++/88830 - ICE with abstract class.
1955 * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR.
1956 Fix formatting.
1957
9f8a8956 1958 PR c++/88825 - ICE with bogus function return type deduction.
1959 * typeck.c (can_do_nrvo_p): Check error_mark_node.
1960
82362779 19612019-01-14 Tom Honermann <tom@honermann.net>
1962
1963 Implement P0482R5, char8_t: A type for UTF-8 characters and strings
1964 * cvt.c (type_promotes_to): Handle char8_t promotion.
1965 * decl.c (grokdeclarator): Handle invalid type specifier
1966 combinations involving char8_t.
1967 * lex.c (init_reswords): Add char8_t as a reserved word.
1968 * mangle.c (write_builtin_type): Add name mangling for char8_t (Du).
1969 * parser.c (cp_keyword_starts_decl_specifier_p)
1970 (cp_parser_simple_type_specifier): Recognize char8_t as a simple
1971 type specifier.
1972 (cp_parser_string_literal): Use char8_array_type_node for the type
1973 of CPP_UTF8STRING.
1974 (cp_parser_set_decl_spec_type): Tolerate char8_t typedefs in system
1975 headers.
1976 * rtti.c (emit_support_tinfos): type_info support for char8_t.
1977 * tree.c (char_type_p): Recognize char8_t as a character type.
1978 * typeck.c (string_conv_p): Handle conversions of u8 string
1979 literals of char8_t type.
1980 (check_literal_operator_args): Handle UDLs with u8 string literals
1981 of char8_t type.
1982 * typeck2.c (ordinary_char_type_p): New.
1983 (digest_init_r): Disallow initializing a char array with a u8 string
1984 literal.
1985
bf4eb32b 19862019-01-14 Martin Liska <mliska@suse.cz>
1987
1988 PR gcov-profile/88263
1989 * decl2.c (get_tls_wrapper_fn): Use DECL_SOURCE_LOCATION
1990 as location of the TLS wrapper.
1991
2fa582a9 19922019-01-12 Paolo Carlini <paolo.carlini@oracle.com>
1993
1994 * decl.c (cp_finish_decl): Improve error location.
1995 * decl2.c (grokfield): Likewise, improve two locations.
1996
0b5957b9 19972019-01-11 Marek Polacek <polacek@redhat.com>
1998
1999 PR c++/88692, c++/87882 - -Wredundant-move false positive with *this.
2000 * typeck.c (maybe_warn_pessimizing_move): Return if ARG isn't
2001 ADDR_EXPR.
2002
d07c152b 20032019-01-11 Jason Merrill <jason@redhat.com>
2004
2005 PR c++/88312 - pack expansion of decltype.
2006 * pt.c (instantiation_dependent_r): A template non-type parameter
2007 pack is instantiation-dependent.
2008
0c2ebbc4 20092019-01-11 Jason Merrill <jason@redhat.com>
2010
2011 PR c++/88613 - ICE with use of const var in lambda.
2012 * expr.c (mark_use): Fix location wrapper handling.
2013 * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use.
2014
1b2f170e 20152019-01-11 Tobias Burnus <burnus@net-b.de>
2016
2017 PR C++/88114
2018 * decl2.c (maybe_emit_vtables): If needed, generate code for
2019 the destructor of an abstract class.
2020 (mark_used): Update comment for older function-name change.
2021
b385e516 20222019-01-11 Paolo Carlini <paolo.carlini@oracle.com>
2023
2024 * decl.c (start_decl): Improve error location.
2025 (grokdeclarator): Likewise, improve two locations.
2026
f4d3c071 20272019-01-09 Sandra Loosemore <sandra@codesourcery.com>
2028
2029 PR other/16615
2030
2031 * cp-tree.h: Mechanically replace "can not" with "cannot".
2032 * parser.c: Likewise.
2033 * pt.c: Likewise.
2034
7cc45975 20352019-01-08 Paolo Carlini <paolo.carlini@oracle.com>
2036
2037 * decl.c (grok_reference_init): Improve error location.
2038 (grokdeclarator): Likewise, improve two locations.
2039
90e20c9c 20402019-01-08 Marek Polacek <polacek@redhat.com>
2041
91902bb4 2042 PR c++/88538 - braced-init-list in template-argument-list.
2043 * parser.c (cp_parser_template_argument): Handle braced-init-list when
2044 in C++20.
2045
90e20c9c 2046 PR c++/88548 - this accepted in static member functions.
2047 * parser.c (cp_debug_parser): Adjust printing of
2048 local_variables_forbidden_p.
2049 (cp_parser_new): Set local_variables_forbidden_p to 0 rather than false.
2050 (cp_parser_primary_expression): When checking
2051 local_variables_forbidden_p, use THIS_FORBIDDEN or
2052 LOCAL_VARS_FORBIDDEN.
2053 (cp_parser_lambda_body): Update the type of
2054 local_variables_forbidden_p. Set it to 0 rather than false.
2055 (cp_parser_condition): Adjust call to cp_parser_declarator.
2056 (cp_parser_explicit_instantiation): Likewise.
2057 (cp_parser_init_declarator): Likewise.
2058 (cp_parser_declarator): New parameter. Use it.
2059 (cp_parser_direct_declarator): New parameter. Use it to set
2060 local_variables_forbidden_p. Adjust call to cp_parser_declarator.
2061 (cp_parser_type_id_1): Adjust call to cp_parser_declarator.
2062 (cp_parser_parameter_declaration): Likewise.
2063 (cp_parser_default_argument): Update the type of
2064 local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
2065 rather than true.
2066 (cp_parser_member_declaration): Tell cp_parser_declarator if we saw
2067 'static' or 'friend'.
2068 (cp_parser_exception_declaration): Adjust call to cp_parser_declarator.
2069 (cp_parser_late_parsing_default_args): Update the type of
2070 local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
2071 rather than true.
2072 (cp_parser_cache_defarg): Adjust call to cp_parser_declarator.
2073 (cp_parser_objc_class_ivars): Likewise.
2074 (cp_parser_objc_struct_declaration): Likewise.
2075 (cp_parser_omp_for_loop_init): Likewise.
2076 * parser.h (cp_parser): Change the type of local_variables_forbidden_p
2077 to unsigned char.
2078 (LOCAL_VARS_FORBIDDEN, LOCAL_VARS_AND_THIS_FORBIDDEN, THIS_FORBIDDEN):
2079 Define.
2080
8f7d5246 20812019-01-08 Paolo Carlini <paolo.carlini@oracle.com>
2082
2083 * decl.c (start_decl): Improve permerror location.
2084
6e5908c9 20852019-01-08 Jonathan Wakely <jwakely@redhat.com>
2086 Jakub Jelinek <jakub@redhat.com>
2087
2088 PR c++/88554
2089 * decl.c (finish_function): For -Wreturn-type don't add a return *this;
2090 fixit hint if current_class_ref is NULL. Use a single if instead of
2091 two nested ones.
2092
2318c037 20932019-01-07 Paolo Carlini <paolo.carlini@oracle.com>
2094
2095 * decl.c (start_decl): Improve two error_at locations.
2096 (expand_static_init): Likewise.
2097
677576f7 20982019-01-07 Marek Polacek <polacek@redhat.com>
2099
2100 PR c++/88741 - wrong error with initializer-string.
2101 * decl.c (cp_complete_array_type): Strip any location wrappers.
2102
c38103e8 21032019-01-07 Bernd Edlinger <bernd.edlinger@hotmail.de>
2104
2105 PR c++/88261
2106 PR c++/69338
2107 PR c++/69696
2108 PR c++/69697
2109 * cp-tree.h (LOOKUP_ALLOW_FLEXARRAY_INIT): New flag value.
2110 * typeck2.c (digest_init_r): Raise an error for non-static
2111 initialization of a flexible array member.
2112 (process_init_constructor, massage_init_elt,
2113 process_init_constructor_array, process_init_constructor_record,
2114 process_init_constructor_union, process_init_constructor): Add the
2115 flags parameter and pass it thru.
2116 (store_init_value): Pass LOOKUP_ALLOW_FLEXARRAY_INIT parameter to
2117 digest_init_flags for static decls.
2118
59409f09 21192019-01-07 Jakub Jelinek <jakub@redhat.com>
2120
2121 PR c++/85052
2122 * cp-tree.h (cp_build_vec_convert): Declare.
2123 * parser.c (cp_parser_postfix_expression): Parse
2124 __builtin_convertvector.
2125 * constexpr.c: Include fold-const-call.h.
2126 (cxx_eval_internal_function): Handle IFN_VEC_CONVERT.
2127 (potential_constant_expression_1): Likewise.
2128 * semantics.c (cp_build_vec_convert): New function.
2129 * pt.c (tsubst_copy_and_build): Handle CALL_EXPR to
2130 IFN_VEC_CONVERT.
2131
0627c5c9 21322019-01-03 Jakub Jelinek <jakub@redhat.com>
2133
2134 PR c++/88636
2135 * decl.c (builtin_function_1): Return result of pushdecl_top_level
2136 or pushdecl rather than decl.
2137
f9f7d90c 21382019-01-03 Paolo Carlini <paolo.carlini@oracle.com>
2139
2140 * tree.c (handle_nodiscard_attribute): Improve warning location.
2141
37fb9cf6 21422019-01-02 Marek Polacek <polacek@redhat.com>
2143
2144 PR c++/88612 - ICE with -Waddress-of-packed-member.
2145 * call.c (convert_for_arg_passing): Only give warnings with tf_warning.
2146 * typeck.c (convert_for_assignment): Likewise.
2147
6080dd2f 2148 PR c++/88631 - CTAD failing for value-initialization.
2149 * typeck2.c (build_functional_cast): Try deducing the template
2150 arguments even if there are no arguments to deduce from.
2151
fbd26352 21522019-01-01 Jakub Jelinek <jakub@redhat.com>
ca29c574 2153
8e8f6434 2154 Update copyright years.
7dfbd804 2155\f
fbd26352 2156Copyright (C) 2019 Free Software Foundation, Inc.
7dfbd804 2157
2158Copying and distribution of this file, with or without modification,
2159are permitted in any medium without royalty provided the copyright
2160notice and this notice are preserved.
Mirror of https://gcc.gnu.org/git/gcc.git