12016-12-24 Jakub Jelinek <jakub@redhat.com> 2 3 PR middle-end/78901 4 * except.c (nothrow_libfn_p): Expect libc_name_p to return 5 const struct libc_name_struct *, if it returns NULL, return 0, 6 otherwise check c_ver and use flag_isoc99 or flag_isoc11. 7 * cfns.gperf: Add %struct-type and libc_name_struct definition. 8 For all C89 C library functions add , 89 after the name, add 9 C99 C library functions with , 99 and C11 C library functions 10 with , 11 suffix. 11 * cfns.h: Regenerated. 12 132016-12-22 Jason Merrill <jason@redhat.com> 14 15 PR c++/78906 16 * pt.c (finish_template_variable): Use most_general_template. 17 18 PR c++/78898 19 PR c++/42329 20 * pt.c (unify): Don't look for a class template from a non-class. 21 222016-12-21 Jakub Jelinek <jakub@redhat.com> 23 24 PR c++/72707 25 * name-lookup.c (pushdecl_maybe_friend_1): Do check shadowing of 26 artificial x if it is an anonymous union variable. 27 28 PR bootstrap/78817 29 * typeck.c (cp_build_function_call_vec): If check_function_arguments 30 returns true, set TREE_NO_WARNING on CALL_EXPR. 31 * call.c (build_over_call): Likewise. 32 33 PR c++/77830 34 * constexpr.c (cxx_eval_array_reference): Perform out of bounds 35 verification even if lval is true, just allow one past the last 36 element in that case. 37 (cxx_eval_store_expression): Detect stores to out of bound 38 ARRAY_REF. 39 402016-12-21 Jason Merrill <jason@redhat.com> 41 42 Implement P0522R0, matching of template template arguments. 43 * pt.c (coerce_template_template_parms): Allow a template argument 44 that's less specialized than the parameter. 45 (unify_bound_ttp_args): Adjust parm's args to apply to arg's 46 template. 47 (coerce_template_args_for_ttp): Split out from 48 lookup_template_class_1. 49 (coerce_ttp_args_for_tta, store_defaulted_ttp) 50 (lookup_defaulted_ttp, add_defaults_to_ttp): New. 51 (process_partial_specialization): Set DECL_CONTEXT of 52 template template-parameters. 53 (coerce_template_parms): Only inform when complain. 54 (expand_template_argument_pack): Handle error_mark_node. 55 (convert_template_argument, template_args_equal, unify): Handle 56 any_targ_node. 57 * cp-tree.h (enum cp_tree_index): Add CPTI_ANY_TARG. 58 (any_targ_node): New. 59 * decl.c (cxx_init_decl_processing): Set it. 60 * name-lookup.c (consider_binding_level): Ignore names with embedded 61 spaces. 62 63 PR c++/42329 64 * pt.c (unify_bound_ttp_args): Split out from unify. 65 (try_class_unification): Handle BOUND_TEMPLATE_TEMPLATE_PARM. 66 (unify): Check for type/non-type mismatch early. 67 [BOUND_TEMPLATE_TEMPLATE_PARM]: Try get_template_base. 68 69 * pt.c (coerce_template_parms): Consider variadic_args_p before 70 complaining about too many template arguments. 71 72 * pt.c (process_partial_specialization): Use 73 get_partial_spec_bindings to check that the partial specialization 74 is more specialized than the primary template. 75 76 * pt.c (convert_template_argument): Pass args to do_auto_deduction. 77 (mark_template_parm): Handle deducibility from type of non-type 78 argument here. 79 (for_each_template_parm_r): Not here. 80 81 * ptree.c (cxx_print_type): Print args of 82 BOUND_TEMPLATE_TEMPLATE_PARM. 83 (cxx_print_decl): Print DECL_TEMPLATE_PARMS. 84 85 PR c++/78767 - ICE with inherited constructor default argument 86 * method.c (strip_inheriting_ctors): Strip template as appropriate. 87 88 PR c++/78749 - friend in anonymous namespace 89 * decl.c (wrapup_globals_for_namespace): Don't complain about friend 90 pseudo-template instantiations. 91 922016-12-16 Richard Biener <rguenther@suse.de> 93 94 PR c++/71694 95 * cp-objcp-common.h (cp_unit_size_without_reusable_padding): Declare. 96 (LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Define. 97 * cp-objcp-common.c (cp_unit_size_without_reusable_padding): New. 98 992016-12-15 Jakub Jelinek <jakub@redhat.com> 100 101 P0490R0 GB 20: decomposition declaration should commit to tuple 102 interpretation early 103 * decl.c (get_tuple_size): Make static. If inst is error_mark_node 104 or non-complete type, return NULL_TREE, otherwise if 105 lookup_qualified_name fails or doesn't fold into INTEGER_CST, return 106 error_mark_node. 107 (get_tuple_element_type, get_tuple_decomp_init): Make static. 108 (cp_finish_decomp): Pass LOC to get_tuple_size. If it returns 109 error_mark_node, complain and fail. 110 1112016-12-15 Nathan Sidwell <nathan@acm.org> 112 113 PR c++/77585 114 * pt.c (instantiate_decl): Push to class scope lambda resides 115 within when instantiating a generic lambda function. 116 1172016-12-14 Martin Sebor <msebor@redhat.com> 118 119 PR c++/78774 120 * pt.c (convert_template_argument): Avoid assuming operand type 121 is non-null since that of SCOPE_REF is not. 122 1232016-12-14 Martin Jambor <mjambor@suse.cz> 124 125 * parser.c: Include omp-general.h and omp-offload.h instead of 126 omp-low.h. 127 (cp_parser_omp_simd): Adjusted calls to find_omp_clause to use its new 128 name. 129 (cp_parser_omp_target_update): Likewise. 130 (cp_parser_oacc_declare): Likewise. 131 (cp_parser_oacc_enter_exit_data): Likewise. 132 (cp_parser_oacc_update): Likewise. 133 (cp_finalize_oacc_routine): Adjusted call to get_oacc_fn_attrib, 134 build_oacc_routine_dims and replace_oacc_fn_attrib to use their new 135 names. 136 * semantics.c: Include omp-general insteda of omp-low.h. 137 (finish_omp_for): Adjusted calls to find_omp_clause to use its new 138 name. 139 (finish_omp_cancel): Likewise. 140 (finish_omp_cancellation_point): Likewise. 141 1422016-12-14 Marek Polacek <polacek@redhat.com> 143 144 PR c++/72775 145 * init.c (perform_member_init): Diagnose member initializer for 146 flexible array member. 147 1482016-12-14 Nathan Sidwell <nathan@acm.org> 149 150 PR c++/78701 151 * pt.c (type_unification_real): Check tsubst arg doesn't have 152 remaining template parms before converting it. 153 154 PR c++/69481 155 * cp-tree.h (TYPE_TEMPLATE_INFO_MAYBE_ALIAS): Always use 156 TYPE_ALIAS_TEMPLATE_INFO for aliases. 157 1582016-12-13 Nathan Sidwell <nathan@acm.org> 159 160 PR c++/69481 161 * cp-tree.h (TYPE_TEMPLATE_INFO): Remove alias type checking. 162 (TYPE_ALIAS_TEMPLATE_INFO): New. 163 (TYPE_TEMPLATE_INFO_MAYBE_ALIAS): New. Use those macros. 164 * error.c (dump_alias_template_specialization): Adjust. 165 * pt.c (maybe_process_partial_specialization, 166 iterative_has_template_arg, find_parameter_packs_r, 167 alias_template_specialization_p, dependent_alias_template_spec_p, 168 get_underlying_template, lookup_template_class_1, unify): Adjust 169 template using decl access. 170 1712016-12-11 Paolo Carlini <paolo.carlini@oracle.com> 172 173 PR c++/78637 174 * parser.c (cp_parser_namespace_definition): Increment 175 nested_definition_count only if push_namespace succeeds. 176 1772016-12-08 Nathan Sidwell <nathan@acm.org> 178 179 PR c++/78551 180 * constexpr.c (extract_string_elt): New. Broken out of ... 181 (cxx_eval_array_reference): ... here. Call it. 182 (cxx_eval_store_expression): Convert init by STRING_CST into 183 CONSTRUCTOR, if needed. 184 1852016-12-08 Jakub Jelinek <jakub@redhat.com> 186 187 P0003R5 - removal of dynamic exception specification from C++17 188 * parser.c (cp_parser_exception_specification_opt): For C++17 189 error out on throw ( type-id-list ), for C++11 and C++14 issue 190 -Wdeprecated warning on it. Formatting fix. Treat throw() 191 in C++17 as noexcept(true). 192 1932016-12-07 Martin Jambor <mjambor@suse.cz> 194 195 PR c++/78589 196 * error.c (dump_decl): Use dump_function_name to dump 197 !DECL_LANG_SPECIFIC function decls with no or self-referencing 198 abstract origin. 199 2002016-12-07 Nathan Sidwell <nathan@acm.org> 201 202 * pt.c (tsubst <{NON,}TYPE_ARGUMENT_PACK>: Simplify control flow 203 and avoid re-tsubsting type. 204 205 * cp-tree.h (enum cp_tree_index): Add CPTI_AUTO_IDENTIFIER & 206 CPTI_DECLTYPE_AUTO_IDENTIFIER. 207 (auto_identifier, decltype_auto_identifier): New. 208 *decl.c (initialize_predefined_identifiers): Add 'auto' and 209 'decltype(auto)'. 210 (grokdeclarator): Use cached identifier. 211 * pt.c (make_decltype_auto, make_auto, make_constrained_auto, 212 is_auto): Likewise. 213 2142016-12-02 Jakub Jelinek <jakub@redhat.com> 215 216 PR c++/78649 217 * pt.c (tsubst_init): Don't call build_value_init if decl's type 218 is error_mark_node. 219 2202016-12-02 Cesar Philippidis <cesar@codesourcery.com> 221 James Norris <jnorris@codesourcery.com> 222 223 * parser.c (cp_parser_oacc_enter_exit_data): Update diagnostics. 224 (cp_parser_pragma): Error when PRAGMA_OACC_{ENTER_DATA, 225 EXIT_DATA,WAIT} are not used in compound statements. 226 2272016-12-01 Jason Merrill <jason@redhat.com> 228 229 * call.c (add_function_candidate): Also exclude inherited ctors 230 that take a type reference-related to the derived class. 231 232 * call.c (add_function_candidate): Exclude inherited copy/move 233 ctors. 234 2352016-11-29 David Malcolm <dmalcolm@redhat.com> 236 237 PR c++/77922 238 * name-lookup.c (lookup_name_fuzzy): Filter out reserved words 239 that were filtered out by init_reswords. 240 2412016-11-28 Jakub Jelinek <jakub@redhat.com> 242 Jason Merrill <jason@redhat.com> 243 244 PR c++/72808 245 * decl.c (finish_enum_value_list): Call fixup_type_variants on 246 current_class_type after 247 insert_late_enum_def_into_classtype_sorted_fields. 248 2492016-11-28 Jakub Jelinek <jakub@redhat.com> 250 251 PR c++/77591 252 * typeck.c (maybe_warn_about_returning_address_of_local): Optimize 253 whats_returned through fold_for_warn. 254 2552016-11-27 Jason Merrill <jason@redhat.com> 256 257 PR c++/77907 258 * constexpr.c (cxx_eval_constant_expression): Use cp_fold_convert. 259 2602016-11-24 Martin Liska <mliska@suse.cz> 261 262 PR bootstrap/78493 263 * parser.c (cp_parser_range_for): Use safe_push instead of quick_push. 264 2652016-11-23 Jakub Jelinek <jakub@redhat.com> 266 267 PR c++/77907 268 * cp-gimplify.c (cp_fold) <case CALL_EXPR>: When calling constructor 269 and maybe_constant_value returns non-CALL_EXPR, create INIT_EXPR 270 with the object on lhs and maybe_constant_value returned expr on rhs. 271 272 PR c++/71450 273 * pt.c (tsubst_copy): Return error_mark_node when mark_used 274 fails, even when complain & tf_error. 275 276 PR c++/77739 277 * cp-gimplify.c (cp_gimplify_tree) <case VEC_INIT_EXPR>: Pass 278 false as handle_invisiref_parm_p to cp_genericize_tree. 279 (struct cp_genericize_data): Add handle_invisiref_parm_p field. 280 (cp_genericize_r): Don't wrap is_invisiref_parm into references 281 if !wtd->handle_invisiref_parm_p. 282 (cp_genericize_tree): Add handle_invisiref_parm_p argument, 283 set wtd.handle_invisiref_parm_p to it. 284 (cp_genericize): Pass true as handle_invisiref_parm_p to 285 cp_genericize_tree. Formatting fix. 286 2872016-11-21 Bernd Edlinger <bernd.edlinger@hotmail.de> 288 289 PR c++/71973 290 * decl.c (duplicate_decls): Warn when a built-in function is redefined. 291 Don't overload builtin functions with C++ functions. 292 Handle const_tm_ptr_type_node like file_ptr_node. 293 Copy the TREE_NOTHROW flag unmodified to the old decl. 294 2952016-11-18 Jason Merrill <jason@redhat.com> 296 297 PR objc++/78418 - ICE in string tests on darwin 298 * tree.c (lvalue_kind): Guard DECL_HAS_VALUE_EXPR_P. 299 3002016-11-18 Jakub Jelinek <jakub@redhat.com> 301 302 PR c++/77285 303 * mangle.c (mangle_tls_init_fn, mangle_tls_wrapper_fn): Call 304 check_abi_tags. 305 3062016-11-18 Jason Merrill <jason@redhat.com> 307 308 PR c++/67631 - list-init and explicit conversions 309 * semantics.c (finish_compound_literal): Call digest_init_flags. 310 * typeck2.c (digest_init_flags): Add complain parm. 311 (store_init_value): Pass it. 312 3132016-11-18 Richard Sandiford <richard.sandiford@arm.com> 314 Alan Hayward <alan.hayward@arm.com> 315 David Sherwood <david.sherwood@arm.com> 316 317 * class.c (finish_struct_bits): Use SET_DECL_MODE. 318 (build_base_field_1, layout_class_type, finish_struct_1): Likewise. 319 * decl.c (make_label_decl): Likewise. 320 * pt.c (tsubst_decl): Likewise. 321 3222016-11-17 Jason Merrill <jason@redhat.com> 323 324 PR c++/78193 - inherited ctor regressions on sparc32. 325 * call.c (build_over_call): Don't set CALL_FROM_THUNK_P here. 326 (build_call_a): Set it here, and don't insert EMPTY_CLASS_EXPR. 327 (convert_like_real) [ck_rvalue]: Also pass non-addressable 328 types along directly. 329 3302016-11-17 Paolo Carlini <paolo.carlini@oracle.com> 331 332 PR c++/55080 333 * parser.c (cp_parser_non_integral_constant_expression): Issue a 334 pedwarn instead of an error for case NIC_FLOAT. 335 3362016-11-17 Jason Merrill <jason@redhat.com> 337 338 PR c++/78124 - list-initialization and inherited ctor 339 * name-lookup.c (do_class_using_decl): Set CLASSTYPE_NON_AGGREGATE. 340 341 PR c++/78369 - {} as default argument 342 * call.c (build_special_member_call): Handle CONSTRUCTOR. 343 344 PR c++/68377 345 * parser.c (cp_parser_fold_expression): Check TREE_NO_WARNING. 346 3472016-11-16 Jason Merrill <jason@redhat.com> 348 349 PR c++/78373 350 * decl.c (cp_finish_decl): Don't set TREE_CONSTANT on a reference. 351 * typeck2.c (store_init_value): Likewise. 352 353 * decl.c (store_decomp_type, lookup_decomp_type): New. 354 (cp_finish_decomp): Call store_decomp_type. 355 * semantics.c (finish_decltype_type): Call lookup_decomp_type. 356 * cp-tree.h: Declare lookup_decomp_type. 357 3582016-11-15 Jakub Jelinek <jakub@redhat.com> 359 360 * decl.c (cp_finish_decomp): For DECL_NAMESPACE_SCOPE_P decl, 361 set DECL_ASSEMBLER_NAME. 362 * parser.c (cp_parser_decomposition_declaration): Likewise 363 if returning error_mark_node. 364 * mangle.c (mangle_decomp): New function. 365 * cp-tree.h (mangle_decomp): New declaration. 366 3672016-11-15 Jason Merrill <jason@redhat.com> 368 369 PR c++/78358 370 * semantics.c (finish_decltype_type): Strip references for a tuple 371 decomposition. 372 * cp-tree.h (DECL_DECOMPOSITION_P): False for non-variables. 373 374 * decl2.c (decl_maybe_constant_var_p): References qualify. 375 * constexpr.c (non_const_var_error): Handle references. 376 * init.c (constant_value_1): Always check decl_constant_var_p. 377 * cp-gimplify.c (cp_fold_maybe_rvalue): Don't fold references. 378 * error.c (dump_decl_name): Split out from dump_decl. 379 3802016-11-14 Jason Merrill <jason@redhat.com> 381 382 * tree.c (bitfield_p): New. 383 * cp-tree.h: Declare it. 384 * typeck.c (cxx_sizeof_expr, cxx_alignof_expr) 385 (cp_build_addr_expr_1): Use it instead of DECL_C_BIT_FIELD. 386 * decl.c (cp_finish_decomp): Look through reference. Always 387 SET_DECL_DECOMPOSITION_P. 388 * semantics.c (finish_decltype_type): Adjust decomposition handling. 389 3902016-11-13 Jakub Jelinek <jakub@redhat.com> 391 Jason Merrill <jason@redhat.com> 392 393 Implement P0217R3 - C++17 structured bindings 394 * cp-tree.h (struct lang_decl_base): Add decomposition_p. 395 (DECL_DECOMPOSITION_P): New 396 (enum auto_deduction_context): Add adc_decomp_type. 397 (enum cp_declarator_kind): Add cdk_decomp. 398 * constexpr.c (cxx_eval_constant_expression): Look through 399 DECL_VALUE_EXPR. 400 (potential_constant_expression_1): Likewise. 401 * decl.c (reshape_init): Preserve CONSTRUCTOR_IS_DIRECT_INIT. 402 (check_initializer): Use build_aggr_init for DECL_DECOMPOSITION_P. 403 (cp_finish_decl): Pass adc_decomp_type for decomposition. 404 (find_decomp_class_base, get_tuple_size, get_tuple_element_type) 405 (get_tuple_decomp_init, cp_finish_decomp): New. 406 (grokdeclarator): Handle decomposition. 407 * init.c (build_aggr_init): Handle decomposition array. 408 (build_vec_init): Handle initialization from { array }. 409 * name-lookup.c (add_function): Always wrap TEMPLATE_DECL in 410 OVERLOAD. 411 * parser.c (declarator_can_be_parameter_pack): Handle cdk_decomp. 412 (function_declarator_p, strip_declarator_types) 413 (cp_parser_check_declarator_template_parameters): Likewise. 414 (cp_parser_range_for, cp_convert_range_for): Handle decomposition. 415 (cp_parser_simple_declaration): Parse decomposition. 416 (cp_parser_decomposition_declaration): New. 417 * pt.c (tsubst_decomp_names): New. 418 (subst_expr) [DECL_EXPR, RANGE_FOR_STMT]: Handle decomposition. 419 (do_auto_deduction): Handle adc_decomp_type. 420 * semantics.c (finish_decltype_type): Look through DECL_VALUE_EXPR. 421 * typeck.c (is_bitfield_expr_with_lowered_type): Likewise. 422 * tree.c (lvalue_kind): Likewise. 423 (cp_build_reference_type): Handle reference collapsing. 424 4252016-11-13 Jason Merrill <jason@redhat.com> 426 427 * call.c (build_new_method_call_1): Include template arguments in 428 error message. 429 (print_error_for_call_failure): Likewise. 430 (build_new_function_call): Pass them in. 431 * name-lookup.c (supplement_binding_1): Don't complain about a 432 conflict with an erroneous declaration. 433 * error.c (dump_decl): Fix printing of alias declaration. 434 * decl.c (make_typename_type): Call cxx_incomplete_type_error. 435 * parser.c (cp_parser_diagnose_invalid_type_name): Likewise. 436 * semantics.c (perform_koenig_lookup): Don't wrap an error in 437 TEMPLATE_ID_EXPR. 438 4392016-11-13 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> 440 441 PR c/35503 442 * parser.c (cp_parser_postfix_pexpression): Call warn_for_restrict. 443 4442016-11-12 Jason Merrill <jason@redhat.com> 445 446 CWG 2233 447 * typeck.c (convert_arguments): Handle default arg followed by none. 448 449 * constexpr.c (potential_constant_expression_1): REALPART_EXPR and 450 IMAGPART_EXPR can be lvalues. 451 452 DR 374 453 PR c++/56480 454 * pt.c (check_specialization_namespace): Allow any enclosing 455 namespace. 456 (check_unqualified_spec_or_inst): New. 457 (check_explicit_specialization): Call it. 458 * parser.c (cp_parser_elaborated_type_specifier) 459 (cp_parser_class_head): Call it. 460 4612016-11-10 Jason Merrill <jason@redhat.com> 462 463 PR c++/77337 464 * pt.c (tsubst_friend_function): Don't set DECL_INITIAL. 465 (instantiate_decl): It's OK to defer a constexpr function. 466 * cp-tree.h (DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION): Check 467 DECL_LANG_SPECIFIC. 468 * decl2.c (decl_defined_p): Use it. No longer static. 469 * decl.c (redeclaration_error_message): Use decl_defined_p. 470 * constexpr.c (cxx_eval_call_expression): Set input_location around 471 call to instantiate_decl. 472 4732016-11-10 Jakub Jelinek <jakub@redhat.com> 474 475 * mangle.c (mangle_decl): Only emit -Wc++1z-compat warnings for 476 public or external symbols. 477 4782016-11-09 Jakub Jelinek <jakub@redhat.com> 479 480 PR c++/78283 481 * mangle.c (start_mangling): Reset G.need_cxx1z_warning. 482 4832016-11-09 Jason Merrill <jason@redhat.com> 484 485 * parser.c (cp_parser_simple_type_specifier): Allow placeholder 486 for template template parameter. 487 (cp_parser_type_id_1): Improve diagnostic. 488 * decl.c (grokdeclarator): Handle class deduction diagnostics here. 489 * pt.c (splice_late_return_type): Not here. 490 (tsubst) [TEMPLATE_TYPE_PARM]: Substitute into placeholder template. 491 (do_class_deduction): Handle non-class templates. 492 493 Implement P0127R2, Declaring non-type parameters with auto. 494 * cp-tree.h (enum auto_deduction_context): Add adc_unify. 495 * decl.c (grokdeclarator): Allow 'auto' in C++17 template non-type 496 parameter types. 497 * pt.c (do_auto_deduction): Add outer_targs parameter. 498 (convert_template_argument): Call do_auto_deduction. If adc_unify, 499 don't give up on dependent init. 500 (unify): Likewise. In C++17, walk into the type of a 501 TEMPLATE_PARM_INDEX. 502 (for_each_template_parm): Add any_fn parameter. 503 (struct pair_fn_data): Likewise. 504 (for_each_template_parm_r): Call it for any tree. In C++17, walk 505 into the type of a TEMPLATE_PARM_INDEX. 506 (zero_r, array_deduction_r, try_array_deduction): New. 507 (type_unification_real): Call try_array_deduction. 508 (get_partial_spec_bindings): Likewise. 509 5102016-11-07 Jason Merrill <jason@redhat.com> 511 512 Implement P0012R1, Make exception specifications part of the type 513 system. 514 * cp-tree.h (enum tsubst_flags): Add tf_fndecl_type. 515 (flag_noexcept_type, ce_type): New. 516 * call.c (build_conv): Add ck_fnptr. 517 (enum conversion_kind): Change ck_tsafe to ck_fnptr. 518 (convert_like_real): Likewise. 519 (standard_conversion): Likewise. Allow function pointer 520 conversions for pointers to member functions. 521 (reference_compatible_p): Allow function pointer conversions. 522 (direct_reference_binding): Likewise. 523 (reference_binding): Reference-compatible is no longer a subset of 524 reference-related. 525 (is_subseq): Also strip ck_lvalue after next_conversion. 526 * class.c (instantiate_type): Check fnptr_conv_p. 527 (resolve_address_of_overloaded_function): Likewise. 528 * cvt.c (can_convert_tx_safety): Now static. 529 (noexcept_conv_p, fnptr_conv_p, strip_fnptr_conv): New. 530 * decl.c (flag_noexcept_type): Define. 531 (cxx_init_decl_processing): Set it. 532 (bad_specifiers): Check it. 533 (grokdeclarator) [cdk_function]: Add exception-spec to type here. 534 * lambda.c (maybe_add_lambda_conv_op): Add exception-spec to 535 returned pointer. 536 * mangle.c (struct globals): Add need_cxx1z_warning. 537 (mangle_decl): Check it. 538 (write_exception_spec): New. 539 (write_function_type): Call it. 540 (canonicalize_for_substitution): Handle exception spec. 541 (write_type): Likewise. 542 (write_encoding): Set processing_template_decl across mangling of 543 partially-instantiated type. 544 * pt.c (determine_specialization): Pass tf_fndecl_type. 545 (tsubst_decl, fn_type_unification): Likewise. 546 (tsubst): Strip tf_fndecl_type, pass it to 547 tsubst_exception_specification. 548 (convert_nontype_argument_function): Handle function pointer 549 conversion. 550 (convert_nontype_argument): Likewise. 551 (unify, for_each_template_parm_r): Walk into noexcept-specifier. 552 * rtti.c (ptr_initializer): Encode noexcept. 553 * tree.c (canonical_eh_spec): New. 554 (build_exception_variant): Use it. 555 * typeck.c (composite_pointer_type): Handle fnptr conversion. 556 (comp_except_specs): Compare canonical EH specs. 557 (structural_comptypes): Call it. 558 559 * call.c (standard_conversion): Reorganize pointer conversions. 560 * pt.c (convert_nontype_argument_function): Convert to ref here. 561 (convert_nontype_argument): Not here. 562 (convert_template_argument): Add original type to error message. 563 (RECUR_AND_CHECK_FAILURE): Remove trailing semicolon. 564 (unify): Compare function-qualifiers. 565 * typeck.c (same_type_ignoring_top_level_qualifiers_p): Use 566 cp_build_qualified_type rather than TYPE_MAIN_VARIANT. 567 568 * pt.c (push_tinst_level_loc): Add template instantiations to the 569 announce_function stream. 570 5712016-11-04 Paolo Carlini <paolo.carlini@oracle.com> 572 573 PR c++/67980 574 * pt.c (tsubst_expr, case IF_STMT): Use fold_non_dependent_expr 575 to suppress unwanted warnings. 576 5772016-11-03 Jason Merrill <jason@redhat.com> 578 579 PR c++/78198 580 * call.c (convert_default_arg): Look through inheriting ctors. 581 5822016-11-03 Jakub Jelinek <jakub@redhat.com> 583 Alexandre Oliva <aoliva@redhat.com> 584 Jason Merrill <jason@redhat.com> 585 586 PR debug/28767 587 PR debug/56974 588 * tree.c (cp_check_qualified_type): Use check_base_type and 589 TYPE_QUALS comparison instead of check_qualified_type. 590 (cxx_type_hash_eq): Return false if type_memfn_rqual don't match. 591 * cp-objcp-common.c (cp_get_debug_type): New function. 592 (cp_decl_dwarf_attribute): Don't handle types here. 593 (cp_type_dwarf_attribute): New function. 594 * cp-objcp-common.h (cp_get_debug_type, cp_type_dwarf_attribute): 595 Declare. 596 (LANG_HOOKS_GET_DEBUG_TYPE, LANG_HOOKS_TYPE_DWARF_ATTRIBUTE): 597 Define. 598 5992016-11-03 Jason Merrill <jason@redhat.com> 600 601 * tree.c (cp_check_qualified_type): Call check_base_type instead 602 of check_qualified_type. 603 (cxx_type_hash_eq): Check ref-qualifiers. 604 * typeck.c (apply_memfn_quals): No need to mess with TYPE_CANONICAL. 605 6062016-11-01 Jason Merrill <jason@redhat.com> 607 608 Implement P0136R1, Rewording inheriting constructors. 609 * call.c (enum rejection_reason_code): Add rr_inherited_ctor. 610 (inherited_ctor_rejection): New. 611 (add_function_candidate): Reject inherited ctors for copying. 612 (enforce_access): Use strip_inheriting_ctors. 613 (print_z_candidate): Likewise. Handle rr_inherited_ctor. 614 (convert_like_real): Avoid copying inheriting ctor parameters. 615 (build_over_call): Likewise. A base ctor inheriting from vbase 616 has no parms. Sorry about varargs. 617 (joust): A local constructor beats inherited with the same convs. 618 * class.c (add_method): Handle hiding inheriting ctors. 619 (one_inherited_ctor): Handle new semantics. 620 (add_implicitly_declared_members): Pass using_decl down. 621 (build_clone): A base ctor inheriting from vbase has no parms. 622 * cp-tree.h (DECL_INHERITED_CTOR): Store this instead of the base. 623 (SET_DECL_INHERITED_CTOR): Likewise. 624 (DECL_INHERITED_CTOR_BASE): Adjust. 625 * constexpr.c: Adjust. 626 * error.c (dump_function_decl): Decorate inheriting ctors. 627 * init.c (emit_mem_initializers): Suppress access control in 628 inheriting ctor. 629 * mangle.c (write_special_name_constructor): Handle new inheriting 630 ctor mangling. 631 * method.c (strip_inheriting_ctors, inherited_ctor_binfo) 632 (ctor_omit_inherited_parms, binfo_inherited_from): New. 633 (synthesized_method_walk): Use binfo_inherited_from. Suppress 634 access control in inheriting ctor. 635 (deduce_inheriting_ctor): Deleted if ambiguous ctor inheritance. 636 (maybe_explain_implicit_delete): Explain ambigous ctor inheritance. 637 (add_one_base_init, do_build_copy_constructor): Adjust. 638 (locate_fn_flags, explain_implicit_non_constexpr): Adjust. 639 (implicitly_declare_fn): Adjust. 640 (get_inherited_ctor): Remove. 641 * name-lookup.c (do_class_using_decl): Check for indirect ctor 642 inheritance. 643 * optimize.c (cdtor_comdat_group): Adjust for new mangling. 644 (maybe_clone_body): Handle omitted parms in base clone. 645 (maybe_thunk_body): Don't thunk if base clone omits parms. 646 * pt.c (tsubst_decl): Adjust. 647 (instantiate_template_1): Suppress access control in inheriting 648 ctor. 649 (fn_type_unification): Do deduction with inherited ctor. 650 * tree.c (special_function_p): Adjust. 651 6522016-11-01 Jakub Jelinek <jakub@redhat.com> 653 654 * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle DW_AT_inline. 655 6562016-11-01 Jason Merrill <jason@redhat.com> 657 658 * class.c (declared_access): Split out from handle_using_decl. 659 6602016-10-31 Jakub Jelinek <jakub@redhat.com> 661 662 PR c++/78089 663 * parser.c (cp_parser_postfix_expression): Replace return statement in 664 the first switch with setting postfix_expression to the return 665 expression and break;. 666 667 PR c++/77886 668 * pt.c (tsubst_expr) <case CASE_LABEL_EXPR> Copy over 669 FALLTHROUGH_LABEL_P flag to the new LABEL_DECL. 670 (tsubst_expr) <case LABEL_EXPR>: Likewise. 671 6722016-09-11 Le-Chun Wu <lcwu@google.com> 673 Mark Wielaard <mjw@redhat.com> 674 675 * name-lookup.c (pushdecl_maybe_friend): When emitting a 676 shadowing warning, use the code corresponding to the 677 given -Wshadow= variant. 678 6792016-10-26 Jason Merrill <jason@redhat.com> 680 681 * class.c (add_method): Allow using-declarations to coexist. 682 6832016-10-25 Jason Merrill <jason@redhat.com> 684 685 * constexpr.c (maybe_constant_init): Pull out TARGET_EXPR_INITIAL. 686 (cxx_eval_outermost_constant_expr): Don't return a CONSTRUCTOR 687 with CONSTRUCTOR_NO_IMPLICIT_ZERO. 688 (cxx_eval_call_expression): Clear CONSTRUCTOR_NO_IMPLICIT_ZERO. 689 6902016-10-25 Jakub Jelinek <jakub@redhat.com> 691 692 * parser.c (cp_parser_postfix_expression): Adding missing break;. 693 694 * cp-tree.h (finish_builtin_launder): Declare. 695 * parser.c (cp_parser_postfix_expression): Handle RID_BUILTIN_LAUNDER. 696 * semantics.c (finish_builtin_launder): New function. 697 * pt.c (tsubst_copy_and_build): Handle instantiation of IFN_LAUNDER. 698 * constexpr.c (cxx_eval_internal_function): Handle IFN_LAUNDER. 699 (potential_constant_expression_1): Likewise. 700 7012016-10-24 Jakub Jelinek <jakub@redhat.com> 702 703 * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle DW_AT_reference 704 and DW_AT_rvalue_reference. 705 706 * cxx-pretty-print.c (pp_cxx_check_constraint): Use VAR_P (x) 707 instead of TREE_CODE (x) == VAR_DECL. 708 * constraint.cc (get_concept_definition): Likewise. 709 (finish_shorthand_constraint): Likewise. 710 * init.c (warn_placement_new_too_small): Likewise. 711 * cp-gimplify.c (cp_genericize_r): Likewise. 712 7132016-10-21 Jason Merrill <jason@redhat.com> 714 715 PR c++/77656 716 * pt.c (convert_template_argument): Call convert_nontype_argument 717 on value-dependent but not type-dependent arguments. 718 (convert_nontype_argument): Handle value-dependent arguments. 719 (canonicalize_expr_argument): New. 720 (deducible_expression, unify): Skip CONVERT_EXPR. 721 * error.c (dump_template_argument): Likewise. 722 * mangle.c (write_expression): Likewise. 723 724 * ptree.c (cxx_print_xnode) [TEMPLATE_PARM_INDEX]: Dump the decl. 725 7262016-10-21 Jakub Jelinek <jakub@redhat.com> 727 728 * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle 729 DW_AT_const_expr. 730 7312016-10-17 Jakub Jelinek <jakub@redhat.com> 732 733 * cp-objcp-common.h (cp_function_decl_explicit_p, 734 cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove. 735 (cp_decl_dwarf_attribute): Declare. 736 (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P, 737 LANG_HOOKS_FUNCTION_DECL_DELETED_P, 738 LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Remove. 739 (LANG_HOOKS_DECL_DWARF_ATTRIBUTE): Redefine. 740 * cp-objcp-common.c (cp_function_decl_explicit_p, 741 cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove. 742 (cp_decl_dwarf_attribute): New function. 743 7442016-10-15 Jason Merrill <jason@redhat.com> 745 746 PR c++/77945 747 * constexpr.c (maybe_simplify_trivial_copy): New. 748 (cxx_eval_store_expression): Call it. 749 * call.c (build_over_call): Use unsigned char for trivial copy. 750 7512016-10-14 Jason Merrill <jason@redhat.com> 752 753 Implement P0017R1, C++17 aggregates with bases. 754 * class.c (build_base_field_1): Split out from... 755 (build_base_field): ...here. In C++17 mode, build a field for 756 empty bases. 757 * decl.c (xref_basetypes): In C++17 aggregates can have bases. 758 (next_initializable_field): Allow base fields in C++17. 759 * typeck2.c (process_init_constructor_record): Likewise. 760 7612016-10-14 Jakub Jelinek <jakub@redhat.com> 762 763 DR 1511 - const volatile variables and ODR 764 * decl.c (grokvardecl): Change flags argument to type_quals, 765 add conceptp argument. Set TREE_PUBLIC for non-static volatile vars. 766 (grokdeclarator): Adjust grokvardecl caller. 767 7682016-10-13 Martin Sebor <msebor@redhat.com> 769 770 PR c++/71912 771 * class.c (struct flexmems_t): Add members. 772 (find_flexarrays): Add arguments. Correct handling of anonymous 773 structs. 774 (diagnose_flexarrays): Adjust to issue warnings in addition to errors. 775 (check_flexarrays): Add argument. 776 (diagnose_invalid_flexarray): New functions. 777 7782016-10-13 Jakub Jelinek <jakub@redhat.com> 779 Jason Merrill <jason@redhat.com> 780 781 Implement P0386R2 - C++17 inline variables 782 * cp-tree.h (struct lang_type): Shrink language field to 1 bit 783 from 4. Add var_declared_inline_p field. Mention 2 spare bits. 784 (DECL_VAR_DECLARED_INLINE_P): Define. 785 (SET_DECL_VAR_DECLARED_INLINE_P): Define. 786 (DECL_INLINE_VAR_P): Define. 787 (diagnose_inline_vars_for_namespace): Declare. 788 * decl.c (diagnose_inline_vars_for_namespace): New function. 789 (duplicate_decls): For static data members copy 790 DECL_DECLARED_CONSTEXPR_P. 791 (redeclaration_error_message): Handle C++17 redundant redeclaration 792 of constexpr static data member outside of class. 793 (maybe_commonize_var): Handle inline variables. 794 (check_initializer): Ignore inline variables for diagnostics. 795 Adjust diagnostic wording for C++17. 796 (make_rtl_for_nonlocal_decl): Allow in-class definition of 797 inline static data members. 798 (bad_specifiers): Don't diagnose inline on variables here. 799 (grokvardecl): Add inlinep argument, non-static const inline variables 800 are TREE_PUBLIC. 801 (check_static_variable_definition): Return early also for inline 802 variables. 803 (mark_inline_variable): New. 804 (grokdeclarator): Handle inline variables and inline static data 805 members. 806 * typeck2.c (store_init_value): Don't diagnose non-constant 807 initializers for non-constexpr inline static data members. 808 * decl2.c (vague_linkage_p): Return true for inline variables. 809 (c_parse_final_cleanups): In-class declaration of inline static 810 data members is a definition. Call diagnose_inline_vars_for_namespace 811 through walk_namespaces. 812 * pt.c (instantiate_decl): Set pattern_defined for in-class definitions 813 of inline static data members. 814 8152016-10-13 Jason Merrill <jason@redhat.com> 816 817 * decl.c (mark_inline_variable): New. 818 819>>>>>>> .r241142 8202016-10-13 Thomas Preud'homme <thomas.preudhomme@arm.com> 821 822 * decl2.c: Include memmodel.h. 823 * rtti.c: Likewise. 824 8252016-10-11 Jason Merrill <jason@redhat.com> 826 827 PR c++/77742 828 * init.c (build_new_1): Don't -Waligned-new about placement new. 829 (malloc_alignment): New. Consider MALLOC_ABI_ALIGNMENT. 830 * decl.c (cxx_init_decl_processing): New. 831 8322016-10-10 Jason Merrill <jason@redhat.com> 833 834 PR c++/77890 835 PR c++/77912 836 * pt.c (do_class_deduction): Set cp_unevaluated_operand. 837 (tsubst) [TEMPLATE_TYPE_PARM]: Copy CLASS_PLACEHOLDER_TEMPLATE. 838 8392016-10-08 Jason Merrill <jason@redhat.com> 840 841 * cp-gimplify.c (cp_fold): Add variable name. 842 843 * cp-gimplify.c (cp_fold): Distribute cp_truthvalue_conversion 844 into COND_EXPR. 845 8462016-10-07 Jason Merrill <jason@redhat.com> 847 848 Further P0135 refinement. 849 * call.c (build_user_type_conversion_1): Consider conversions from 850 a single element in an initializer-list. 851 (build_temp): Undo early_elide_copy change. 852 (build_over_call): Check that we don't try to copy a TARGET_EXPR 853 in C++17 mode. Set user_conv_p here. 854 (convert_like_real): Not here. 855 (check_self_delegation): Split out from... 856 (build_special_member_call): ...here. Handle C++17 copy elision. 857 * cvt.c (early_elide_copy): Remove. 858 (ocp_convert): Undo early_elide_copy change. 859 * except.c (build_throw): Likewise. 860 * init.c (expand_default_init): Likewise. 861 * typeck.c (cp_build_modify_expr): Likewise. 862 8632016-10-07 Nathan Sidwell <nathan@acm.org> 864 865 PR c++/64433 866 DR1658, DR1611 867 * init.c (emit_mem_initializers): Don't construct vbases of 868 abstract classes. 869 (push_base_cleanups): Don't push vbase cleanups for abstract class 870 when in C++14 mode. 871 * method.c (synthethesized_method_walk): Don't walk vbases of 872 abstract classes when in C++14 mode. 873 8742016-10-07 Jakub Jelinek <jakub@redhat.com> 875 876 Implement LWG2296 helper intrinsic 877 * parser.c (cp_parser_postfix_expression): Handle RID_ADDRESSOF. 878 * cp-objcp-common.c (cp_common_init_ts): Handle ADDRESSOF_EXPR. 879 * constexpr.c (potential_constant_expression_1): Likewise. 880 * error.c (dump_expr): Likewise. 881 * typeck.c (cp_build_addressof): New function. 882 * cp-tree.h (cp_build_addressof): Declare. 883 * cxx-pretty-print.h (pp_cxx_addressof_expression): Declare. 884 * cp-tree.def (ADDRESSOF_EXPR): New tree code. 885 * cxx-pretty-print.c (cxx_pretty_printer::primary_expression): Handle 886 ADDRESSOF_EXPR. Add __builtin_addressof and 887 __has_unique_object_representations into syntax in function comment. 888 (pp_cxx_addressof_expression): New function. 889 * pt.c (tsubst_copy_and_build): Handle ADDRESSOF_EXPR. 890 8912016-10-07 Bernd Edlinger <bernd.edlinger@hotmail.de> 892 893 PR c++/77700 894 * parser.c (cp_parser_base_specifier): Fix a warning. 895 8962016-10-07 Bernd Schmidt <bschmidt@redhat.com> 897 898 PR c++/69733 899 * decl.c (grokdeclarator): Try to find the correct location for an 900 ignored qualifier. 901 9022016-10-07 Martin Liska <mliska@suse.cz> 903 904 * lambda.c (maybe_add_lambda_conv_op): Set default value. 905 9062016-10-06 Jason Merrill <jason@redhat.com> 907 908 * call.c (build_temp, convert_like_real): Don't re-copy 909 TARGET_EXPR. Handle packed fields. 910 (build_x_va_arg): Wrap it in a TARGET_EXPR. 911 (build_over_call): Add sanity check. 912 * cvt.c (early_elide_copy): New. 913 (ocp_convert): Use it. 914 * except.c (build_throw): Use it. 915 * init.c (get_nsdmi): Put back the TARGET_EXPR. 916 (expand_default_init): Call early_elide_copy. 917 * typeck.c (cp_build_modify_expr): Call early_elide_copy. 918 9192016-10-06 Jakub Jelinek <jakub@redhat.com> 920 921 Implement P0258R2 - helper for C++17 922 std::has_unique_object_representations trait 923 * cp-tree.h (enum cp_trait_kind): Add 924 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. 925 (struct lang_type_class): Add unique_obj_representations 926 and unique_obj_representations_set bitfields. 927 (CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS, 928 CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS_SET): Define. 929 (type_has_unique_obj_representations): Declare. 930 * parser.c (cp_parser_primary_expression): Handle 931 RID_HAS_UNIQUE_OBJ_REPRESENTATIONS. 932 (cp_parser_trait_expr): Likewise. Formatting fix. 933 * semantics.c (trait_expr_value, finish_trait_expr): Handle 934 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. 935 * tree.c (type_has_unique_obj_representations): New function. 936 (record_has_unique_obj_representations): New function. 937 * cxx-pretty-print.c (pp_cxx_trait_expression): Handle 938 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. 939 9402016-10-05 Jason Merrill <jason@redhat.com> 941 942 Implement P0135R1, Guaranteed copy elision. 943 * cvt.c (ocp_convert): Don't re-copy a TARGET_EXPR in C++17. 944 945 PR c++/54293 946 * call.c (reference_binding): Fix binding to member of temporary. 947 948 * call.c (extend_ref_init_temps): Fix TARGET_EXPR handling. 949 950 * parser.c (cp_parser_skip_to_end_of_statement): Add missing break. 951 952 * semantics.c (finish_compound_literal): Handle class placeholder. 953 9542016-10-05 Marek Polacek <polacek@redhat.com> 955 956 Implement P0305R1, Selection statements with initializer. 957 * cp-array-notation.c (create_an_loop): Call finish_init_stmt 958 instead of finish_for_init_stmt. 959 * cp-tree.h (finish_for_init_stmt): Rename to finish_init_stmt. 960 * decl.c (poplevel): Adjust a comment. 961 * init.c (build_vec_init): Call finish_init_stmt instead of 962 finish_for_init_stmt. 963 * name-lookup.c (pushdecl_maybe_friend_1): Adjust a comment. 964 * name-lookup.h (enum scope_kind): Likewise. 965 * parser.c (cp_parser_statement): Update commentary. 966 (cp_parser_init_statement_p): New function. 967 (cp_parser_selection_statement): Parse the optional init-statement. 968 (cp_parser_for): Call finish_init_stmt instead of finish_for_init_stmt. 969 (cp_parser_c_for): Likewise. 970 (cp_convert_range_for): Call finish_init_stmt instead of finish_for_init_stmt. 971 (cp_parser_range_for_member_function): Update commentary. 972 (cp_parser_iteration_statement): 973 (cp_parser_for_init_statement): Rename to cp_parser_init_statement. 974 * pt.c (tsubst_omp_for_iterator): Update commentary. 975 (tsubst_expr): Call finish_init_stmt instead of finish_for_init_stmt. 976 * semantics.c (finish_for_init_stmt): Rename to finish_init_stmt. 977 Update commentary. 978 9792016-10-04 Jason Merrill <jason@redhat.com> 980 981 PR c++/77852 982 * pt.c (do_class_deduction): Handle list-initialization. 983 (do_auto_deduction): Call it sooner. 984 (build_deduction_guide): Use tsubst_arg_types. 985 (rewrite_template_parm): Don't copy_type. 986 987 PR c++/77775 988 * constexpr.c (cxx_eval_component_reference): Use name matching 989 for PMFs. 990 991 Implement P0091R2, Template argument deduction for class templates. 992 * parser.c (cp_parser_simple_type_specifier): Parse class placeholder. 993 Use the location of the beginning of the type-specifier. 994 (cp_parser_init_declarator): Parse deduction guide. 995 (cp_parser_diagnose_invalid_type_name): Mention class deduction. 996 (cp_parser_type_id_1): Don't accept class placeholder as template arg. 997 * cp-tree.h (CLASS_PLACEHOLDER_TEMPLATE): New. 998 * decl.c (grokdeclarator): Check for uninitialized auto here. 999 (start_decl_1): Not here. 1000 (cp_finish_decl): Or here. Don't collapse a list when doing 1001 class deduction. 1002 (grokfndecl): Check deduction guide scope and body. 1003 * error.c (dump_decl, dump_function_decl, dump_function_name): 1004 Handle deduction guides. 1005 * pt.c (make_template_placeholder, do_class_deduction): New. 1006 (build_deduction_guide, rewrite_template_parm): New. 1007 (dguide_name, dguide_name_p, deduction_guide_p): New. 1008 (do_auto_deduction): Call do_class_deduction. 1009 (splice_late_return_type, is_auto): Handle class placeholders. 1010 (template_parms_level_to_args): Split from template_parms_to_args. 1011 (tsubst_template_parms_level): Split from tsubst_template_parms. 1012 * typeck2.c (build_functional_cast): Handle class placeholder. 1013 10142016-10-04 Martin Sebor <msebor@redhat.com> 1015 1016 PR c++/77804 1017 * init.c (warn_placement_new_too_small): Avoid assuming an array type 1018 has a constant size. 1019 10202016-10-04 Jakub Jelinek <jakub@redhat.com> 1021 1022 PR c++/77791 1023 * parser.c (cp_parser_lambda_declarator_opt): Only pedwarn 1024 for C++11 on decls in the param_list. Test cxx_dialect < cxx14 before 1025 the loop just once. 1026 1027 * cp-tree.h (enum cp_tree_index): Remove CPTI_JAVA_*, 1028 CPTI_LANG_NAME_JAVA and CPTI_JCLASS. 1029 (java_byte_type_node, java_short_type_node, java_int_type_node, 1030 java_long_type_node, java_float_type_node, java_double_type_node, 1031 java_char_type_node, java_boolean_type_node, lang_name_java, 1032 jclass_node): Remove. 1033 (enum languages): Remove lang_java. 1034 (TYPE_FOR_JAVA): Remove. 1035 (struct lang_type_class): Remove java_interface bit-field. 1036 (TYPE_JAVA_INTERFACE): Remove. 1037 (pragma_java_exceptions): Remove. 1038 (check_java_method, build_java_class_ref): Remove prototypes. 1039 * name-lookup.c (pushtag_1): Don't set TYPE_FOR_JAVA. 1040 * decl2.c (acceptable_java_type, check_java_method): Remove. 1041 (import_export_decl): Remove TYPE_FOR_JAVA handling. 1042 (build_java_method_aliases): Remove. 1043 (c_parse_final_cleanups): Don't call build_java_method_aliases. 1044 (possibly_inlined_p): Don't test pragma_java_exceptions. 1045 * init.c (build_new_1): Remove TYPE_FOR_JAVA handling. 1046 (build_java_class_ref): Remove. 1047 * pt.c (maybe_new_partial_specialization, lookup_template_class_1, 1048 instantiate_class_template_1): Don't copy TYPE_FOR_JAVA. 1049 * except.c (eh_type_info): Remove java type handling. 1050 (decl_is_java_type, choose_personality_routine): Remove. 1051 (initialize_handler_parm): Don't call choose_personality_routine. 1052 (expand_start_catch_block): Don't handle java types. 1053 (build_throw): Likewise. 1054 * cp-lang.c (cp_eh_personality): Don't handle pragma_java_exceptions. 1055 * typeck.c (structural_comptypes): Don't compare TYPE_FOR_JAVA. 1056 * call.c (build_over_call): Don't handle TYPE_JAVA_INTERFACE. 1057 (java_iface_lookup_fn): Remove. 1058 (build_java_interface_fn_ref): Remove. 1059 * tree.c (cxx_attribute_table): Remove java_interface. 1060 (handle_java_interface_attribute): Remove. 1061 * lex.c (pragma_java_exceptions): Remove. 1062 (init_cp_pragma): Don't register GCC java_exceptions pragma. 1063 (handle_pragma_java_exceptions): Remove. 1064 (retrofit_lang_decl): Don't handle lang_name_java. 1065 * method.c (implicitly_declare_fn): Don't handle TYPE_FOR_JAVA. 1066 * error.c (language_to_string): Don't handle lang_java. 1067 * decl.c (record_builtin_java_type): Remove. 1068 (initialize_predefined_identifiers): Remove Java. 1069 (cxx_init_decl_processing): Remove java_*_type_node. 1070 (cp_finish_decl): Don't handle TYPE_FOR_JAVA. 1071 (grokfndecl): Likewise. 1072 (check_special_function_return_type): Likewise. 1073 (grokdeclarator): Don't set TYPE_FOR_JAVA. 1074 (grokparms): Don't handle TYPE_FOR_JAVA. 1075 (xref_basetypes): Likewise. 1076 (check_function_type): Likewise. 1077 (finish_constructor_body): Likewise. 1078 * mangle.c (write_builtin_type): Don't handle TYPE_FOR_JAVA 1079 and java_*_type_node. 1080 (write_bare_function_type): Don't handle TYPE_FOR_JAVA. 1081 (write_java_integer_type_codes): Remove. 1082 * class.c (add_method): Don't handle TYPE_FOR_JAVA. 1083 (add_implicitly_declared_members, determine_key_method, 1084 finish_struct_1): Likewise. 1085 (push_lang_context): Don't handle lang_name_java. 1086 10872016-10-03 Marek Polacek <polacek@redhat.com> 1088 1089 Core 903 1090 * typeck.c (cp_build_binary_op): Pass original operands to 1091 null_ptr_cst_p, not those after the default conversions. 1092 10932016-10-03 Bernd Edlinger <bernd.edlinger@hotmail.de> 1094 1095 * parser.c (cp_parser_condition): Fix a warning. 1096 10972016-09-29 Jakub Jelinek <jakub@redhat.com> 1098 1099 Implement P0001R1 - C++17 removal of register storage class specifier 1100 * decl.c (cp_finish_decl): Diagnose register storage class 1101 on vars except when used in GNU global or local register variable 1102 extension. 1103 (grokdeclarator): Diagnose register storage class on parameters. 1104 * except.c (expand_start_catch_block): Set DECL_REGISTER only 1105 after cp_finish_decl call. 1106 11072016-09-29 Marek Polacek <polacek@redhat.com> 1108 1109 * rtti.c (involves_incomplete_p): Add fall through comment. 1110 11112016-09-28 Jakub Jelinek <jakub@redhat.com> 1112 1113 PR c++/77467 1114 * constexpr.c (enum constexpr_switch_state): New. 1115 (struct constexpr_ctx): Add css_state field. 1116 (label_matches): Add CTX and STMT arguments, remove I and 1117 DEFAULT_LABEL. For CASE_LABEL_EXPR assert ctx->css_state != NULL, 1118 handle default labels according to css_state. 1119 (cxx_eval_statement_list): Remove statement skipping, label_matches 1120 and default_label handling code. 1121 (cxx_eval_loop_expr): Exit after first iteration even if 1122 switches (jump_target). 1123 (cxx_eval_switch_expr): Set up css_state field in ctx, if default 1124 label has been seen in the body, but no cases matched, evaluate 1125 the body second time. 1126 (cxx_eval_constant_expression): Handle stmt skipping and label_matches 1127 here. Handle PREDICT_EXPR. For MODIFY_EXPR or INIT_EXPR, assert 1128 statement is not skipped. For COND_EXPR during skipping, don't 1129 evaluate condition, just the then block and if still skipping at the 1130 end also the else block. 1131 (cxx_eval_outermost_constant_expr): Adjust constexpr_ctx initializer. 1132 (is_sub_constant_expr): Likewise. 1133 11342016-09-27 Jakub Jelinek <jakub@redhat.com> 1135 1136 Implement P0018R3, C++17 lambda capture of *this by value as [=,*this] 1137 * parser.c (cp_parser_lambda_introducer): Formatting fix. Pass 1138 true instead of false as by_reference_p to add_capture for 'this'. 1139 Parse '*this' simple-capture. 1140 * lambda.c (build_capture_proxy): Handle '*this' capture by value. 1141 (add_capture): Adjust function comment. For id == this_identifier, 1142 treat by_reference_p as capturing '*this' by reference, i.e. 'this' 1143 by value, and !by_reference_p as capturing '*this' by value. 1144 (add_default_capture): For implicit 'this' capture, always pass 1145 by_reference_p true rather than false. 1146 1147 PR c++/77722 1148 * cp-gimplify.c (cp_ubsan_maybe_instrument_return): Instrument also 1149 functions that have just a STATEMENT_LIST instead of BIND_EXPR, or 1150 BIND_EXPR with some statement rather than STATEMENT_LIST as body. 1151 11522016-09-26 Nathan Sidwell <nathan@acm.org> 1153 1154 * init.c (expand_default_init): Fix } indentation. 1155 * method.c (process_subob_fn): Simplify control structure to 1156 remove gotos. 1157 (implicitly_declare_fn): Remove duplicated lambda ctor check. 1158 11592016-09-26 Marek Polacek <polacek@redhat.com> 1160 1161 PR c/7652 1162 * parser.c (cp_parser_storage_class_specifier_opt): Add 1163 gcc_fallthrough. 1164 (cp_parser_skip_to_end_of_template_parameter_list): Likewise. 1165 (cp_parser_cache_defarg): Likewise. 1166 (cp_parser_omp_for_cond): Likewise. 1167 * semantics.c (finish_decltype_type): Likewise. 1168 * typeck.c (structural_comptypes): Likewise. 1169 (cp_build_binary_op): Likewise. 1170 (cp_build_modify_expr): Likewise. 1171 11722016-09-26 Marek Polacek <polacek@redhat.com> 1173 1174 PR c/7652 1175 * constexpr.c (cxx_eval_internal_function): Handle IFN_FALLTHROUGH. 1176 (potential_constant_expression_1): Likewise. 1177 * constraint.cc (function_concept_check_p): Check fn for null. 1178 * parser.c (cp_parser_expression_statement): Handle attribute 1179 fallthrough. 1180 (cp_parser_statement): Likewise. 1181 (cp_parser_label_for_labeled_statement): Set FALLTHROUGH_LABEL_P on 1182 labels. 1183 (cp_parser_std_attribute): Handle fallthrough attribute. 1184 (cp_parser_check_std_attribute): Add %< %> quotes. 1185 * pt.c (tsubst_copy_and_build): Handle internal functions. 1186 (instantiation_dependent_scope_ref_p): Return if the expression is 1187 null. 1188 11892016-09-24 Marek Polacek <polacek@redhat.com> 1190 1191 PR c/77490 1192 * typeck.c (cp_build_unary_op): Warn about bit not on expressions that 1193 have boolean value. 1194 11952016-09-23 Jakub Jelinek <jakub@redhat.com> 1196 1197 Implement P0138R2, C++17 construction rules for enum class values 1198 * cp-tree.h (is_direct_enum_init): Declare. 1199 * decl.c (is_direct_enum_init): New function. 1200 (reshape_init): Use it. 1201 * typeck.c (convert_for_assignment): Likewise. 1202 1203 * Make-lang.in (check-c++1z): Pass RUNTESTFLAGS down to 1204 make check-g++. 1205 1206 * constexpr.c (call_stack): Remove unnecessary 1207 = vNULL initialization of file scope vec. 1208 1209 * name-lookup.c (store_bindings, store_class_bindings): Don't 1210 initialize static local bindings_need_stored to vNULL. 1211 1212 * typeck2.c (process_init_constructor_record): Use 1213 CONSTRUCTOR_NELTS (...) instead of 1214 vec_safe_length (CONSTRUCTOR_ELTS (...)). 1215 * decl.c (reshape_init_r): Likewise. 1216 (check_initializer): Likewise. 1217 12182016-09-22 Paolo Carlini <paolo.carlini@oracle.com> 1219 1220 PR c++/71979 1221 * class.c (build_base_path): Allow for lookup_base returning 1222 NULL_TREE. 1223 12242016-09-21 Jason Merrill <jason@redhat.com> 1225 1226 Core 903 1227 * call.c (null_ptr_cst_p): Check char_type_p. 1228 12292016-09-21 Jakub Jelinek <jakub@redhat.com> 1230 1231 PR c++/77651 1232 * init.c (build_new_1): Don't suggest to use -faligned-new if 1233 aligned_new_threshold is non-zero. 1234 (type_has_new_extended_alignment): Change aligned_new_threshhold 1235 to aligned_new_threshold. 1236 * call.c (second_parm_is_size_t, aligned_allocation_fn_p, 1237 aligned_deallocation_fn_p, build_op_delete_call): Likewise. 1238 * decl.c (cxx_init_decl_processing): Likewise. 1239 12402016-09-20 Jakub Jelinek <jakub@redhat.com> 1241 1242 PR c++/77626 1243 * constexpr.c (cxx_fold_indirect_ref): Don't call byte_position on 1244 FIELD_DECLs with error_mark_node type. Remove useless break; after 1245 return. 1246 1247 PR c++/77638 1248 * parser.c (cp_parser_template_declaration_after_parameter): For 2 1249 argument operator"" template set ok to false for 1250 parm == error_mark_node. 1251 1252 PR c++/77637 1253 * parser.c (cp_parser_std_attribute_list): Reject ... without 1254 preceding attribute. 1255 12562016-09-19 Bernd Edlinger <bernd.edlinger@hotmail.de> 1257 1258 PR c++/77434 1259 * cvt.c (cp_convert_and_check): Suppress Wint-in-bool-context here. 1260 12612016-09-16 Patrick Palka <ppalka@gcc.gnu.org> 1262 1263 PR c++/77639 1264 * parser.c (cp_parser_class_head): When 1265 processing_template_parmlist, don't assume that the 1266 class-head may start an explicit specialization. 1267 12682016-09-16 Jakub Jelinek <jakub@redhat.com> 1269 1270 PR c++/77482 1271 * error.c (dump_simple_decl): Only check DECL_DECLARED_CONCEPT_P 1272 if DECL_LANG_SPECIFIC is non-NULL. Fix up formatting. 1273 1274 PR c++/77338 1275 * constexpr.c (cxx_eval_constant_expression) <case PARM_DECL>: Only 1276 call is_really_empty_class on complete types. 1277 1278 PR c++/77375 1279 * class.c (check_bases): Set CLASSTYPE_HAS_MUTABLE if any 1280 TYPE_HAS_MUTABLE_P for any bases. 1281 12822016-09-16 Jason Merrill <jason@redhat.com> 1283 1284 * class.c (check_bases, set_one_vmethod_tm_attributes): Use 1285 least_bit_hwi. 1286 * decl.c (cxx_init_decl_processing): Use pow2p_hwi. 1287 * parser.c (cp_parser_cilk_simd_vectorlength): Use pow2p_hwi. 1288 12892016-09-14 Jakub Jelinek <jakub@redhat.com> 1290 1291 PR c++/77549 1292 * name-lookup.c (consider_binding_level): Look through TREE_LIST 1293 and OVERLOAD. 1294 12952016-09-14 Marek Polacek <polacek@redhat.com> 1296 1297 * typeck.c (cp_build_unary_op): Diagnose incrementing boolean 1298 expressions. Tweak an error message. 1299 13002016-09-14 Marek Polacek <polacek@redhat.com> 1301 1302 * cp-tree.h (cp_build_unary_op): Change nonconvert parameter type to 1303 bool. 1304 * decl2.c (one_static_initialization_or_destruction): Use true instead 1305 of 1. 1306 * init.c (build_vec_init): Use false instead of 0. 1307 * pt.c (tsubst_copy_and_build): Likewise. 1308 * semantics.c (simplify_loop_decl_cond): Likewise. 1309 * typeck.c (rationalize_conditional_expr): Likewise. 1310 (cp_build_binary_op): Use true instead of 1. 1311 (cp_build_unary_op): Change nonconvert parameter type to bool. Use true 1312 instead of 1. 1313 (build_unary_op): Change nonconvert parameter type to bool. 1314 (unary_complex_lvalue): Use false instead of 0. 1315 13162016-09-13 Jakub Jelinek <jakub@redhat.com> 1317 1318 Implement P0028R4, C++17 using attribute namespaces without repetition 1319 * parser.c (cp_parser_std_attribute): Add ATTR_NS argument. Diagnose 1320 non-NULL ATTR_NS with scoped attribute token. Handle non-NULL 1321 ATTR_NS with non-scoped attribute tokens. Allow named ops in 1322 identifier after ::. 1323 (cp_parser_std_attribute_list): Add ATTR_NS argument, pass it down 1324 to cp_parser_std_attribute calls. 1325 (cp_parser_std_attribute_spec): Parse optional C++17 1326 attribute-using-prefix, adjust grammar in function comment. 1327 1328 PR c++/77553 1329 * constexpr.c (cxx_fold_pointer_plus_expression): New function. 1330 (cxx_eval_binary_expression): Use it for POINTER_PLUS_EXPR. 1331 (cxx_eval_pointer_plus_expression): Remove. 1332 (cxx_eval_constant_expression) <case POINTER_PLUS_EXPR>: Don't 1333 call cxx_eval_pointer_plus_expression. 1334 13352016-09-13 David Malcolm <dmalcolm@redhat.com> 1336 1337 * parser.c (cp_parser_class_specifier_1): Update for renaming of 1338 add_fixit_insert to add_fixit_insert_before. 1339 (cp_parser_class_head): Likewise. 1340 13412016-09-12 Bernd Edlinger <bernd.edlinger@hotmail.de> 1342 1343 PR c++/77496 1344 * call.c (build_conditional_expr_1): Call warn_for_omitted_condop. 1345 * class.c (instantiate_type): Look through the SAVE_EXPR. 1346 13472016-09-09 Jason Merrill <jason@redhat.com> 1348 1349 Implement P0035R4, C++17 new of over-aligned types. 1350 * cp-tree.h (enum cp_tree_index): Add CPTI_ALIGN_TYPE. 1351 (align_type_node): New macro. 1352 * call.c (build_operator_new_call): Handle C++17 aligned new. 1353 (second_parm_is_size_t, build_op_delete_call): Likewise. 1354 (non_placement_deallocation_fn_p): Likewise. Rename to 1355 usual_deallocation_fn_p. 1356 (aligned_allocation_fn_p, aligned_deallocation_fn_p): New. 1357 * decl.c (cxx_init_decl_processing): Add aligned new support. 1358 * init.c (type_has_new_extended_alignment): New. 1359 (build_new_1): Handle aligned new. 1360 * tree.c (vec_copy_and_insert): New. 1361 13622016-09-02 Jakub Jelinek <jakub@redhat.com> 1363 1364 PR sanitizer/77396 1365 * decl2.c (do_static_initialization_or_destruction): Only 1366 call asan_dynamic_init_call if INITP is true. 1367 13682016-09-01 Martin Sebor <msebor@redhat.com> 1369 1370 * mangle.c: Increase buffer size to guarantee it fits the output 1371 of the formatted function regardless of its arguments. 1372 13732016-09-01 Marek Polacek <polacek@redhat.com> 1374 1375 PR c/7652 1376 * error.c (dump_type): Fix falls through comment. 1377 (dump_decl): Likewise. 1378 (dump_expr): Likewise. 1379 13802016-08-30 David Malcolm <dmalcolm@redhat.com> 1381 1382 * parser.c (cp_parser_enclosed_template_argument_list): Add fix-it 1383 hint to ">>" within nested template argument list error. 1384 13852016-08-30 David Malcolm <dmalcolm@redhat.com> 1386 1387 * name-lookup.c (suggest_alternatives_for): Use add_fixit_replace 1388 rather than add_fixit_misspelled_id. 1389 * parser.c (cp_parser_diagnose_invalid_type_name): Likewise. 1390 13912016-08-29 Jason Merrill <jason@redhat.com> 1392 1393 PR c++/77379 1394 * mangle.c (maybe_check_abi_tags): Add version parm, handle thunks. 1395 (mangle_thunk): Add thunk parameter. 1396 * method.c (finish_thunk): Pass it. 1397 * cp-tree.h: Declare it. 1398 13992016-08-15 Jason Merrill <jason@redhat.com> 1400 1401 Avoid calling a trivial default constructor. 1402 * class.c (default_ctor_p): New. 1403 (in_class_defaulted_default_constructor): Use it. 1404 (type_has_non_user_provided_default_constructor): Use it. 1405 * call.c (build_over_call): Handle trivial default constructor. 1406 * cp-tree.h: Declare default_ctor_p. 1407 1408 PR c++/57728 1409 * pt.c (do_type_instantiation): Don't mess with non-user-provided 1410 member functions. 1411 14122016-08-25 Marek Polacek <polacek@redhat.com> 1413 1414 * parser.c (cp_parser_binary_expression): Pass LHS to 1415 warn_logical_not_parentheses. 1416 14172016-08-18 Marek Polacek <polacek@redhat.com> 1418 1419 PR c/7652 1420 * call.c (add_builtin_candidate): Add gcc_fallthrough. 1421 * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise. 1422 * parser.c (cp_parser_skip_to_end_of_statement): Likewise. 1423 (cp_parser_cache_defarg): Likewise. 1424 14252016-08-12 Marek Polacek <polacek@redhat.com> 1426 1427 PR c/7652 1428 * call.c (add_builtin_candidate): Add FALLTHRU. 1429 (build_integral_nontype_arg_conv): Adjust fall through comment. 1430 (build_new_op_1): Add FALLTHRU. 1431 (convert_like_real): Adjust fall through comment. 1432 * class.c (fixed_type_or_null): Likewise. 1433 * constexpr.c (cxx_eval_constant_expression): Likewise. 1434 (potential_constant_expression_1): Likewise. Add FALLTHRU. 1435 * cp-gimplify.c (cp_gimplify_expr): Adjust fall through comment. 1436 (cp_fold): Add FALLTHRU. 1437 * cvt.c (build_expr_type_conversion): Adjust fall through comment. 1438 * cxx-pretty-print.c (pp_cxx_unqualified_id): Add FALLTHRU. 1439 (pp_cxx_qualified_id): Likewise. 1440 (cxx_pretty_printer::constant): Adjust fall through comment. 1441 (cxx_pretty_printer::primary_expression): Add FALLTHRU. 1442 (pp_cxx_pm_expression): Adjust fall through comment. 1443 (cxx_pretty_printer::expression): Add FALLTHRU. 1444 (cxx_pretty_printer::declaration_specifiers): Reformat code. 1445 (pp_cxx_type_specifier_seq): Adjust fall through comment. 1446 (pp_cxx_ptr_operator): Likewise. Add FALLTHRU. 1447 * error.c (dump_type): Adjust fall through comment. 1448 (dump_decl): Likewise. 1449 * mangle.c (write_type): Likewise. 1450 * method.c (synthesized_method_walk): Add FALLTHRU. 1451 * name-lookup.c (arg_assoc_type): Likewise. 1452 * parser.c (cp_lexer_print_token): Adjust fall through comment. 1453 (cp_parser_primary_expression): Add FALLTHRU. 1454 (cp_parser_operator): Likewise. 1455 * pt.c (find_parameter_packs_r): Likewise. 1456 (tsubst_aggr_type): Adjust fall through comment. 1457 * semantics.c (finish_omp_clauses): Add FALLTHRU. 1458 * tree.c (lvalue_kind): Likewise. 1459 14602016-08-12 Alexandre Oliva <aoliva@redhat.com> 1461 1462 PR debug/63240 1463 * cp-objcp-common.c (cp_function_decl_defaulted): New. 1464 (cp_function_decl_explicit_p): Const_tree-ify. 1465 (cp_function_decl_deleted_p): Likewise. 1466 * cp-objcp-common.h (cp_function_decl_defaulted): Declare. 1467 (cp_function_decl_explicit_p): Const_tree-ify. 1468 (cp_function_decl_deleted_p): Likewise. 1469 (LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Redefine. 1470 14712016-08-11 Jakub Jelinek <jakub@redhat.com> 1472 1473 PR c++/72868 1474 * constexpr.c (label_matches): Handle case range expressions. 1475 14762016-08-11 Jason Merrill <jason@redhat.com> 1477 1478 PR c++/73456 1479 * logic.cc (non_atomic_constraint_p): Handle EXPR_PACK_EXPANSION. 1480 14812016-08-10 Jason Merrill <jason@redhat.com> 1482 1483 Implement C++17 constexpr if. 1484 * cp-tree.h (IF_STMT_CONSTEXPR_P): New. 1485 * name-lookup.c (push_to_top_level, pop_from_top_level_1): Handle it. 1486 * parser.h (struct cp_parser): Add in_discarded_stmt field. 1487 * parser.c (cp_parser_selection_statement): Handle 'if constexpr'. 1488 (cp_parser_jump_statement): Avoid deducing from a discarded return. 1489 * pt.c (tsubst_expr): Only instantiate taken branch of constexpr if. 1490 * semantics.c (begin_if_stmt): Set the binding level this_entity. 1491 (finish_if_stmt_cond): Require the condition of a 1492 constexpr if to be constant. 1493 * decl.c (level_for_constexpr_if): New. 1494 (named_label_entry): Add in_constexpr_if field. 1495 (poplevel_named_label_1): Set it. 1496 (check_goto): Check it. 1497 (check_previous_goto_1): Check level_for_constexpr_if. 1498 14992016-08-09 Jason Merrill <jason@redhat.com> 1500 1501 PR c++/68703 1502 * decl2.c (any_dependent_type_attributes_p): New. 1503 * pt.c (dependent_type_p_r, type_dependent_expression_p): Check it. 1504 * semantics.c (finish_id_expression): Check it. 1505 * typeck.c (finish_class_member_access_expr): Check it. 1506 1507 PR c++/71712 1508 * class.c (check_abi_tags): Don't duplicate tags for conversion ops. 1509 1510 Adjust mangling of ABI tags on class template member functions. 1511 * class.c (missing_abi_tags): New. 1512 (check_abi_tags): Don't check template. Add just_checking mode. 1513 * mangle.c (abi_flag_at_least, any_abi_below, equal_abi_tags): New. 1514 (sorted_abi_tags): Split out from write_abi_tags. 1515 (struct releasing_vec): New. 1516 (write_unqualified_name): Only look for the primary 1517 template for types. Implement backward compatibility. 1518 1519 PR c++/72849 1520 * constexpr.c (cxx_eval_constant_expression): Check 1521 COMPLETE_TYPE_P before calling is_really_empty_class. 1522 * class.c (is_really_empty_class): Don't call complete_type. 1523 1524 PR c++/56701 1525 * typeck.c (cp_build_addr_expr_1): Remove special *this handling. 1526 15272016-08-09 Jakub Jelinek <jakub@redhat.com> 1528 1529 PR c++/72809 1530 * rtti.c (get_pseudo_ti_index): Return TK_CLASS_TYPE for 1531 builtin aggregate types without TYPE_BINFO. 1532 15332016-08-08 Jason Merrill <jason@redhat.com> 1534 1535 Implement C++17 constexpr lambda. 1536 * class.c (finalize_literal_type_property): Handle lambdas. 1537 * constexpr.c (is_valid_constexpr_fn): Likewise. No longer static. 1538 (explain_invalid_constexpr_fn, cxx_eval_call_expression): Handle 1539 lambdas. 1540 (cxx_eval_constant_expression): Handle capture proxy. 1541 (var_in_constexpr_fn): Don't check for C++14. 1542 (var_in_maybe_constexpr_fn): New. 1543 (potential_constant_expression_1): Use it. Check DECL_EXPR for 1544 declarations not allowed in constexpr function. Handle 1545 STATIC_ASSERT, RANGE_FOR_STMT. 1546 * decl.c (make_rtl_for_nonlocal_decl): Use var_in_maybe_constexpr_fn. 1547 (finish_function): Set DECL_DECLARED_CONSTEXPR_P on lambda members. 1548 * lambda.c (begin_lambda_type): Set CLASSTYPE_LITERAL_P. 1549 (maybe_add_lambda_conv_op): Clear thunk CALL_EXPR location. 1550 (lambda_static_thunk_p): New. 1551 * parser.c (cp_keyword_starts_decl_specifier_p): Add RID_CONSTEXPR. 1552 (CP_PARSER_FLAGS_ONLY_MUTABLE_OR_CONSTEXPR): New enumerator. 1553 (cp_parser_decl_specifier_seq): Handle it. 1554 (cp_parser_lambda_declarator_opt): Use cp_parser_decl_specifier_seq. 1555 * pt.c (instantiate_class_template_1): Set CLASSTYPE_LITERAL_P. 1556 (tsubst_copy_and_build) [CALL_EXPR]: Propagate CALL_FROM_THUNK_P. 1557 * error.c (dump_function_decl): Check TFF_NO_TEMPLATE_BINDINGS. 1558 (dump_expr) [FUNCTION_DECL]: Pass it. 1559 15602016-08-08 Jason Merrill <jason@redhat.com> 1561 1562 PR c++/67131 1563 * class.c (is_really_empty_class): Call complete_type. 1564 * constexpr.c (cxx_eval_constant_expression): Check 1565 is_really_empty_class. 1566 (potential_constant_expression_1): Likewise. Check for error type. 1567 15682016-08-08 Jakub Jelinek <jakub@redhat.com> 1569 1570 PR c++/58706 1571 * parser.c: Include tree-iterator.h. 1572 (cp_parser_omp_for_loop_init): Move lambda DECL_EXPRs from init 1573 to FOR_BLOCK. 1574 (cp_parser_omp_for_loop): Handle non-STATEMENT_LIST FOR_BLOCK 1575 entries. 1576 15772016-08-06 Jonathan Wakely <jwakely@redhat.com> 1578 1579 * call.c (convert_like_real): Harmonize diagnostics for invalid 1580 reference binding. 1581 15822016-08-05 Martin Sebor <msebor@redhat.com> 1583 1584 * constexpr.c (cxx_eval_store_expression): Remove hyphen from 1585 the spelling of "constant-expression" in diagnostic messages 1586 for consistency. 1587 (cxx_eval_constant_expression): Same. 1588 (cxx_eval_outermost_constant_expr): Same. 1589 (potential_constant_expression_1): Same. 1590 15912016-08-05 Nathan Sidwell <nathan@acm.org> 1592 1593 PR c++/68724 1594 * pt.c (unify): TRAIT_EXPR is an expr. 1595 15962016-08-04 Paolo Carlini <paolo.carlini@oracle.com> 1597 1598 PR c++/72800 1599 * lambda.c (add_capture): Check lambda_capture_field_type return 1600 value for error_mark_node. 1601 16022016-08-04 Patrick Palka <ppalka@gcc.gnu.org> 1603 1604 PR c++/72759 1605 * pt.c (tsubst_qualified_id): Return error_mark_node if 1606 template_args is error_mark_node. 1607 16082016-08-04 Jason Merrill <jason@redhat.com> 1609 1610 PR c++/72415 1611 * pt.c (tsubst_pack_expansion): Pull a single pack expansion out 1612 of the TREE_VEC. 1613 1614 * cp-tree.h (TYPE_UNNAMED_P): Rename from TYPE_ANONYMOUS_P. 1615 (TYPE_WAS_UNNAMED): Rename from TYPE_WAS_ANONYMOUS. 1616 * class.c, decl.c, decl2.c, error.c, lambda.c, mangle.c, 1617 name-lookup.c, parser.c, pt.c, semantics.c, tree.c: Adjust. 1618 1619 PR c++/72796 1620 * typeck.c (finish_class_member_access_expr): Avoid stripping 1621 SCOPE_REF to dependent base. 1622 16232016-08-04 Thomas Schwinge <thomas@codesourcery.com> 1624 1625 * parser.c (cp_ensure_no_oacc_routine): Improve diagnostics. 1626 (cp_parser_late_parsing_cilk_simd_fn_info): Fix diagnostics. 1627 (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine): 1628 Simplify code, and improve diagnostics. 1629 (cp_parser_oacc_routine): Likewise. Move pragma context 1630 checking... 1631 (cp_parser_pragma): ... here. 1632 1633 * parser.h (struct cp_omp_declare_simd_data): New. 1634 (struct cp_parser): Use it for oacc_routine member. 1635 * parser.c (cp_ensure_no_oacc_routine, cp_parser_oacc_routine) 1636 (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine): 1637 Use it. Simplify code. 1638 (cp_parser_new): Initialize all members pointing to special 1639 parsing data structures. 1640 (cp_parser_cilk_simd_fn_vector_attrs): Initialize 1641 parser->cilk_simd_fn_info->clauses. 1642 (cp_parser_omp_declare_simd): Initialize 1643 parser->omp_declare_simd->clauses. 1644 (cp_parser_late_parsing_omp_declare_simd): Simplify code. 1645 16462016-08-04 Marek Polacek <polacek@redhat.com> 1647 1648 PR c++/70229 1649 * constexpr.c (check_constexpr_ctor_body_1): Allow typedef 1650 declarations. 1651 16522016-08-01 Jason Merrill <jason@redhat.com> 1653 1654 * mangle.c (mangle_decl): Warn about mangled name change even if 1655 DECL_REALLY_EXTERN. 1656 1657 * mangle.c (get_abi_tags): New. 1658 (find_substitution, write_unqualified_name, write_abi_tags) 1659 (maybe_check_abi_tags): Use it. 1660 1661 * mangle.c (mangle_decl): Fix mangled name change warning. 1662 1663 PR c++/72766 1664 * constexpr.c (cxx_eval_pointer_plus_expression): Check constancy 1665 of nelts. 1666 * cp-gimplify.c (cp_fully_fold): Only maybe_constant_value in 1667 C++11 and up. 1668 16692016-07-30 Martin Sebor <msebor@redhat.com> 1670 1671 PR c++/60760 1672 PR c++/71091 1673 * constexpr.c (cxx_eval_binary_expression): Reject invalid expressions 1674 involving null pointers. 1675 (cxx_eval_component_reference): Reject null pointer dereferences. 1676 (cxx_eval_indirect_ref): Reject indirecting through null pointers. 1677 (cxx_eval_constant_expression): Reject invalid expressions involving 1678 null pointers. 1679 16802016-07-29 Marek Polacek <polacek@redhat.com> 1681 1682 PR c/71926 1683 * semantics.c (maybe_convert_cond): Use the location of COND for the 1684 parentheses warning. 1685 16862016-07-29 Jason Merrill <jason@redhat.com> 1687 1688 * decl.c (build_enumerator): Tweak diagnostic. 1689 1690 PR c++/72457 1691 * init.c (expand_aggr_init_1): Only handle value-init of bases. 1692 * constexpr.c (build_data_member_initialization): Handle multiple 1693 initializers for the same field. 1694 16952016-07-28 Paolo Carlini <paolo.carlini@oracle.com> 1696 1697 PR c++/71665 1698 * decl.c (build_enumerator): Check the type of the enumerator before 1699 calling cxx_constant_value. 1700 17012016-07-27 Jason Merrill <jason@redhat.com> 1702 1703 PR c++/71747 1704 * pt.c (get_partial_spec_bindings): Replace tparms and spec_args 1705 parameters with spec_tmpl. Call push_tinst_level. 1706 (most_specialized_partial_spec): Adjust. 1707 (more_specialized_partial_spec): Adjust. 1708 17092016-07-25 Jason Merrill <jason@redhat.com> 1710 1711 PR c++/65970 1712 * cp-gimplify.c (genericize_cp_loop): Revert location change. 1713 1714 PR c++/71837 1715 * lambda.c (add_capture): Leave a pack expansion in a TREE_LIST. 1716 (build_lambda_object): Call build_x_compound_expr_from_list. 1717 * pt.c (tsubst) [DECLTYPE_TYPE]: Likewise. 1718 1719 PR c++/71833 1720 PR c++/54440 1721 * pt.c (coerce_template_parameter_pack): Fix logic for 1722 pack index. 1723 1724 PR c++/65970 1725 * constexpr.c (cxx_eval_loop_expr): Count iterations. 1726 * cp-gimplify.c (genericize_cp_loop): Use start_locus even for 1727 infinite loops. 1728 1729 PR c++/71972 1730 * constexpr.c (cxx_eval_array_reference): Handle looking for the 1731 value of an element we're currently modifying. 1732 17332016-07-24 Jason Merrill <jason@redhat.com> 1734 1735 PR c++/71515 1736 * pt.c (resolve_typename_type): Try to avoid calling 1737 currently_open_class. 1738 17392016-07-23 Jason Merrill <jason@redhat.com> 1740 1741 PR c++/66617 1742 * call.c (add_list_candidates): Handle VTT parm. 1743 (build_new_method_call_1): Likewise. 1744 1745 PR c++/55922 1746 PR c++/63151 1747 * init.c (expand_aggr_init_1): Handle list-initialization from {}. 1748 1749 PR c++/70709 1750 * class.c (walk_subobject_offsets): Handle 0-length array. 1751 1752 PR c++/70778 1753 * pt.c (tsubst): Also substitute into the template of a 1754 BOUND_TEMPLATE_TEMPLATE_PARM. 1755 1756 PR c++/71738 1757 * pt.c (lookup_template_class_1): Handle getting template from tsubst. 1758 1759 PR c++/71350 1760 * decl.c (reshape_init_r): Check complain for missing braces warning. 1761 17622016-07-22 Jason Merrill <jason@redhat.com> 1763 1764 PR c++/71576 1765 * call.c (convert_like_real): Use lvalue_kind. 1766 1767 PR c++/71748 1768 PR c++/52746 1769 * pt.c (tsubst_baselink): Call 1770 adjust_result_of_qualified_name_lookup for unqualified 1771 destructors. 1772 17732016-07-21 Jason Merrill <jason@redhat.com> 1774 1775 PR c++/69223 1776 * semantics.c (apply_deduced_return_type): Call 1777 complete_type_or_else before building the new RESULT_DECL. 1778 1779 PR c++/71274 1780 * decl2.c (maybe_instantiate_decl): Split out from mark_used. 1781 (decl_constant_var_p): Use it instead. 1782 1783 PR c++/71630 1784 * pt.c (instantiate_decl): Fix pattern_defined for namespace scope 1785 variable templates. 1786 1787 PR c++/71913 1788 * call.c (unsafe_copy_elision_p): It's OK to elide when 1789 initializing an unknown object. 1790 1791 * call.c (build_over_call): Check unsafe_copy_elision_p even for 1792 trivial constructors. 1793 * method.c (do_build_copy_constructor): Don't copy tail padding 1794 even in a trivial constructor. 1795 17962016-07-21 Jakub Jelinek <jakub@redhat.com> 1797 1798 PR c++/71728 1799 * constexpr.c (potential_constant_expression_1) <case GOTO_EXPR>: 1800 Replace assert with test, return false if the goto isn't break 1801 or continue. Formatting fix. 1802 18032016-07-21 Richard Biener <rguenther@suse.de> 1804 1805 * vtable-class-hierarchy.c (vtv_generate_init_routine): Set 1806 DECL_IGNORED_P. 1807 18082016-07-21 Jakub Jelinek <jakub@redhat.com> 1809 1810 PR c++/71941 1811 * cp-gimplify.c (cp_genericize): For nested cp_genericize calls 1812 save/restore bc_label array. 1813 18142016-07-21 Jason Merrill <jason@redhat.com> 1815 1816 PR c++/70781 1817 * parser.c (cp_parser_lambda_expression): Unset OK if there was an 1818 error parsing the lambda-declarator. 1819 1820 PR c++/71896 1821 * constexpr.c (cxx_eval_binary_expression): Handle comparison 1822 between lowered and unlowered PTRMEM_CST. 1823 1824 PR c++/65168 1825 * typeck.c (cp_truthvalue_conversion): Compare pointers to nullptr. 1826 Don't set c_inhibit_evaluation_warnings. 1827 1828 PR c++/71121 1829 * cp-gimplify.c (cp_fully_fold): First call maybe_constant_value. 1830 18312016-07-21 Andrew Sutton <andrew.n.sutton@gmail.com> 1832 Jason Merrill <jason@redhat.com> 1833 1834 Improving concepts performance and diagnostics. 1835 PR c++/67565 1836 PR c++/67579 1837 PR c++/71843 1838 * cp-tree.def (CHECK_CONSTR): New. 1839 * cp-tree.h (CHECK_CONSTR_CONCEPT): New. 1840 (CHECK_CONSTR_ARGS): New. 1841 * constraint.cc (make_predicate_constraint): Remove in favor of 1842 normalize_expression. 1843 (resolve_constraint_check): Actually return error_mark_node when 1844 resolution fails. 1845 (resolve_variable_concept_check): Perform coercion as if processing 1846 a template. Also return errors on resolution failure. 1847 (lift_*): Remove all of these functions. Don't unnecessarily inline 1848 concepts. 1849 (learn_*): Add facilities to memoize implications for subsumption 1850 during normalization. 1851 (expanding_concept): New. 1852 (expand_concept): New. Return the inlined and normalized definition 1853 of a concept when needed. 1854 (transform_*, xform_*): Rename to normalize_* to better reflect the 1855 responsibility of those functions. 1856 (normalize_template_id_expression): Check for non-boolean operands 1857 when possible. Generate check constraints instead of normal variable 1858 references. 1859 (normalize_call_expression): Report errors when resolution fails. 1860 (check_for_logical_overloads): Rewrite this check to more accurately 1861 report the error. 1862 (normalize_atom): Check for overloaded calls and invalid types before 1863 determining if the expression refers to a concept. 1864 (build_constraints): Don't cache normalized constraints or decomposed 1865 assumptions. 1866 (finish_shorthand_constraint): Return a normalized expression instead 1867 of a predicate constraint. 1868 (finish_template_introduction): Same. 1869 (placeholder_extract_concept_and_args): Rewrite this since we only 1870 ever get check constraints here. 1871 (equivalent_placeholder_constraints): Rewrite in terms of check 1872 constraints, and handle error_mark_nodes correctly. 1873 (tsubst_check_constraint, tsubst_expr_constr, tsubst_type_constr) 1874 (tsubst_implicit_conversion_constr) 1875 (tsubst_argument_deduction_constr, tsubst_exception_constr) 1876 (tsubst_parameterized_constraint, tsubst_constraint): New. 1877 (tsbust_conjunection): Replace with tsubst_logical_operator and 1878 actually generate the right kind of constraint. 1879 (tsubst_requirement_body): Reverse the order of substituted arguments 1880 so that they appear in the order written (helps diagnostics). 1881 (satisfy_check_constraint): New. 1882 (satisfy_conjunction): Simplify. 1883 (satisfy_disjunction): Same. 1884 (satisfy_constraint_1): Handle check constraints. 1885 (eval_constr): New (private) global state. 1886 (evaluating_constraints_sentinel): New. Manages eval_constr. 1887 (satisfy_constraint): Add timing variables. 1888 (satisfy_associated_constraints): Add hooks for memoization. 1889 (evaluate_function_concept): Build a check constraint instead of 1890 normalizing its definition. 1891 (evaluate_variable_concept): Same. 1892 (evaluate_constraint_expression): Normalize, but in the current 1893 declaration processing context. 1894 (evaluating_constraints_p): New. 1895 (elide_constraint_failure_p): Actually emit constraint_thresh errors. 1896 (diagnose_*): Remove artificial indentation. Add a new parameter to 1897 each that tracks the current (complete) constraint prior to any 1898 substitutions. 1899 (diagnose_expression): Removed. 1900 (diagnose_call_expression): Same. 1901 (diagnose_template_id): Same. 1902 (diagnose_template_id): New. 1903 (diagnose_logical_constraint): New. 1904 (diagnose_expression_constraint): Show the original expression. 1905 (diagnose_type_constraint): Show the original type. 1906 (diagnose_implicit_conversion_constraint): Be specific about 1907 failures, don't re-diagnose a known-to-be-failed substitutions, 1908 and manage elisions properly. 1909 (diagnose_argument_deduction_constraint): Same. 1910 (diagnose_exception_constraint): Same. 1911 (diagnose_parameterized_constraint): Same. 1912 (constraint_p): Allow EXPR_PACK_EXPANSION. 1913 * logic.cc (next_by_distance): Removed. No longer used. 1914 (any_p): Renamed from any_of. 1915 (term_entry, term_hasher): New. 1916 (term_list): Rewrite to include a hash table for quick lookup. 1917 Also, make less stateful. 1918 (proof_state): Extend to allow goals to be discharged once 1919 satisfied. 1920 (non_atomic_constraint_p): New. 1921 (any_non_atomic_constraints_p): New. 1922 (...rest...): Previous implementation completely replaced with an 1923 iterative algorithm that opportunistically prunes the search space 1924 before committing to using more memory. 1925 * parser.c: (cp_parser_type_parameter): Normalize constraints. 1926 (cp_parser_explicit_template_declaration): Same. 1927 * pt.c: (finish_template_variable): Be less redundant with this error 1928 message. 1929 (template_args_equal): No longer static. 1930 (tsubst_decl): Don't try to find specializations of variables that 1931 have already been instantiated. 1932 (build_non_dependent_expr): Avoid infinite recursion during concept 1933 expansion. 1934 (make_constrained_auto): Normalize constraints. 1935 (do_auto_deduction): When doing auto deduction from a 1936 partial-concept-id, be sure to include the explicit args checking 1937 the constraints. 1938 (constraint_sat_*): New. Memoize satisfied constraints. 1939 (concept_spec_*): New. Memoize expressions associated with a concept 1940 specialization. 1941 (constraint_memos, concept_memos): New. 1942 (lookup_constraint_satisfaction, memoize_constraint_satisfaction): New. 1943 (lookup_concept_satisfaction, memoize_concept_satisfaction): New. 1944 (get_concept_expansion, save_concept_expansion): New. 1945 (hash_subsumption_args): New. 1946 (comp_subsumption_args): New. 1947 (subsumption_*): New. Memoize parts of the subsumption relation. 1948 (lookup_subsumption_result, save_subsumption_result): New. 1949 (init_constraint_processing): Initialize memo tables. 1950 (get_constraints): Shortcut if !flag_concepts. 1951 * decl.c (grokfndecl): Normalize constraints. 1952 * error.c (dump_simple_decl): Print "concept" when appropriate. 1953 (dump_function_decl): Same. 1954 (dump_template_decl): Don't write requirements when we're not 1955 printing the header. 1956 (dump_expr): Handle fold expressions. 1957 * cxx-pretty-print.c (cxx_pretty_printer::expression): Handle 1958 fold expressions. 1959 (get_fold_operator): New. 1960 (pp_cxx_unary_left_fold_expression): New. 1961 (pp_cxx_unary_right_fold_expression): New. 1962 (pp_cxx_binary_fold_expression): New. 1963 (pp_cxx_check_constraint): New. 1964 (pp_cxx_*_constraint): Rewrite the grammar of internal constraints 1965 to make them easier to read when debugging. 1966 * search.c (accessible_p): Don't shortcut when evaluating constraints. 1967 * tree.c (cp_tree_equal): Handle CHECK_CONSTR. 1968 19692016-07-20 David Malcolm <dmalcolm@redhat.com> 1970 1971 PR c/70339 1972 PR c/71858 1973 * name-lookup.c: Include gcc-rich-location.h, spellcheck-tree.h, 1974 and parser.h. 1975 (suggest_alternatives_for): If no candidates are found, try 1976 lookup_name_fuzzy and report if if finds a suggestion. 1977 (consider_binding_level): New function. 1978 (lookup_name_fuzzy) New function. 1979 * parser.c: Include gcc-rich-location.h. 1980 (cp_lexer_next_token_is_decl_specifier_keyword): Move most of 1981 logic into... 1982 (cp_keyword_starts_decl_specifier_p): ...this new function. 1983 (cp_parser_diagnose_invalid_type_name): When issuing 1984 "does not name a type" errors, attempt to make a suggestion using 1985 lookup_name_fuzzy. 1986 * parser.h (cp_keyword_starts_decl_specifier_p): New prototype. 1987 * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Reject 1988 types that are not CLASS_TYPE_P, rather than rejecting individual 1989 tree codes. 1990 19912016-07-20 Jakub Jelinek <jakub@redhat.com> 1992 1993 PR c++/71909 1994 * parser.c (cp_parser_save_member_function_body): Consume 1995 __transaction_relaxed or __transaction_atomic with optional 1996 attribute. Only skip catch with block if try keyword is seen. 1997 1998 PR c++/50060 1999 * constexpr.c (cxx_eval_builtin_function_call): Pass false as lval 2000 when evaluating call arguments. Use fold_builtin_call_array instead 2001 of fold_build_call_array_loc, return t if it returns NULL. Otherwise 2002 check the result with potential_constant_expression and call 2003 cxx_eval_constant_expression on it. 2004 20052016-07-19 Jason Merrill <jason@redhat.com> 2006 2007 PR c++/67164 2008 * pt.c (iterative_hash_template_arg, template_args_equal): Don't 2009 handle ARGUMENT_PACK_SELECT. 2010 20112016-07-18 Jakub Jelinek <jakub@redhat.com> 2012 2013 PR c++/70869 2014 PR c++/71054 2015 * cp-gimplify.c (cp_genericize_r): Revert the 2016-07-07 change. 2016 * tree.c (cp_walk_subtrees): For DECL_EXPR on DECL_ARTIFICIAL 2017 non-static VAR_DECL, walk the decl's DECL_INITIAL, DECL_SIZE and 2018 DECL_SIZE_UNIT. 2019 2020 PR c++/71835 2021 * call.c (build_op_call_1): Use convert_like_with_context only 2022 if cand->fn is a decl. 2023 2024 PR c++/71828 2025 * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>: 2026 For lval don't use cxx_eval_unary_expression and instead recurse 2027 and if needed rebuild the reference. 2028 2029 PR c++/71826 2030 * pt.c (tsubst_baselink): Only set BASELINK_OPTYPE for BASELINK_P. 2031 2032 PR c++/71822 2033 * cp-gimplify.c (cp_gimplify_expr) <case VEC_INIT_EXPR>: Recursively 2034 fold *expr_p before genericizing it. 2035 2036 PR c++/71871 2037 * typeck.c (build_x_conditional_expr): Revert the 2012-10-25 change. 2038 20392016-07-15 Jason Merrill <jason@redhat.com> 2040 2041 PR c++/71495 2042 * call.c (convert_like_real): Mask complain. 2043 * semantics.c (perform_koenig_lookup): Likewise. 2044 2045 PR c++/71092 2046 * constexpr.c (cxx_eval_call_expression): Fail quietly when cgraph 2047 threw away DECL_SAVED_TREE. 2048 2049 PR c++/71117 2050 Core 2189 2051 * call.c (add_template_conv_candidate): Disable if there are 2052 viable candidates. 2053 2054 PR c++/71511 2055 * typeck2.c (cxx_incomplete_type_diagnostic): Handle DECLTYPE_TYPE. 2056 2057 PR c++/71513 2058 * pt.c (tsubst_attributes): Fix loop logic. 2059 2060 PR c++/71604 2061 PR c++/54430 2062 * parser.c (cp_parser_range_for): Modify IDENTIFIER_BINDING directly. 2063 (cp_parser_simple_declaration): Diagnose type definition in 2064 for-range-declaration. 2065 2066 PR c++/71711 2067 * operators.def: Add *_FOLD_EXPR. 2068 * cp-tree.h (FOLD_EXPR_P): Parenthesize. 2069 * mangle.c (write_expression): Handle fold-expressions. 2070 * pt.c (tsubst_unary_left_fold, tsubst_binary_left_fold) 2071 (tsubst_unary_right_fold, tsubst_binary_right_fold): Handle 2072 partial instantiation. 2073 2074 PR c++/71814 2075 * mangle.c (write_expression): Handle sizeof... an argument pack. 2076 2077 PR c++/71718 2078 * pt.c (push_tinst_level_loc): Set at_eof before fatal_error. 2079 2080 PR c++/70824 2081 * init.c (constant_value_1): Don't instantiated DECL_INITIAL of 2082 artificial variables. 2083 20842016-07-15 Cesar Philippidis <cesar@codesourcery.com> 2085 2086 * parser.c (cp_parser_oacc_declare): Don't scan for 2087 GOMP_MAP_POINTER. 2088 * semantics.c (handle_omp_array_sections): Mark data clauses with 2089 GOMP_MAP_FORCE_{PRESENT,TO,FROM,TOFROM} as potentially having 2090 zero-length subarrays. 2091 20922016-07-11 Jason Merrill <jason@redhat.com> 2093 2094 * decl.c (store_parm_decls): Remove check for void parm. 2095 20962016-07-08 Jason Merrill <jason@redhat.com> 2097 2098 * cp-tree.h: Unpoison lvalue_p. 2099 * call.c, class.c, constexpr.c, cvt.c, init.c, lambda.c, pt.c, 2100 tree.c, typeck.c, typeck2.c: Use lvalue_p instead of 2101 real_lvalue_p. 2102 2103 * tree.c (obvalue_p): Rename from lvalue_p. 2104 (lvalue_p): Define for c-common. 2105 * call.c, cp-tree.h, cvt.c, init.c: Adjust. 2106 * typeck.c: Adjust. 2107 (cp_build_addr_expr_1): Remove obsolete code. 2108 2109 * tree.c (glvalue_p): Rename from lvalue_or_rvalue_with_address_p. 2110 * call.c, cp-tree.h, typeck.c: Adjust. 2111 2112 * lambda.c (maybe_add_lambda_conv_op): Fix null object argument. 2113 2114 P0145R2: Refining Expression Order for C++. 2115 * cp-gimplify.c (lvalue_has_side_effects): New. 2116 (cp_gimplify_expr): Implement assignment ordering. 2117 * call.c (op_is_ordered, build_over_call): Adjust for 2118 -fargs-in-order renaming to -fstrong-eval-order. 2119 * cp-gimplify.c (cp_gimplify_expr): Likewise. 2120 21212016-07-07 Jakub Jelinek <jakub@redhat.com> 2122 Kai Tietz <ktietz70@googlemail.com> 2123 2124 PR c++/70869 2125 PR c++/71054 2126 * cp-gimplify.c (cp_genericize_r): For DECL_EXPR for non-static 2127 artificial vars, genericize their initializers. 2128 21292016-07-05 David Malcolm <dmalcolm@redhat.com> 2130 2131 PR c++/62314 2132 * parser.c (cp_parser_class_specifier_1): When reporting 2133 missing semicolons, use a fixit-hint to suggest insertion 2134 of a semicolon immediately after the closing brace, 2135 offsetting the reported column accordingly. 2136 21372016-07-04 Jan Beulich <jbeulich@suse.com> 2138 2139 * lang-specs.h ("@c++-header"): Conditionalize "-o". 2140 21412016-06-29 Thomas Schwinge <thomas@codesourcery.com> 2142 2143 * parser.c (cp_parser_pragma) <PRAGMA_OMP_CANCELLATION_POINT>: 2144 Move pragma context checking into... 2145 (cp_parser_omp_cancellation_point): ... here, and improve 2146 diagnostic messages. 2147 * semantics.c (finish_omp_cancel, finish_omp_cancellation_point): 2148 Improve diagnostic messages. 2149 21502016-06-28 Jakub Jelinek <jakub@redhat.com> 2151 2152 * Make-lang.in: Don't cat ../stage_current if it does not exist. 2153 21542016-06-24 Jason Merrill <jason@redhat.com> 2155 2156 P0145R2: Refining Expression Order for C++. 2157 * typeck.c (cp_build_modify_expr): Leave COMPOUND_EXPR on LHS. 2158 2159 * tree.c (get_target_expr_sfinae): Handle bit-fields. 2160 (build_target_expr): Call mark_rvalue_use. 2161 21622016-06-24 Jakub Jelinek <jakub@redhat.com> 2163 2164 * call.c (magic_varargs_p): Return 3 for __builtin_*_overflow_p. 2165 (build_over_call): For magic == 3, do no conversion only on 3rd 2166 argument. 2167 21682016-06-23 Andi Kleen <ak@linux.intel.com> 2169 2170 * Make-lang.in: Add support for autofdo. 2171 21722016-06-21 Jason Merrill <jason@redhat.com> 2173 2174 * constraint.cc (constraints_satisfied_p): Keep as many levels of 2175 args as our template has levels of parms. 2176 2177 * pt.c (template_parm_outer_level, uses_outer_template_parms): New. 2178 (type_dependent_expression_p): Use uses_outer_template_parms. 2179 21802016-06-20 David Malcolm <dmalcolm@redhat.com> 2181 2182 * parser.c (cp_parser_string_literal): Convert non-standard 2183 concatenation error to directly use a rich_location, and 2184 use that to add the location of the first literal to the 2185 diagnostic. 2186 21872016-06-17 Paolo Carlini <paolo.carlini@oracle.com> 2188 2189 * decl.c (validate_constexpr_redeclaration): Change pair of errors 2190 to error + inform. 2191 * error.c (dump_function_decl): Save the constexpr specifier too. 2192 21932016-06-17 Jakub Jelinek <jakub@redhat.com> 2194 2195 * tree.c (builtin_valid_in_constant_expr_p): Test for 2196 DECL_BUILT_IN_CLASS equal to BUILT_IN_NORMAL instead of just 2197 DECL_BUILT_IN. 2198 (bot_manip): Likewise. 2199 * call.c (magic_varargs_p): Likewise. 2200 22012016-06-17 Paolo Carlini <paolo.carlini@oracle.com> 2202 2203 * decl.c (grokfndecl): Change pair of errors to error + inform. 2204 22052016-06-17 Jason Merrill <jason@redhat.com> 2206 2207 PR c++/71209 2208 * typeck.c (finish_class_member_access_expr): Avoid "not a base" 2209 warning when there are dependent bases. 2210 22112016-06-17 Jakub Jelinek <jakub@redhat.com> 2212 2213 * semantics.c (handle_omp_array_sections_1): Don't ICE when 2214 processing_template_decl when checking for bitfields and unions. 2215 Look through REFERENCE_REF_P as base of COMPONENT_REF. 2216 (finish_omp_clauses): Look through REFERENCE_REF_P even for 2217 array sections with COMPONENT_REF bases. 2218 22192016-06-16 Jakub Jelinek <jakub@redhat.com> 2220 2221 * parser.c (cp_parser_omp_var_list_no_open): Call 2222 convert_from_reference before cp_parser_postfix_dot_deref_expression. 2223 * semantics.c (finish_omp_clauses): Don't ICE when 2224 processing_template_decl when checking for bitfields and unions. 2225 Look through REFERENCE_REF_P as base of COMPONENT_REF. 2226 22272016-06-15 Paolo Carlini <paolo.carlini@oracle.com> 2228 2229 * decl.c (wrapup_globals_for_namespace): Use DECL_SOURCE_LOCATION and 2230 "%qF" in warning_at instead of "%q+F" in warning. 2231 (check_redeclaration_exception_specification): Likewise in pedwarn 2232 (and error, inform, for consistency). 2233 * call.c (joust): Likewise. 2234 22352016-06-15 Paolo Carlini <paolo.carlini@oracle.com> 2236 2237 PR c++/70202 2238 * decl.c (xref_basetypes): Revert r117839 changes; add fix-up 2239 code at the end of the for loop; also revert r159637 changes, 2240 add back the gcc_assert. 2241 * cp-tree.h (xref_basetypes): Adjust declaration. 2242 * parser.c (cp_parser_class_head): Adjust xref_basetypes call. 2243 22442016-06-14 David Malcolm <dmalcolm@redhat.com> 2245 2246 * search.c: Include spellcheck-tree.h rather than spellcheck.h. 2247 22482016-06-14 David Malcolm <dmalcolm@redhat.com> 2249 2250 * typeck.c: Include "gcc-rich-location.h". 2251 (finish_class_member_access_expr): Simplify fixit code by 2252 using gcc_rich_location::add_fixit_misspelled_id. 2253 22542016-06-14 Jason Merrill <jason@redhat.com> 2255 2256 P0145R2: Refining Expression Order for C++. 2257 * cp-tree.h (CALL_EXPR_OPERATOR_SYNTAX, CALL_EXPR_ORDERED_ARGS) 2258 (CALL_EXPR_REVERSE_ARGS): New. 2259 * call.c (build_new_op_1): Set them. 2260 (extract_call_expr, op_is_ordered): New. 2261 (build_over_call): Set CALL_EXPR_ORDERED_ARGS. 2262 * cp-gimplify.c (cp_gimplify_expr) [CALL_EXPR]: Handle new flags. 2263 * pt.c (tsubst_copy_and_build): Copy new flags. 2264 * semantics.c (simplify_aggr_init_expr): Likewise. 2265 * tree.c (build_aggr_init_expr): Likewise. 2266 (build_min_non_dep_op_overload): Likewise. 2267 22682016-06-14 Jakub Jelinek <jakub@redhat.com> 2269 2270 PR c++/71528 2271 * decl.c (duplicate_decls): For DECL_INITIALIZED_P non-external 2272 olddecl vars, preserve their TREE_READONLY bit. 2273 2274 PR c++/71516 2275 * decl.c (complete_vars): Handle gracefully type == error_mark_node. 2276 22772016-06-14 Paolo Carlini <paolo.carlini@oracle.com> 2278 2279 * typeck2.c (digest_init_r): Use EXPR_LOC_OR_LOC on init. 2280 22812016-06-13 Paolo Carlini <paolo.carlini@oracle.com> 2282 2283 * decl.c (grokdeclarator): Fix typo in pedwarn text. 2284 22852016-06-10 Thomas Schwinge <thomas@codesourcery.com> 2286 2287 PR c/71381 2288 * parser.c (cp_parser_omp_var_list_no_open) <OMP_CLAUSE__CACHE_>: 2289 Loosen checking. 2290 22912016-06-09 Paolo Carlini <paolo.carlini@oracle.com> 2292 2293 PR c++/71465 2294 Revert: 2295 2016-06-04 Paolo Carlini <paolo.carlini@oracle.com> 2296 2297 PR c++/70202 2298 * parser.c (cp_parser_class_head): When xref_basetypes fails and 2299 emits an error do not zero the type. 2300 23012016-06-08 Paolo Carlini <paolo.carlini@oracle.com> 2302 2303 * decl.c (maybe_deduce_size_from_array_init): Use 2304 DECL_SOURCE_LOCATION in error_at. 2305 (layout_var_decl): Likewise. 2306 (check_array_initializer): Likewise. 2307 (check_initializer): Likewise. 2308 (duplicate_decls, check_elaborated_type_specifier): Tidy. 2309 23102016-06-08 Martin Sebor <msebor@redhat.com> 2311 Jakub Jelinek <jakub@redhat.com> 2312 2313 PR c++/70507 2314 PR c/68120 2315 * constexpr.c: Include gimple-fold.h. 2316 (cxx_eval_internal_function): New function. 2317 (cxx_eval_call_expression): Call it. 2318 (potential_constant_expression_1): Handle integer arithmetic 2319 overflow built-ins. 2320 * tree.c (builtin_valid_in_constant_expr_p): Handle 2321 BUILT_IN_{ADD,SUB,MUL}_OVERFLOW_P. 2322 23232016-06-08 Paolo Carlini <paolo.carlini@oracle.com> 2324 2325 * pt.c (tsubst, case TYPENAME_TYPE): Don't delay checking the 2326 return value of tsubst_aggr_type for error_mark_node. 2327 23282016-06-08 Jakub Jelinek <jakub@redhat.com> 2329 2330 PR c++/71442 2331 * pt.c (tsubst_copy): Only set TREE_USED on DECLs. 2332 23332016-06-06 Jakub Jelinek <jakub@redhat.com> 2334 Patrick Palka <ppalka@gcc.gnu.org> 2335 2336 PR c++/70847 2337 PR c++/71330 2338 PR c++/71393 2339 * cp-gimplify.c (cp_fold_r): Set *walk_subtrees = 0 and return NULL 2340 right after cp_fold call if cp_fold has returned the same stmt 2341 already in some earlier cp_fold_r call. 2342 (cp_fold_function): Add pset automatic variable, pass its address 2343 to cp_walk_tree. 2344 23452016-06-04 Paolo Carlini <paolo.carlini@oracle.com> 2346 2347 PR c++/70202 2348 * parser.c (cp_parser_class_head): When xref_basetypes fails and 2349 emits an error do not zero the type. 2350 23512016-06-03 Patrick Palka <ppalka@gcc.gnu.org> 2352 2353 PR c++/27100 2354 * decl.c (duplicate_decls): Properly copy the 2355 DECL_PENDING_INLINE_P, DECL_PENDING_INLINE_INFO and 2356 DECL_SAVED_FUNCTION_DATA fields from OLDDECL to NEWDECL. 2357 23582016-06-03 Chung-Lin Tang <cltang@codesourcery.com> 2359 2360 * semantics.c (finish_omp_clauses): Mark OpenACC reduction 2361 arguments as addressable when async clause exists. 2362 23632016-06-02 Jan Hubicka <jh@suse.cz> 2364 2365 * cp-gimplify.c (genericize_continue_stmt): Force addition of 2366 predict stmt. 2367 23682016-06-02 Paolo Carlini <paolo.carlini@oracle.com> 2369 2370 * decl.c (xref_tag_1): Change pairs of errors to error + inform. 2371 (start_enum): Likewise. 2372 * parser.c (cp_parser_class_head): Likewise. 2373 23742016-06-02 Jakub Jelinek <jakub@redhat.com> 2375 2376 PR c++/71372 2377 * cp-gimplify.c (cp_fold): For INDIRECT_REF, if the folded expression 2378 is INDIRECT_REF or MEM_REF, copy over TREE_READONLY, TREE_SIDE_EFFECTS 2379 and TREE_THIS_VOLATILE flags. For ARRAY_REF and ARRAY_RANGE_REF, copy 2380 over TREE_READONLY, TREE_SIDE_EFFECTS and TREE_THIS_VOLATILE flags 2381 to the newly built tree. 2382 23832016-05-31 Jason Merrill <jason@redhat.com> 2384 2385 * pt.c (instantiate_decl): Avoid recalculation. 2386 2387 PR c++/60095 2388 PR c++/69515 2389 PR c++/69009 2390 * pt.c (instantiate_template_1): Don't put the partial 2391 specialization in DECL_TI_TEMPLATE. 2392 (partial_specialization_p, impartial_args): Remove. 2393 (regenerate_decl_from_template): Add args parm. 2394 (instantiate_decl): Look up the partial specialization again. 2395 2396 PR c++/71227 2397 * pt.c (check_explicit_specialization): Give better diagnostic about 2398 specializing a hidden friend. 2399 24002016-05-31 Paolo Carlini <paolo.carlini@oracle.com> 2401 2402 PR c++/71248 2403 * decl.c (check_static_variable_definition): Use DECL_SOURCE_LOCATION 2404 to obtain correct locations; avoid redundant diagnostics on 2405 out-of-class definitions. 2406 24072016-05-30 Martin Sebor <msebor@redhat.com> 2408 2409 PR c++/71306 2410 * init.c (warn_placement_new_too_small): Handle placement new arguments 2411 that are elements of arrays more carefully. Remove a pointless loop. 2412 24132016-05-30 Jakub Jelinek <jakub@redhat.com> 2414 2415 PR c++/71349 2416 * parser.c (cp_parser_omp_for): Don't disallow nowait clause 2417 when combined with target construct. 2418 (cp_parser_omp_parallel): Pass cclauses == NULL as last argument 2419 to cp_parser_omp_all_clauses. 2420 24212016-05-30 Paolo Carlini <paolo.carlini@oracle.com> 2422 2423 PR c++/71238 2424 * lex.c (unqualified_name_lookup_error): Take a location too. 2425 (unqualified_fn_lookup_error): Take a cp_expr. 2426 * cp-tree.h (unqualified_name_lookup_error, 2427 unqualified_fn_lookup_error): Adjust declarations. 2428 * semantics.c (perform_koenig_lookup): Adjust 2429 unqualified_fn_lookup_error call, pass the location of 2430 the identifier too as part of a cp_expr. 2431 24322016-05-30 Paolo Carlini <paolo.carlini@oracle.com> 2433 2434 PR c++/71099 2435 * parser.c (cp_parser_function_specifier_opt): Use current_class_type 2436 to improve the diagnostic about wrong uses of 'virtual'. 2437 24382016-05-29 Paolo Carlini <paolo.carlini@oracle.com> 2439 2440 PR c++/71105 2441 * lambda.c (maybe_add_lambda_conv_op): Early return also when 2442 LAMBDA_EXPR_DEFAULT_CAPTURE_MODE != CPLD_NONE. 2443 24442016-05-28 Ville Voutilainen <ville.voutilainen@gmail.com> 2445 2446 Revert: 2447 PR c++/69855 2448 * name-lookup.c (pushdecl_maybe_friend_1): Push local function 2449 decls into the global scope after stripping template bits 2450 and setting DECL_ANTICIPATED. 2451 24522016-05-27 Paolo Carlini <paolo.carlini@oracle.com> 2453 2454 PR c++/60385 2455 * name-lookup.c (push_namespace): Return bool, false when pushdecl 2456 fails. 2457 * name-lookup.h (push_namespace): Adjust declaration. 2458 * parser.c (cp_parser_namespace_definition): Check push_namespace 2459 return value. 2460 24612016-05-27 Ville Voutilainen <ville.voutilainen@gmail.com> 2462 2463 PR c++/69855 2464 * name-lookup.c (pushdecl_maybe_friend_1): Push local function 2465 decls into the global scope after stripping template bits 2466 and setting DECL_ANTICIPATED. 2467 24682016-05-26 Jakub Jelinek <jakub@redhat.com> 2469 2470 * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_SCHEDULE>: Warn 2471 if OMP_CLAUSE_SCHEDULE_CHUNK_EXPR is known not to be positive. 2472 24732016-05-26 Patrick Palka <ppalka@gcc.gnu.org> 2474 2475 PR c++/70822 2476 PR c++/70106 2477 * cp-tree.h (REF_PARENTHESIZED_P): Make this flag apply to 2478 SCOPE_REFs too. 2479 * pt.c (tsubst_qualified_id): If REF_PARENTHESIZED_P is set 2480 on the qualified_id then propagate it to the resulting 2481 expression. 2482 (do_auto_deduction): Check REF_PARENTHESIZED_P on SCOPE_REFs 2483 too. 2484 * semantics.c (force_paren_expr): If given a SCOPE_REF, just set 2485 its REF_PARENTHESIZED_P flag. 2486 24872016-05-25 Jason Merrill <jason@redhat.com> 2488 2489 PR c++/71173 2490 PR c++/70522 2491 * cp-tree.h (enum tag_types): Add scope_type. 2492 * parser.c (cp_parser_class_name): Use scope_type. 2493 (prefer_type_arg): Handle scope_type. 2494 (cp_parser_lookup_name): Use prefer_type_arg. 2495 * name-lookup.c (lookup_qualified_name): Change bool is_type_p to 2496 int prefer_type, use lookup_flags. 2497 * name-lookup.h: Adjust. 2498 24992016-05-24 Cesar Philippidis <cesar@codesourcery.com> 2500 2501 * parser.c (cp_parser_oacc_declare): Add support for 2502 GOMP_MAP_FIRSTPRIVATE_POINTER. 2503 * semantics.c (handle_omp_array_sections_1): Replace bool is_omp 2504 argument with enum c_omp_region_type ort. Don't privatize OpenACC 2505 non-static members. 2506 (handle_omp_array_sections): Replace bool is_omp argument with enum 2507 c_omp_region_type ort. Update call to handle_omp_array_sections_1. 2508 (finish_omp_clauses): Add specific errors and warning messages for 2509 OpenACC. Use firsrtprivate pointers for OpenACC subarrays. Update 2510 call to handle_omp_array_sections. 2511 25122016-05-24 Jason Merrill <jason@redhat.com> 2513 2514 PR c++/70584 2515 * cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold 2516 returns a decl. 2517 (cp_fold) [INDIRECT_REF]: Don't fold to an rvalue. 2518 25192016-05-24 Martin Sebor <msebor@redhat.com> 2520 2521 PR c++/71147 2522 * decl.c (layout_var_decl, grokdeclarator): Use complete_or_array_type_p. 2523 * pt.c (instantiate_class_template_1): Try to complete the element 2524 type of a flexible array member. 2525 (can_complete_type_without_circularity): Handle arrays of unknown bound. 2526 * typeck.c (complete_type): Also complete the type of the elements of 2527 arrays with an unspecified bound. 2528 25292016-05-24 Paolo Carlini <paolo.carlini@oracle.com> 2530 2531 PR c++/69872 2532 * typeck2.c (check_narrowing): Check pedwarn return value. 2533 25342016-05-24 Jakub Jelinek <jakub@redhat.com> 2535 2536 PR c++/71257 2537 * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_LINEAR>: 2538 For OMP_CLAUSE_LINEAR_REF don't require type to be 2539 integral or pointer. 2540 25412016-05-24 Richard Biener <rguenther@suse.de> 2542 2543 PR middle-end/70434 2544 PR c/69504 2545 * expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR. 2546 * constexpr.c (cxx_eval_array_reference): Handle indexed 2547 vectors. 2548 * typeck.c (cp_build_array_ref): Adjust. 2549 25502016-05-23 Jason Merrill <jason@redhat.com> 2551 2552 PR c++/70344 2553 * constexpr.c (cxx_eval_call_expression): Check for 2554 fun == current_function_decl again. 2555 2556 PR c++/70584 2557 * cp-gimplify.c (cp_fold) [INDIRECT_REF]: Call 2558 maybe_undo_parenthesized_ref. 2559 2560 PR c++/70735 2561 * pt.c (tsubst_copy): Just return a local variable from 2562 non-template context. Don't call rest_of_decl_compilation for 2563 duplicated static locals. 2564 (tsubst_decl): Set DECL_CONTEXT of local static from another 2565 function. 2566 25672016-05-23 Paolo Carlini <paolo.carlini@oracle.com> 2568 2569 PR c++/70972 2570 * method.c (forward_parm): Use cp_build_reference_type. 2571 25722016-05-23 Paolo Carlini <paolo.carlini@oracle.com> 2573 2574 PR c++/69095 2575 * parser.c (cp_parser_initializer): Use check_for_bare_parameter_packs. 2576 25772016-05-23 Paolo Carlini <paolo.carlini@oracle.com> 2578 2579 * pt.c (check_for_bare_parameter_packs): Improve error message 2580 location for expressions. 2581 25822016-05-20 Nathan Sidwell <nathan@acm.org> 2583 2584 * constexpr.c (cxx_bind_parameters_in_call): Avoid gratuitous if 2585 ... goto. 2586 (cxx_eval_call_expression): Fix comment grammar. 2587 25882016-05-20 Paolo Carlini <paolo.carlini@oracle.com> 2589 2590 PR c++/70572 2591 * decl.c (cp_finish_decl): Check do_auto_deduction return value 2592 and return immediately in case of erroneous code. 2593 25942016-05-19 Marek Polacek <polacek@redhat.com> 2595 2596 PR c++/71075 2597 * pt.c (unify_template_argument_mismatch): Use %qE instead of %qD. 2598 25992016-05-19 Jason Merrill <jason@redhat.com> 2600 2601 PR c++/10200 2602 * pt.c (fn_type_unification): Add outer template args if needed. 2603 (type_unification_real): Handle getting full args. 2604 26052016-05-19 David Malcolm <dmalcolm@redhat.com> 2606 2607 PR c++/71184 2608 * parser.c (cp_parser_operator): For array new/delete, check that 2609 cp_parser_require returned a non-NULL token before dereferencing 2610 it. 2611 26122016-05-19 Bernd Edlinger <bernd.edlinger@hotmail.de> 2613 2614 * decl.c (finish_enum_value_list): Use the specified mode. 2615 26162016-05-18 Jason Merrill <jason@redhat.com> 2617 2618 * pt.c (value_dependent_expression_p): Tweak new cases to better 2619 match the wording in the standard. 2620 26212016-05-18 Paolo Carlini <paolo.carlini@oracle.com> 2622 2623 PR c++/69793 2624 * parser.c (cp_parser_template_id): Don't call cp_lexer_peek_nth_token 2625 when the previous cp_lexer_peek_token returns CPP_EOF. 2626 26272016-05-18 Paolo Carlini <paolo.carlini@oracle.com> 2628 2629 PR c++/70466 2630 * call.c (convert_like_real): Check that we are actually converting 2631 from an init list. 2632 26332016-05-16 Matthew Wahab <matthew.wahab@arm.com> 2634 2635 * decl.c (grokdeclarator): Remove errmsg and use of 2636 targetm.invalid_return_type. 2637 (grokparms): Remove errmsg and use of 2638 targetm.invalid_parameter_type. 2639 26402016-05-13 Jason Merrill <jason@redhat.com> 2641 2642 PR c++/10200 2643 PR c++/69753 2644 * pt.c (tsubst_decl): Use uses_template_parms. 2645 (instantiate_template_1): Handle non-dependent calls in templates. 2646 (value_dependent_expression_p): Handle BASELINK, FUNCTION_DECL. 2647 (type_dependent_expression_p): Only consider innermost template args. 2648 (dependent_template_arg_p): Check enclosing class of a template here. 2649 (dependent_template_p): Not here. 2650 (type_dependent_object_expression_p): New. 2651 * typeck.c (finish_class_member_access_expr): Use it. 2652 * parser.c (cp_parser_postfix_expression): Use it. 2653 (cp_parser_postfix_dot_deref_expression): Use it. Use comptypes 2654 to detect the current instantiation. 2655 (cp_parser_lookup_name): Really implement DR 141. 2656 * search.c (lookup_field_r): Prefer a dependent using-declaration. 2657 (any_dependent_bases_p): Split out from... 2658 * name-lookup.c (do_class_using_decl): ...here. 2659 * call.c (build_new_method_call_1): Use it. 2660 * semantics.c (finish_call_expr): 'this' doesn't make a call dependent. 2661 * tree.c (non_static_member_function_p): Remove. 2662 * typeck2.c (build_x_arrow): Use dependent_scope_p. 2663 2664 * parser.c (cp_parser_postfix_dot_deref_expression): Use 2665 complete_type_or_else for unknown_type_node, too. 2666 26672016-05-12 Marek Polacek <polacek@redhat.com> 2668 2669 PR c/70756 2670 * call.c (build_new_op_1): Pass LOC to cp_build_modify_expr. 2671 * cp-tree.h (cp_build_modify_expr): Update declaration. 2672 (cxx_incomplete_type_error, cxx_incomplete_type_diagnostic): New inline 2673 overloads. 2674 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Pass INPUT_LOCATION to 2675 cp_build_modify_expr. 2676 * decl2.c (set_guard): Likewise. 2677 (handle_tls_init): Likewise. 2678 * init.c (perform_member_init): Likewise. 2679 (expand_virtual_init): Likewise. 2680 (build_new_1): Likewise. 2681 (build_vec_delete_1): Likewise. 2682 (get_temp_regvar): Likewise. 2683 (build_vec_init): Likewise. 2684 * method.c (do_build_copy_assign): Likewise. 2685 (assignable_expr): Likewise. 2686 * semantics.c (finish_omp_for): Likewise. 2687 * typeck.c (cp_build_binary_op): Pass LOCATION to pointer_diff and 2688 cp_pointer_int_sum. 2689 (cp_pointer_int_sum): Add location parameter. Pass it down to 2690 pointer_int_sum. 2691 (pointer_diff): Add location parameter. Use it. 2692 (build_modify_expr): Pass location down to cp_build_modify_expr. 2693 (cp_build_modify_expr): Add location parameter. Use it. 2694 (build_x_modify_expr): Pass location down to cp_build_modify_expr. 2695 * typeck2.c (cxx_incomplete_type_diagnostic, 2696 cxx_incomplete_type_error): Add location parameter. 2697 26982016-05-11 Marek Polacek <polacek@redhat.com> 2699 2700 PR c++/71024 2701 * decl.c (duplicate_decls): Call diagnose_mismatched_decls. 2702 27032016-05-05 Jakub Jelinek <jakub@redhat.com> 2704 2705 * parser.c (cp_parser_selection_statement): For RID_SWITCH, 2706 pass if_p instead of NULL to cp_parser_implicitly_scoped_statement. 2707 27082016-05-04 Marek Polacek <polacek@redhat.com> 2709 2710 * parser.c (cp_parser_selection_statement): Replace OPT_Wparentheses 2711 with OPT_Wdangling_else. 2712 27132016-05-03 Martin Sebor <msebor@redhat.com> 2714 2715 PR c++/66561 2716 * tree.c (builtin_valid_in_constant_expr_p): Treat BUILT_IN_FILE, 2717 BUILT_IN_FUNCTION, and BUILT_IN_LINE as constant expressions. 2718 27192016-05-03 Marek Polacek <polacek@redhat.com> 2720 2721 PR c/70859 2722 * call.c (build_cxx_call): Pass location and vNULL down to 2723 check_builtin_function_arguments. 2724 27252016-05-03 Richard Biener <rguenther@suse.de> 2726 2727 * Make-lang.in (cc1plus-checksum.c): For stage-final re-use 2728 the checksum from the previous stage. 2729 27302016-05-02 David Malcolm <dmalcolm@redhat.com> 2731 2732 PR c++/62314 2733 * typeck.c (finish_class_member_access_expr): When 2734 giving a hint about a possibly-misspelled member name, 2735 add a fix-it replacement hint. 2736 27372016-05-02 Cesar Philippidis <cesar@codesourcery.com> 2738 2739 * cp-tree.h (finish_omp_clauses): Update prototype. 2740 * parser.c (cp_parser_oacc_all_clauses): Update call to 2741 finish_omp_clauses. 2742 (cp_parser_omp_all_clauses): Likewise. 2743 (cp_parser_omp_for_loop): Likewise. 2744 (cp_omp_split_clauses): Likewise. 2745 (cp_parser_oacc_cache): Likewise. 2746 (cp_parser_oacc_loop): Likewise. 2747 (cp_parser_omp_declare_target): 2748 (cp_parser_cilk_simd_all_clauses): Likewise. 2749 (cp_parser_cilk_for): Likewise. 2750 * pt.c (tsubst_omp_clauses): Replace allow_fields and declare_simd 2751 arguments with enum c_omp_region_type ort. 2752 (tsubst_omp_clauses): Update calls to finish_omp_clauses. 2753 (tsubst_omp_attribute): Update calls to tsubst_omp_clauses. 2754 (tsubst_omp_for_iterator): Update calls to finish_omp_clauses. 2755 (tsubst_expr): Update calls to tsubst_omp_clauses. 2756 * semantics.c (finish_omp_clauses): Replace bool arguments 2757 allow_fields, declare_simd, and is_cilk with bitmask ort. 2758 (finish_omp_for): Update call to finish_omp_clauses. 2759 27602016-05-02 David Malcolm <dmalcolm@redhat.com> 2761 2762 PR c++/62314 2763 * parser.c (cp_parser_class_head): Capture the start location; 2764 use it to emit a fix-it insertion hint when complaining 2765 about missing "template <> " in explicit specializations. 2766 27672016-05-02 Richard Sandiford <richard.sandiford@arm.com> 2768 2769 * init.c (build_new_1): Use shift operators instead of wi:: shifts. 2770 27712016-05-02 Richard Biener <rguenther@suse.de> 2772 2773 * decl.c (grokdeclarator): Properly insert a DECL_EXPR for 2774 anonymous VLAs. 2775 27762016-04-29 Paolo Carlini <paolo.carlini@oracle.com> 2777 2778 PR c++/66644 2779 * class.c (check_field_decl): Remove final int* parameter, change 2780 the return type to bool; fix logic in order not to reject multiple 2781 initialized fields in anonymous struct. 2782 (check_field_decls): Adjust call. 2783 27842016-04-29 Cesar Philippidis <cesar@codesourcery.com> 2785 2786 PR middle-end/70626 2787 * parser.c (cp_parser_oacc_loop): Don't augment mask with 2788 OACC_LOOP_CLAUSE_MASK. 2789 (cp_parser_oacc_kernels_parallel): Update call to 2790 c_oacc_split_loop_clauses. 2791 27922016-04-28 Jason Merrill <jason@redhat.com> 2793 2794 Implement C++17 [[nodiscard]] attribute. 2795 PR c++/38172 2796 PR c++/54379 2797 * parser.c (cp_parser_std_attribute): Handle [[nodiscard]]. 2798 * tree.c (handle_nodiscard_attribute): New. 2799 (cxx_attribute_table): Add [[nodiscard]]. 2800 * cvt.c (cp_get_fndecl_from_callee, cp_get_callee_fndecl): New. 2801 (maybe_warn_nodiscard): New. 2802 (convert_to_void): Call it. 2803 2804 * cvt.c (cp_get_callee): New. 2805 * constexpr.c (get_function_named_in_call): Use it. 2806 * cxx-pretty-print.c (postfix_expression): Use it. 2807 * except.c (check_noexcept_r): Use it. 2808 * method.c (check_nontriv): Use it. 2809 * tree.c (build_aggr_init_expr): Use it. 2810 * cp-tree.h: Declare it. 2811 28122015-04-27 Ryan Burn <contact@rnburn.com> 2813 Jeff Law <law@redhat.com> 2814 2815 PR c++/69024 2816 PR c++/68997 2817 * cp-gimplify.c (cp_gimplify_expr): Call cilk_cp_detect_spawn_and_unwrap 2818 instead of cilk_detect_spawn_and_unwrap. 2819 * cp-cilkplus.c (is_conversion_operator_function_decl_p): New. 2820 (find_spawn): New. 2821 (cilk_cp_detect_spawn_and_unwrap): New. 2822 * lambda.c: Include cp-cilkplus.h. 2823 * parser.c: Include cp-cilkplus.h. 2824 * cp-tree.h (cpp_validate_cilk_plus_loop): Move prototype into... 2825 * cp-cilkpus.h: New file. 2826 28272016-04-27 Nathan Sidwell <nathan@acm.org> 2828 2829 * constexpr.c (get_fundef_copy): Use the original function for 2830 non-recursive evaluations. 2831 (save_fundef_copy): Always expect a slot to be available. 2832 28332016-04-27 Bernd Schmidt <bschmidt@redhat.com> 2834 2835 * parser.c (cp_parser_postfix_expression): Call 2836 warn_for_memset instead of warning directly here. 2837 28382016-04-26 Patrick Palka <ppalka@gcc.gnu.org> 2839 2840 PR c++/70241 2841 * decl.c (build_enumerator): Set current_access_specifier when 2842 declaring an enumerator belonging to an in-class enumeration. 2843 * parser.c (cp_parser_check_access_in_redecleration): Also 2844 consider in-class enumerations. 2845 28462016-04-26 Marek Polacek <polacek@redhat.com> 2847 2848 PR c++/70744 2849 * call.c (build_conditional_expr_1): Call cp_stabilize_reference 2850 instead of stabilize_reference. 2851 (build_over_call): Likewise. 2852 * cp-tree.h (cp_stabilize_reference): Declare. 2853 * tree.c (cp_stabilize_reference): New function. 2854 * typeck.c (cp_build_unary_op): Call cp_stabilize_reference instead of 2855 stabilize_reference. 2856 (unary_complex_lvalue): Likewise. 2857 (cp_build_modify_expr): Likewise. 2858 28592016-04-26 Jakub Jelinek <jakub@redhat.com> 2860 2861 PR bootstrap/70704 2862 * pt.c (build_non_dependent_expr): Use flag_checking > 1 instead of 2863 just flag_checking. 2864 28652016-04-25 Jason Merrill <jason@redhat.com> 2866 2867 * tree.c (std_attribute_table): New. 2868 (init_tree): Register it. 2869 28702016-04-22 Jason Merrill <jason@redhat.com> 2871 2872 * parser.c (cp_parser_perform_range_for_lookup): Decay the array. 2873 28742016-04-21 Patrick Palka <ppalka@gcc.gnu.org> 2875 2876 * name-lookup.c (free_saved_scope): New free list of saved_scope 2877 structures. 2878 (push_to_top_level): Attempt to reuse a saved_scope struct 2879 from free_saved_scope instead of allocating a new one each time. 2880 (pop_from_top_level_1): Chain the now-unused saved_scope structure 2881 onto free_saved_scope. 2882 28832016-04-21 Paolo Carlini <paolo.carlini@oracle.com> 2884 2885 PR c++/70540 2886 * semantics.c (process_outer_var_ref): Unconditionally return 2887 error_mark_node when mark_used returns false. 2888 28892016-04-21 Marek Polacek <polacek@redhat.com> 2890 2891 PR c++/70513 2892 * parser.c (cp_parser_enum_specifier): Check and possibly error for 2893 extra qualification. 2894 28952016-04-20 Nathan Sidwell <nathan@acm.org> 2896 2897 PR c++/55635 2898 * init.c (build_vec_delete_1): Protect operator delete call in try 2899 finally. 2900 (build_delete): Likewise. 2901 * optimize.c (build_delete_destructor_body): Likewise. 2902 29032016-04-20 Ilya Verbin <ilya.verbin@intel.com> 2904 2905 PR c++/69363 2906 * cp-tree.h (finish_omp_clauses): Add new default argument. 2907 * parser.c (cp_parser_cilk_simd_all_clauses): Use finish_omp_clauses 2908 instead of c_finish_cilk_clauses. 2909 * semantics.c (finish_omp_clauses): Add new argument. Allow 2910 floating-point variables in the linear clause for Cilk Plus. 2911 29122016-04-20 Nathan Sidwell <nathan@acm.org> 2913 2914 * semantics.c (finish_compound_lteral): Don't wrap VECTOR_TYPEs in a 2915 TARGET_EXPR. 2916 29172016-04-19 Jason Merrill <jason@redhat.com> 2918 2919 PR c++/66543 2920 * expr.c (mark_exp_read): Handle NON_DEPENDENT_EXPR. 2921 * pt.c (make_pack_expansion): Call mark_exp_read. 2922 * semantics.c (finish_id_expression): Call mark_type_use in 2923 unevaluated context. 2924 2925 DR 2137 2926 * call.c (implicit_conversion): If we choose a copy constructor 2927 for list-initialization from the same type, the conversion is an 2928 exact match. 2929 2930 * constexpr.c (breaks): Handle EXIT_EXPR. 2931 (cxx_eval_loop_expr): Handle COMPOUND_EXPR body. 2932 (cxx_eval_constant_expression): Handle EXIT_EXPR, improve handling 2933 of COMPOUND_EXPR. 2934 2935 PR c++/68206 2936 PR c++/68530 2937 * constexpr.c (potential_constant_expression_1): Handle LOOP_EXPR 2938 and GOTO_EXPR. 2939 2940 * pt.c (tsubst_expr): Remove shadowing declaration. 2941 (tsubst_pack_expansion): Add assert. 2942 2943 * semantics.c (add_decl_expr): Use DECL_SOURCE_LOCATION. 2944 2945 PR c++/70522 2946 * name-lookup.c (qualified_lookup_using_namespace): Look through 2947 hidden names. 2948 29492016-04-18 Michael Matz <matz@suse.de> 2950 2951 * class.c (build_vtable): Use SET_DECL_ALIGN and SET_TYPE_ALIGN. 2952 (layout_class_type): Ditto. 2953 (build_base_field): Use SET_DECL_ALIGN. 2954 (fixup_attribute_variants): Use SET_TYPE_ALIGN. 2955 * decl.c (duplicate_decls): Use SET_DECL_ALIGN. 2956 (record_unknown_type): Use SET_TYPE_ALIGN. 2957 (cxx_init_decl_processing): Ditto. 2958 (copy_type_enum): Ditto. 2959 (grokfndecl): Use SET_DECL_ALIGN. 2960 (copy_type_enum): Use SET_TYPE_ALIGN. 2961 * pt.c (instantiate_class_template_1): Use SET_TYPE_ALIGN. 2962 (tsubst): Ditto. 2963 * tree.c (cp_build_qualified_type_real): Use SET_TYPE_ALIGN. 2964 * lambda.c (maybe_add_lambda_conv_op): Use SET_DECL_ALIGN. 2965 * method.c (implicitly_declare_fn): Use SET_DECL_ALIGN. 2966 * rtti.c (emit_tinfo_decl): Ditto. 2967 29682016-04-18 Jason Merrill <jason@redhat.com> 2969 2970 PR c++/70690 2971 PR c++/70528 2972 * class.c (type_maybe_constexpr_default_constructor): New. 2973 (type_has_constexpr_default_constructor): Revert. 2974 29752016-04-16 Sandra Loosemore <sandra@codesourcery.com> 2976 2977 PR target/1078 2978 2979 * tree.c (cxx_attribute_table): Remove "com_interface" entry. 2980 (handle_com_interface_attribute): Delete. 2981 29822016-04-15 Jason Merrill <jason@redhat.com> 2983 2984 PR c++/70685 2985 * constexpr.c (get_fundef_copy): Handle null *slot. 2986 2987 PR c++/70505 2988 * pt.c (tsubst_baselink): Give the new TEMPLATE_ID_EXPR 2989 unknown_type_node, too. 2990 29912016-04-15 Jason Merrill <jason@redhat.com> 2992 Nathan Sidwell <nathan@acm.org> 2993 2994 PR c++/70594 2995 * constexpr.c (constexpr_call_table): Preserve in GC. 2996 (struct fundef_copy, struct fundef_copies_table_t): Delete. 2997 (fundef_copies_table): Preserve in GC. Change to pointer to 2998 tree->tree hash. 2999 (maybe_initialize_fundef_copies_table): Adjust. 3000 (get_fundef_copy): Return a TREE_LIST. Use non-inserting search. 3001 (save_fundef_copy): Adjust for a TREE_LIST. 3002 (cxx_eval_call_expression): Adjust for a fundef_copy TREE_LIST. 3003 (fini_constexpr): New. 3004 * cp-tree.h (fini_constexpr): Declare. 3005 * decl2.c (c_parse_final_cleanups): Call fini_constexpr. 3006 30072016-04-15 Jakub Jelinek <jakub@redhat.com> 3008 3009 PR c/70436 3010 * parser.c (cp_parser_pragma): Add IF_P argument, pass it down 3011 where needed. 3012 (cp_parser_declaration_seq_opt, cp_parser_member_specification_opt, 3013 cp_parser_objc_interstitial_code, cp_parser_omp_declare_simd, 3014 cp_parser_oacc_routine): Adjust cp_parser_pragma callers. 3015 (cp_parser_statement): Likewise. Adjust cp_parser_cilk_for caller. 3016 (cp_parser_omp_structured_block): Add IF_P argument, pass it down to 3017 cp_parser_statement. 3018 (cp_parser_oacc_data, cp_parser_oacc_host_data, cp_parser_oacc_loop, 3019 cp_parser_oacc_kernels_parallel, cp_parser_omp_critical, 3020 cp_parser_omp_simd, cp_parser_omp_for, cp_parser_omp_master, 3021 cp_parser_omp_ordered, cp_parser_omp_parallel, cp_parser_omp_single, 3022 cp_parser_omp_task, cp_parser_omp_taskgroup, cp_parser_omp_distribute, 3023 cp_parser_omp_teams, cp_parser_omp_target_data, cp_parser_omp_target, 3024 cp_parser_omp_taskloop, cp_parser_omp_construct, 3025 cp_parser_cilk_grainsize, cp_parser_cilk_simd, cp_parser_cilk_for): 3026 Add IF_P argument, pass it down where needed. 3027 (cp_parser_omp_for_loop): Likewise. Clear IF_P if nbraces. 3028 (cp_parser_omp_sections_scope): Adjust cp_parser_omp_structured_block 3029 calls. 3030 30312016-04-14 Jason Merrill <jason@redhat.com> 3032 3033 PR c++/70494 3034 * decl.c (cxx_maybe_build_cleanup): Handle non-decls. 3035 * typeck2.c (split_nonconstant_init_1): Use it. 3036 3037 PR c++/70528 3038 * class.c (type_has_constexpr_default_constructor): Return true 3039 for an implicitly declared constructor. 3040 3041 PR c++/70622 3042 * parser.c (cp_parser_init_declarator): Add auto_result parm. 3043 (cp_parser_simple_declaration): Pass it. 3044 (strip_declarator_types): New. 3045 3046 PR c++/70543 3047 * pt.c (value_dependent_expression_p) [VAR_DECL]: A type-dependent 3048 initializer also makes the variable value-dependent. 3049 3050 PR c++/70648 3051 * constexpr.c (cxx_eval_store_expression): Also copy 3052 CONSTRUCTOR_NO_IMPLICIT_ZERO. 3053 30542016-04-14 Martin Sebor <msebor@redhat.com> 3055 3056 PR c++/69517 3057 PR c++/70019 3058 PR c++/70588 3059 * cp-tree.h, decl.c, init.c, typeck2.c: Revert. 3060 30612016-04-14 Jason Merrill <jason@redhat.com> 3062 3063 * call.c, decl.c, error.c, cp-tree.h, decl.c: Revert empty 3064 parameter ABI change. 3065 30662016-04-13 Martin Sebor <msebor@redhat.com> 3067 3068 PR c++/69517 3069 PR c++/70019 3070 PR c++/70588 3071 * cp-tree.h (throw_bad_array_length, build_vla_check): Declare new 3072 functions. 3073 * decl.c (check_initializer, cp_finish_decl): Call them. 3074 (reshape_init_r): Reject incompletely braced intializer-lists 3075 for VLAs. 3076 * init.c (throw_bad_array_length, build_vla_check) 3077 (build_vla_size_check, build_vla_init_check): Define new functions. 3078 * typeck2.c (split_nonconstant_init_1): Use variably_modified_type_p() 3079 to detect a VLA. 3080 (store_init_value): Same. 3081 30822016-04-13 Jason Merrill <jason@redhat.com> 3083 3084 Warn about empty parameter ABI with -Wabi=9. 3085 * call.c (empty_class_msg, mark_for_abi_warning) 3086 (warn_empty_class_abi): New. 3087 (build_call_a): Use them. 3088 * decl.c (store_parm_decls): Use mark_for_abi_warning. 3089 * error.c (pp_format_to_string): New. 3090 3091 Pass empty class parameters like C. 3092 * call.c (pass_as_empty_struct, empty_class_arg): New. 3093 (type_passed_as, build_x_va_arg): Use pass_as_empty_struct. 3094 (build_call_a): Use empty_class_arg. 3095 * cp-tree.h (CPTI_EMPTY_STRUCT, empty_struct_type): New. 3096 * decl.c (cxx_init_decl_processing): Create empty_struct_type. 3097 30982016-04-13 Jason Merrill <jason@redhat.com> 3099 3100 PR c++/70627 3101 * decl.c (start_enum): Don't change an existing ENUM_UNDERLYING_TYPE. 3102 31032016-04-13 Paolo Carlini <paolo.carlini@oracle.com> 3104 3105 PR c++/70635 3106 * pt.c (resolve_typename_type): Fix typos in infinite recursion 3107 avoidance mechanism. 3108 31092016-04-13 Jason Merrill <jason@redhat.com> 3110 3111 PR c++/70634 3112 * pt.c (instantiation_dependent_uneval_expression_p): Split out 3113 from instantiation_dependent_expression_p. 3114 (value_dependent_expression_p): Use it for unevaluated operands. 3115 (instantiation_dependent_r): Don't check value-dependence. 3116 (instantiation_dependent_expression_p): Check 3117 value-dependence of the expression as a whole. 3118 * cp-tree.h: Declare instantiation_dependent_uneval_expression_p. 3119 * semantics.c (finish_decltype_type): Use it. 3120 3121 * constexpr.c (potential_nondependent_constant_expression): New. 3122 (potential_nondependent_static_init_expression): New. 3123 (maybe_constant_value_1, fold_non_dependent_expr) 3124 (maybe_constant_init): Use them. 3125 * pt.c (instantiate_non_dependent_expr_sfinae) 3126 (instantiate_non_dependent_or_null, convert_nontype_argument): Use 3127 them. 3128 * cp-tree.h: Declare them. 3129 31302016-04-13 Jakub Jelinek <jakub@redhat.com> 3131 3132 PR c++/70594 3133 * decl.c (pop_labels_1): Removed. 3134 (note_label, sort_labels): New functions. 3135 (pop_labels): During named_labels traversal, just push the slot 3136 pointers into a vector, then qsort it by DECL_UID and only then 3137 call pop_label and chain it into BLOCK_VARS. 3138 31392016-04-13 Jason Merrill <jason@redhat.com> 3140 3141 PR c++/70615 3142 * cp-gimplify.c (cp_genericize_r): Expand PTRMEM_CST here. 3143 (cp_gimplify_expr): Not here. 3144 31452016-04-12 Patrick Palka <ppalka@gcc.gnu.org> 3146 3147 PR c++/70610 3148 * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Unconditionally 3149 recurse into it. 3150 * typeck.c (build_x_conditional_expr): Unconditionally remember 3151 that the result is an lvalue or xvalue. 3152 31532016-04-12 Jason Merrill <jason@redhat.com> 3154 3155 * class.c (is_really_empty_class): A zero-length array is empty. 3156 An unnamed bit-field doesn't make a class non-empty. 3157 31582016-04-12 Paolo Carlini <paolo.carlini@oracle.com> 3159 3160 PR c++/68722 3161 * parser.c (cp_parser_cache_defarg): When file ends in default 3162 argument simply return error_mark_node. 3163 31642016-04-12 Nathan Sidwell <nathan@acm.org> 3165 3166 PR c++/70501 3167 * constexpr.c (cxx_eval_bare_aggregate): Handle VECTOR_TYPE 3168 similarly to PMF. 3169 31702016-04-11 Jason Merrill <jason@redhat.com> 3171 3172 * mangle.c (decl_is_template_id): The template itself counts as a 3173 template-id. 3174 31752016-04-08 Patrick Palka <ppalka@gcc.gnu.org> 3176 3177 PR c++/70590 3178 PR c++/70452 3179 * constexpr.c (cxx_eval_outermost_expression): Call unshare_expr 3180 on the result if it's not a CONSTRUCTOR. 3181 31822016-04-07 Patrick Palka <ppalka@gcc.gnu.org> 3183 3184 PR c++/70452 3185 * constexpr.c (find_constructor): New function. 3186 (unshare_constructor): New function. 3187 (cxx_eval_call_expression): Use unshare_constructor instead of 3188 unshare_expr. 3189 (find_array_ctor_elt): Likewise. 3190 (cxx_eval_vec_init_1): Likewise. 3191 (cxx_eval_store_expression): Likewise. 3192 (cxx_eval_constant_expression): Likewise. 3193 31942016-04-06 Patrick Palka <ppalka@gcc.gnu.org> 3195 3196 PR c/70436 3197 * cp-tree.h (FOR_EACH_CLONE): Restructure macro to avoid 3198 potentially generating a future -Wparentheses warning in its 3199 callers. 3200 32012016-04-06 Jason Merrill <jason@redhat.com> 3202 3203 * class.c (check_abi_tags): Fix function template handling. 3204 32052016-04-05 Nathan Sidwell <nathan@acm.org> 3206 3207 PR c++/70512 3208 * class.c (fixup_may_alias): New. 3209 (fixup_attribute_variants): Call it. 3210 32112016-04-05 Patrick Palka <ppalka@gcc.gnu.org> 3212 3213 PR c++/70452 3214 * constexpr.c (struct fundef_copy): New struct. 3215 (struct fundef_copies_table_t): New struct. 3216 (fundef_copies_table): New static variable. 3217 (maybe_initialize_fundef_copies_table): New static function. 3218 (get_fundef_copy): New static function. 3219 (save_fundef_copy): New static function. 3220 (cxx_eval_call_expression): Use get_fundef_copy, and 3221 save_fundef_copy. 3222 (constexpr_call_table): Add "deletable" GTY marker. 3223 32242016-04-05 Patrick Palka <ppalka@gcc.gnu.org> 3225 3226 PR c++/70452 3227 * cp-tree.h (class cache_map): Remove. 3228 * constexpr.c (cv_cache): Change type to 3229 GTY((deletable)) hash_map<tree, tree> *. 3230 (maybe_constant_value): Adjust following the change to cv_cache. 3231 (clear_cv_cache): New static function. 3232 (clear_cv_and_fold_caches): Use it. 3233 * cp-gimplify.c (fold_cache): Change type to 3234 GTY((deletable)) hash_map<tree, tree> *. 3235 (clear_fold_cache): Adjust following the change to fold_cache. 3236 (cp_fold): Likewise. 3237 32382016-04-02 Martin Sebor <msebor@redhat.com> 3239 3240 PR c++/67376 3241 PR c++/70170 3242 PR c++/70172 3243 PR c++/70228 3244 * constexpr.c (diag_array_subscript): New function. 3245 (cxx_eval_array_reference): Detect out of bounds array indices. 3246 32472016-04-01 Jason Merrill <jason@redhat.com> 3248 3249 PR c++/70449 3250 PR c++/70344 3251 * pt.c (instantiate_decl): A function isn't fully defined if 3252 DECL_INITIAL is error_mark_node. 3253 * constexpr.c (cxx_eval_call_expression): Likewise. 3254 32552016-04-01 Jakub Jelinek <jakub@redhat.com> 3256 Marek Polacek <polacek@redhat.com> 3257 3258 PR c++/70488 3259 * init.c (warn_placement_new_too_small): Test whether 3260 DECL_SIZE_UNIT or TYPE_SIZE_UNIT are integers that fit into uhwi. 3261 32622016-04-01 Nathan Sidwell <nathan@acm.org> 3263 3264 PR c++/68475 3265 * decl.c (check_redeclaration_exception_specification): Check 3266 regardless of -fno-exceptions. 3267 * typeck2.c (merge_exception_specifiers): Relax assert by checking 3268 flag_exceptions too. 3269 32702016-03-31 Nathan Sidwell <nathan@acm.org> 3271 3272 * decl.c (start_preparsed_function): Remove unnecessary bracing. 3273 (finish_destructor_body): Don't emit operator delete here. 3274 32752016-03-31 Nathan Sidwell <nathan@acm.org> 3276 3277 PR c++/70393 3278 * constexpr.c (cxx_eval_store_expression): Keep CONSTRUCTOR 3279 elements in field order. 3280 32812016-03-31 Marek Polacek <polacek@redhat.com> 3282 3283 PR c/70297 3284 * decl.c (duplicate_decls): Also set TYPE_ALIGN and TYPE_USER_ALIGN. 3285 32862016-03-31 Richard Biener <rguenther@suse.de> 3287 3288 PR c++/70430 3289 * typeck.c (cp_build_binary_op): Fix operand order of vector 3290 conditional in truth op handling. 3291 32922016-03-29 Jason Merrill <jason@redhat.com> 3293 3294 PR c++/70353 3295 * decl.c (make_rtl_for_nonlocal_decl): Don't defer local statics 3296 in constexpr functions. 3297 32982016-03-28 Jason Merrill <jason@redhat.com> 3299 3300 PR c++/70422 3301 PR c++/64266 3302 PR c++/70353 3303 * decl.c, pt.c, constexpr.c: Revert last patch. 3304 33052016-03-25 Jason Merrill <jason@redhat.com> 3306 Martin Li��ka <mliska@suse.cz> 3307 3308 PR c++/64266 3309 PR c++/70353 3310 Core issue 1962 3311 * decl.c (cp_fname_init): Decay the initializer to pointer. 3312 (cp_make_fname_decl): Set DECL_DECLARED_CONSTEXPR_P, 3313 DECL_VALUE_EXPR, DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. 3314 Don't call cp_finish_decl. 3315 * pt.c (tsubst_expr) [DECL_EXPR]: Set DECL_VALUE_EXPR, 3316 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. Don't call cp_finish_decl. 3317 * constexpr.c (cxx_eval_constant_expression) [VAR_DECL]: 3318 Handle DECL_VALUE_EXPR. 3319 33202016-03-24 Jason Merrill <jason@redhat.com> 3321 3322 PR c++/70386 3323 * constexpr.c (cxx_eval_bare_aggregate): Handle PMFs. 3324 3325 PR c++/70323 3326 * constexpr.c (cxx_eval_call_expression): Don't cache result if 3327 *overflow_p. 3328 33292016-03-24 Patrick Palka <ppalka@gcc.gnu.org> 3330 3331 PR c++/62212 3332 * tree.c (build_cplus_array_type): Determine type-dependentess 3333 with uses_template_parms instead of with dependent_type_p. 3334 33352016-03-23 Patrick Palka <ppalka@gcc.gnu.org> 3336 3337 PR c++/70347 3338 * typeck.c (process_init_constructor_union): If the initializer 3339 is empty, use the union's NSDMI if it has one. 3340 33412016-03-23 Patrick Palka <ppalka@gcc.gnu.org> 3342 3343 PR c++/70332 3344 * pt.c (tsubst_copy) [PARM_DECL]: Handle the use of 'this' in an 3345 NSDMI that's part of an aggregrate initialization. 3346 33472016-03-23 Jakub Jelinek <jakub@redhat.com> 3348 3349 PR c++/70001 3350 * constexpr.c (cxx_eval_vec_init_1): Reuse CONSTRUCTOR initializers 3351 for 1..max even for multi-dimensional arrays. Call unshare_expr 3352 on it. 3353 3354 PR c++/70323 3355 * constexpr.c (cxx_eval_constant_expression): Diagnose overflow 3356 on TREE_OVERFLOW constants. 3357 3358 PR c++/70376 3359 * cp-gimplify.c (genericize_omp_for_stmt): Don't walk OMP_FOR_CLAUSES 3360 for OMP_TASKLOOP here. 3361 (cp_genericize_r): Handle OMP_TASKLOOP like OMP_TASK, except do call 3362 genericize_omp_for_stmt instead of cp_walk_tree on OMP_BODY. 3363 33642016-03-23 Alexandre Oliva <aoliva@redhat.com> 3365 Jason Merrill <jason@redhat.com> 3366 Jakub Jelinek <jakub@redhat.com> 3367 3368 PR c++/69315 3369 * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): Remove. 3370 * decl.c (defer_mark_used_calls, deferred_mark_used_calls): Remove. 3371 (finish_function): Don't set or test them. 3372 * decl2.c (mark_used): Don't handle defer_mark_used_calls. 3373 33742016-03-23 Jason Merrill <jason@redhat.com> 3375 3376 PR c++/70344 3377 * constexpr.c (cxx_eval_call_expression): Catch invalid recursion. 3378 33792016-03-23 Marek Polacek <polacek@redhat.com> 3380 3381 PR c++/69884 3382 * pt.c (canonicalize_type_argument): Use OPT_Wignored_attributes. 3383 33842016-03-22 Ilya Enkovich <enkovich.gnu@gmail.com> 3385 3386 * call.c (build_conditional_expr_1): Always use original 3387 condition type for vector type checks and build. 3388 33892016-03-22 Patrick Palka <ppalka@gcc.gnu.org> 3390 3391 PR c++/70096 3392 * pt.c (tsubst_decl): Clear the DECL_MODE of the new decl. 3393 33942016-03-22 Patrick Palka <ppalka@gcc.gnu.org> 3395 3396 PR c++/70204 3397 * constexpr.c (non_const_var_error): Check 3398 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. 3399 34002016-03-21 Richard Henderson <rth@redhat.com> 3401 3402 PR c++/70273 3403 * decl.c (notice_forced_label_r): New. 3404 (cp_finish_decl): Use it. 3405 34062016-03-21 Jason Merrill <jason@redhat.com> 3407 3408 PR c++/70285 3409 * cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields. 3410 34112016-03-18 Jason Merrill <jason@redhat.com> 3412 3413 PR c++/70139 3414 * constexpr.c (cxx_eval_call_expression): Fix trivial copy. 3415 3416 PR c++/70147 3417 * class.c (vptr_via_virtual_p): New. 3418 (most_primary_binfo): Factor out of build_rtti_vtbl_entries. 3419 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Don't clear 3420 a vptr from any virtual base in a not-in-charge 'structor. 3421 3422 * decl.c (build_clobber_this): Factor out of 3423 start_preparsed_function and begin_destructor_body. Handle 3424 virtual bases better. 3425 3426 * class.c (build_if_in_charge): Split out from build_base_path. 3427 * init.c (expand_virtual_init, expand_default_init): Use it. 3428 * call.c (build_special_member_call): Use it. 3429 34302016-03-18 Jakub Jelinek <jakub@redhat.com> 3431 3432 PR c++/70267 3433 * init.c (build_new_1): Complain and return error_mark_node 3434 if alloc_fn is not _Jv_AllocObject function returning pointer. 3435 34362016-03-18 Patrick Palka <ppalka@gcc.gnu.org> 3437 3438 PR c++/70205 3439 * search.c (adjust_result_of_qualified_name_lookup): Don't 3440 update the BASELINK_BINFO of DECL if the second call 3441 to lookup_base fails. 3442 34432016-03-18 Patrick Palka <ppalka@gcc.gnu.org> 3444 3445 PR c++/70218 3446 * parser.c (cp_parser_lambda_expression): Move call to 3447 pop_deferring_access_checks ahead of the call to 3448 cp_parser_end_tentative_firewall. 3449 34502016-03-17 Jakub Jelinek <jakub@redhat.com> 3451 3452 PR c++/70144 3453 * cp-tree.h (magic_varargs_p): Return int instead of bool. 3454 * call.c (magic_varargs_p): Return int instead of bool, return 2 for 3455 Cilk+ reductions, otherwise 1 for magic varargs and 0 for normal 3456 varargs. 3457 (build_over_call): If magic_varargs_p == 2, call reject_gcc_builtin, 3458 if magic_varargs_p == 1, call decay_conversion 3459 instead of mark_type_use. Don't store error_mark_node arguments to 3460 argarray, instead return error_mark_node. 3461 3462 PR c++/70272 3463 * decl.c (begin_destructor_body): Don't insert clobber if 3464 is_empty_class (current_class_type). 3465 34662016-03-17 Marek Polacek <polacek@redhat.com> 3467 3468 PR c++/70194 3469 * typeck.c (warn_for_null_address): New function. 3470 (cp_build_binary_op): Call it. 3471 34722016-03-16 Jason Merrill <jason@redhat.com> 3473 3474 PR c++/70259 3475 * decl.c (start_preparsed_function): Don't clobber an empty base. 3476 34772016-03-16 Jakub Jelinek <jakub@redhat.com> 3478 3479 PR c++/70147 3480 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Conditionalize 3481 BINFO_VIRTUAL_P vtable clearing on current_in_charge_parm. 3482 3483 PR c++/70147 3484 * cp-ubsan.c (cp_ubsan_maybe_initialize_vtbl_ptrs): Temporarily 3485 set in_base_initializer. 3486 34872016-03-15 Marek Polacek <polacek@redhat.com> 3488 3489 PR c++/70209 3490 * tree.c (strip_typedefs): Call strip_typedefs again on the 3491 DECL_ORIGINAL_TYPE result. 3492 34932016-03-15 Jason Merrill <jason@redhat.com> 3494 3495 PR c++/70095 3496 * pt.c (instantiate_decl): Fix call to variable_template_p. 3497 3498 PR c++/70141 3499 * pt.c (for_each_template_parm_r): Always walk into TYPENAME_TYPE. 3500 35012016-03-14 Casey Carter <casey@carter.net> 3502 Jason Merrill <jason@redhat.com> 3503 3504 P0184R0: Generalizing the Range-Based For Loop 3505 * parser.c (cp_convert_range_for): Set the type of __end separately. 3506 (cp_parser_perform_range_for_lookup): Allow different begin/end 3507 types if they are comparable. 3508 35092016-03-12 Patrick Palka <ppalka@gcc.gnu.org> 3510 3511 PR c++/70106 3512 * semantics.c (force_paren_expr): Just build a PAREN_EXPR when 3513 processing_template_decl and EXPR is a SCOPE_REF. 3514 35152016-03-10 Patrick Palka <ppalka@gcc.gnu.org> 3516 Jakub Jelinek <jakub@redhat.com> 3517 3518 PR c++/70001 3519 * constexpr.c (cxx_eval_vec_init_1): For pre_init case, reuse 3520 return value from cxx_eval_constant_expression from earlier 3521 elements if it is valid constant initializer requiring no 3522 relocations. 3523 35242016-03-10 Marek Polacek <polacek@redhat.com> 3525 3526 PR c++/70153 3527 * cp-gimplify.c (cp_fold): Handle UNARY_PLUS_EXPR. 3528 35292016-03-09 Cesar Philippidis <cesar@codesourcery.com> 3530 3531 * parser.c (cp_parser_oacc_loop): Update cclauses and clauses 3532 when calling c_finish_omp_clauses. 3533 35342016-03-08 Jason Merrill <jason@redhat.com> 3535 3536 * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful 3537 diagnostic for use of "concept". 3538 (cp_parser_requires_clause_opt): And "requires". 3539 (cp_parser_type_parameter, cp_parser_late_return_type_opt) 3540 (cp_parser_explicit_template_declaration): Adjust. 3541 * Make-lang.in (check-c++-all): Add "concepts" to std list. 3542 3543 P0036R0: Unary Folds and Empty Parameter Packs 3544 * pt.c (expand_empty_fold): Remove special cases for *,+,&,|. 3545 35462016-03-08 Jakub Jelinek <jakub@redhat.com> 3547 3548 PR c++/70135 3549 * constexpr.c (cxx_eval_loop_expr): Forget saved values of SAVE_EXPRs 3550 even after the last iteration of the loop. 3551 3552 * decl.c (duplicate_decls): Fix spelling - becuase -> because. 3553 35542016-03-07 Patrick Palka <ppalka@gcc.gnu.org> 3555 3556 PR c++/66786 3557 * pt.c (get_template_info): Handle PARM_DECL. 3558 (template_class_depth): Check DECL_P instead of 3559 VAR_OR_FUNCTION_DECL_P. 3560 35612016-03-05 Jason Merrill <jason@redhat.com> 3562 3563 PR c++/67364 3564 * constexpr.c (cxx_eval_store_expression): Replace 3565 CONSTRUCTOR_ELTS in nested CONSTRUCTORs, too. 3566 35672016-03-05 Patrick Palka <ppalka@gcc.gnu.org> 3568 3569 PR c++/66786 3570 * pt.c (template_class_depth): Given a lambda type, iterate 3571 into its LAMBDA_TYPE_EXTRA_SCOPE field instead of its 3572 TYPE_CONTEXT. Given a VAR_DECL, iterate into its 3573 CP_DECL_CONTEXT. 3574 35752016-03-04 Jason Merrill <jason@redhat.com> 3576 3577 PR c++/69203 3578 * cp-tree.h (COND_EXPR_IS_VEC_DELETE): New. 3579 * init.c (build_vec_delete_1): Set it. 3580 * constexpr.c (potential_constant_expression_1) [COND_EXPR]: Check it. 3581 35822016-03-04 Jakub Jelinek <jakub@redhat.com> 3583 3584 * decl.c (start_preparsed_function): Don't emit start clobber at the 3585 start of constructor clones. 3586 3587 PR c++/70035 3588 * cp-tree.h (cp_ubsan_maybe_initialize_vtbl_ptrs): New prototype. 3589 * decl.c (start_preparsed_function): Call 3590 cp_ubsan_maybe_initialize_vtbl_ptrs if needed. 3591 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs, 3592 cp_ubsan_maybe_initialize_vtbl_ptrs): New functions. 3593 35942016-03-04 Jason Merrill <jason@redhat.com> 3595 3596 PR c++/67364 3597 * constexpr.c (cxx_eval_component_reference): Further tweak. 3598 3599 * constexpr.c (struct constexpr_ctx): Add save_exprs field. 3600 (cxx_eval_loop_expr): Discard SAVE_EXPR values before looping. 3601 (cxx_eval_constant_expression) [SAVE_EXPR]: Add it to the set. 3602 (cxx_eval_outermost_constant_expr, is_sub_constant_expr): Initialize. 3603 3604 PR c++/70067 3605 * tree.c (strip_typedefs): Handle TYPENAME_TYPE lookup finding the 3606 same type. 3607 36082016-03-03 Jason Merrill <jason@redhat.com> 3609 3610 * method.c (synthesized_method_walk): operator= can also be constexpr. 3611 3612 * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Get 3613 LAMBDA_EXPR_RETURN_TYPE from the instantiated closure. 3614 3615 PR c++/67164 3616 * pt.c (copy_template_args): New. 3617 (tsubst_pack_expansion): Use it. 3618 3619 * call.c (build_aggr_conv): Use get_nsdmi. 3620 3621 PR c++/51406 3622 * typeck.c (build_static_cast_1): Avoid folding back to lvalue. 3623 3624 PR c++/67364 3625 * constexpr.c (cxx_eval_component_reference): Just return an empty 3626 CONSTRUCTOR for an empty class. 3627 36282016-03-01 Jason Merrill <jason@redhat.com> 3629 3630 PR c++/70036 3631 * parser.c (cp_parser_requires_clause): Call 3632 check_for_bare_parameter_packs. 3633 3634 PR c++/51489 3635 * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT 3636 the operands. 3637 3638 PR c++/69995 3639 * constexpr.c (cxx_eval_call_expression): Unshare arg. 3640 (cxx_eval_constant_expression) [DECL_EXPR]: Unshare init. 3641 [TARGET_EXPR]: Unshare init. 3642 36432016-03-01 Patrick Palka <ppalka@gcc.gnu.org> 3644 3645 PR c++/68948 3646 PR c++/69961 3647 * pt.c (tsubst_baselink): Reinstate the check for an invalid 3648 constructor call. 3649 36502016-02-28 Jason Merrill <jason@redhat.com> 3651 3652 PR c++/69995 3653 * constexpr.c (cxx_eval_store_expression): Unshare init. 3654 36552016-02-26 Jason Merrill <jason@redhat.com> 3656 3657 PR c++/69958 3658 * pt.c (make_argument_pack): New. 3659 (tsubst_copy) [SIZEOF_EXPR]: Handle partial expansion. 3660 (tsubst_copy_and_build): Likewise. 3661 36622016-02-25 Jason Merrill <jason@redhat.com> 3663 3664 PR c++/69889 3665 * cp-tree.h (AGGR_INIT_FROM_THUNK_P): New. 3666 * tree.c (build_aggr_init_expr): Set it. 3667 * semantics.c (simplify_aggr_init_expr): Check it. 3668 * cp-gimplify.c (cp_genericize_r): Don't walk into 3669 a call/aggr_init from a thunk. 3670 3671 PR c++/69842 3672 * method.c (forward_parm): Handle parameter packs. 3673 * lambda.c (maybe_add_lambda_conv_op): Use it for them. 3674 3675 PR c++/67364 3676 * constexpr.c (cxx_eval_component_reference): Don't complain about 3677 unevaluated empty classes. 3678 3679 PR c++/68049 3680 * tree.c (strip_typedefs): Use DECL_ORIGINAL_TYPE. 3681 36822016-02-25 Patrick Palka <ppalka@gcc.gnu.org> 3683 3684 PR c++/69736 3685 * cp-tree.h (REF_PARENTHESIZED_P): Adjust documentation. 3686 (maybe_undo_parenthesized_ref): Declare. 3687 * semantics.c (maybe_undo_parenthesized_ref): Split out from 3688 check_return_expr. 3689 (finish_call_expr): Use it. 3690 * typeck.c (check_return_expr): Use it. 3691 * pt.c (tsubst_copy_and_build) [INDIRECT_REF]: Retain the 3692 REF_PARENTHESIZED_P flag. 3693 36942016-02-24 Jakub Jelinek <jakub@redhat.com> 3695 3696 PR c++/69922 3697 * class.c (build_base_path): Set TREE_NO_WARNING on the null_test. 3698 Avoid folding it. 3699 * init.c (build_vec_delete_1, build_delete): Don't fold the non-NULL 3700 tests. 3701 * cp-gimplify.c (cp_fold): For TREE_NO_WARNING comparisons with NULL, 3702 unless they are folded into INTEGER_CST, error_mark_node or some 3703 comparison with NULL, avoid folding them and use either the original 3704 comparison or non-folded comparison of folded arguments. 3705 * cp-ubsan.c (cp_ubsan_instrument_vptr): Set TREE_NO_WARNING on the 3706 comparison, don't fold the comparison right away. 3707 37082016-02-24 Jason Merrill <jason@redhat.com> 3709 3710 PR c++/69323 3711 * friend.c (make_friend_class): Likewise. 3712 * decl.c (lookup_and_check_tag): Diagnose invalid dependent friend. 3713 37142016-02-24 Jason Merrill <jason@redhat.com> 3715 3716 PR c++/69323 3717 * pt.c (instantiate_class_template_1): Set 3718 processing_template_decl before substituting friend_type. 3719 3720016-02-24 Martin Sebor <msebor@redhat.com> 3721 3722 PR c++/69912 3723 * tree.c (build_ctor_subob_ref): Compare types' main variants 3724 instead of the types as they are. 3725 37262016-02-24 Jason Merrill <jason@redhat.com> 3727 3728 * decl.c (start_preparsed_function): Condition ctor clobber on 3729 flag_lifetime_dse > 1. 3730 3731 * cp-gimplify.c (cp_fold): Don't fold constexpr calls if -fno-inline. 3732 37332016-02-19 Jason Merrill <jason@redhat.com> 3734 3735 PR c++/69743 3736 * call.c (remaining_arguments): No longer static. 3737 * cp-tree.h: Declare it. 3738 * pt.c (more_specialized_fn): Use it. 3739 37402016-02-19 Jakub Jelinek <jakub@redhat.com> 3741 Bernd Edlinger <bernd.edlinger@hotmail.de> 3742 3743 * Make-lang.in: Invoke gperf with -L C++. 3744 * cfns.gperf: Remove prototypes for hash and libc_name_p 3745 inlines. 3746 * cfns.h: Regenerated. 3747 * except.c (nothrow_libfn_p): Adjust. 3748 37492016-02-19 Jakub Jelinek <jakub@redhat.com> 3750 3751 PR c++/69850 3752 * rtti.c (ifnonnull): Set TREE_NO_WARNING on the condition, use 3753 NE_EXPR instead of EQ_EXPR and swap last two arguments on COND_EXPR. 3754 37552016-02-19 Patrick Palka <ppalka@gcc.gnu.org> 3756 3757 PR c++/68948 3758 * pt.c (tsubst_baselink): Don't diagnose an invalid constructor 3759 call here. 3760 * semantics.c (finish_call_expr): Don't assume a constructor 3761 call is dependent if only the "this" pointer is dependent. When 3762 building a constructor call, always use a dummy object. 3763 37642016-02-19 Jakub Jelinek <jakub@redhat.com> 3765 3766 PR c++/69850 3767 * init.c (build_vec_delete_1): Set TREE_NO_WARNING on the NE_EXPR 3768 condition. 3769 * cp-gimplify.c (cp_fold): Propagate TREE_NO_WARNING from binary 3770 operators if folding preserved the binop, just with different 3771 arguments. 3772 3773 PR c++/67767 3774 * parser.c (cp_parser_std_attribute_spec_seq): Don't assume 3775 attr_spec is always single element chain, chain all the attributes 3776 properly together in the right order. 3777 37782016-02-18 Jason Merrill <jason@redhat.com> 3779 3780 * mangle.c (maybe_check_abi_tags): Add for_decl parm. Call 3781 mangle_decl. 3782 (mangle_decl): Call maybe_check_abi_tags for function scope. 3783 (mangle_guard_variable): Call maybe_check_abi_tags here. 3784 (write_guarded_var_name): Not here. 3785 37862016-02-17 Jason Merrill <jason@redhat.com> 3787 3788 PR c++/65985 3789 * constexpr.c (build_constexpr_constructor_member_initializers): 3790 Handle an additional STATEMENT_LIST. 3791 3792 PR c++/68585 3793 * constexpr.c (cxx_eval_bare_aggregate): Fix 'changed' detection. 3794 3795 PR c++/68679 3796 * decl2.c (reset_type_linkage_2): Look through member templates. 3797 37982016-02-17 Jakub Jelinek <jakub@redhat.com> 3799 3800 PR c++/69850 3801 * init.c (build_delete): Set TREE_NO_WARNING on ifexp. 3802 38032016-02-17 Jason Merrill <jason@redhat.com> 3804 3805 PR c++/69842 3806 * method.c (forward_parm): Split out from... 3807 (add_one_base_init): ...here. 3808 * lambda.c (maybe_add_lambda_conv_op): Use it. 3809 38102016-02-16 Jason Merrill <jason@redhat.com> 3811 3812 PR c++/10200 3813 PR c++/69753 3814 * call.c, cp-tree.h, name-lookup.c, pt.c, search.c, semantics.c, 3815 tree.c, typeck2.c: Revert earlier changes. 3816 * parser.c (cp_parser_lookup_name): Ignore namespace-scope 3817 non-type templates after -> or . 3818 38192016-02-16 Jakub Jelinek <jakub@redhat.com> 3820 3821 PR c/69835 3822 * typeck.c (cp_build_binary_op): Revert 2015-09-09 change. 3823 38242016-02-16 Jason Merrill <jason@redhat.com> 3825 3826 PR c++/69657 3827 * name-lookup.c (lookup_qualified_name): Add find_hidden parm. 3828 (set_decl_namespace): Pass it. Complain about finding a hidden friend. 3829 * name-lookup.h: Adjust. 3830 38312016-02-16 James Norris <jnorris@codesourcery.com> 3832 3833 * parser.c (cp_parser_oacc_data_clause_deviceptr): Remove checking. 3834 * semantics.c (finish_omp_clauses): Add deviceptr checking. 3835 38362016-02-15 Jakub Jelinek <jakub@redhat.com> 3837 3838 PR c++/69658 3839 * init.c (expand_default_init): Only call reshape_init 3840 in the direct-initialization from an initializer list case. 3841 38422016-02-15 Jason Merrill <jason@redhat.com> 3843 3844 PR c++/69753 3845 * semantics.c (finish_call_expr): Implicit 'this' does not make 3846 the call dependent. 3847 * search.c (any_dependent_bases_p): Split out... 3848 * name-lookup.c (do_class_using_decl): ...from here. 3849 * call.c (build_new_method_call_1): Don't complain about missing object 3850 if there are dependent bases. Tweak error. 3851 * tree.c (non_static_member_function_p): Remove. 3852 * pt.c (type_dependent_expression_p): A member template of a 3853 dependent type is dependent. 3854 * cp-tree.h: Adjust. 3855 3856 PR c++/68890 3857 * constexpr.c (verify_ctor_sanity): Remove CONSTRUCTOR_NELTS check. 3858 38592016-02-12 Patrick Palka <ppalka@gcc.gnu.org> 3860 3861 PR c++/69098 3862 * pt.c (lookup_and_finish_template_variable): New function, 3863 extracted from ... 3864 (tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: ... here. Use it. 3865 (tsubst_qualified_id): Consider that EXPR might be a variable 3866 template. 3867 * typeck.c (check_template_keyword): Don't emit an error 3868 if DECL is a variable template. 3869 38702016-02-12 Jakub Jelinek <jakub@redhat.com> 3871 3872 * error.c: Spelling fixes - behaviour -> behavior and 3873 neighbour -> neighbor. 3874 * decl.c: Likewise. 3875 * typeck.c (cp_build_binary_op): Fix up behavior spelling in 3876 diagnostics. 3877 * init.c (build_delete): Likewise. 3878 38792016-02-11 Jakub Jelinek <jakub@redhat.com> 3880 3881 PR c/69768 3882 * typeck.c (cp_build_binary_op): cp_fully_fold integer_zerop 3883 arguments for -Waddress warning. Fix up formatting. 3884 38852016-02-11 Paolo Carlini <paolo.carlini@oracle.com> 3886 3887 PR c++/68726 3888 * pt.c (lookup_template_class_1): Check tsubst return value for 3889 error_mark_node. 3890 38912016-02-10 Jason Merrill <jason@redhat.com> 3892 3893 PR c++/68926 3894 * pt.c (resolve_nondeduced_context): Add complain parm. 3895 (do_auto_deduction): Pass it. 3896 * cvt.c (convert_to_void): Likewise. 3897 * decl.c (cp_finish_decl): Likewise. 3898 * init.c (build_new): Likewise. 3899 * rtti.c (get_tinfo_decl_dynamic): Likewise. 3900 * semantics.c (finish_decltype_type): Likewise. 3901 * typeck.c (decay_conversion): Likewise. 3902 * cp-tree.h: Adjust declaration. 3903 * call.c (standard_conversion): Add complain parm, pass it along. 3904 (implicit_conversion): Pass it. 3905 3906 PR c++/69657 3907 * name-lookup.c (ambiguous_decl): Call remove_hidden_names. 3908 (lookup_name_real_1): Likewise. 3909 (remove_hidden_names): Handle non-functions too. 3910 3911 PR c++/10200 3912 * parser.c (cp_parser_lookup_name): When looking for a template 3913 after . or ->, only consider class templates. 3914 (cp_parser_postfix_dot_deref_expression): Handle the current 3915 instantiation. Remember a dependent object expression. 3916 * typeck2.c (build_x_arrow): Handle the current instantiation. 3917 3918 * ptree.c (debug_tree): Implement for cp_expr. 3919 39202016-02-08 Patrick Palka <ppalka@gcc.gnu.org> 3921 3922 PR c++/69139 3923 * parser.c (cp_parser_simple_type_specifier): Make the check 3924 for disambiguating between an 'auto' placeholder and an implicit 3925 template parameter more robust. 3926 39272016-02-08 Patrick Palka <ppalka@gcc.gnu.org> 3928 3929 PR c++/69283 3930 PR c++/67835 3931 * decl2.c (mark_used): When given a TEMPLATE_DECL, return after 3932 setting its TREE_USED flag. 3933 39342016-02-08 Jason Merrill <jason@redhat.com> 3935 3936 PR c++/69657 3937 * name-lookup.c (do_nonmember_using_decl): Leave anticipated 3938 built-ins alone. 3939 39402016-02-08 Jakub Jelinek <jakub@redhat.com> 3941 3942 PR c++/59627 3943 * parser.c (cp_parser_omp_declare_reduction): Set assembler name 3944 of the DECL_OMP_DECLARE_REDUCTION_P decls. 3945 39462016-02-08 Marek Polacek <polacek@redhat.com> 3947 3948 PR c++/69688 3949 * constexpr.c (clear_cv_and_fold_caches): Renamed from clear_cv_cache. 3950 Call clear_fold_cache. 3951 * cp-tree.h: Adjust declaration. 3952 * decl.c (finish_enum_value_list): Call clear_cv_and_fold_caches 3953 rather than clear_cv_cache and clear_fold_cache. 3954 * typeck2.c (store_init_value): Call clear_cv_and_fold_caches. 3955 39562016-02-08 Jason Merrill <jason@redhat.com> 3957 3958 * cp-tree.h (CONV_FOLD, CONV_BACKEND_CONVERT): New. 3959 * cvt.c (convert): Pass CONV_BACKEND_CONVERT. 3960 (ocp_convert): Use *_maybe_fold. 3961 (cp_convert_to_pointer): Add dofold parameter. 3962 * cp-gimplify.c (cp_fold) [CONVERT_EXPR]: Call convert. 3963 39642016-02-05 Martin Sebor <msebor@redhat.com> 3965 3966 PR c++/69662 3967 * init.c (find_field_init): New function. 3968 (warn_placement_new_too_small): Call it. Handle one-element arrays 3969 at ends of structures special. 3970 39712016-02-05 Jason Merrill <jason@redhat.com> 3972 3973 PR c++/68948 3974 * semantics.c (finish_expr_stmt): If expr is error_mark_node, 3975 make sure we've seen_error(). 3976 39772016-02-05 Patrick Palka <ppalka@gcc.gnu.org> 3978 3979 PR c++/68948 3980 * pt.c (tsubst_baselink): Diagnose an invalid constructor call 3981 if lookup_fnfields returns NULL_TREE and the name being looked 3982 up has the form A::A. 3983 39842016-02-04 Patrick Palka <ppalka@gcc.gnu.org> 3985 3986 * constexpr.c (cxx_eval_binary_expression): Fold equality 3987 comparisons involving PTRMEM_CSTs. 3988 39892016-02-04 Jakub Jelinek <jakub@redhat.com> 3990 3991 * class.c (find_flexarrays): Don't declare dom variable. 3992 (diagnose_flexarray): Likewise. 3993 39942016-02-02 Martain Sebor <msebor@redhat.com> 3995 3996 PR c++/69251 3997 PR c++/69253 3998 PR c++/69290 3999 PR c++/69277 4000 PR c++/69349 4001 * class.c (walk_subobject_offsets): Avoid testing the upper bound 4002 of a flexible array member for equality to null. 4003 (find_flexarrays): Remove spurious whitespace introduced in r231665. 4004 (diagnose_flexarrays): Avoid checking the upper bound of arrays. 4005 (check_flexarrays): Same. 4006 * decl.c (compute_array_index_type): Avoid special case for flexible 4007 array members. 4008 (grokdeclarator): Avoid calling compute_array_index_type for flexible 4009 array members. 4010 * error.c (dump_type_suffix): Revert changes introduced in r231665 4011 and rendered unnecessary by the changes above. 4012 * pt.c (tsubst): Same. 4013 * tree.c (build_ctor_subob_ref): Handle flexible array members. 4014 * typeck2.c (digest_init_r): Revert changes introduced in r231665. 4015 (process_init_constructor_array): Same. 4016 (process_init_constructor_record): Same. 4017 40182016-02-03 Patrick Palka <ppalka@gcc.gnu.org> 4019 4020 PR c++/69056 4021 * pt.c (try_one_overload): Handle comparing argument packs so 4022 that there is no conflict if we deduced more arguments of an 4023 argument pack than were explicitly specified. 4024 40252016-01-31 Jakub Jelinek <jakub@redhat.com> 4026 Jason Merrill <jason@redhat.com> 4027 4028 PR c++/68763 4029 * tree.c (strip_typedefs) [FUNCTION_TYPE]: Avoid building a new 4030 function type if nothing is changing. 4031 40322016-01-31 Jason Merrill <jason@redhat.com> 4033 4034 PR c++/69009 4035 * pt.c (partial_specialization_p, impartial_args): New. 4036 (instantiate_decl): Call impartial_args. 4037 4038 * mangle.c (maybe_check_abi_tags): New. 4039 (write_guarded_var_name): Call it. 4040 (mangle_ref_init_variable): Call check_abi_tags. 4041 4042 * pt.c (lookup_template_class_1): Don't share TYPE_ATTRIBUTES 4043 between template and instantiation. 4044 40452016-01-29 Jakub Jelinek <jakub@redhat.com> 4046 4047 PR debug/66869 4048 * decl.c (wrapup_globals_for_namespace): Warn about unused static 4049 function declarations. 4050 40512016-01-29 Marek Polacek <polacek@redhat.com> 4052 4053 PR c++/69509 4054 PR c++/69516 4055 * constexpr.c (cxx_eval_array_reference): Give the "array subscript 4056 out of bound" error earlier. 4057 * init.c (build_vec_init): Change NE_EXPR into GT_EXPR. Update the 4058 commentary. 4059 40602016-01-29 Patrick Palka <ppalka@gcc.gnu.org> 4061 4062 * name-lookup.c (begin_scope): After reusing a cp_binding_level 4063 structure, update free_binding_level before the structure's 4064 level_chain field gets cleared, not after. 4065 40662016-01-28 Jason Merrill <jason@redhat.com> 4067 4068 PR c++/67407 4069 * search.c (dfs_walk_once, dfs_walk_once_r) 4070 (dfs_walk_once_accessible_r, dfs_walk_once_accessible): Use 4071 hash_set instead of BINFO_MARKED. 4072 (dfs_unmark_r): Remove. 4073 40742016-01-28 Patrick Palka <ppalka@gcc.gnu.org> 4075 4076 PR c++/24208 4077 * parser.c (LEXER_DEBUGGING_ENABLED_P): New macro. 4078 (cp_lexer_debugging_p): Use it. 4079 (cp_lexer_start_debugging): Likewise. 4080 (cp_lexer_stop_debugging): Likewise. 4081 40822016-01-27 Marek Polacek <polacek@redhat.com> 4083 4084 PR c/68062 4085 * typeck.c (cp_build_binary_op): Promote operand to unsigned, if 4086 needed. Add -Wsign-compare warning. 4087 40882016-01-27 Ryan Burn <contact@rnburn.com> 4089 4090 PR cilkplus/69267 4091 * cp-gimplify.c (cilk_cp_gimplify_call_params_in_spawned_fn): Removed 4092 superfluous post_p argument in call to 4093 cilk_gimplify_call_params_in_spawned_fn. 4094 40952016-01-27 Marek Polacek <polacek@redhat.com> 4096 4097 PR c++/69379 4098 * constexpr.c (cxx_eval_constant_expression): Handle PTRMEM_CSTs 4099 wrapped in NOP_EXPRs. 4100 41012016-01-27 Martin Sebor <msebor@redhat.com> 4102 4103 PR c++/69317 4104 * mangle.c (mangle_decl): Reference the correct (saved) version 4105 of the ABI in -Wabi diagnostics. 4106 41072016-01-27 Marek Polacek <polacek@redhat.com> 4108 4109 PR c++/69496 4110 * constexpr.c (cxx_eval_array_reference): Evaluate the number of 4111 elements of the array. 4112 41132016-01-26 Jason Merrill <jason@redhat.com> 4114 4115 PR c++/68949 4116 * constexpr.c (register_constexpr_fundef): Keep the un-massaged body. 4117 (cxx_eval_call_expression): Don't look through clones. 4118 * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE of the alias. 4119 * semantics.c (expand_or_defer_fn_1): Keep DECL_SAVED_TREE of 4120 maybe-in-charge *tor. 4121 41222016-01-26 Jason Merrill <jason@redhat.com> 4123 4124 PR c++/68782 4125 * constexpr.c (cxx_eval_bare_aggregate): Update TREE_CONSTANT 4126 and TREE_SIDE_EFFECTS. 4127 (cxx_eval_constant_expression) [CONSTRUCTOR]: Call 4128 verify_constructor_flags. 4129 41302016-01-26 Jakub Jelinek <jakub@redhat.com> 4131 4132 PR c++/68357 4133 * cp-gimplify.c (cp_fold): If some operand folds to error_mark_node, 4134 return error_mark_node instead of building trees with error_mark_node 4135 operands. 4136 41372016-01-26 David Malcolm <dmalcolm@redhat.com> 4138 4139 PR other/69006 4140 * error.c (print_instantiation_partial_context_line): Add missing 4141 newlines from output for the t == NULL case. 4142 (print_instantiation_partial_context): Remove call to pp_newline. 4143 41442016-01-24 Patrick Palka <ppalka@gcc.gnu.org> 4145 4146 Revert: 4147 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org> 4148 4149 PR c++/11858 4150 PR c++/24663 4151 PR c++/24664 4152 * decl.c (grokdeclarator): Don't decay array parameter type to 4153 a pointer type if it's dependent. 4154 (grokparms): Invoke strip_top_quals instead of directly invoking 4155 cp_build_qualified_type. 4156 * pt.c (decay_dependent_array_parm_type): New static function. 4157 (type_unification_real): Call decay_dependent_array_parm_type 4158 to decay a dependent array parameter type to its corresponding 4159 pointer type before unification. 4160 (more_specialized_fn): Likewise. 4161 (get_bindings): Likewise. 4162 * tree.c (cp_build_qualified_type): Trivial typofix in 4163 documentation. 4164 41652016-01-23 Martin Sebor <msebor@redhat.com> 4166 4167 PR c++/58109 4168 PR c++/69022 4169 * decl2.c (is_late_template_attribute): Handle dependent argument 4170 to attribute align and attribute vector_size. 4171 41722016-01-21 Jason Merrill <jason@redhat.com> 4173 4174 PR c++/69392 4175 * lambda.c (lambda_capture_field_type): Handle 'this' specially 4176 for init-capture, too. 4177 4178 PR c++/65687 4179 * decl.c (type_is_deprecated): Don't look into a typedef. 4180 4181 PR c++/40751 4182 PR c++/64987 4183 * decl.c (copy_type_enum): Respect TYPE_USER_ALIGN. 4184 4185 PR c++/43407 4186 * decl.c (start_enum): Add attributes parameter. 4187 * parser.c (cp_parser_enum_specifier): Pass it. 4188 * pt.c (lookup_template_class_1): Pass it. 4189 * cp-tree.h: Adjust. 4190 41912016-01-19 Jason Merrill <jason@redhat.com> 4192 4193 PR c++/59759 4194 * pt.c (convert_template_argument): Handle VAR_DECL properly. 4195 41962016-01-19 Marek Polacek <polacek@redhat.com> 4197 4198 PR c++/68586 4199 * constexpr.c (clear_cv_cache): New. 4200 * cp-gimplify.c (clear_fold_cache): New. 4201 * cp-tree.h (clear_cv_cache, clear_fold_cache): Declare. 4202 * decl.c (finish_enum_value_list): Call them. 4203 4204 PR c++/68965 4205 * pt.c (tsubst_copy): Mark elements in expanded vector as used. 4206 42072016-01-18 Patrick Palka <ppalka@gcc.gnu.org> 4208 4209 PR c++/11858 4210 PR c++/24663 4211 PR c++/24664 4212 * decl.c (grokdeclarator): Don't decay array parameter type to 4213 a pointer type if it's dependent. 4214 (grokparms): Invoke strip_top_quals instead of directly invoking 4215 cp_build_qualified_type. 4216 * pt.c (decay_dependent_array_parm_type): New static function. 4217 (type_unification_real): Call decay_dependent_array_parm_type 4218 to decay a dependent array parameter type to its corresponding 4219 pointer type before unification. 4220 (more_specialized_fn): Likewise. 4221 (get_bindings): Likewise. 4222 * tree.c (cp_build_qualified_type): Trivial typofix in 4223 documentation. 4224 42252016-01-18 Jason Merrill <jason@redhat.com> 4226 4227 * cp-gimplify.c (cp_fold) [CONSTRUCTOR]: Don't clobber the input. 4228 4229 * cp-gimplify.c (cp_fold): Remove unnecessary special cases. 4230 4231 PR c++/68767 4232 * cp-gimplify.c (cp_fold) [COND_EXPR]: Simplify. Do fold COND_EXPR. 4233 (contains_label_1, contains_label_p): Remove. 4234 42352016-01-16 Patrick Palka <ppalka@gcc.gnu.org> 4236 4237 PR c++/69091 4238 * pt.c (type_dependent_expression_p): For a function template 4239 specialization, a type is dependent iff any of its template 4240 arguments are. 4241 42422016-01-16 Patrick Palka <ppalka@gcc.gnu.org> 4243 4244 * cp-array-notation.c (cp_expand_cond_array_notations): Return 4245 error_mark_node only if find_rank failed, not if it was 4246 successful. 4247 42482016-01-16 Patrick Palka <ppalka@gcc.gnu.org> 4249 4250 PR c++/68936 4251 * tree.c (build_min_non_dep_call_vec): Don't retain the 4252 KOENIG_LOOKUP_P flag of the non-dependent expression that's 4253 been built. 4254 (build_min_non_dep_op_overload): Instead, do it here. 4255 42562016-01-15 Jakub Jelinek <jakub@redhat.com> 4257 4258 PR bootstrap/68271 4259 * parser.h (cp_token): Remove pragma_kind field. Add comment 4260 with number of unused bits. 4261 * parser.c (eof_token): Remove pragma_kind field initializer. 4262 (cp_lexer_get_preprocessor_token): Don't set pragma_kind 4263 field, don't clear CPP_PRAGMA u.value. 4264 (cp_parser_pragma_kind): New function. 4265 (cp_parser_omp_sections_scope, cp_parser_oacc_kernels_parallel, 4266 cp_parser_omp_construct, cp_parser_initial_pragma, 4267 cp_parser_pragma): Use cp_parser_pragma_kind instead of accessing 4268 pragma_kind field. 4269 42702016-01-15 Jason Merrill <jason@redhat.com> 4271 4272 PR c++/68847 4273 * call.c (build_cxx_call): Use fold_non_dependent_expr. 4274 4275 * typeck2.c (cxx_incomplete_type_diagnostic): Use the location of 4276 value. 4277 4278 PR c++/69257 4279 * typeck.c (decay_conversion): Don't call mark_rvalue_use for 4280 array/function-to-pointer conversion. Call 4281 complete_type_or_maybe_complain for lvalue-to-rvalue conversion. 4282 * call.c (convert_like_real): Print call context if 4283 decay_conversion errors. 4284 42852016-01-14 Tom de Vries <tom@codesourcery.com> 4286 4287 PR tree-optimization/68773 4288 * parser.c (cp_parser_oacc_declare, cp_parser_omp_declare_target): Don't 4289 set force_output. 4290 42912016-01-14 Jason Merrill <jason@redhat.com> 4292 4293 PR c++/69261 4294 * constexpr.c (find_array_ctor_elt): Handle splitting RANGE_EXPR. 4295 42962016-01-12 Marek Polacek <polacek@redhat.com> 4297 4298 PR c++/68979 4299 * constexpr.c (cxx_eval_check_shift_p): Use permerror rather than 4300 error_at and adjust the return value. 4301 43022016-01-12 Jakub Jelinek <jakub@redhat.com> 4303 4304 PR objc++/68511 4305 PR c++/69213 4306 * cp-gimplify.c (cp_gimplify_expr) <case INIT_EXPR>: Don't return 4307 GS_ERROR whenever seen_error (), only if *expr_p contains 4308 cilk spawn stmt, but cilk_detect_spawn_and_unwrap failed. 4309 4310 PR c++/66808 4311 PR c++/69000 4312 * pt.c (tsubst_decl): If not local_p, clear DECL_TEMPLATE_INFO. 4313 43142016-01-11 Jason Merrill <jason@redhat.com> 4315 4316 PR c++/69131 4317 * method.c (walk_field_subobs): Add dtor_from_ctor parm. 4318 (process_subob_fn): Likewise. Don't consider triviality if true. 4319 (synthesize_method_walk): Pass it. 4320 43212016-01-11 David Malcolm <dmalcolm@redhat.com> 4322 4323 PR c++/68795 4324 * parser.c (cp_parser_postfix_expression): Initialize 4325 close_paren_loc to UNKNOWN_LOCATION; only use it if 4326 it has been written to by 4327 cp_parser_parenthesized_expression_list. 4328 (cp_parser_parenthesized_expression_list): Document the behavior 4329 with respect to the CLOSE_PAREN_LOC param. 4330 43312016-01-11 Jakub Jelinek <jakub@redhat.com> 4332 4333 PR c++/69211 4334 * cp-gimplify.c (cp_fold): If COMPOUND_EXPR or MODIFY_EXPR 4335 folded operands have side-effects, but folding changed any of them, 4336 build a new tree with the folded operands instead of returning the 4337 unfolded tree. 4338 43392016-01-09 Marek Polacek <polacek@redhat.com> 4340 4341 PR c++/69113 4342 * decl2.c (comdat_linkage): Only set DECL_COMDAT if TREE_PUBLIC is set. 4343 43442016-01-09 Jakub Jelinek <jakub@redhat.com> 4345 4346 PR c++/69164 4347 * class.c (layout_class_type): Use copy_node to copy FIELD_DECLs. 4348 43492016-01-08 Jason Merrill <jason@redhat.com> 4350 4351 PR c++/69158 4352 * constexpr.c (cxx_fold_indirect_ref): Handle array type differing 4353 in completion. 4354 43552016-01-08 Marek Polacek <polacek@redhat.com> 4356 4357 PR c++/68449 4358 * constexpr.c (cxx_eval_constant_expression): Handle NULL initializer. 4359 43602016-01-08 Jason Merrill <jason@redhat.com> 4361 4362 * constexpr.c (cxx_eval_call_expression): Remove convert_to_void 4363 workaround. 4364 4365 PR c++/68983 4366 PR c++/67557 4367 * cvt.c (convert_to_void): Don't strip a TARGET_EXPR of 4368 TREE_ADDRESSABLE type. 4369 4370 PR c++/68983 4371 PR c++/67557 4372 * call.c (unsafe_copy_elision_p): Look through COMPOUND_EXPR. 4373 43742016-01-05 Nathan Sidwell <nathan@acm.org> 4375 4376 PR c++/58583 4377 * pt.c (build_non_dependent_expr): Don't try a checking fold when 4378 parsing an nsdmi. 4379 43802016-01-04 Jakub Jelinek <jakub@redhat.com> 4381 4382 Update copyright years. 4383 4384Copyright (C) 2016 Free Software Foundation, Inc. 4385 4386Copying and distribution of this file, with or without modification, 4387are permitted in any medium without royalty provided the copyright 4388notice and this notice are preserved. 4389