12015-12-24 Jason Merrill <jason@redhat.com> 2 3 PR c++/69005 4 * call.c (add_template_candidate_real): Don't try to deduce X(X). 5 62015-12-22 Jason Merrill <jason@redhat.com> 7 8 PR c++/66921 9 * decl.c (cp_complete_array_type): Allow an initializer that 10 already has array type. 11 12 PR c++/67257 13 * parser.c (cp_parser_single_declaration): Reject a class template 14 that also declares a variable. 15 16 PR c++/67339 17 * parser.c (cp_parser_elaborated_type_specifier): Use CLASS_TYPE_P 18 rather than check for RECORD_TYPE. 19 202015-12-22 Patrick Palka <ppalka@gcc.gnu.org> 21 22 * pt.c (make_pack_expansion): Make sure to initialize 23 ppd.type_pack_expansion_p. 24 252015-12-21 David Malcolm <dmalcolm@redhat.com> 26 27 * typeck.c (cp_build_binary_op): Update for change in signature 28 of build_binary_op. Use error_at to replace an implicit use 29 of input_location with param "location" in "invalid operands" 30 error. 31 (cp_build_binary_op): Replace an error with an error_at, using 32 "location", rather than implicitly using input_location. 33 342015-12-20 Jason Merrill <jason@redhat.com> 35 36 PR c++/67411 37 * decl2.c (decl_maybe_constant_var_p): Use DECL_HAS_VALUE_EXPR_P. 38 39 PR c++/67411 40 * lambda.c (generic_lambda_fn_p): Split out from... 41 (maybe_add_lambda_conv_op): ...here. 42 * semantics.c (process_outer_var_ref): Don't defer maybe-constant 43 variables in a generic lambda. 44 * pt.c (instantiate_non_dependent_or_null): New. 45 * init.c (constant_value_1): Use it. 46 * cp-tree.h: Declare it and generic_lambda_fn_p. 47 48 PR c++/67411 49 * decl2.c (decl_maybe_constant_var_p): A proxy isn't constant. 50 512015-12-18 Patrick Palka <ppalka@gcc.gnu.org> 52 53 PR c++/68978 54 * tree.c (lvalue_kind) [MODOP_EXPR]: New case. 55 562015-12-18 Paolo Carlini <paolo.carlini@oracle.com> 57 58 PR c++/67592 59 * decl.c (grokdeclarator): Reject constexpr virtual member functions; 60 in error messages, prefer %<virtual%> and %<constexpr%> to virtual 61 and constexpr, respectively. 62 632015-12-18 Patrick Palka <ppalka@gcc.gnu.org> 64 65 PR c++/68831 66 * init.c (build_delete): Use a warning sentinel to disable 67 -Waddress warnings when building the conditional that tests 68 if the operand is NULL. 69 702015-12-17 Jason Merrill <jason@redhat.com> 71 72 PR c++/67550 73 * init.c (constant_value_1): Don't return a CONSTRUCTOR missing 74 non-constant elements. 75 76 PR c++/67576 77 PR c++/25466 78 * rtti.c (build_typeid): Use save_expr, not stabilize_reference. 79 802015-12-16 Patrick Palka <ppalka@gcc.gnu.org> 81 82 PR c++/16333 83 PR c++/41426 84 PR c++/59879 85 PR c++/66895 86 * typeck.c (convert_for_initialization): Don't perform an early 87 decaying conversion if converting to a class type. 88 892015-12-16 Patrick Palka <ppalka@gcc.gnu.org> 90 91 * tree.c (cp_tree_operand_length): Define in terms of 92 cp_tree_code_length. 93 942015-12-16 Martin Sebor <msebor@redhat.com> 95 96 PR objc++/68932 97 * decl.c (grokdeclarator): Avoid assuming ctype is non-null when 98 checking the validity of a flexible array member. 99 1002015-12-16 Paolo Carlini <paolo.carlini@oracle.com> 101 102 * pt.c (comp_template_args): Remove. 103 (comp_template_args_with_info): Rename to comp_template_args; 104 not static. 105 (add_pending_template): Adjust call. 106 * cp-tree.h (comp_template_args): Add default arguments. 107 1082015-12-16 Jason Merrill <jason@redhat.com> 109 110 PR c++/68309 111 * pt.c (instantiate_decl): Revert earlier change. 112 113 PR c++/63628 114 * pt.c (tsubst_pack_expansion): Also make dummy decls if 115 retrieve_local_specialization fails. 116 1172015-12-16 David Malcolm <dmalcolm@redhat.com> 118 119 * parser.c (cp_lexer_peek_conflict_marker): New function. 120 (cp_parser_error): Detect conflict markers and report them as 121 such. 122 1232015-12-15 Martin Sebor <msebor@redhat.com> 124 125 PR c++/42121 126 PR c++/68478 127 PR c++/68613 128 PR c++/68689 129 PR c++/68710 130 * class.c (walk_subobject_offsets): Avoid assuming type domain 131 is non-null or has an upper bound. 132 (layout_class_type): Include type size in error message. 133 (flexmems_t): New type. 134 (field_nonempty_p, find_flexarrays, diagnose_flexarrays) 135 (check_flexarrays): New functions. 136 (finish_struct_1): Call check_flexarrays. 137 * decl.c (compute_array_index_type): Distinguish flexible array 138 members from zero-length arrays. 139 (grokdeclarator): Reject flexible array members in unions. Avoid 140 rejecting members of incomplete types that are flexible array members. 141 * error.c (dump_type_suffix): Handle flexible array members with null 142 upper bound. 143 * init.c (perform_member_init): Same. 144 * pt.c (instantiate_class_template_1): Allow flexible array members. 145 (tsubst): Handle flexible array members with null upper bound. 146 * typeck2.c (digest_init_r): Warn for initialization of flexible 147 array members. 148 (process_init_constructor_record): Handle flexible array members. 149 1502015-12-15 Patrick Palka <ppalka@gcc.gnu.org> 151 152 PR c++/21802 153 PR c++/53223 154 * cp-tree.h (cp_tree_code_length): Declare. 155 (build_min_non_dep_op_overload): Declare. 156 * tree.c (cp_tree_code_length): Define. 157 (build_min_non_dep_op_overload): Define. 158 (build_win_non_dep_call_vec): Copy the KOENIG_LOOKUP_P flag. 159 * typeck.c (build_x_indirect_ref): Use 160 build_min_non_dep_op_overload when the given expression 161 has been resolved to an operator overload. 162 (build_x_binary_op): Likewise. 163 (build_x_array_ref): Likewise. 164 (build_x_unary_op): Likewise. 165 (build_x_compound_expr): Likewise. 166 (build_x_modify_expr): Likewise. 167 * decl2.c (grok_array_decl): Likewise. 168 * call.c (build_new_op_1): If during template processing we 169 chose an operator overload that is a hidden friend function, set 170 the call's KOENIG_LOOKUP_P flag to 1. 171 1722015-12-14 Jason Merrill <jason@redhat.com> 173 174 PR c++/68309 175 * pt.c (instantiate_decl): Copy local_specializations for nested 176 function. 177 1782015-12-09 Paolo Carlini <paolo.carlini@oracle.com> 179 180 PR c++/60218 181 * semantics.c (calculate_bases_helper): Don't call dfs_walk_all 182 when TYPE_BINFO (type) is null. 183 (calculate_bases): Handle gracefully a null vector->length (). 184 1852015-12-08 Martin Sebor <msebor@redhat.com> 186 187 PR c++/68711 188 * typeck.c (build_class_member_access_expr): Strip NOPs before 189 testing a potentially null operand for equality to zero. 190 1912015-12-07 Jakub Jelinek <jakub@redhat.com> 192 193 PR c++/68760 194 * error.c (dump_global_iord): Use DECL_SOURCE_FILE (t) 195 instead of LOCATION_FILE (input_location). 196 1972015-12-07 Ryan Burn <contact@rnburn.com> 198 199 PR c++/68683 200 * constraint.cc (satisfy_argument_deduction_constraint): Set 201 TYPE_CANONICAL to NULL_TREE if PLACEHOLDER_TYPE_CONSTRAINTS are 202 changed. 203 2042015-12-07 Jason Merrill <jason@redhat.com> 205 206 PR c++/68464 207 * cp-gimplify.c (cp_fold): Don't assume X has TREE_TYPE. 208 (cp_genericize): Don't do cp_fold_r here. 209 (cp_fold_function): New. 210 * cp-tree.h: Declare it. 211 * decl.c (finish_function): Call it and the pre-genericize plugin 212 before NRV processing. 213 214 PR c++/68170 215 * pt.c (maybe_new_partial_specialization): The injected-class-name 216 is not a new partial specialization. 217 218 * Make-lang.in (check-c++1z, check-c++-all): Use GXX_TESTSUITE_STDS. 219 2202015-12-06 Jason Merrill <jason@redhat.com> 221 222 * parser.c (struct tentative_firewall): New. 223 (cp_parser_template_id, cp_parser_decltype_expr): Use it. 224 225 * parser.h (struct cp_token): Tell GTY that CPP_DECLTYPE uses 226 tree_check_value. 227 * parser.c (cp_parser_decltype): Use tree_check_value. 228 (saved_checks_value): New. 229 (cp_parser_nested_name_specifier_opt): Use it. 230 (cp_parser_template_id): Use it. 231 (cp_parser_simple_type_specifier): Use it. 232 (cp_parser_pre_parsed_nested_name_specifier): Use it. 233 234 * semantics.c (finish_qualified_id_expr): Handle 235 UNBOUND_CLASS_TEMPLATE. 236 237 * parser.c (cp_parser_template_argument): Handle references in 238 C++1z mode. 239 * constexpr.c (potential_constant_expression_1): Don't error about 240 TREE_THIS_VOLATILE on declarations. 241 [COMPONENT_REF]: Don't consider the object if we're dealing with 242 an overloaded function. 243 244 * constraint.cc (strictly_subsumes): New. 245 * cp-tree.h: Declare it. 246 * pt.c (process_partial_specialization): Use it instead of 247 subsumes_constraints. 248 (maybe_new_partial_specialization): Do compare null constraints. 249 * search.c (lookup_member): Handle currently_open_class returning null. 250 251 PR c++/68597, fix auto9.C and auto-neg1.C with -std=c++1z. 252 * decl.c (check_tag_decl): Use ds_type_spec in auto diagnostic. 253 * typeck.c (check_return_expr): Check for inconsistent deduction. 254 * parser.c (class type_id_in_expr_sentinel): New. 255 (cp_parser_primary_expression) [RID_VA_ARG]: Use it. 256 (cp_parser_new_expression): Use it. 257 (cp_parser_trait_expr): Use it. 258 (cp_parser_type_id_1): Complain about auto if in_type_id_in_expr_p. 259 (cp_parser_default_type_template_argument): Check for auto. 260 (cp_parser_type_id_list): Likewise. 261 (cp_parser_simple_type_specifier): Allow auto parms if flag_concepts. 262 * pt.c (do_auto_deduction): Handle erroneous type. 263 2642015-12-04 Jason Merrill <jason@redhat.com> 265 266 PR c++/68645 267 * parser.c (cp_parser_direct_declarator) 268 (cp_parser_late_return_type_opt): Put Cilk+ attributes on 269 declarator->attributes, not std_attributes. 270 2712015-12-04 David Malcolm <dmalcolm@redhat.com> 272 273 * cp-tree.h (class cp_expr): New class. 274 (finish_parenthesized_expr): Convert return type and param to 275 cp_expr. 276 (perform_koenig_lookup): Convert return type and param from tree 277 to cp_expr. 278 (finish_increment_expr): Likewise. 279 (finish_unary_op_expr): Likewise. 280 (finish_id_expression): Likewise for return type. 281 (build_class_member_access_expr): Likewise for param. 282 (finish_class_member_access_expr): Likewise. 283 (build_x_unary_op): Likewise. 284 (build_c_cast): New decl. 285 (build_x_modify_expr): Convert return type from tree to cp_expr. 286 * cvt.c (cp_convert_and_check): When warning about conversions, 287 attempt to use the location of "expr" if available, otherwise 288 falling back to the old behavior of using input_location. 289 * name-lookup.c (lookup_arg_dependent_1): Convert return type from 290 tree to cp_expr. 291 (lookup_arg_dependent): Likewise; also for local "ret". 292 * name-lookup.h (lookup_arg_dependent): Likewise for return type. 293 * parser.c (cp_lexer_previous_token): Skip past purged tokens. 294 (struct cp_parser_expression_stack_entry): Convert field "lhs" to 295 cp_expr. 296 (cp_parser_identifier): Likewise for return type. Use cp_expr 297 ctor to preserve the token's location. 298 (cp_parser_string_literal): Likewise, building up a meaningful 299 location for the case where a compound string literal is built by 300 concatentation. 301 (cp_parser_userdef_char_literal): Likewise for return type. 302 (cp_parser_userdef_numeric_literal): Likewise. 303 (cp_parser_statement_expr): Convert return type to cp_expr. 304 Generate a suitable location for the expr and return it via the 305 cp_expr ctor. 306 (cp_parser_fold_expression): Convert return type to cp_expr. 307 (cp_parser_primary_expression): Likewise, and for locals "expr", 308 "lam", "id_expression", "decl". 309 Use cp_expr ctor when parsing literals, to preserve the spelling 310 location of the token. Preserve the locations of parentheses. 311 Preserve location when calling objc_lookup_ivar. 312 Preserve the location for "this" tokens. Generate suitable 313 locations for "__builtin_va_arg" constructs and for 314 Objective C 2.0 dot-syntax. Set the location for the result of 315 finish_id_expression. 316 (cp_parser_primary_expression): Convert return type from tree to 317 cp_expr. 318 (cp_parser_id_expression): Likewise. 319 (cp_parser_unqualified_id): Likewise. Also for local "id". 320 (cp_parser_postfix_expression): Likewise, also for local 321 "postfix_expression". Generate suitable locations for 322 C++-style casts, "_Cilk_spawn" constructs. Convert local 323 "initializer" to cp_expr and use it to preserve the location of 324 compound literals. Capture the location of the closing 325 parenthesis of a call site via 326 cp_parser_parenthesized_expression_list, and use it to build 327 a source range for a call. Use cp_expr in ternary expression. 328 (cp_parser_postfix_dot_deref_expression): Convert param from tree to 329 cp_expr. Generate and set a location. 330 (cp_parser_parenthesized_expression_list): Add "close_paren_loc" 331 out-param, and write back to it. 332 (cp_parser_unary_expression): Convert return type from tree to 333 cp_expr. Also for locals "cast_expression" and "expression". 334 Generate and use suitable locations for addresses of 335 labels and for cast expressions. Call cp_expr::set_location where 336 necessary. Preserve the locations of negated numeric literals. 337 (cp_parser_new_expression): Generate meaningful locations/ranges. 338 (cp_parser_cast_expression): Convert return type from tree to 339 cp_expr; also for local "expr". Use the paren location to generate a 340 meaningful range for the expression. 341 (cp_parser_binary_expression): Convert return type from tree to 342 cp_expr; also for local "rhs". Generate a meaningful location 343 for the expression, and use it. Replace call to 344 protected_set_expr_location by converting a build2 to a build2_loc 345 and using the location in the call to build_x_binary_op, adding a 346 cp_expr::set_location to the latter case. 347 (cp_parser_question_colon_clause): Convert param from tree to 348 cp_expr; also for local "assignment_expr". Set the spelling range 349 of the expression. 350 (cp_parser_assignment_expression): Likewise for return type and 351 locals "expr" and "rhs". Build a meaningful spelling range for 352 the expression. Remove saving of input_location in favor of a 353 call to cp_expr::set_location. 354 (cp_parser_expression): Convert return type and locals 355 "expression" and "assignment_expression" to cp_expr. Build a 356 meaningful spelling range for assignment expressions. 357 (cp_parser_constant_expression): Likewise for return type and 358 local "expression". 359 (cp_parser_builtin_offsetof): Convert return type and local "expr" 360 to cp_expr. Generate suitable locations. 361 (cp_parser_lambda_expression): Convert return return type to 362 cp_expr. 363 (cp_parser_operator_function_id): Likewise. 364 (cp_parser_operator): Likewise. Generate a meaningful range, 365 using cp_expr's ctor to return it. 366 (cp_parser_template_id): When converting a token to 367 CPP_TEMPLATE_ID, update the location. 368 (cp_parser_initializer_clause): Convert return type and local 369 "initializer" to cp_expr. 370 (cp_parser_braced_list): Likewise for return type. Generate 371 suitable locations. 372 (cp_parser_lookup_name): Likewise for return type. Use cp_expr's 373 ctor to preserve the location_t of the name. 374 (cp_parser_simple_cast_expression): Likewise for return type. 375 (cp_parser_functional_cast): Convert return type and local "cast" 376 to cp_expr. Generate suitable locations. 377 (cp_parser_objc_expression): Convert return type to cp_expr.k Generate 378 (cp_parser_objc_message_expression): Generate suitable locations. 379 (cp_parser_objc_encode_expression): Convert return type to 380 cp_expr. Generate suitable locations. 381 (cp_parser_objc_protocol_expression): Generate suitable locations. 382 (cp_parser_objc_selector_expression): Generate suitable locations. 383 (cp_parser_omp_for_cond): Attempt to use the location 384 of "cond" for the binary op. 385 (cp_parser_transaction_expression): Issue the tm-not-enabled error 386 at the location of the __transaction_foo token, rather than at 387 input_location. 388 * semantics.c (finish_parenthesized_expr): Convert return type and 389 param to cp_expr. Preserve location. 390 (perform_koenig_lookup): Likewise for return type 391 and param. 392 (finish_increment_expr): Likewise. Generate suitable locations. 393 (finish_unary_op_expr): Likewise for return type and local "result". 394 Generate suitable locations. 395 (finish_id_expression): Convert return type to cp_expr and use 396 cp_expr ctor to preserve location information. 397 * typeck.c (build_class_member_access_expr): Convert param to 398 cp_expr. 399 (finish_class_member_access_expr): Likewise. 400 (cp_build_binary_op): Convert a build2 to a build2_loc. 401 (build_x_unary_op): Convert param from tree to cp_expr. 402 (build_nop): Preserve the location of EXPR. 403 (build_c_cast): Provide an overloaded variant that takes a cp_expr 404 and returns a cp_expr. 405 (build_x_modify_expr): Convert return type from tree to cp_expr. 406 4072015-12-03 Cesar Philippidis <cesar@codesourcery.com> 408 409 * parser.c (cp_ensure_no_oacc_routine): Update error message. 410 (cp_parser_oacc_routine): Likewise. 411 (cp_parser_late_parsing_oacc_routine): Likewise. Update comment 412 describing this function. 413 (cp_finalize_oacc_routine): Update error message. 414 4152015-12-02 Jason Merrill <jason@redhat.com> 416 417 * Make-lang.in (check-c++1z, check-c++-all): New. 418 4192015-12-02 Markus Trippelsdorf <markus@trippelsdorf.de> 420 421 PR c++/67337 422 * mangle.c (write_template_prefix): Guard against context==NULL. 423 4242015-12-02 Jason Merrill <jason@redhat.com> 425 426 * call.c (build_new_op_1): Don't fold arguments to 427 warn_logical_operator or maybe_warn_bool_compare. 428 429 * cp-gimplify.c (cp_fold_maybe_rvalue, cp_fold_rvalue): New. 430 (c_fully_fold): Use cp_fold_rvalue. 431 (cp_fold): Use them for rvalue operands. 432 433 * cp-gimplify.c (c_fully_fold): Define. 434 435 * cp-gimplify.c (cp_fold): Use fold_build*. 436 4372015-12-02 Joseph Myers <joseph@codesourcery.com> 438 439 PR c/68162 440 * tree.c (c_build_qualified_type): Add extra arguments. 441 4422015-12-02 Eric Botcazou <ebotcazou@adacore.com> 443 444 PR c++/68290 445 * constraint.cc (make_constrained_auto): Move to... 446 * pt.c (make_auto_1): Add set_canonical parameter and set 447 TYPE_CANONICAL on the type only if it is true. 448 (make_decltype_auto): Adjust call to make_auto_1. 449 (make_auto): Likewise. 450 (splice_late_return_type): Likewise. 451 (make_constrained_auto): ...here. Call make_auto_1 instead of 452 make_auto and pass false. Set TYPE_CANONICAL directly. 453 4542015-12-02 Thomas Schwinge <thomas@codesourcery.com> 455 456 * parser.c (cp_parser_omp_clause_name) 457 (cp_parser_oacc_all_clauses): Alphabetical sorting. 458 * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_USE_DEVICE. 459 4602015-12-02 Andreas Arnez <arnez@linux.vnet.ibm.com> 461 462 PR gcov-profile/68603 463 * cp-gimplify.c (genericize_cp_loop): For the back-jump's location 464 use the start of the loop body only if the loop is unconditional. 465 4662015-11-26 Andreas Arnez <arnez@linux.vnet.ibm.com> 467 468 * cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location 469 to start of loop body instead of start of loop. 470 4712015-12-01 Julian Brown <julian@codesourcery.com> 472 Cesar Philippidis <cesar@codesourcery.com> 473 James Norris <James_Norris@mentor.com> 474 475 * cp-tree.h (finish_oacc_host_data): Add prototype. 476 * parser.c (cp_parser_omp_clause_name): Add use_device support. 477 (cp_parser_oacc_all_clauses): Add use_device support. 478 (OACC_HOST_DATA_CLAUSE_MASK): New macro. 479 (cp_parser_oacc_host_data): New function. 480 (cp_parser_omp_construct): Add host_data support. 481 (cp_parser_pragma): Add host_data support. 482 * semantics.c (finish_omp_clauses): Add use_device support. 483 (finish_oacc_host_data): New function. 484 4852015-11-27 Martin Liska <mliska@suse.cz> 486 487 PR c++/68312 488 * cp-array-notation.c (expand_sec_reduce_builtin): 489 Likewise. 490 (create_array_refs): Replace argument with const reference. 491 (expand_an_in_modify_expr): Likewise. 492 (cp_expand_cond_array_notations): Likewise. 493 (expand_unary_array_notation_exprs): Likewise. 494 4952015-11-27 Jakub Jelinek <jakub@redhat.com> 496 497 PR c/63326 498 * parser.c (cp_parser_statement): Clear in_compound after labels. 499 5002015-11-27 Martin Liska <mliska@suse.cz> 501 502 * parser.c (cp_parser_late_parsing_cilk_simd_fn_info): 503 Release tokens. 504 5052015-11-26 Andreas Arnez <arnez@linux.vnet.ibm.com> 506 507 * cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location 508 to start of loop body instead of start of loop. 509 5102015-11-26 Jakub Jelinek <jakub@redhat.com> 511 512 PR c++/68508 513 * cp-tree.h (cp_ubsan_maybe_instrument_downcast): Add INTYPE argument. 514 * cp-ubsan.c (cp_ubsan_maybe_instrument_downcast): Likewise. Use 515 it instead of or in addition to TREE_TYPE (op). Use 516 is_properly_derived_from, return NULL_TREE if TREE_TYPE (intype) and 517 TREE_TYPE (type) are the same type minus qualifiers. 518 * typeck.c (build_static_cast_1): Adjust callers. 519 5202015-11-25 Martin Sebor <msebor@redhat.com> 521 522 PR c++/67876 523 * pt.c (convert_template_argument): Make sure number of tree 524 operands is greater than zero before attempting to extract one. 525 5262015-11-25 Ryan Burn <contact@rnburn.com> 527 528 PR c++/68434 529 * pt.c (tsubst): Set PLACEHOLDER_TYPE_CONSTRAINTS before 530 calling canonical_type_parameter. 531 5322015-11-25 Jason Merrill <jason@redhat.com> 533 534 * lambda.c (maybe_add_lambda_conv_op): Only set 535 no_sanitize_undefined if SANITIZE_NULL. 536 537 PR c++/67941 538 * lambda.c (maybe_add_lambda_conv_op): Mark _FUN as 539 no_sanitize_undefined. 540 541 * cp-ubsan.c (cp_ubsan_instrument_vptr_p): Use 542 do_ubsan_in_current_function. 543 5442015-11-25 Markus Trippelsdorf <markus@trippelsdorf.de> 545 Paolo Carlini <paolo.carlini@oracle.com> 546 547 PR c++/68087 548 * constexpr.c (cxx_eval_array_reference): Use tree_fits_shwi_p before 549 tree_to_shwi to avoid ICEs. 550 5512015-11-24 Ilya Verbin <ilya.verbin@intel.com> 552 553 * parser.c (cp_parser_oacc_declare): Replace "ifdef ENABLE_OFFLOADING" 554 with "if (ENABLE_OFFLOADING)". 555 5562015-11-23 Igor Zamyatin <igor.zamyatin@intel.com> 557 558 PR c++/68001 559 * cp-gimplify.c (cp_gimplify_expr): Stop the process if see an error. 560 5612015-11-20 Jakub Jelinek <jakub@redhat.com> 562 563 PR c++/67354 564 * cp-tree.h (defer_mangling_aliases): Declare. 565 (generate_mangling_aliases): New prototype. 566 * decl2.c (defer_mangling_aliases): New variable. 567 (note_mangling_alias): Use !defer_mangling_aliases 568 instead of at_eof. 569 (generate_mangling_aliases): No longer static. Clear 570 defer_mangling_aliases. 571 * optimize.c (maybe_thunk_body): Defer emitting mangling aliases 572 if !defer_mangling_aliases until the fns are put into the same 573 comdat group. 574 5752015-11-19 David Malcolm <dmalcolm@redhat.com> 576 577 * cp-tree.h (lookup_member_fuzzy): New decl. 578 * search.c: Include spellcheck.h. 579 (class lookup_field_fuzzy_info): New class. 580 (lookup_field_fuzzy_info::fuzzy_lookup_fnfields): New. 581 (lookup_field_fuzzy_info::fuzzy_lookup_field): New. 582 (lookup_field_fuzzy_r): New. 583 (lookup_member_fuzzy): New. 584 * typeck.c (finish_class_member_access_expr): When issuing 585 a "has no member named" error, call lookup_member_fuzzy, and 586 offer any result as a suggestion. 587 5882015-11-19 Torvald Riegel <triegel@redhat.com> 589 590 * except.c (do_free_exception): Use transactional wrapper. 591 5922015-11-19 Jason Merrill <jason@redhat.com> 593 594 PR c++/68422 595 * cp-tree.h (PACK_EXPANSION_SIZEOF_P): New. 596 * parser.c (cp_parser_sizeof_pack): Set it. 597 * pt.c (tsubst_copy) [SIZEOF_EXPR]: Likewise. 598 (tsubst_pack_expansion): Improve T... shortcut for expression packs. 599 6002015-11-19 Ryan Burn <contact@rnburn.com> 601 602 PR c++/68396 603 * pt.c (find_parameter_packs_r) [DECLTYPE_TYPE]: When traversing 604 the DECLTYPE_TYPE_EXPR, set type_pack_expansion_p to false. 605 6062015-11-19 Jakub Jelinek <jakub@redhat.com> 607 Manuel López-Ibáñez <manu@gcc.gnu.org> 608 609 PR c++/67409 610 * decl.c (identify_goto): Add LOC and DIAG_KIND arguments, call 611 emit_diagnostic instead of permerror. 612 (check_previous_goto_1): Adjust identify_goto callers, treat all 613 cases but crossing initialization and entering scope of decl with 614 non-trivial dtor as unconditional hard errors. 615 (check_goto): Use identify_goto. Treat all cases but crossing 616 initialization and entering scope of decl with non-trivial dtor 617 as unconditional hard errors. 618 6192015-11-19 Cesar Philippidis <cesar@codesourcery.com> 620 621 * parser.h (struct cp_omp_declare_simd_data): Add clauses member. 622 (struct cp_parser): Change type the of oacc_routine to 623 cp_omp_declare_simd_data. 624 * parser.c (cp_ensure_no_oacc_routine): Rework to use 625 cp_omp_declare_simd_data. 626 (cp_parser_simple_declaration): Remove boolean first. Update call to 627 cp_parser_init_declarator. Don't NULL out oacc_routine. 628 (cp_parser_init_declarator): Remove boolean first parameter. Update 629 calls to cp_finalize_oacc_routine. 630 (cp_parser_late_return_type_opt): Handle acc routines. 631 (cp_parser_member_declaration): Remove first variable. Handle 632 acc routines like omp declare simd. 633 (cp_parser_function_definition_from_specifiers_and_declarator): Update 634 call to cp_finalize_oacc_routine. 635 (cp_parser_single_declaration): Update call to 636 cp_parser_init_declarator. 637 (cp_parser_save_member_function_body): Remove first_decl parameter. 638 Update call to cp_finalize_oacc_routine. 639 (cp_parser_finish_oacc_routine): Delete. 640 (cp_parser_oacc_routine): Rework to use cp_omp_declare_simd_data. 641 (cp_parser_late_parsing_oacc_routine): New function. 642 (cp_finalize_oacc_routine): Remove first argument. Add more error 643 handling and set the acc routine and 'omp declare target' attributes. 644 (cp_parser_pragma): Remove unnecessary call to 645 cp_ensure_no_oacc_routine. 646 6472015-11-17 Cesar Philippidis <cesar@codesourcery.com> 648 649 * cp-gimplify.c (cp_fold_r): Add support for OACC_LOOP. 650 6512015-11-17 Jason Merrill <jason@redhat.com> 652 653 PR bootstrap/68346 654 * typeck.c (build_static_cast_1): Force a NOP when converting to 655 the same type. 656 657 * cp-tree.h (LITERAL_ZERO_P): Remove. 658 * parser.c (cp_parser_postfix_expression, literal_zeros) 659 (cp_parser_parenthesized_expression_list): Don't mess with it. 660 661 * parser.c (cp_parser_unary_expression): Fold -constant here. 662 * typeck.c (cp_build_unary_op): Not here. 663 664 PR bootstrap/68361 665 * cvt.c (cp_convert_and_check): Use warning_sentinel to suppress 666 -Wparentheses. 667 6682015-11-16 Jason Merrill <jason@redhat.com> 669 670 * constexpr.c (cxx_eval_builtin_function_call): Use cp_fully_fold 671 to fold arguments to __builtin_constant_p. 672 6732015-11-16 Kirill Yukhin <kirill.yukhin@intel.com> 674 675 * parser.c (cp_parser_late_parsing_cilk_simd_fn_info): Look for 676 "simd" attribute as well. Update error message. 677 6782015-11-14 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> 679 680 * parser.c (cp_parser_omp_declare_target): Adjust. 681 6822015-11-14 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> 683 684 * vtable-class-hierarchy.c (vtv_generate_init_routine): Adjust. 685 6862015-11-14 Jason Merrill <jason@redhat.com> 687 688 PR bootstrap/68346 689 * call.c (build_new_op_1): Don't fold arguments to 690 warn_tautological_cmp. 691 6922015-11-14 Jakub Jelinek <jakub@redhat.com> 693 694 * semantics.c (finish_omp_clauses): Don't mark 695 GOMP_MAP_FIRSTPRIVATE_POINTER decls addressable. 696 6972015-11-13 Kai Tietz <ktietz70@googlemail.com> 698 Marek Polacek <polacek@redhat.com> 699 Jason Merrill <jason@redhat.com> 700 701 * call.c (build_conditional_expr_1, convert_like_real) 702 (convert_arg_to_ellipsis, convert_for_arg_passing): Don't fold. 703 (build_new_op_1, build_over_call, build_cxx_call): Fold for warnings. 704 * class.c (build_base_path, determine_primary_bases) 705 (update_vtable_entry_for_fn, check_bitfield_decl) 706 (layout_nonempty_base_or_field, layout_empty_base) 707 (propagate_binfo_offsets, include_empty_classes) 708 (layout_class_type, build_vbase_offset_vtbl_entries): Use 709 fold_convert. 710 * constexpr.c (cxx_eval_builtin_function_call): Fold away the NOP_EXPR. 711 (cxx_eval_call_expression): Handle MEM_REF. 712 (cxx_eval_pointer_plus_expression): Fold the second operand. 713 (cxx_eval_constant_expression): Handle MEM_REF, UNARY_PLUS_EXPR. 714 (fold_simple_1, fold_simple): New. 715 (maybe_constant_value_1): Factor out from maybe_constant_value. 716 (cv_cache, maybe_constant_value): Cache results. 717 (maybe_constant_init): Handle null input. 718 (potential_constant_expression_1): Handle RESULT_DECL, EMPTY_CLASS_EXPR. 719 * cp-array-notation.c (build_array_notation_ref): Fold operands. 720 * cp-gimplify.c (cp_fold_r, cp_fold): New. 721 (cp_genericize_r): Use fold_convert. Don't fold SIZEOF_EXPR. 722 (cp_genericize): Fold everything. 723 (contains_label_1, contains_label_p): New. 724 (cp_fold, cp_fully_fold): New. 725 * cp-tree.h (class cache_map): New. 726 * cvt.c (cp_convert_to_pointer, ocp_convert): Use convert_to_*_nofold. 727 (cp_convert_and_check): Use cp_fully_fold. 728 (convert, convert_force): Don't fold. 729 * decl.c (fold_sizeof_expr): Change from fold_sizeof_expr_r. 730 (compute_array_index_type): Use cp_fully_fold. 731 (build_enumerator): Use fold_convert. 732 * decl2.c (get_guard_cond, set_guard): Use fold_convert. 733 * init.c (build_zero_init_1): Fold zero-initializers. 734 (build_new_1): Fold nelts calculations. 735 (build_vec_delete_1): Fold conversions. 736 (build_vec_init): Fold maxindex. 737 * parser.c (cp_parser_binary_expression): Fold LHS of || and &&. 738 (cp_parser_question_colon_clause): Fold LHS. 739 * pt.c (convert_nontype_argument): Fold nullptr conversion. 740 * semantics.c (finish_unary_op_expr): Fold for warnings. 741 (handle_omp_array_sections_1): Fold length and low bound. 742 (handle_omp_for_class_iterator): Fold various things. 743 * tree.c (builtin_valid_in_constant_expr_p): Add 744 BUILT_IN_ATOMIC_ALWAYS_LOCK_FREE. 745 (convert_bitfield_to_declared_type): Don't fold. 746 (handle_init_priority_attribute): Fold. 747 (fold_if_not_in_template): Remove. 748 * typeck.c (decay_conversion, build_class_member_access_expr) 749 (build_simple_component_ref, cp_build_array_ref, build_vec_cmp) 750 (cp_pointer_int_sum, pointer_diff): Don't fold. 751 (cp_build_binary_op): Fold for warnings and PMF ops. 752 (cp_build_unary_op): Fold negation of a constant, nothing else. 753 (expand_ptrmemfunc_cst): Fold operations. 754 * typeck2.c (split_nonconstant_init): Fold initializer. 755 (store_init_value): Likewise. 756 (check_narrowing): Try folding. 757 * config-lang.in (gtfiles): Add cp-gimplify.c. 758 7592015-11-13 David Malcolm <dmalcolm@redhat.com> 760 761 * error.c (pedwarn_cxx98): Pass line_table to rich_location ctor. 762 7632015-11-12 James Norris <jnorris@codesourcery.com> 764 765 * parser.c (cp_parser_oacc_declare): Remove unused. 766 7672015-11-12 James Norris <jnorris@codesourcery.com> 768 Joseph Myers <joseph@codesourcery.com> 769 770 * parser.c (cp_parser_omp_clause_name): Handle 'device_resident' 771 clause. 772 (cp_parser_oacc_data_clause): Handle PRAGMA_OACC_CLAUSE_DEVICE_RESIDENT 773 and PRAGMA_OMP_CLAUSE_LINK. 774 (cp_paser_oacc_all_clauses): Handle PRAGMA_OACC_CLAUSE_DEVICE_RESIDENT 775 and PRAGMA_OMP_CLAUSE_LINK. 776 (OACC_DECLARE_CLAUSE_MASK): New definition. 777 (cp_parser_oacc_declare): New function. 778 (cp_parser_pragma): Handle PRAGMA_OACC_DECLARE. 779 * pt.c (tsubst_expr): Handle OACC_DECLARE. 780 7812015-11-12 Jason Merrill <jason@redhat.com> 782 783 * pt.c (check_explicit_specialization): Check the namespace after 784 we choose a template. 785 7862015-11-11 Jason Merrill <jason@redhat.com> 787 788 * decl.c (duplicate_decls): When combining typedefs, remove the 789 new type from the variants list. 790 7912015-11-11 Jason Merrill <jason@redhat.com> 792 793 * pt.c (instantiate_class_template_1): Set function_depth around 794 instantiation of lambda op(). 795 7962015-11-11 Marek Polacek <polacek@redhat.com> 797 798 PR c/68107 799 PR c++/68266 800 * decl.c (grokdeclarator): Call valid_array_size_p. Remove code 801 checking the size of an array. 802 8032015-11-11 Dominique d'Humieres <dominiq@lps.ens.fr> 804 805 PR bootstrap/68271 806 * parser.h (cp_token): Update pragma_kind to 8. 807 8082015-11-11 Andrew MacLeod <amacleod@redhat.com> 809 810 * call.c: Remove unused header files. 811 * class.c: Likewise. 812 * constexpr.c: Likewise. 813 * cp-array-notation.c: Likewise. 814 * cp-cilkplus.c: Likewise. 815 * cp-gimplify.c: Likewise. 816 * cp-lang.c: Likewise. 817 * cp-objcp-common.c: Likewise. 818 * cp-ubsan.c: Likewise. 819 * cvt.c: Likewise. 820 * cxx-pretty-print.c: Likewise. 821 * decl.c: Likewise. 822 * decl2.c: Likewise. 823 * dump.c: Likewise. 824 * error.c: Likewise. 825 * except.c: Likewise. 826 * expr.c: Likewise. 827 * friend.c: Likewise. 828 * g++spec.c: Likewise. 829 * init.c: Likewise. 830 * lambda.c: Likewise. 831 * lex.c: Likewise. 832 * mangle.c: Likewise. 833 * method.c: Likewise. 834 * name-lookup.c: Likewise. 835 * optimize.c: Likewise. 836 * parser.c: Likewise. 837 * pt.c: Likewise. 838 * ptree.c: Likewise. 839 * repo.c: Likewise. 840 * rtti.c: Likewise. 841 * search.c: Likewise. 842 * semantics.c: Likewise. 843 * tree.c: Likewise. 844 * typeck.c: Likewise. 845 * typeck2.c: Likewise. 846 * vtable-class-hierarchy.c: Likewise. 847 8482015-11-09 Cesar Philippidis <cesar@codesourcery.com> 849 850 * parser.c (cp_finalize_oacc_routine): New boolean first argument. 851 (cp_ensure_no_oacc_routine): Update call to cp_finalize_oacc_routine. 852 (cp_parser_simple_declaration): Maintain a boolean first to keep track 853 of each new declarator. Propagate it to cp_parser_init_declarator. 854 (cp_parser_init_declarator): New boolean first argument. Propagate it 855 to cp_parser_save_member_function_body and cp_finalize_oacc_routine. 856 (cp_parser_member_declaration): Likewise. 857 (cp_parser_single_declaration): Update call to 858 cp_parser_init_declarator. 859 (cp_parser_save_member_function_body): New boolean first_decl argument. 860 Propagate it to cp_finalize_oacc_routine. 861 (cp_parser_finish_oacc_routine): New boolean first argument. Use it to 862 determine if multiple declarators follow a routine construct. 863 (cp_parser_oacc_routine): Update call to cp_parser_finish_oacc_routine. 864 8652015-10-19 Martin Sebor <msebor@redhat.com> 866 867 PR c++/67913 868 PR c++/67927 869 * call.c (build_operator_new_call): Do not assume size_check 870 is non-null, analogously to the top half of the function. 871 * init.c (build_new_1): Detect and diagnose array sizes in 872 excess of the maximum of roughly SIZE_MAX / 2. 873 Insert a runtime check only for arrays with a non-constant size. 874 (build_new): Detect and diagnose negative array sizes. 875 8762015-11-09 Thomas Schwinge <thomas@codesourcery.com> 877 Cesar Philippidis <cesar@codesourcery.com> 878 James Norris <jnorris@codesourcery.com> 879 Julian Brown <julian@codesourcery.com> 880 Nathan Sidwell <nathan@codesourcery.com> 881 882 * parser.h (struct cp_parser): Add oacc_routine field. 883 * parser.c (cp_ensure_no_oacc_routine): New. 884 (cp_parser_new): Initialize oacc_routine field. 885 (cp_parser_linkage_specification): Call cp_ensure_no_oacc_routine. 886 (cp_parser_namespace_definition, 887 cp_parser_class_specifier_1): Likewise. 888 (cp_parser_init_declarator): Call cp_finalize_oacc_routine. 889 (cp_parser_function_definition, 890 cp_parser_save_member_function_body): Likewise. 891 (OACC_ROUTINE_CLAUSE_MASK): New. 892 (cp_parser_finish_oacc_routine, cp_parser_oacc_routine, 893 cp_finalize_oacc_routine): New. 894 (cp_parser_pragma): Adjust omp_declare_simd checking. Call 895 cp_ensure_no_oacc_routine. 896 (cp_parser_pragma): Add OpenACC routine handling. 897 8982015-11-08 Martin Sebor <msebor@redhat.com> 899 900 PR c++/67942 901 * cp/init.c (warn_placement_new_too_small): Convert integer 902 operand of POINTER_PLUS_EXPR to ssize_t to determine its signed 903 value. 904 9052015-11-06 David Malcolm <dmalcolm@redhat.com> 906 907 * error.c (cp_printer): Update for new "caret_p" param for 908 textinfo::set_location. 909 (pedwarn_cxx98): Update for change in signature of 910 diagnostic_set_info. 911 9122015-11-06 Jason Merrill <jason@redhat.com> 913 914 Support non-type constrained-type-specifiers. 915 * parser.c (check_type_concept): Remove. 916 (cp_parser_maybe_constrained_type_specifier): Don't call it. 917 (synthesize_implicit_template_parm): Handle non-type and template 918 template parameters. Also compare extra args. Return the decl. 919 (cp_parser_template_argument): Handle constrained-type-specifiers for 920 non-type template parameters. 921 (finish_constrained_template_template_parm): Split out from 922 cp_parser_constrained_template_template_parm. 923 (cp_parser_nonclass_name): Move some logic into 924 cp_parser_maybe_concept_name. 925 (cp_parser_init_declarator): Fix error recovery. 926 (get_concept_from_constraint): Remove. 927 (cp_parser_simple_type_specifier): Adjust for 928 synthesize_implicit_template_parm returning the decl. 929 * constraint.cc (placeholder_extract_concept_and_args) 930 (equivalent_placeholder_constraints): Also handle TYPE_DECL 931 constrained parms. 932 933 * pt.c (push_inline_template_parms_recursive): Don't recreate the 934 CONST_DECL. 935 9362015-11-06 Kyrylo Tkachov <kyrylo.tkachov@arm.com> 937 938 * init.c (warn_placement_new_too_small): Use %wu format 939 rather than %lu when printing bytes_avail. 940 9412015-11-05 Cesar Philippidis <cesar@codesourcery.com> 942 Thomas Schwinge <thomas@codesourcery.com> 943 James Norris <jnorris@codesourcery.com> 944 945 * parser.c (cp_parser_omp_clause_name): Add support for 946 PRAGMA_OACC_CLAUSE_INDEPENDENT and PRAGMA_OACC_CLAUSE_TILE. 947 (cp_parser_oacc_shape_clause): Allow pointer variables as gang static 948 arguments. 949 (cp_parser_oacc_clause_tile): New function. 950 (cp_parser_omp_clause_default): Add is_oacc argument. Handle 951 default(none) in OpenACC. 952 (cp_parser_oacc_all_clauses): Add support for 953 (cp_parser_omp_all_clauses): Update call to 954 cp_parser_omp_clause_default. 955 PRAGMA_OACC_CLAUSE_{DEFAULT,INDEPENDENT,TILE,PRIVATE,FIRSTPRIVATE}. 956 (OACC_LOOP_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_{PRIVATE,INDEPENDENT, 957 TILE}. 958 (OACC_KERNELS_MASK): Add PRAGMA_OACC_CLAUSE_DEFAULT. 959 (OACC_PARALLEL_MASK): Add PRAGMA_OACC_CLAUSE_{DEFAULT,PRIVATE, 960 FIRSTPRIVATE}. 961 (cp_parser_oacc_update): Update the error message for missing clauses. 962 * semantics.c (finish_omp_clauses): Add support for 963 OMP_CLAUSE_INDEPENDENT and OMP_CLAUSE_TILE. 964 9652015-11-05 Martin Sebor <msebor@redhat.com> 966 967 PR c++/67942 968 * cp/init.c (warn_placement_new_too_small): Avoid assuming 969 the size of the first operand of placement new or its type 970 is known. 971 9722015-11-05 Martin Sebor <msebor@redhat.com> 973 974 PR c++/67942 975 * cp/init.c (warn_placement_new_too_small): New function. 976 (build_new_1): Call it. 977 9782015-11-05 Paolo Carlini <paolo.carlini@oracle.com> 979 980 PR c++/67846 981 * parser.c (cp_parser_lambda_body): Check lambda_return_type 982 return value. 983 * typeck2.c (cxx_incomplete_type_diagnostic): Print member or 984 member function used invalidly. 985 9862015-11-05 Jakub Jelinek <jakub@redhat.com> 987 Ilya Verbin <ilya.verbin@intel.com> 988 989 * cp-tree.h (finish_omp_for): Add ORIG_INITS argument. 990 (omp_privatize_field): Add SHARED argument. 991 * parser.c: Include context.h. 992 (cp_parser_omp_clause_schedule): Parse schedule 993 modifiers, diagnose monotonic together with nonmonotonic. 994 (cp_parser_omp_clause_linear): Add DECLARE_SIMD argument. Parse 995 parameter name as linear step as id-expression rather than expression. 996 (cp_parser_omp_all_clauses): Adjust caller. 997 (cp_parser_omp_for_loop_init): Add ORIG_INIT argument, 998 initialize it. Adjust omp_privatize_field caller. 999 (cp_parser_omp_for_loop): Compute orig_inits, pass it's address 1000 to finish_omp_for. 1001 (OMP_DISTRIBUTE_CLAUSE_MASK): Add lastprivate clause. 1002 (cp_parser_omp_target_data, 1003 cp_parser_omp_target_enter_data, 1004 cp_parser_omp_target_exit_data): Allow GOMP_MAP_ALWAYS_POINTER 1005 and GOMP_MAP_FIRSTPRIVATE_REFERENCE. 1006 (cp_parser_omp_target): Likewise. Evaluate num_teams and 1007 thread_limit expressions on combined target teams before the target. 1008 (cp_parser_omp_declare_target): If decl has "omp declare target" or 1009 "omp declare target link" attribute, and cgraph or varpool node already 1010 exists, then set corresponding flags. Call finish_omp_clauses 1011 in the parenthesized extended-list syntax case. Call 1012 cp_parser_require_pragma_eol instead of cp_parser_skip_to_pragma_eol. 1013 (cp_parser_omp_end_declare_target): Call cp_parser_require_pragma_eol 1014 instead of cp_parser_skip_to_pragma_eol. 1015 * decl2.c (cplus_decl_attributes): Don't diagnose block scope vars 1016 inside declare target. 1017 * pt.c (tsubst_omp_clauses): If OMP_CLAUSE_LINEAR_VARIABLE_STRIDE, 1018 use tsubst_omp_clause_decl instead of tsubst_expr on 1019 OMP_CLAUSE_LINEAR_STEP. Handle non-static data members in shared 1020 clauses. 1021 (tsubst_omp_for_iterator): Adjust omp_privatize_field caller. 1022 (tsubst_find_omp_teams): New function. 1023 (tsubst_expr): Evaluate num_teams and thread_limit expressions on 1024 combined target teams before the target. Use OMP_FOR_ORIG_DECLS for 1025 all OpenMP/OpenACC/Cilk+ looping constructs. Adjust finish_omp_for 1026 caller. 1027 * semantics.c (omp_privatize_field): Add SHARED argument, if true, 1028 always create artificial var and never put it into the hash table 1029 or vector. 1030 (handle_omp_array_sections_1): Adjust omp_privatize_field caller. 1031 Allow non-zero low-bound on OMP_CLAUSE_REDUCTION array sections. 1032 (handle_omp_array_sections): For structure element 1033 based array sections use GOMP_MAP_ALWAYS_POINTER instead of 1034 GOMP_MAP_FIRSTPRIVATE_POINTER. Encode low-bound into the MEM_REF, 1035 either into the constant offset, or for variable low-bound using 1036 POINTER_PLUS_EXPR. 1037 (finish_omp_clauses): Adjust omp_privatize_field caller. Drop 1038 generic_field_head, structure elements are now always mapped even 1039 as array section bases, diagnose same var in data sharing and 1040 mapping clauses. For references map what they refer to using 1041 GOMP_MAP_ALWAYS_POINTER for structure elements and 1042 GOMP_MAP_FIRSTPRIVATE_REFERENCE otherwise. Diagnose if linear step 1043 on declare simd is neither a constant nor a uniform parameter. 1044 Allow non-static data members on shared clauses. Look through 1045 POINTER_PLUS_EXPR for array section reductions. Diagnose nonmonotonic 1046 modifier on kinds other than dynamic or guided or nonmonotonic 1047 modifier together with ordered clause. Diagnose the same var or 1048 function appearing multiple times on the same directive. Fix up 1049 wording for the to clause if t is neither a FUNCTION_DECL nor a 1050 VAR_DECL, use special wording for OVERLOADs and TEMPLATE_ID_EXPR. 1051 (handle_omp_for_class_iterator): Add ORIG_DECLS argument. Call 1052 c_omp_check_loop_iv_exprs on cond. 1053 (finish_omp_for): Add ORIG_INITS argument. Call 1054 c_omp_check_loop_iv_exprs on ORIG_INITS elements. Adjust 1055 handle_omp_for_class_iterator caller. Call c_omp_check_loop_iv. 1056 Call add_stmt. 1057 (finish_omp_atomic): Adjust c_finish_omp_atomic caller. 1058 10592015-11-04 Cesar Philippidis <cesar@codesourcery.com> 1060 1061 * (cp_parser_oacc_single_int_clause): New function. 1062 (cp_parser_oacc_clause_vector_length): Delete. 1063 (cp_parser_omp_clause_num_gangs): Delete. 1064 (cp_parser_omp_clause_num_workers): Delete. 1065 (cp_parser_oacc_all_clauses): Use cp_parser_oacc_single_int_clause 1066 for num_gangs, num_workers and vector_length. 1067 10682015-11-04 Mikhail Maltsev <maltsevm@gmail.com> 1069 1070 * call.c (validate_conversion_obstack): Define unconditionally. 1071 * constexpr.c (maybe_constant_value, fold_non_dependent_expr): Use 1072 gcc_checking_assert. 1073 * cp-tree.h: Use CHECKING_P instead of ENABLE_CHECKING. 1074 * decl2.c (cxx_post_compilation_parsing_cleanups): Use flag_checking. 1075 * mangle.c (add_substitution): Likewise. 1076 * method.c (maybe_explain_implicit_delete): Likewise. 1077 * parser.c (cp_parser_template_argument_list): Remove conditional 1078 compilation. 1079 * pt.c (check_unstripped_args): Rename to... 1080 (verify_unstripped_args): ... this and remove conditional compilation. 1081 (retrieve_specialization): Guard call of verify_unstripped_args with 1082 flag_checking. 1083 (template_parm_to_arg): Remove conditional compilation. 1084 (template_parms_to_args, coerce_template_parameter_pack, 1085 coerce_template_parms): Likewise. 1086 (tsubst_copy): Use flag_checking. 1087 (type_unification_real): Remove conditional compilation. 1088 (build_non_dependent_expr): Use flag_checking. 1089 * tree.c (build_target_expr): Remove conditional compilation, use 1090 gcc_checking_assert. 1091 * typeck.c (comptypes): Likewise. 1092 * typeck2.c (digest_init_r): Likewise. 1093 10942015-11-03 Jason Merrill <jason@redhat.com> 1095 1096 * pt.c (struct find_parameter_pack_data): Add 1097 type_pack_expansion_p field. 1098 (find_parameter_packs_r): Use it to turn 'auto' into a parameter pack. 1099 (uses_parameter_packs, make_pack_expansion) 1100 (check_for_bare_parameter_packs, fixed_parameter_pack_p): Set it. 1101 11022015-11-03 Thomas Schwinge <thomas@codesourcery.com> 1103 Chung-Lin Tang <cltang@codesourcery.com> 1104 1105 * parser.c (cp_parser_omp_construct, cp_parser_pragma): Handle 1106 PRAGMA_OACC_ATOMIC. 1107 11082015-10-31 Ville Voutilainen <ville.voutilainen@gmail.com> 1109 1110 Remove the implementation of N3994, terse range-for loops. 1111 * parser.c (cp_parser_for_init_statement): Remove the parsing 1112 of a terse range-for. 1113 11142015-10-31 Jason Merrill <jason@redhat.com> 1115 1116 Implement multiple 'auto' feature from Concepts TS. 1117 * parser.c (cp_parser_type_id_1): Allow 'auto' if -fconcepts. 1118 (cp_parser_template_type_arg): Likewise. 1119 (get_concept_from_constraint): Split out most logic to... 1120 * constraint.cc (placeholder_extract_concept_and_args): ...here. 1121 (equivalent_placeholder_constraints, hash_placeholder_constraint): New. 1122 * cxx-pretty-print.c (pp_cxx_constrained_type_spec): New. 1123 * cxx-pretty-print.h: Declare it. 1124 * error.c (dump_type) [TEMPLATE_TYPE_PARM]: Call it. 1125 * pt.c (is_auto_r, extract_autos_r, extract_autos, auto_hash): New. 1126 (type_uses_auto): Use is_auto_r. 1127 (do_auto_deduction): Handle multiple 'auto's if -fconcepts. 1128 * typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Compare 1129 constraints. 1130 1131 * pt.c (for_each_template_parm_r): Use WALK_SUBTREE. 1132 Return a meaningful value rather than error_mark_node. 1133 (for_each_template_parm): Return a tree. 1134 (uses_template_parms_level): Return bool. 1135 * cp-tree.h: Adjust. 1136 1137 * pt.c (unify): Don't diagnose no common base if we already have 1138 the same template. 1139 (do_auto_deduction): Explain deduction failure. 1140 1141 * pt.c (hash_tmpl_and_args): Use iterative_hash_object on template 1142 uid. 1143 1144 * parser.c (synthesize_implicit_template_parm) 1145 (finish_fully_implicit_template): Make static. 1146 11472015-10-29 Andrew MacLeod <amacleod@redhat.com> 1148 1149 * call.c: Reorder #include's and remove duplicates. 1150 * class.c: Likewise. 1151 * constexpr.c: Likewise. 1152 * cp-array-notation.c: Likewise. 1153 * cp-cilkplus.c: Likewise. 1154 * cp-gimplify.c: Likewise. 1155 * cp-lang.c: Likewise. 1156 * cp-objcp-common.c: Likewise. 1157 * cp-ubsan.c: Likewise. 1158 * cvt.c: Likewise. 1159 * cxx-pretty-print.c: Likewise. 1160 * decl.c: Likewise. 1161 * decl2.c: Likewise. 1162 * dump.c: Likewise. 1163 * error.c: Likewise. 1164 * except.c: Likewise. 1165 * expr.c: Likewise. 1166 * friend.c: Likewise. 1167 * init.c: Likewise. 1168 * lambda.c: Likewise. 1169 * lex.c: Likewise. 1170 * mangle.c: Likewise. 1171 * method.c: Likewise. 1172 * name-lookup.c: Likewise. 1173 * optimize.c: Likewise. 1174 * parser.c: Likewise. 1175 * pt.c: Likewise. 1176 * ptree.c: Likewise. 1177 * repo.c: Likewise. 1178 * rtti.c: Likewise. 1179 * search.c: Likewise. 1180 * semantics.c: Likewise. 1181 * tree.c: Likewise. 1182 * typeck.c: Likewise. 1183 * typeck2.c: Likewise. 1184 * vtable-class-hierarchy.c: Likewise. 1185 11862015-10-29 Paolo Carlini <paolo.carlini@oracle.com> 1187 1188 PR c++/67845 1189 * decl.c (grokfndecl): In case of erroneous cv-qualified non-member 1190 functions consistently reset TREE_TYPE (decl) too. 1191 11922015-10-28 Jason Merrill <jason@redhat.com> 1193 1194 DR 1518 1195 * class.c (type_has_user_provided_or_explicit_constructor): New. 1196 (check_bases_and_members): Use it. 1197 * cp-tree.h: Declare it. 1198 11992015-10-27 Cesar Philippidis <cesar@codesourcery.com> 1200 Thomas Schwinge <thomas@codesourcery.com> 1201 James Norris <jnorris@codesourcery.com> 1202 Joseph Myers <joseph@codesourcery.com> 1203 Julian Brown <julian@codesourcery.com> 1204 Nathan Sidwell <nathan@codesourcery.com> 1205 Bernd Schmidt <bschmidt@redhat.com> 1206 1207 * parser.c (cp_parser_omp_clause_name): Add auto, gang, seq, 1208 vector, worker. 1209 (cp_parser_oacc_simple_clause): New. 1210 (cp_parser_oacc_shape_clause): New. 1211 (cp_parser_oacc_all_clauses): Add auto, gang, seq, vector, worker. 1212 (OACC_LOOP_CLAUSE_MASK): Likewise. 1213 * semantics.c (finish_omp_clauses): Add auto, gang, seq, vector, 1214 worker. Unify the handling of teams, tasks and vector_length with 1215 the other loop shape clauses. 1216 12172015-10-27 Thomas Schwinge <thomas@codesourcery.com> 1218 James Norris <jnorris@codesourcery.com> 1219 Cesar Philippidis <cesar@codesourcery.com> 1220 1221 PR c/64765 1222 PR c/64880 1223 * cp-tree.h (finish_oacc_kernels, finish_oacc_parallel): Don't 1224 declare functions. 1225 (finish_omp_construct): Declare function. 1226 * parser.c (cp_parser_oacc_loop): Add p_name, mask, cclauses 1227 formal parameters, and handle these. Adjust all users. 1228 (cp_parser_oacc_kernels, cp_parser_oacc_parallel): Merge functions 1229 into... 1230 (cp_parser_oacc_kernels_parallel): ... this new function. Adjust 1231 all users. 1232 * semantics.c (finish_oacc_kernels, finish_oacc_parallel): Merge functions into... 1233 (finish_omp_construct): ... this new function. 1234 12352015-10-25 Jason Merrill <jason@redhat.com> 1236 1237 DR 2179 1238 * pt.c (process_partial_specialization): Handle error_mark_node 1239 from most_specialized_partial_spec. 1240 12412015-10-23 Jason Merrill <jason@redhat.com> 1242 1243 DR 1518 1244 DR 1630 1245 PR c++/54835 1246 PR c++/60417 1247 * call.c (convert_like_real): Value-initialization can't use 1248 explicit constructors in C++11 and up. 1249 1250 PR c++/67813 1251 * constexpr.c (cxx_eval_store_expression): Always use *valp if 1252 set. 1253 12542015-10-22 Jason Merrill <jason@redhat.com> 1255 1256 * call.c (add_template_conv_candidate): Pass DEDUCE_CALL. 1257 (add_template_candidate_real): Handle it. 1258 * pt.c (fn_type_unification): Handle it. 1259 1260 * call.c (add_conv_candidate): Remove first_arg parm. 1261 (add_template_conv_candidate): Likewise. 1262 (add_template_candidate_real): Don't pass it. 1263 (build_op_call_1): Likewise. 1264 12652015-10-22 Richard Biener <rguenther@suse.de> 1266 1267 * semantics.c (cp_finish_omp_clause_depend_sink): Properly convert 1268 before folding a MINUS_EXPR. 1269 (finish_omp_clauses): Likewise. 1270 12712015-10-21 Paolo Carlini <paolo.carlini@oracle.com> 1272 1273 PR c++/66781 1274 * parser.c (cp_parser_enum_specifier): Upon error_at set 1275 nested_name_specifier to error_mark_node; improve error message. 1276 12772015-10-21 Paolo Carlini <paolo.carlini@oracle.com> 1278 1279 PR c++/67847 1280 * parser.c (cp_parser_enum_specifier): Reject a nested_name_specifier 1281 which doesn't name a class or namespace. 1282 12832015-10-21 Ilya Enkovich <enkovich.gnu@gmail.com> 1284 1285 * call.c (build_conditional_expr_1): Use boolean vector 1286 type for vector comparison. 1287 * typeck.c (build_vec_cmp): New. 1288 (cp_build_binary_op): Use build_vec_cmp for comparison. 1289 12902015-10-20 Jason Merrill <jason@redhat.com> 1291 1292 PR c++/66583 1293 * init.c (innermost_aggr_scope): New. 1294 (build_field_list): Change uses_unions_p to uses_unions_or_anon_p. 1295 (sort_mem_initializers): Handle initializers for entire anonymous 1296 aggregates. 1297 12982015-10-20 Marek Polacek <polacek@redhat.com> 1299 1300 * parser.c (is_cilkplus_vector_p): Don't define here. 1301 13022015-10-19 Jason Merrill <jason@redhat.com> 1303 1304 PR c++/67064 1305 * semantics.c (force_paren_expr): Don't mess with hard register vars. 1306 1307 Implement N4268, Do constant evaluation of all non-type template args. 1308 * parser.c (cp_parser_template_argument): For C++1z just parse a 1309 constant-expression. 1310 * pt.c (convert_nontype_argument): For C++1z always call 1311 maybe_constant_value. 1312 1313 * constexpr.c (cxx_eval_constant_expression): Expand PTRMEM_CST 1314 only when necessary. 1315 (cxx_eval_component_reference): Like here. 1316 * decl2.c (lower_var_init): And here. 1317 (c_parse_final_cleanups): Call it. 1318 * typeck2.c (digest_init_r): Not here. 1319 * decl.c (complete_vars): Or here. 1320 (cp_finish_decl): Add local statics to symbol table. 1321 13222015-10-17 Jason Merrill <jason@redhat.com> 1323 1324 PR c++/68006 1325 * decl.c (implicit_default_ctor_p): New. 1326 (start_preparsed_function): Don't clobber on entry to one. 1327 13282015-10-16 Paolo Carlini <paolo.carlini@oracle.com> 1329 1330 PR c++/67926 1331 * constexpr.c (potential_constant_expression_1): Handle 1332 UNARY_LEFT_FOLD_EXPR, UNARY_RIGHT_FOLD_EXPR, BINARY_LEFT_FOLD_EXPR, 1333 BINARY_RIGHT_FOLD_EXPR. 1334 13352015-10-13 Jakub Jelinek <jakub@redhat.com> 1336 Aldy Hernandez <aldyh@redhat.com> 1337 1338 * class.c (finish_struct_1): Call finish_omp_declare_simd_methods. 1339 * cp-gimplify.c (cp_gimplify_expr): Handle OMP_TASKLOOP. 1340 (cp_genericize_r): Likewise. 1341 (cxx_omp_finish_clause): Don't diagnose references. 1342 (cxx_omp_disregard_value_expr): New function. 1343 * cp-objcp-common.h (LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR): Redefine. 1344 * cp-tree.h (OMP_FOR_GIMPLIFYING_P): Document for OMP_TASKLOOP. 1345 (DECL_OMP_PRIVATIZED_MEMBER): Define. 1346 (finish_omp_declare_simd_methods, push_omp_privatization_clauses, 1347 pop_omp_privatization_clauses, save_omp_privatization_clauses, 1348 restore_omp_privatization_clauses, omp_privatize_field, 1349 cxx_omp_disregard_value_expr): New prototypes. 1350 (finish_omp_clauses): Add two new arguments. 1351 (finish_omp_for): Add ORIG_DECLV argument. 1352 * parser.c (cp_parser_lambda_body): Call 1353 save_omp_privatization_clauses and restore_omp_privatization_clauses. 1354 (cp_parser_omp_clause_name): Handle OpenMP 4.5 clauses. 1355 (cp_parser_omp_var_list_no_open): Handle structure elements for 1356 map, to and from clauses. Handle array sections in reduction 1357 clause. Parse this keyword. Formatting fixes. 1358 (cp_parser_omp_clause_if): Add IS_OMP argument, handle parsing of 1359 if clause modifiers. 1360 (cp_parser_omp_clause_num_tasks, cp_parser_omp_clause_grainsize, 1361 cp_parser_omp_clause_priority, cp_parser_omp_clause_hint, 1362 cp_parser_omp_clause_defaultmap): New functions. 1363 (cp_parser_omp_clause_ordered): Parse optional parameter. 1364 (cp_parser_omp_clause_reduction): Handle array reductions. 1365 (cp_parser_omp_clause_schedule): Parse optional simd modifier. 1366 (cp_parser_omp_clause_nogroup, cp_parser_omp_clause_orderedkind): 1367 New functions. 1368 (cp_parser_omp_clause_linear): Parse linear clause modifiers. 1369 (cp_parser_omp_clause_depend_sink): New function. 1370 (cp_parser_omp_clause_depend): Parse source/sink depend kinds. 1371 (cp_parser_omp_clause_map): Parse release/delete map kinds and 1372 optional always modifier. 1373 (cp_parser_oacc_all_clauses): Adjust cp_parser_omp_clause_if 1374 and finish_omp_clauses callers. 1375 (cp_parser_omp_all_clauses): Likewise. Parse OpenMP 4.5 clauses. 1376 Parse "to" as OMP_CLAUSE_TO_DECLARE if on declare target directive. 1377 (OMP_CRITICAL_CLAUSE_MASK): Define. 1378 (cp_parser_omp_critical): Parse critical clauses. 1379 (cp_parser_omp_for_incr): Use cp_tree_equal if 1380 processing_template_decl. 1381 (cp_parser_omp_for_loop_init): Return tree instead of bool. Handle 1382 non-static data member iterators. 1383 (cp_parser_omp_for_loop): Handle doacross loops, adjust 1384 finish_omp_for and finish_omp_clauses callers. 1385 (cp_omp_split_clauses): Adjust finish_omp_clauses caller. 1386 (OMP_SIMD_CLAUSE_MASK): Add simdlen clause. 1387 (cp_parser_omp_simd): Allow ordered clause if it has no parameter. 1388 (OMP_FOR_CLAUSE_MASK): Add linear clause. 1389 (cp_parser_omp_for): Disallow ordered clause when combined with 1390 distribute. Disallow linear clause when combined with distribute 1391 and not combined with simd. 1392 (OMP_ORDERED_CLAUSE_MASK, OMP_ORDERED_DEPEND_CLAUSE_MASK): Define. 1393 (cp_parser_omp_ordered): Add CONTEXT argument, return bool instead 1394 of tree, parse clauses and if depend clause is found, don't parse 1395 a body. 1396 (cp_parser_omp_parallel): Disallow copyin clause on target parallel. 1397 Allow target parallel without for after it. 1398 (OMP_TASK_CLAUSE_MASK): Add priority clause. 1399 (OMP_TARGET_DATA_CLAUSE_MASK): Add use_device_ptr clause. 1400 (cp_parser_omp_target_data): Diagnose no map clauses or clauses with 1401 invalid kinds. 1402 (OMP_TARGET_UPDATE_CLAUSE_MASK): Add depend and nowait clauses. 1403 (OMP_TARGET_ENTER_DATA_CLAUSE_MASK, 1404 OMP_TARGET_EXIT_DATA_CLAUSE_MASK): Define. 1405 (cp_parser_omp_target_enter_data, cp_parser_omp_target_exit_data): New 1406 functions. 1407 (OMP_TARGET_CLAUSE_MASK): Add depend, nowait, private, firstprivate, 1408 defaultmap and is_device_ptr clauses. 1409 (cp_parser_omp_target): Parse target parallel and target simd. Set 1410 OMP_TARGET_COMBINED on combined constructs. Parse target enter data 1411 and target exit data. Diagnose invalid map kinds. 1412 (cp_parser_oacc_cache): Adjust finish_omp_clauses caller. 1413 (OMP_DECLARE_TARGET_CLAUSE_MASK): Define. 1414 (cp_parser_omp_declare_target): Parse OpenMP 4.5 forms of this 1415 construct. 1416 (OMP_TASKLOOP_CLAUSE_MASK): Define. 1417 (cp_parser_omp_taskloop): New function. 1418 (cp_parser_omp_construct): Don't handle PRAGMA_OMP_ORDERED here, 1419 handle PRAGMA_OMP_TASKLOOP. 1420 (cp_parser_pragma): Handle PRAGMA_OMP_ORDERED here directly, 1421 handle PRAGMA_OMP_TASKLOOP, call push_omp_privatization_clauses 1422 and pop_omp_privatization_clauses around parsing calls. 1423 (cp_parser_cilk_for): Adjust finish_omp_clauses caller. 1424 * pt.c (apply_late_template_attributes): Adjust tsubst_omp_clauses 1425 and finish_omp_clauses callers. 1426 (tsubst_omp_clause_decl): Return NULL if decl is NULL. 1427 For TREE_LIST, copy over OMP_CLAUSE_DEPEND_SINK_NEGATIVE bit. 1428 Use tsubst_expr instead of tsubst_copy, undo convert_from_reference 1429 effects. 1430 (tsubst_omp_clauses): Add ALLOW_FIELDS argument. Handle new 1431 OpenMP 4.5 clauses. Use tsubst_omp_clause_decl for more clauses. 1432 If ALLOW_FIELDS, handle non-static data members in the clauses. 1433 Clear OMP_CLAUSE_LINEAR_STEP if it has been cleared before. 1434 (omp_parallel_combined_clauses): New variable. 1435 (tsubst_omp_for_iterator): Add ORIG_DECLV argument, recur on 1436 OMP_FOR_ORIG_DECLS, handle non-static data member iterators. 1437 Improve handling of clauses on combined constructs. 1438 (tsubst_expr): Call push_omp_privatization_clauses and 1439 pop_omp_privatization_clauses around instantiation of certain 1440 OpenMP constructs, improve handling of clauses on combined 1441 constructs, handle OMP_TASKLOOP, adjust tsubst_omp_for_iterator, 1442 tsubst_omp_clauses and finish_omp_for callers, handle clauses on 1443 critical and ordered, handle OMP_TARGET_{ENTER,EXIT}_DATA. 1444 (instantiate_decl): Call save_omp_privatization_clauses and 1445 restore_omp_privatization_clauses around instantiation. 1446 (dependent_omp_for_p): Fix up comment typo. Handle SCOPE_REF. 1447 * semantics.c (omp_private_member_map, omp_private_member_vec, 1448 omp_private_member_ignore_next): New variables. 1449 (finish_non_static_data_member): Return dummy decl for privatized 1450 non-static data members. 1451 (omp_clause_decl_field, omp_clause_printable_decl, 1452 omp_note_field_privatization, omp_privatize_field): New functions. 1453 (handle_omp_array_sections_1): Fix comment typo. 1454 Add IS_OMP argument, handle structure element bases, diagnose 1455 bitfields, pass IS_OMP recursively, diagnose known zero length 1456 array sections in depend clauses, handle array sections in reduction 1457 clause, diagnose negative length even for pointers. 1458 (handle_omp_array_sections): Add IS_OMP argument, use auto_vec for 1459 types, pass IS_OMP down to handle_omp_array_sections_1, handle 1460 array sections in reduction clause, set 1461 OMP_CLAUSE_MAP_MAYBE_ZERO_LENGTH_ARRAY_SECTION if map could be zero 1462 length array section, use GOMP_MAP_FIRSTPRIVATE_POINTER for IS_OMP. 1463 (finish_omp_reduction_clause): Handle array sections and arrays. 1464 Use omp_clause_printable_decl. 1465 (finish_omp_declare_simd_methods, cp_finish_omp_clause_depend_sink): 1466 New functions. 1467 (finish_omp_clauses): Add ALLOW_FIELDS and DECLARE_SIMD arguments. 1468 Handle new OpenMP 4.5 clauses and new restrictions for the old 1469 ones, handle non-static data members, reject this keyword when not 1470 allowed. 1471 (push_omp_privatization_clauses, pop_omp_privatization_clauses, 1472 save_omp_privatization_clauses, restore_omp_privatization_clauses): 1473 New functions. 1474 (handle_omp_for_class_iterator): Handle OMP_TASKLOOP class iterators. 1475 Add collapse and ordered arguments. Fix handling of lastprivate 1476 iterators in doacross loops. 1477 (finish_omp_for): Add ORIG_DECLV argument, handle doacross loops, 1478 adjust c_finish_omp_for, handle_omp_for_class_iterator and 1479 finish_omp_clauses callers. Fill in OMP_CLAUSE_LINEAR_STEP on simd 1480 loops with non-static data member iterators. 1481 14822015-10-12 Ville Voutilainen <ville.voutilainen@gmail.com> 1483 1484 PR c++/58566 1485 * lambda.c (lambda_return_type): Return error_mark_node 1486 instead of void_type_node for the error cases. 1487 14882015-10-08 Jason Merrill <jason@redhat.com> 1489 1490 * cp-tree.h (SIMPLE_TARGET_EXPR_P): New. 1491 * init.c (get_nsdmi): Use it. 1492 * typeck2.c (massage_init_elt): Use it. 1493 14942015-10-07 Jason Merrill <jason@redhat.com> 1495 1496 PR c++/67557 1497 * call.c (is_base_field_ref): New. 1498 (unsafe_copy_elision_p): New. 1499 (build_over_call): Use it. 1500 15012015-10-07 Marek Polacek <polacek@redhat.com> 1502 1503 PR sanitizer/67867 1504 * search.c (accessible_p): Initialize OTYPE to NULL_TREE. 1505 15062015-10-07 Marek Polacek <polacek@redhat.com> 1507 1508 * cp-gimplify.c (genericize_if_stmt): Use protected_set_expr_location. 1509 (genericize_cp_loop): Likewise. 1510 * decl.c (cxx_maybe_build_cleanup): Likewise. 1511 * parser.c (cp_parser_binary_expression): Likewise. 1512 (cp_parser_omp_for_loop): Likewise. 1513 (cp_parser_omp_construct): Likewise. 1514 * semantics.c (finish_transaction_stmt): Likewise. 1515 (build_transaction_expr): Likewise. 1516 15172015-10-06 Jason Merrill <jason@redhat.com> 1518 1519 PR c++/67810 1520 * parser.c (cp_parser_fold_expr_p): Remove. 1521 (is_binary_op): New. 1522 (cp_parser_fold_expression): Take LHS as parameter. 1523 (cp_parser_primary_expression): Call it after parsing an expression. 1524 (cp_parser_binary_expression, cp_parser_assignment_operator_opt) 1525 (cp_parser_expression): Ignore an operator followed by '...'. 1526 (is_binary_op): New. 1527 * pt.c (tsubst_unary_left_fold, tsubst_binary_left_fold) 1528 (tsubst_unary_right_fold, tsubst_binary_right_fold): Handle errors. 1529 15302015-10-06 Marek Polacek <polacek@redhat.com> 1531 1532 PR c++/67863 1533 * call.c (build_conditional_expr_1): Build the COND_EXPR with 1534 a location. 1535 15362015-10-05 Paolo Carlini <paolo.carlini@oracle.com> 1537 1538 PR c++/53856 1539 * pt.c (check_default_tmpl_args): Per [temp.param]/9, do not 1540 reject default template arguments in out of class definitions 1541 of members of non-template classes. 1542 15432015-10-05 Richard Sandiford <richard.sandiford@arm.com> 1544 1545 * tree.c (cp_tree_equal): Use real_equal instead of 1546 REAL_VALUES_EQUAL. 1547 15482015-10-04 Jason Merrill <jason@redhat.com> 1549 1550 Implement N4514, C++ Extensions for Transactional Memory. 1551 * cp-tree.h (struct cp_declarator): Add tx_qualifier field. 1552 (BCS_NORMAL, BCS_TRANSACTION): New enumerators. 1553 * lex.c (init_reswords): Limit TM kewords to -fgnu-tm. 1554 * parser.c (cp_lexer_get_preprocessor_token): Fix @synchronized. 1555 (make_call_declarator): Take tx_qualifier. 1556 (cp_parser_tx_qualifier_opt): New. 1557 (cp_parser_lambda_declarator_opt): Use it. 1558 (cp_parser_direct_declarator): Likewise. 1559 (cp_parser_statement): Handle atomic_noexcept, atomic_cancel. 1560 (cp_parser_compound_statement): Change in_try parameter to bcs_flags. 1561 (cp_parser_std_attribute): Map optimize_for_synchronized to 1562 transaction_callable. 1563 (cp_parser_transaction): Take the token. Handle atomic_noexcept. 1564 * lambda.c (maybe_add_lambda_conv_op): Handle transaction-safety. 1565 * call.c (enum conversion_kind): Add ck_tsafe. 1566 (standard_conversion): Handle transaction-safety conversion. 1567 (convert_like_real, resolve_address_of_overloaded_function): Likewise. 1568 (check_methods): Diagnose transaction_safe_dynamic on non-virtual 1569 function. 1570 (look_for_tm_attr_overrides): Don't inherit transaction_safe_dynamic. 1571 * cvt.c (tx_safe_fn_type_p, tx_unsafe_fn_variant) 1572 (can_convert_tx_safety): New. 1573 * typeck.c (composite_pointer_type): Handle transaction-safety. 1574 * name-lookup.h (enum scope_kind): Add sk_transaction. 1575 * name-lookup.c (begin_scope): Handle it. 1576 * semantics.c (begin_compound_stmt): Pass it. 1577 * decl.c (check_previous_goto_1): Check it. 1578 (struct named_label_entry): Add in_transaction_scope. 1579 (poplevel_named_label_1): Set it. 1580 (check_goto): Check it. 1581 (duplicate_decls): A specialization can be transaction_safe 1582 independently of its template. 1583 (grokdeclarator): Handle tx-qualifier. 1584 * rtti.c (ptr_initializer): Handle transaction-safe. 1585 * search.c (check_final_overrider): Check transaction_safe_dynamic. 1586 Don't check transaction_safe. 1587 * mangle.c (write_function_type): Mangle transaction_safe here. 1588 (write_CV_qualifiers_for_type): Not here. 1589 (write_type): Preserve transaction_safe when stripping attributes. 1590 * error.c (dump_type_suffix): Print transaction_safe. 1591 15922015-10-02 Marek Polacek <polacek@redhat.com> 1593 1594 PR c/64249 1595 * parser.c (cp_parser_statement): Add CHAIN parameter and pass it 1596 down to cp_parser_selection_statement. 1597 (cp_parser_selection_statement): Add CHAIN parameter. Add code to 1598 warn about duplicated if-else-if conditions. 1599 (cp_parser_implicitly_scoped_statement): Add CHAIN parameter and pass 1600 it down to cp_parser_statement. 1601 16022015-10-01 Ville Voutilainen <ville.voutilainen@gmail.com> 1603 1604 PR c++/54430 1605 * name-lookup.c (push_binding): Make non-static. 1606 * name-lookup.h (push_binding): Declare it. 1607 * parser.c (cp_parser_range_for): Use it, get the range 1608 declaration away from the scope until the range expression 1609 has been parsed, then restore the declaration. 1610 16112015-09-23 Ville Voutilainen <ville.voutilainen@gmail.com> 1612 1613 Fix small typos in the coding rule enforcement warnings. 1614 * parser.c (cp_parser_namespace_definition): Replace 'namepace' 1615 with 'namespace'. 1616 16172015-09-22 Nathan Sidwell <nathan@codesourcery.com> 1618 1619 * decl.c (xref_basetypes): Check virtual and/or multiple 1620 inheritance warning. 1621 * parser.c (cp_parser_namespace_definition): Check namespaces 1622 warning. 1623 * pt.c (push_template_decl_real): Check templates warning. 1624 16252015-09-22 Jason Merrill <jason@redhat.com> 1626 1627 * mangle.c (abi_warn_or_compat_version_crosses): New. 1628 Use it instead of abi_version_crosses. 1629 (mangle_decl): Deal with -fabi-compat-version and -Wabi separately. 1630 16312015-09-21 Ville Voutilainen <ville.voutilainen@gmail.com> 1632 1633 Complete the implementation of N4230, Nested namespace definition. 1634 * parser.c (cp_parser_namespace_definition): Support namespace 1635 attributes both before and after the namespace identifier. 1636 16372015-09-19 Trevor Saunders <tbsaunde@tbsaunde.org> 1638 1639 * cp-gimplify.c (gimplify_must_not_throw_expr): Adjust. 1640 16412015-09-18 Ville Voutilainen <ville.voutilainen@gmail.com> 1642 1643 Implement nested namespace definitions. 1644 * parser.c (cp_parser_namespace_definition): Grok nested namespace 1645 definitions. 1646 16472015-09-18 Manuel López-Ibáñez <manu@gcc.gnu.org> 1648 1649 * parser.c (pragma_lex): Add loc argument. Rearrange the code to 1650 make it more similar to the C version. 1651 16522015-09-17 Andrew Sutton <andrew.n.sutton@gmail.com> 1653 Jason Merrill <jason@redhat.com> 1654 1655 Implement N4295 fold-expressions. 1656 * cp-tree.def: Add UNARY_LEFT_FOLD_EXPR, UNARY_RIGHT_FOLD_EXPR, 1657 BINARY_LEFT_FOLD_EXPR, BINARY_RIGHT_FOLD_EXPR. 1658 * cp-objcp-common.c (cp_common_init_ts): Handle them. 1659 * cp-tree.h (FOLD_EXPR_CHECK, BINARY_FOLD_EXPR_CHECK, FOLD_EXPR_P) 1660 (FOLD_EXPR_MODIFY_P, FOLD_EXPR_OP, FOLD_EXPR_PACK, FOLD_EXPR_INIT): New. 1661 * parser.c (cp_parser_skip_to_closing_parenthesis): Split out... 1662 (cp_parser_skip_to_closing_parenthesis_1): This function. Change 1663 or_comma parameter to or_ttype. 1664 (cp_parser_fold_operator, cp_parser_fold_expr_p) 1665 (cp_parser_fold_expression): New. 1666 (cp_parser_primary_expression): Use them. 1667 * pt.c (expand_empty_fold, fold_expression, tsubst_fold_expr_pack) 1668 (tsubst_fold_expr_init, expand_left_fold, tsubst_unary_left_fold) 1669 (tsubst_binary_left_fold, expand_right_fold) 1670 (tsubst_unary_right_fold, tsubst_binary_right_fold): New. 1671 (tsubst_copy): Use them. 1672 (type_dependent_expression_p): Handle fold-expressions. 1673 * semantics.c (finish_unary_fold_expr) 1674 (finish_left_unary_fold_expr, finish_right_unary_fold_expr) 1675 (finish_binary_fold_expr): New. 1676 16772015-09-17 Richard Biener <rguenther@suse.de> 1678 1679 * cp-tree.h (note_decl_for_pch): Remove. 1680 * class.c (build_clone): Do not call note_decl_for_pch. 1681 * semantics.c (finish_member_declaration): Likewise. 1682 (note_decl_for_pch): Remove. 1683 * decl2.c (c_parse_final_cleanups): Mangle all globals before 1684 writing the PCH. 1685 16862015-09-14 Jason Merrill <jason@redhat.com> 1687 1688 PR c++/44282 1689 * mangle.c (write_CV_qualifiers_for_type): Also warn about regparm 1690 mangling with lower -fabi-version. 1691 16922015-09-14 Paolo Carlini <paolo.carlini@oracle.com> 1693 1694 PR c++/51911 1695 * parser.c (cp_parser_new_expression): Enforce 5.3.4/2 (as amended 1696 per the spirit of DR 1467). 1697 16982015-09-11 Mark Wielaard <mjw@redhat.com> 1699 1700 PR c/28901 1701 * cp-objcp-common.c (cxx_warn_unused_global_decl): Remove hard-coded 1702 VAR_P TREE_READONLY override. 1703 17042015-09-10 Paolo Carlini <paolo.carlini@oracle.com> 1705 1706 PR c++/67318 1707 * parser.c (cp_parser_parameter_declaration): Consume the ellipsis 1708 and set template_parameter_pack_p also when the type is null. 1709 17102015-09-09 Mark Wielaard <mjw@redhat.com> 1711 1712 * typeck.c (cp_build_binary_op): Check and warn when nonnull arg 1713 parm against NULL. 1714 17152015-09-10 Jakub Jelinek <jakub@redhat.com> 1716 1717 PR c++/67522 1718 * semantics.c (handle_omp_array_sections_1): Only run 1719 type_dependent_expression_p on VAR_DECL/PARM_DECLs. 1720 (finish_omp_clauses) <case OMP_CLAUSE_LINEAR>: Likewise. 1721 Don't adjust OMP_CLAUSE_LINEAR_STEP if OMP_CLAUSE_DECL 1722 is not a VAR_DECL/PARM_DECL. 1723 1724 PR c++/67511 1725 * semantics.c (handle_omp_for_class_iterator): Don't wrap 1726 error_mark_node into a NOP_EXPR to void_type_node. 1727 17282015-09-09 Paolo Carlini <paolo.carlini@oracle.com> 1729 1730 PR c++/53184 1731 * decl2.c (constrain_class_visibility): Use Wsubobject-linkage. 1732 17332015-09-09 Jakub Jelinek <jakub@redhat.com> 1734 1735 PR c++/67504 1736 * parser.c (cp_parser_omp_clause_collapse): Test tree_fits_shwi_p 1737 before INTEGRAL_TYPE_P test. 1738 17392015-09-08 Jason Merrill <jason@redhat.com> 1740 1741 PR c++/67041 1742 * pt.c (tsubst_copy_and_build): Handle variables like functions. 1743 17442015-09-08 Paolo Carlini <paolo.carlini@oracle.com> 1745 1746 PR c++/67369 1747 * pt.c (tsubst_copy, [case FUNCTION_DECL]): Do not call tsubst 1748 if the first argument isn't a template. 1749 17502015-09-03 Martin Sebor <msebor@redhat.com> 1751 1752 PR c/66516 1753 * cp-tree.h (mark_rvalue_use, decay_conversion): Add new 1754 argument(s). 1755 * expr.c (mark_rvalue_use): Use new argument. 1756 * call.c (build_addr_func): Call decay_conversion with new 1757 argument. 1758 * pt.c (convert_template_argument): Call reject_gcc_builtin. 1759 * typeck.c (decay_conversion): Use new argument. 1760 (c_decl_implicit): Define. 1761 17622015-09-02 Balaji V. Iyer <balaji.v.iyer@intel.com> 1763 1764 PR middle-end/60586 1765 * cp-gimplify.c (cilk_cp_gimplify_call_params_in_spawned_fn): New 1766 function. 1767 (cp_gimplify_expr): Added a call to the function 1768 cilk_cp_gimplify_call_params_in_spawned_fn. 1769 17702015-09-01 Paolo Carlini <paolo.carlini@oracle.com> 1771 1772 PR c++/61753 1773 * decl.c (smallest_type_quals_location): New. 1774 (check_special_function_return_type): Use the latter; add int and 1775 const location_t* parameters. 1776 (grokdeclarator): Adjust check_special_function_return_type call. 1777 17782015-08-29 Markus Trippelsdorf <markus@trippelsdorf.de> 1779 1780 PR c++/67371 1781 * constexpr.c (potential_constant_expression_1): Remove IF_STMT 1782 case. Move label to COND_EXPR case. Remove checking of 1783 SWITCH_STMT_BODY. 1784 17852015-08-22 Paolo Carlini <paolo.carlini@oracle.com> 1786 1787 PR c++/63693 1788 * pt.c (resolve_typename_type): Use CLASSTYPE_PRIMARY_TEMPLATE_TYPE 1789 only on class types. 1790 17912015-08-21 Jason Merrill <jason@redhat.com> 1792 1793 PR c++/67240 1794 * constraint.cc (satisfy_implicit_conversion_constraint): Also 1795 check for NULL_TREE. 1796 17972015-08-21 Paolo Carlini <paolo.carlini@oracle.com> 1798 1799 * decl.c (grokvardecl): Simplify the latter. 1800 18012015-08-21 Paolo Carlini <paolo.carlini@oracle.com> 1802 1803 * decl.c (grokvardecl): Complete check added for c++/67065. 1804 18052015-08-20 Jason Merrill <jason@redhat.com> 1806 1807 * name-lookup.c (hidden_name_p): Handle OVERLOAD. 1808 18092015-08-20 Paolo Carlini <paolo.carlini@oracle.com> 1810 1811 PR c++/67065 1812 * decl.c (grokvardecl): Reject 'main' as global variable. 1813 18142015-08-19 Jason Merrill <jason@redhat.com> 1815 1816 PR c++/66957 1817 * search.c (protected_accessible_p): Remove redundant access_in_type. 1818 Add otype parm instead of walking binfo. 1819 (friend_accessible_p): Check SCOPE itself. Handle class 1820 templates. Pass through otype. 1821 (dfs_accessible_post): Handle all accessibility cases. 1822 (dfs_accessible_pre): New. 1823 (accessible_p): Use it. Don't check protected access here. Pass 1824 decl and otype to dfs_walk. 1825 (member_declared_in_type, dfs_access_in_type_pre): New. 1826 (access_in_type): Use dfs_access_in_type_pre. 1827 * friend.c (add_friend): Fix multiple friends with the same name. 1828 1829 * lambda.c (current_nonlambda_scope): New. 1830 18312015-08-18 Trevor Saunders <tbsaunde@tbsaunde.org> 1832 1833 * call.c, class.c, cp-tree.h, decl.c, except.c, mangle.c, 1834 method.c, name-lookup.h, parser.c, parser.h, rtti.c, 1835 semantics.c, typeck2.c: Remove useless typedefs. 1836 18372015-08-18 Jason Merrill <jason@redhat.com> 1838 1839 DR 1155 1840 * pt.c (convert_nontype_argument): Allow internal linkage in C++11 1841 and up. 1842 18432015-08-17 Paolo Carlini <paolo.carlini@oracle.com> 1844 1845 PR c++/67216 1846 * call.c (null_ptr_cst_p): In C++11 return 'false' for 'false'. 1847 18482015-08-17 Jason Merrill <jason@redhat.com> 1849 1850 PR c++/67244 1851 * pt.c (tsubst_copy_and_build): Call insert_pending_capture_proxies. 1852 1853 PR c++/67104 1854 * constexpr.c (array_index_cmp, find_array_ctor_elt): New. 1855 (cxx_eval_array_reference, cxx_eval_store_expression): Use them. 1856 1857 * constexpr.c (cxx_eval_store_expression): Don't set 1858 CONSTRUCTOR_NO_IMPLICIT_ZERO if we have an enclosing CONSTRUCTOR 1859 without it. 1860 (cxx_eval_array_reference): Check it. 1861 1862 * except.c (check_noexcept_r): Assert that fn is POINTER_TYPE_P. 1863 18642015-08-14 Jason Merrill <jason@redhat.com> 1865 1866 PR c++/65974 1867 * decl2.c (mark_vtable_entries): Suppress -Wdeprecated. 1868 18692015-08-12 Jason Merrill <jason@redhat.com> 1870 1871 PR c++/67104 1872 * constexpr.c (cxx_eval_array_reference): Fix typo. 1873 1874 PR c++/67104 1875 * constexpr.c (cxx_eval_array_reference): Handle sparse 1876 CONSTRUCTORs. 1877 1878 PR c++/67108 1879 * decl2.c (c_parse_final_cleanups): Set at_eof to 2 at end. 1880 * error.c (dump_template_bindings): Don't tsubst in that case. 1881 1882 PR c++/67161 1883 * error.c (dump_decl) [TEMPLATE_ID_EXPR]: Pass 1884 TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS. 1885 18862015-08-08 Jason Merrill <jason@redhat.com> 1887 1888 PR c++/67152 1889 * pt.c (process_partial_specialization): Call 1890 associate_classtype_constraints. 1891 1892 PR c++/67159 1893 * constraint.cc (finish_template_introduction): 1894 SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT. 1895 1896 PR c++/67142 1897 * pt.c (equal): Make sure tmpl is actually a template. 1898 1899 PR c++/67144 1900 * call.c (joust): Only call more_constrained on decls. 1901 19022015-08-06 Andrew Sutton <andrew.n.sutton@gmail.com> 1903 Braden Obrzut <admin@maniacsvault.net> 1904 Jason Merrill <jason@redhat.com> 1905 Ville Voutilainen <ville.voutilainen@gmail.com> 1906 1907 Add C++ Concepts TS support. 1908 * constraint.cc, logic.cc: New files. 1909 * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add constraint.o and logic.o. 1910 (c++.tags): Also process .cc files. 1911 * call.c (enum rejection_reason_code): Add rr_constraint_failure. 1912 (print_z_candidate): Handle it. 1913 (constraint_failure): New. 1914 (add_function_candidate): Check constraints. 1915 (build_new_function_call): Handle evaluating concepts. 1916 (joust): Check more_constrained. 1917 * class.c (add_method): Check equivalently_constrained. 1918 (build_clone): Copy constraints. 1919 (currently_open_class): Return tree. 1920 (resolve_address_of_overloaded_function): Check constraints. 1921 * constexpr.c (cxx_eval_constant_expression): Handle REQUIRES_EXPR. 1922 (potential_constant_expression_1): Likewise. 1923 * cp-objcp-common.c (cp_tree_size): Handle CONSTRAINT_INFO. 1924 (cp_common_init_ts): Handle WILDCARD_DECL and REQUIRES_EXPR. 1925 * cp-tree.def: Add CONSTRAINT_INFO, WILDCARD_DECL, REQUIRES_EXPR, 1926 SIMPLE_REQ, TYPE_REQ, COMPOUND_REQ, NESTED_REQ, PRED_CONSTR, 1927 EXPR_CONSTR, TYPE_CONSTR, ICONV_CONSTR, DEDUCT_CONSTR, 1928 EXCEPT_CONSTR, PARM_CONSTR, CONJ_CONSTR, DISJ_CONSTR. 1929 * cp-tree.h (struct tree_constraint_info, check_nonnull) 1930 (check_constraint_info, CI_TEMPLATE_REQS, CI_DECLARATOR_REQS) 1931 (CI_ASSOCIATED_CONSTRAINTS, CI_NORMALIZED_CONSTRAINTS) 1932 (CI_ASSUMPTIONS, TEMPLATE_PARMS_CONSTRAINTS) 1933 (TEMPLATE_PARM_CONSTRAINTS, COMPOUND_REQ_NOEXCEPT_P) 1934 (PLACEHOLDER_TYPE_CONSTRAINTS, PRED_CONSTR_EXPR, EXPR_CONSTR_EXPR) 1935 (TYPE_CONSTR_TYPE, ICONV_CONSTR_EXPR, ICONV_CONSTR_TYPE) 1936 (DEDUCT_CONSTR_EXPR, DEDUCT_CONSTR_PATTERN) 1937 (DEDUCT_CONSTR_PLACEHOLDER, EXCEPT_CONSTR_EXPR, PARM_CONSTR_PARMS) 1938 (PARM_CONSTR_OPERAND, CONSTRAINT_VAR_P, CONSTRAINED_PARM_CONCEPT) 1939 (CONSTRAINED_PARM_EXTRA_ARGS, CONSTRAINED_PARM_PROTOTYPE) 1940 (DECL_DECLARED_CONCEPT_P, WILDCARD_PACK_P, struct cp_unevaluated) 1941 (struct local_specialization_stack, enum auto_deduction_context) 1942 (variable_concept_p, concept_template_p) 1943 (struct deferring_access_check_sentinel): New. 1944 (enum cp_tree_node_structure_enum): Add TS_CP_CONSTRAINT_INFO. 1945 (union lang_tree_node): Add constraint_info field. 1946 (struct lang_decl_base): Add concept_p flag. 1947 (enum cp_decl_spec): Add ds_concept. 1948 (struct cp_declarator): Add requires_clause. 1949 * cxx-pretty-print.c (cxx_pretty_printer::primary_expression) 1950 (cxx_pretty_printer::expression): Handle REQUIRES_EXPR, 1951 TRAIT_EXPR, *_CONSTR. 1952 (pp_cxx_parameter_declaration_clause): Accept a chain of 1953 PARM_DECLs. 1954 (cxx_pretty_printer::declarator): Print requires-clause. 1955 (pp_cxx_template_declaration): Likewise. 1956 (pp_cxx_trait_expression): Handle CPTK_IS_SAME_AS. 1957 (pp_cxx_requires_clause, pp_cxx_requirement) 1958 (pp_cxx_requirement_list, pp_cxx_requirement_body) 1959 (pp_cxx_requires_expr, pp_cxx_simple_requirement) 1960 (pp_cxx_type_requirement, pp_cxx_compound_requirement) 1961 (pp_cxx_nested_requirement, pp_cxx_predicate_constraint) 1962 (pp_cxx_expression_constraint, pp_cxx_type_constraint) 1963 (pp_cxx_implicit_conversion_constraint) 1964 (pp_cxx_argument_deduction_constraint) 1965 (pp_cxx_exception_constraint, pp_cxx_parameterized_constraint) 1966 (pp_cxx_conjunction, pp_cxx_disjunction, pp_cxx_constraint): New. 1967 * cxx-pretty-print.h: Declare them. 1968 * decl.c (decls_match): Compare constraints. 1969 (duplicate_decls): Likewise. Remove constraints before freeing. 1970 (cxx_init_decl_processing): Call init_constraint_processing. 1971 (cp_finish_decl): Diagnose concept without initializer. 1972 (grokfndecl, grokvardecl): Handle concepts and constraints. 1973 (grokdeclarator): Handle concept, requires-clause. 1974 (grokparms): No longer static. 1975 (xref_tag_1): Check constraints. 1976 (finish_function): Call check_function_concept. 1977 (cp_tree_node_structure): Handle CONSTRAINT_INFO. 1978 (check_concept_refinement, is_concept_var, check_concept_fn): New. 1979 * decl2.c (check_classfn): Compare constraints. 1980 (mark_used): Don't instantiate concepts. 1981 * error.c (dump_template_decl): Print constraints. 1982 (dump_function_decl): Likewise. 1983 (dump_expr): Handle REQUIRES_EXPR, *_REQ, *_CONSTR. 1984 * lex.c (init_reswords): Set D_CXX_CONCEPTS. 1985 * method.c (implicitly_declare_fn): Copy constraints from 1986 inherited ctor. 1987 * parser.h (struct cp_parser): Add in_result_type_constraint_p and 1988 prevent_constrained_type_specifiers fields. 1989 * parser.c (make_call_declarator): Add requires_clause parm. 1990 (cp_parser_new): Clear prevent_constrained_type_specifiers. 1991 (cp_parser_primary_expression): Handle RID_IS_SAME_AS, RID_REQUIRES. 1992 (cp_parser_postfix_expression): Set prevent_constrained_type_specifiers. 1993 (cp_parser_trait_expr): Handle RID_IS_SAME_AS. 1994 (cp_parser_declaration): Handle concept introduction. 1995 (cp_parser_member_declaration): Likewise. 1996 (cp_parser_template_parameter): Handle constrained parameter. 1997 (cp_parser_type_parameter): Handle constraints. 1998 (cp_parser_decl_specifier_seq): Handle RID_CONCEPT. 1999 (cp_parser_template_id): Handle partial concept id. 2000 (cp_parser_type_name): Add overload that takes typename_keyword_p. 2001 Handle constrained parameter. 2002 (cp_parser_nonclass_name): Handle concept names. 2003 (cp_parser_alias_declaration): Handle constraints. 2004 (cp_parser_late_return_type_opt): Also handle requires-clause. 2005 (cp_parser_type_id_1): Handle deduction constraint. 2006 (cp_parser_parameter_declaration): Handle constrained parameters. 2007 (cp_parser_class_specifier_1): Handle constraints. 2008 (cp_parser_template_declaration_after_parameters): Split out from 2009 cp_parser_template_declaration_after_export. 2010 (cp_parser_single_declaration): Handle constraints. 2011 (synthesize_implicit_template_parm): Handle constraints. 2012 (cp_parser_maybe_concept_name, cp_parser_maybe_partial_concept_id) 2013 (cp_parser_introduction_list, get_id_declarator) 2014 (get_unqualified_id, is_constrained_parameter) 2015 (cp_parser_check_constrained_type_parm) 2016 (cp_parser_constrained_type_template_parm) 2017 (cp_parser_constrained_template_template_parm) 2018 (constrained_non_type_template_parm, finish_constrained_parameter) 2019 (declares_constrained_type_template_parameter) 2020 (declares_constrained_template_template_parameter) 2021 (check_type_concept, cp_parser_maybe_constrained_type_specifier) 2022 (cp_parser_maybe_concept_name, cp_parser_maybe_partial_concept_id) 2023 (cp_parser_requires_clause, cp_parser_requires_clause_opt) 2024 (cp_parser_requires_expression) 2025 (cp_parser_requirement_parameter_list, cp_parser_requirement_body) 2026 (cp_parser_requirement_list, cp_parser_requirement) 2027 (cp_parser_simple_requirement, cp_parser_type_requirement) 2028 (cp_parser_compound_requirement, cp_parser_nested_requirement) 2029 (cp_parser_template_introduction) 2030 (cp_parser_explicit_template_declaration) 2031 (get_concept_from_constraint): New. 2032 * pt.c (local_specialization_stack): Implement. 2033 (maybe_new_partial_specialization): New. 2034 (maybe_process_partial_specialization): Use it. 2035 (retrieve_local_specialization, register_local_specialization) 2036 (template_parm_to_arg, build_template_decl, extract_fnparm_pack) 2037 (tsubst_expr): No longer static. 2038 (spec_hasher::equal): Compare constraints. 2039 (determine_specialization): Handle constraints. 2040 (check_explicit_specialization): Handle concepts. 2041 (process_template_parm): Handle constraints. 2042 (end_template_parm_list): Add overload taking no arguments. 2043 (process_partial_specialization): Handle concepts and constraints. 2044 Register partial specializations of variable templates. 2045 (redeclare_class_template): Handle constraints. 2046 (convert_template_argument): Handle WILDCARD_DECL. Check 2047 is_compatible_template_arg. 2048 (coerce_template_parameter_pack): Handle wildcard packs. 2049 (coerce_template_parms): DR 1430 also applies to concepts. Add 2050 overloads taking fewer parameters. 2051 (lookup_template_class_1): Handle constraints. 2052 (lookup_template_variable): Concepts are always bool. 2053 (finish_template_variable): Handle concepts and constraints. 2054 (tsubst_friend_class): Handle constraints. 2055 (gen_elem_of_pack_expansion_instantiation): Handle constraints. 2056 (tsubst_pack_expansion): Handle local parameters. 2057 (tsubst_decl) [FUNCTION_DECL]: Handle constraints. 2058 (tsubst) [TEMPLATE_TYPE_PARM]: Handle deduction constraints. 2059 (tsubst_copy_and_build): Handle REQUIRES_EXPR. 2060 (more_specialized_fn, more_specialized_partial_spec): Check constraints. 2061 (more_specialized_inst): Split out from most_specialized_instantiation. 2062 (most_specialized_partial_spec): Check constraints. 2063 (instantiate_decl): Never instantiate a concept. 2064 (value_dependent_expression_p): Handle REQUIRES_EXPR, TYPE_REQ, 2065 variable concepts. 2066 (type_dependent_expression_p): Handle WILDCARD_DECL, REQUIRES_EXPR. 2067 (instantiation_dependent_r): Handle REQUIRES_EXPR and concepts. 2068 (do_auto_deduction): Add overload taking tsubst flags and context enum. 2069 Handle constraints. 2070 (get_template_for_ordering, most_constrained_function) 2071 (is_compatible_template_arg, convert_wildcard_argument) 2072 (struct constr_entry, struct constr_hasher, decl_constraints) 2073 (valid_constraints_p, get_constraints, set_constraints) 2074 (remove_constraints, init_constraint_processing): New. 2075 * ptree.c (cxx_print_xnode): Handle CONSTRAINT_INFO. 2076 * search.c (lookup_member): Do lookup in the open partial 2077 instantiation. 2078 * semantics.c (finish_template_template_parm): Handle constraints. 2079 (fixup_template_type): New. 2080 (finish_template_type): Call it. 2081 (trait_expr_value, finish_trait_expr): Handle CPTK_IS_SAME_AS. 2082 * tree.c (cp_tree_equal): Handle local parameters, CONSTRAINT_INFO. 2083 (cp_walk_subtrees): Handle REQUIRES_EXPR. 2084 * typeck.c (cp_build_function_call_vec): Check constraints. 2085 20862015-08-06 Jason Merrill <jason@redhat.com> 2087 2088 PR c++/66533 2089 * parser.c (cp_parser_primary_expression): Don't skip to the end 2090 of the statement if we're parsing tentatively. 2091 2092 PR c++/67130 2093 PR c++/67131 2094 PR c++/66260 2095 * mangle.c (write_expression) [TEMPLATE_ID_EXPR]: Handle variable 2096 templates. 2097 * pt.c (tsubst_copy_and_build): Check for argument substitution 2098 failure. 2099 21002015-08-05 Jason Merrill <jason@redhat.com> 2101 2102 * pt.c (determine_specialization): Print candidates after 'no 2103 match' error. 2104 2105 * decl.c (cp_finish_decl): Tidy. 2106 * typeck.c (finish_class_member_access_expr): Use 2107 type_dependent_expression_p. 2108 * semantics.c (finish_id_expression): Use 2109 type_dependent_expression_p. Don't build_qualified_name for a 2110 decl in non-dependent scope. 2111 * pt.c (type_dependent_expression_p): A TEMPLATE_ID_EXPR of an 2112 identifier is dependent. Remove variable_template_p check. 2113 2114 PR c++/66260 2115 PR c++/66596 2116 PR c++/66649 2117 PR c++/66923 2118 * pt.c (lookup_template_variable): Use NULL_TREE for type. 2119 (instantiate_template_1): Also set DECL_TI_ARGS based on 2120 the immediate parent. 2121 (tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: Handle variable templates. 2122 (finish_template_variable): Add complain parm. 2123 * cp-tree.h: Adjust. 2124 2125 PR c++/65195 2126 PR c++/66619 2127 * semantics.c (finish_id_expression): Call convert_from_reference 2128 for variable template. 2129 21302015-08-04 Jason Merrill <jason@redhat.com> 2131 2132 * pt.c (lookup_template_class_1): Clear elt.spec. 2133 2134 * tree.c (build_target_expr): Copy the location from value. 2135 21362015-08-02 Patrick Palka <ppalka@gcc.gnu.org> 2137 2138 * parser.c (cp_parser_selection_statement): Move handling of 2139 semicolon body to ... 2140 (cp_parser_implicitly_scoped_statement): .. here. Call 2141 warn_for_misleading_indentation even when the body is a 2142 semicolon. Extract token_indent_infos corresponding to the 2143 guard, body and next tokens. Adjust call to 2144 warn_for_misleading_indentation accordingly. Take 2145 token_indent_info argument. 2146 (cp_parser_already_scoped_statement): Likewise. 2147 (cp_parser_selection_statement, cp_parser_iteration_statement): 2148 Extract a token_indent_info corresponding to the guard token. 2149 21502015-08-01 Caroline Tice <cmtice@google.com> 2151 2152 PR 66521 2153 * mangle.c : Add vtable-verify.h to include files. 2154 (get_mangled_vtable_map_var_name): If the DECL_ASSEMBLER_NAME 2155 is "<anon>" get the real mangled name for the class instead, and 2156 also store the real mangled name in a vector for use later. 2157 21582015-07-31 Marek Polacek <polacek@redhat.com> 2159 2160 PR sanitizer/66977 2161 * typeck.c (get_member_function_from_ptrfunc): Don't sanitize 2162 RSHIFT_EXPR. 2163 21642015-07-30 Paolo Carlini <paolo.carlini@oracle.com> 2165 2166 * class.c (check_for_override): Use DECL_SOURCE_LOCATION and "%qD" 2167 in warning_at instead of "%q+D" in warning. 2168 (warn_hidden): Likewise but use location_of. 2169 (finish_struct_anon_r): Likewise use DECL_SOURCE_LOCATION in permerror. 2170 (check_bitfield_decl, check_field_decls): Likewise in warning_at. 2171 (check_field_decls): Likewise for permerror. 2172 (explain_non_literal_class): Likewise for inform. 2173 (check_bases_and_members, layout_class_type): Likewise for warning_at. 2174 (note_name_declared_in_class): Use location_of in permerror. 2175 * name-lookup.c (diagnose_name_conflict): Use location_of in inform. 2176 (pushdecl_maybe_friend_1): Use DECL_SOURCE_LOCATION in pedwarn, 2177 inform, and warning_at. 2178 (check_for_out_of_scope_variable): Likewise for warning_at and 2179 permerror. 2180 21812015-07-30 Jason Merrill <jason@redhat.com> 2182 2183 DR 1558 2184 PR c++/67021 2185 * pt.c (tsubst_decl) [TYPE_DECL]: Clear TYPE_DEPENDENT_P_VALID. 2186 21872015-07-28 Paolo Carlini <paolo.carlini@oracle.com> 2188 2189 * call.c (build_op_delete_call, convert_like_real, build_over_call): 2190 Use Use DECL_SOURCE_LOCATION and "%qD" in inform and pedwarn instead 2191 of "%q+D". 2192 * constexpr.c (explain_invalid_constexpr_fn): Likewise. 2193 * decl.c (duplicate_decls): Likewise for warning/warning_at. 2194 * except.c (maybe_noexcept_warning): Likewise. 2195 * friend.c (make_friend_class): Likewise for inform. 2196 * mangle.c (mangle_decl): Likewise for warning/warning_at. 2197 * method.c (process_subob_fn, walk_field_subobs, 2198 maybe_explain_implicit_delete): Likewise for inform. 2199 * parser.c (cp_parser_lambda_introducer): Likewise. 2200 * pt.c (check_specialization_namespace, 2201 maybe_process_partial_specialization): Likewise for permerror. 2202 (redeclare_class_template): Likewise for inform_n. 2203 (coerce_template_parms, tsubst_copy_and_build): Likewise for inform. 2204 * search.c (check_final_overrider): Likewise. 2205 * semantics.c (process_outer_var_ref): Likewise. 2206 22072015-07-27 Jason Merrill <jason@redhat.com> 2208 2209 * constexpr.c (cxx_eval_call_expression): Don't add this call to 2210 the hash table if !depth_ok. 2211 22122015-07-27 Marek Polacek <polacek@redhat.com> 2213 2214 PR c++/66555 2215 PR c/54979 2216 * call.c (build_new_op_1): Call warn_tautological_cmp. 2217 * pt.c (tsubst_copy_and_build): Use sentinel to suppress tautological 2218 compare warnings. 2219 22202015-07-26 Patrick Palka <ppalka@gcc.gnu.org> 2221 2222 PR c++/18969 2223 * typeck.c (check_return_expr): Also do the basic return-value 2224 validity checking if processing_template_decl and yet types are 2225 not dependent. Remove obsolete code. 2226 22272015-07-26 Paolo Carlini <paolo.carlini@oracle.com> 2228 2229 * decl.c (poplevel): Use Use DECL_SOURCE_LOCATION and "%qD" 2230 in warning_at instead of "%q+D" in warning. 2231 (warn_extern_redeclared_static): Likewise for inform. 2232 (check_redeclaration_no_default_args): Likewise for permerror. 2233 (duplicate_decls): Likewise. 2234 (check_previous_goto_1): Likewise for inform. 2235 (check_goto, start_decl, check_for_uninitialized_const_var, 2236 start_preparsed_function, finish_function§): Likewise. 2237 * decl2.c (build_anon_union_vars, c_parse_final_cleanups): Likewise. 2238 * init.c (sort_mem_initializers): Likewise. 2239 * typeck.c (convert_for_initialization): Likewise for inform. 2240 (maybe_warn_about_returning_address_of_local): Likewise. 2241 * typeck2.c (abstract_virtuals_error_sfinae): Likewise for inform. 2242 (cxx_incomplete_type_diagnostic): Likewise for emit_diagnostic. 2243 22442015-07-25 Patrick Palka <ppalka@gcc.gnu.org> 2245 2246 PR c++/66857 2247 * cvt.c (ocp_convert): Don't call scalar_constant_value when 2248 converting to a class type. 2249 22502015-07-24 Jason Merrill <jason@redhat.com> 2251 2252 PR c++/64969 2253 * pt.c (splice_late_return_type): Correct deduced return type for 2254 abbreviated function template. 2255 22562015-07-24 Richard Biener <rguenther@suse.de> 2257 2258 * init.c (build_vec_init): Build iterator bound in the same 2259 type as the iterator. 2260 22612015-07-23 Marek Polacek <polacek@redhat.com> 2262 2263 PR c++/66572 2264 * pt.c (tsubst_copy_and_build): Add warn_logical_op sentinel. 2265 22662015-07-23 Paolo Carlini <paolo.carlini@oracle.com> 2267 2268 PR c++/52987 2269 * parser.c (cp_parser_simple_declaration): Robustify check avoiding 2270 redundant error messages. 2271 22722015-07-21 Paolo Carlini <paolo.carlini@oracle.com> 2273 2274 * decl.c (grokdeclarator): For an erroneous template parameter 2275 propagate error_mark_node as type. 2276 22772015-07-20 Marek Polacek <polacek@redhat.com> 2278 2279 PR c++/55095 2280 * typeck.c (cp_build_binary_op): Warn about left shift overflows. 2281 22822015-07-15 Jason Merrill <jason@redhat.com> 2283 2284 PR c++/65091 2285 * parser.c (cp_parser_unqualified_id): Don't accept ~x in a 2286 template if there is no type x in scope. 2287 22882015-07-14 Patrick Palka <ppalka@gcc.gnu.org> 2289 2290 PR c++/66850 2291 * pt.c (redeclare_class_template): Set the DECL_CONTEXTs of each 2292 template template parm in the redeclaration. 2293 (lookup_template_class_1): Peel off irrelevant template levels 2294 from current_template_parms before augmenting the argument 2295 list. 2296 22972015-07-14 Andrea Azzarone <azzaronea@gmail.com> 2298 2299 PR c++/65071 2300 * parser.c (cp_parser_sizeof_pack): Also consider template template 2301 parameters. 2302 23032015-07-14 Jason Merrill <jason@redhat.com> 2304 2305 * call.c (build_new_method_call_1): Call reshape_init. 2306 23072015-07-14 Paolo Carlini <paolo.carlini@oracle.com> 2308 2309 * pt.c (check_template_shadow): Emit error + inform instead of 2310 two errors. 2311 23122015-07-13 Patrick Palka <ppalka@gcc.gnu.org> 2313 2314 PR c++/65186 2315 * pt.c (invalid_nontype_parm_type_p): Accept a bound template 2316 template parm type under C++11 and later. 2317 23182015-07-12 Aldy Hernandez <aldyh@redhat.com> 2319 2320 * call.c: Fix double word typos. 2321 * cp-array-notation.c: Same. 2322 * cp-tree.h: Same. 2323 * init.c: Same. 2324 * name-lookup.c: Same. 2325 * parser.c: Same. 2326 23272015-07-10 Patrick Palka <ppalka@gcc.gnu.org> 2328 2329 PR c++/30044 2330 * pt.c (begin_template_parm_list): Add a dummy parameter level 2331 to current_template_parms. 2332 (end_template_parm_list): Remove the dummy parameter level 2333 before adding the real one. 2334 (tsubst): Don't attempt to substitute for template parameters 2335 corresponding to a dummy argument level. 2336 (template_parms_to_args): Remove obsolete hack for 2337 giving template template arguments the proper level. 2338 (splite_late_return_type): Remove obsolete hack for giving 2339 template template arguments the proper level. 2340 * error.c (dump_template_decl): Don't print dummy template 2341 levels. 2342 23432015-07-10 Paolo Carlini <paolo.carlini@oracle.com> 2344 2345 PR c++/54521 2346 * call.c (convert_like_real): Do not set LOOKUP_ONLYCONVERTING for 2347 the second step of copy-initialization. 2348 23492015-07-10 Jason Merrill <jason@redhat.com> 2350 2351 * pt.c (find_parameter_packs_r): Handle variable templates. 2352 (variable_template_specialization_p): New. 2353 * cp-tree.h: Declare it. 2354 2355 * parser.c (cp_parser_template_id): SET_EXPR_LOCATION. 2356 23572015-07-10 Eric Botcazou <ebotcazou@adacore.com> 2358 2359 * decl2.c (cpp_check): Revert latest change. 2360 23612015-07-09 Jason Merrill <jason@redhat.com> 2362 2363 * pt.c (instantiation_dependent_r) [TRAIT_EXPR]: Call 2364 value_dependent_expression_p. 2365 2366 * cp-tree.h (struct cp_parameter_declarator): Rename ellipsis_p to 2367 template_parameter_pack_p. 2368 * parser.c (declarator_can_be_parameter_pack): False if 2369 parameter_pack_p is set. 2370 (make_parameter_declarator): Add template_parameter_pack_p parm. 2371 (cp_parser_template_parameter): Remove parameter pack parsing. 2372 (cp_parser_parameter_declaration): Handle all parameter packs. 2373 Tweak default argument permerror. 2374 23752015-07-09 Andrew Sutton <andrew.n.sutton@gmail.com> 2376 2377 * parser.c (cp_parser_default_type_template_argument) 2378 (cp_parser_default_template_template_argument): Factor out from 2379 cp_parser_type_parameter. 2380 23812015-07-09 Paolo Carlini <paolo.carlini@oracle.com> 2382 2383 * typeck.c (warn_args_num): Rename to error_args_num. 2384 (convert_arguments): Adjust calls. 2385 23862015-07-09 Andrew MacLeod <amacleod@redhat.com> 2387 2388 * cp-ubsan.c: Don't include alloc-pool.h or lto-streamer.h. 2389 23902015-07-08 Eric Botcazou <ebotcazou@adacore.com> 2391 2392 * decl2.c (cpp_check): Deal with IS_CONSTEXPR. 2393 23942015-07-08 Jakub Jelinek <jakub@redhat.com> 2395 2396 * decl.c (grokfndecl): Handle flag_openmp_simd like flag_openmp. 2397 * pt.c (apply_late_template_attributes): Likewise. 2398 23992015-07-08 Marek Polacek <polacek@redhat.com> 2400 2401 PR c++/66748 2402 * tree.c (handle_abi_tag_attribute): Check for CLASS_TYPE_P before 2403 accessing TYPE_LANG_SPECIFIC node. 2404 24052015-07-07 Andrew MacLeod <amacleod@redhat.com> 2406 2407 * call.c: Adjust includes. 2408 * class.c: Likewise. 2409 * constexpr.c: Likewise. 2410 * cp-array-notation.c: Likewise. 2411 * cp-gimplify.c: Likewise. 2412 * cp-lang.c: Likewise. 2413 * cp-objcp-common.c: Likewise. 2414 * cp-ubsan.c: Likewise. 2415 * cvt.c: Likewise. 2416 * decl.c: Likewise. 2417 * decl2.c: Likewise. 2418 * dump.c: Likewise. 2419 * error.c: Likewise. 2420 * except.c: Likewise. 2421 * expr.c: Likewise. 2422 * friend.c: Likewise. 2423 * init.c: Likewise. 2424 * lambda.c: Likewise. 2425 * lex.c: Likewise. 2426 * mangle.c: Likewise. 2427 * method.c: Likewise. 2428 * name-lookup.c: Likewise. 2429 * optimize.c: Likewise. 2430 * parser.c: Likewise. 2431 * pt.c: Likewise. 2432 * ptree.c: Likewise. 2433 * repo.c: Likewise. 2434 * rtti.c: Likewise. 2435 * search.c: Likewise. 2436 * semantics.c: Likewise. 2437 * tree.c: Likewise. 2438 * typeck.c: Likewise. 2439 * typeck2.c: Likewise. 2440 24412015-07-07 Eric Botcazou <ebotcazou@adacore.com> 2442 2443 * decl2.c (cpp_check): Deal with IS_MOVE_CONSTRUCTOR. 2444 24452015-07-06 Jason Merrill <jason@redhat.com> 2446 2447 * pt.c (reduce_template_parm_level): Also build the TYPE_DECL 2448 for a template template parameter. 2449 (tsubst_decl) [TEMPLATE_DECL]: Use the TEMPLATE_DECL built 2450 by reduce_template_parm_level. 2451 2452 * pt.c (argument_pack_element_is_expansion_p): A decl pack is an 2453 expansion. 2454 24552015-07-02 Jason Merrill <jason@redhat.com> 2456 2457 PR c++/66743 2458 * pt.c (for_each_template_parm_r) [UNDERLYING_TYPE]: Use 2459 TYPE_VALUES_RAW rather than TYPE_FIELDS. 2460 24612015-07-02 Andrew Sutton <andrew.n.sutton@gmail.com> 2462 2463 * pt.c (type_dependent_expression_p): Handle expressions 2464 that refer to variable templates. 2465 24662015-07-01 Jason Merrill <jason@redhat.com> 2467 2468 * lex.c (init_reswords): s/CXX0X/CXX11/. 2469 * parser.c (cp_lexer_get_preprocessor_token): Likewise. 2470 2471 * mangle.c (write_CV_qualifiers_for_type, write_nested_name): 2472 Attribute mangling is now -fabi-version=10. 2473 2474 PR c++/65945 2475 * decl.c (cxx_init_decl_processing): Set TYPE_ALIGN of nullptr_t. 2476 * class.c (layout_nonempty_base_or_field): Warn if that affects 2477 the offset of a field. 2478 24792015-07-01 Paolo Carlini <paolo.carlini@oracle.com> 2480 2481 PR c++/60365 2482 * parser.c (cp_parser_check_std_attribute): New. 2483 (cp_parser_std_attribute_list): Call it. 2484 24852015-07-01 Patrick Palka <ppalka@gcc.gnu.org> 2486 2487 PR c++/66686 2488 * pt.c (coerce_template_template_parm) [PARM_DECL]: Don't 2489 return 0 if tsubst returns a dependent type. 2490 24912015-06-30 Jason Merrill <jason@redhat.com> 2492 2493 PR debug/66653 2494 * decl2.c (is_late_template_attribute): True for tls_model. 2495 2496 PR debug/66653 2497 * cp-tree.h (CP_DECL_THREAD_LOCAL_P): New. 2498 (DECL_GNU_TLS_P): Use DECL_LANG_SPECIFIC field. 2499 (SET_DECL_GNU_TLS_P): New. 2500 * call.c (make_temporary_var_for_ref_to_temp): Use 2501 CP_DECL_THREAD_LOCAL_P. 2502 (set_up_extended_ref_temp): Likewise. 2503 * decl.c (duplicate_decls, expand_static_init): Likewise. 2504 (redeclaration_error_message, grokvardecl): Likewise. 2505 (start_decl, register_dtor_fn, grokdeclarator): Likewise. 2506 * decl2.c (get_guard, var_needs_tls_wrapper): Likewise. 2507 (handle_tls_init): Likewise. 2508 * pt.c (tsubst_decl, tsubst_copy_and_build): Likewise. 2509 * semantics.c (finish_id_expression): Likewise. 2510 (handle_omp_array_sections_1, finish_omp_clauses): Likewise. 2511 (finish_omp_threadprivate): Likewise. 2512 * tree.c (decl_storage_duration): Likewise. 2513 * cp-gimplify.c (omp_var_to_track): Likewise. 2514 (cp_genericize_r): Check that it matches DECL_THREAD_LOCAL_P. 2515 * lex.c (retrofit_lang_decl): Return if DECL_LANG_SPECIFIC is 2516 already set. 2517 25182015-06-30 Edward Smith-Rowland <3dw4rd@verizon.net> 2519 2520 Implement N4197 - Adding u8 character literals 2521 * parser.c (cp_parser_primary_expression()): Treat CPP_UTF8CHAR 2522 and CPP_UTF8CHAR_USERDEF tokens; 2523 (cp_parser_parenthesized_expression_list()): Treat CPP_UTF8CHAR token. 2524 25252015-06-29 Paolo Carlini <paolo.carlini@oracle.com> 2526 2527 PR c++/65977 2528 * decl.c (grokfndecl): Allow constexpr declarations of friend 2529 template specializations. 2530 25312015-06-29 Manuel López-Ibáñez <manu@gcc.gnu.org> 2532 2533 PR fortran/66605 2534 * decl.c (finish_function): Call do_warn_unused_parameter. 2535 25362015-06-29 Marek Polacek <polacek@redhat.com> 2537 2538 PR c/66322 2539 * decl.c (struct cp_switch): Add OUTSIDE_RANGE_P. 2540 (push_switch): Set OUTSIDE_RANGE_P. 2541 (pop_switch): Update c_do_switch_warnings call. 2542 (finish_case_label): Update c_add_case_label call. 2543 * semantics.c (finish_switch_cond): Don't warn about -Wswitch-bool 2544 here. 2545 25462015-06-27 Marek Polacek <polacek@redhat.com> 2547 2548 * call.c: Use VECTOR_TYPE_P. 2549 * constexpr.c: Likewise. 2550 * cvt.c: Likewise. 2551 * decl.c: Likewise. 2552 * decl2.c: Likewise. 2553 * init.c: Likewise. 2554 * semantics.c: Likewise. 2555 * tree.c: Likewise. 2556 * typeck.c: Likewise. 2557 * typeck2.c: Likewise. 2558 25592015-06-27 Marek Polacek <polacek@redhat.com> 2560 2561 * call.c (set_up_extended_ref_temp): Use VAR_P. 2562 * class.c: Use VAR_P throughout. 2563 * constexpr.c (cxx_eval_constant_expression): Use VAR_P. 2564 * cp-array-notation.c (make_triplet_val_inv): Likewise. 2565 * decl.c: Use VAR_OR_FUNCTION_DECL_P or VAR_P 2566 throughout. 2567 * decl2.c: Likewise. 2568 * error.c (dump_decl): Use VAR_P. 2569 * mangle.c (decl_implicit_alias_p): Likewise. 2570 * parser.c: Use VAR_P throughout. 2571 * pt.c: Likewise. 2572 * semantics.c: Likewise. 2573 * vtable-class-hierarchy.c: Likewise. 2574 * tree.c (handle_abi_tag_attribute): Use VAR_OR_FUNCTION_DECL_P. 2575 25762015-06-27 Andreas Schwab <schwab@linux-m68k.org> 2577 2578 * pt.c (check_unstripped_args): Mark parameter as unused. 2579 25802015-06-26 Jason Merrill <jason@redhat.com> 2581 2582 PR c++/66216 2583 * class.c (finish_struct): Call fixup_attribute_variants. 2584 2585 PR c++/66684 2586 * typeck2.c (merge_exception_specifiers): Allow different 2587 noexcept-specifiers if we've had errors. 2588 2589 PR c++/66255 2590 * pt.c (check_unstripped_args): Split out from... 2591 (retrieve_specialization): ...here. Allow typedefs in the type of 2592 a non-type argument. 2593 2594 PR c++/66067 2595 * mangle.c (write_nested_name): Limit TYPENAME_TYPE handling to 2596 TYPE_DECLs. 2597 * mangle.c (write_template_args): Handle 0 length TREE_VEC. 2598 2599 PR c++/66654 2600 * typeck2.c (digest_init_r): Only expect reshaping if the class is 2601 aggregate. 2602 26032015-06-26 Marek Polacek <polacek@redhat.com> 2604 2605 * cp-array-notation.c (expand_sec_reduce_builtin): Use INDIRECT_REF_P. 2606 * cp-ubsan.c (cp_ubsan_check_member_access_r): Likewise. 2607 26082015-06-25 Andrew MacLeod <amacleod@redhat.com> 2609 2610 * call.c: Remove ipa-ref.h and plugin-api.h from include list. 2611 * class.c: Likewise. 2612 * cp-ubsan.c: Likewise. 2613 * decl.c: Likewise. 2614 * decl2.c: Likewise. 2615 * lambda.c: Likewise. 2616 * mangle.c: Likewise. 2617 * method.c: Likewise. 2618 * optimize.c: Likewise. 2619 * parser.c: Likewise. 2620 * semantics.c: Likewise. 2621 * tree.c: Likewise. 2622 * vtable-class-hierarchy.c: Likewise. 2623 26242015-06-25 Richard Sandiford <richard.sandiford@arm.com> 2625 2626 * constexpr.c (constexpr_fundef_hasher): Inherit from ggc_ptr_hash 2627 rather than ggc_hasher. 2628 (constexpr_call_hasher): Likewise. 2629 * cp-tree.h (cxx_int_tree_map_hasher, named_label_hasher): Likewise. 2630 * decl.c (typename_hasher): Likewise. 2631 * mangle.c (conv_type_hasher): Likewise. 2632 * pt.c (spec_hasher): Likewise. 2633 * tree.c (cplus_array_hasher, list_hasher): Likewise. 2634 * typeck2.c (abstract_type_hasher): Likewise. 2635 26362015-06-25 Richard Sandiford <richard.sandiford@arm.com> 2637 2638 * class.c (fixed_type_or_null_ref_ht): Inherit from nofree_ptr_hash 2639 rather than pointer_hash. 2640 (fixed_type_or_null): Use nofree_ptr_hash instead of pointer_hash. 2641 * semantics.c (nrv_data): Likewise. 2642 * tree.c (verify_stmt_tree_r, verify_stmt_tree): Likewise. 2643 26442015-06-24 Jason Merrill <jason@redhat.com> 2645 2646 PR c++/66647 2647 * pt.c (dependent_type_p_r): Check for dependent alias template 2648 specialization sooner. 2649 2650 PR c++/66501 2651 * class.c (type_has_nontrivial_assignment): Remove. 2652 * cp-tree.h: Remove declaration. 2653 * init.c (vec_copy_assign_is_trivial): New. 2654 (build_vec_init): Use it. 2655 26562015-06-24 Edward Smith-Rowland <3dw4rd@verizon.net> 2657 2658 Implement N3928 - Extending static_assert 2659 * parser.c (cp_parser_static_assert): Support static_assert with 2660 no message string. Supply an empty string in this case. 2661 * semantics.c (finish_static_assert): Don't try to print a message if 2662 the message strnig is empty. 2663 26642015-06-24 Adam Butcher <adam@jessamine.co.uk> 2665 2666 PR c++/65750 2667 * parser.c (cp_parser_simple_type_specifier): Don't synthesize 2668 implicit template parm if 'auto' is a placeholder for trailing 2669 return type. 2670 26712015-06-24 Patrick Palka <ppalka@gcc.gnu.org> 2672 2673 Revert: 2674 2015-06-23 Patrick Palka <ppalka@gcc.gnu.org> 2675 2676 PR c++/30044 2677 * parser.c (cp_parser_template_parameter_list): Update 2678 current_template_parms right after processing a paramater. 2679 * pt.c (template_parms_to_args): Remove obsolete hack for 2680 giving template template arguments the proper level. 2681 (check_default_tmpl_args): Account for tested template 2682 parameter_lists. 2683 (splite_late_return_type): Remove obsolete hack for giving 2684 template template arguments the proper level. 2685 26862015-06-24 Paolo Carlini <paolo.carlini@oracle.com> 2687 2688 PR c++/65811 2689 * decl.c (duplicate_decls): Adjust DECL_COMDAT of newdecl. 2690 26912015-06-23 Patrick Palka <ppalka@gcc.gnu.org> 2692 2693 PR c++/30044 2694 * parser.c (cp_parser_template_parameter_list): Update 2695 current_template_parms right after processing a paramater. 2696 * pt.c (template_parms_to_args): Remove obsolete hack for 2697 giving template template arguments the proper level. 2698 (check_default_tmpl_args): Account for tested template 2699 parameter_lists. 2700 (splite_late_return_type): Remove obsolete hack for giving 2701 template template arguments the proper level. 2702 27032015-06-23 Jason Merrill <jason@redhat.com> 2704 2705 PR c++/65879 2706 * decl.c (grokfndecl): Check the linkage of ctype, not just 2707 TYPE_ANONYMOUS_P. 2708 * tree.c (no_linkage_check): Skip the 'this' pointer. 2709 2710 PR c++/66501 2711 * class.c (type_has_nontrivial_assignment): New. 2712 * init.c (build_vec_init): Use it. 2713 * cp-tree.h: Declare it. 2714 * method.c (trivial_fn_p): Templates aren't trivial. 2715 2716 PR c++/66542 2717 * decl.c (expand_static_init): Make sure the destructor is callable 2718 here even if we have an initializer. 2719 27202015-06-04 Pierre-Marie de Rodat <derodat@adacore.com> 2721 2722 * lang-specs.h: Pass "-o %g.s" to cc1plus for headers even if 2723 -fdump-ada-spec is passed. 2724 27252015-06-22 Pierre-Marie de Rodat <derodat@adacore.com> 2726 2727 * decl2.c (cpp_check): Deal with HAS_DEPENDENT_TEMPLATE_ARGS. 2728 27292015-06-22 Paolo Carlini <paolo.carlini@oracle.com> 2730 2731 * decl.c (grokdeclarator): Use declspecs->locations[ds_virtual]. 2732 27332015-06-22 Paolo Carlini <paolo.carlini@oracle.com> 2734 2735 * decl.c (grokdeclarator): Remove pointless code. 2736 27372015-06-22 Jason Merrill <jason@redhat.com> 2738 2739 PR c++/66515 2740 * call.c (implicit_conversion): Only reshape for classes. 2741 27422015-06-22 Mikhail Maltsev <maltsevm@gmail.com> 2743 2744 * pt.c (maybe_adjust_types_for_deduction): Use std::swap instead of 2745 manually swapping. 2746 * semantics.c (finish_omp_atomic): Likewise. 2747 * typeck.c (cp_build_array_ref): Likewise. 2748 27492015-06-20 Mikhail Maltsev <maltsevm@gmail.com> 2750 2751 PR c++/65882 2752 * call.c (build_new_op_1): Check tf_warning flag in all cases. 2753 27542015-06-19 Jason Merrill <jason@redhat.com> 2755 2756 PR c++/66585 2757 * pt.c (instantiate_class_template_1): Clear 2758 cp_unevaluated_operand and c_inhibit_evaluation_warnings. 2759 2760 PR c++/65880 2761 * decl.c (build_ptrmemfunc_type): Check TYPE_GET_PTRMEMFUNC_TYPE after 2762 cv-qualifiers. 2763 * typeck.c (merge_types): build_ptrmemfunc_type before applying 2764 quals and attributes. 2765 2766 PR c++/65973 2767 * constexpr.c (build_constexpr_constructor_member_initializers): 2768 Handle an empty STATEMENT_LIST. 2769 2770 PR c++/65843 2771 * pt.c (tsubst_copy_and_build): Register a capture proxy in 2772 local_specializations. 2773 27742015-06-17 Jason Merrill <jason@redhat.com> 2775 2776 PR c++/66001 2777 * constexpr.c (cxx_eval_constant_expression): Handle TRY_BLOCK and 2778 TRY_FINALLY_EXPR. 2779 (potential_constant_expression_1): Likewise. 2780 27812015-06-17 Jason Merrill <jason@redhat.com> 2782 2783 PR c++/66515 2784 * call.c (implicit_conversion): Call reshape_init here, early. 2785 (build_aggr_conv): Not here. 2786 27872015-06-17 Jakub Jelinek <jakub@redhat.com> 2788 2789 PR c++/66571 2790 * pt.c (tsubst_omp_clause_decl): New function. 2791 (tsubst_omp_clauses): Use it or tsubst_copy instead of 2792 tsubst_expr on OMP_CLAUSE_DECL. 2793 27942015-06-17 Andrew MacLeod <amacleod@redhat.com> 2795 2796 * cp-lang.c (cxx_dwarf_name): Use anon_aggrname_p. 2797 * cp-tree.h (TYPE_ANONYMOUS_P): Likewise. 2798 * decl.c (grokdeclarator, xref_tag_1): Likewise. 2799 * error.c (dump_aggr_type): likewise. 2800 * pt.c (push_template_decl_real): Likewise. 2801 * name-lookup.c (make_anon_name): Use anon_aggrname_format. 2802 28032015-06-17 Andrew MacLeod <amacleod@redhat.com> 2804 2805 * call.c: Do not include input.h, line-map.h or is-a.h. 2806 * class.c: Likewise. 2807 * constexpr.c: Likewise. 2808 * cp-array-notation.c: Likewise. 2809 * cp-gimplify.c: Likewise. 2810 * cp-lang.c: Likewise. 2811 * cp-objcp-common.c: Likewise. 2812 * cp-tree.h: Likewise. 2813 * cp-ubsan.c: Likewise. 2814 * cvt.c: Likewise. 2815 * decl.c: Likewise. 2816 * decl2.c: Likewise. 2817 * dump.c: Likewise. 2818 * error.c: Likewise. 2819 * except.c: Likewise. 2820 * expr.c: Likewise. 2821 * friend.c: Likewise. 2822 * init.c: Likewise. 2823 * lambda.c: Likewise. 2824 * lex.c: Likewise. 2825 * mangle.c: Likewise. 2826 * method.c: Likewise. 2827 * name-lookup.c: Likewise. 2828 * optimize.c: Likewise. 2829 * parser.c: Likewise. 2830 * pt.c: Likewise. 2831 * ptree.c: Likewise. 2832 * repo.c: Likewise. 2833 * rtti.c: Likewise. 2834 * search.c: Likewise. 2835 * semantics.c: Likewise. 2836 * tree.c: Likewise. 2837 * typeck.c: Likewise. 2838 * typeck2.c: Likewise. 2839 * vtable-class-hierarchy.c: Likewise. 2840 28412015-06-16 Paolo Carlini <paolo.carlini@oracle.com> 2842 2843 PR c++/59682 2844 * parser.c (cp_parser_new_placement): Reject an empty expression-list. 2845 28462015-06-16 Jason Merrill <jason@redhat.com> 2847 2848 PR c++/66536 2849 * tree.c (replace_placeholders_r) [CONSTRUCTOR]: Handle type 2850 mismatch. 2851 2852 PR c++/58063 2853 * tree.c (bot_manip): Remap SAVE_EXPR. 2854 2855 PR c++/66387 2856 * pt.c (tsubst_copy) [VAR_DECL]: Use process_outer_var_ref. 2857 28582015-06-15 Nathan Sidwell <nathan@acm.org> 2859 2860 PR c++/58583 2861 * cp-tree.h (DECL_INSTANTIATING_NSDMI_P): New. 2862 * init.c (get_nsdmi): Check for DEFAULT_ARG in template case and 2863 protect it from recursive instantiation. 2864 28652015-06-15 Paolo Carlini <paolo.carlini@oracle.com> 2866 2867 PR c++/51048 2868 * decl2.c (no_linkage_error): Do not issue a permerror if the DECL 2869 using a local type is pure virtual. 2870 28712015-06-13 Patrick Palka <ppalka@gcc.gnu.org> 2872 2873 * call.c: Remove comment documenting the long-deleted 2874 function build_method_call. 2875 28762015-06-13 Patrick Palka <ppalka@gcc.gnu.org> 2877 2878 PR c++/65168 2879 * typeck.c (cp_build_binary_op): Warn when comparing an address 2880 of a reference against NULL. 2881 28822015-06-12 Jason Merrill <jason@redhat.com> 2883 2884 PR c++/65719 2885 * pt.c (tsubst_decl) [VAR_DECL]: Mark namespace-scope 2886 variables as DECL_NOT_REALLY_EXTERN. 2887 28882015-06-11 Jason Merrill <jason@redhat.com> 2889 2890 PR c++/66445 2891 * constexpr.c (potential_constant_expression_1): Handle a 2892 DECL_EXPR of TYPE_DECL. 2893 2894 PR c++/66450 2895 * constexpr.c (cxx_eval_store_expression): Avoid messing up outer 2896 ctx->ctor. 2897 28982015-06-11 Pierre-Marie de Rodat <derodat@adacore.com> 2899 2900 * decl.c (cxx_init_decl_processing): Register the main 2901 translation unit through the new debug hook. 2902 29032015-06-10 Jason Merrill <jason@redhat.com> 2904 2905 PR c++/66289 2906 * cp-tree.h (TEMPLATE_DECL_COMPLEX_ALIAS_P): New. 2907 * pt.c (push_template_decl_real): Set it. 2908 (dependent_alias_template_spec_p): Use it. 2909 (dependent_type_p_r): Use dependent_alias_template_spec_p. 2910 (uses_all_template_parms_data, uses_all_template_parms_r) 2911 (complex_alias_template_p): New. 2912 (get_template_parm_index): Handle BOUND_TEMPLATE_TEMPLATE_PARM. 2913 29142015-06-09 Jason Merrill <jason@redhat.com> 2915 2916 DR 1467 2917 PR c++/51747 2918 * typeck2.c (digest_init_r): Replace previous change with 2919 gcc_unreachable. 2920 2921 PR c++/66387 2922 * semantics.c (process_outer_var_ref): Make sure the value is 2923 actually constant before returning it. 2924 * typeck.c (cp_build_array_ref): Allow subscripting non-lvalue 2925 array. 2926 29272015-06-09 Paolo Carlini <paolo.carlini@oracle.com> 2928 2929 PR c++/65815 2930 * typeck2.c (digest_nsdmi_init): On aggregates use reshape_init. 2931 * init.c (expand_default_init): Likewise. 2932 29332015-06-09 Jason Merrill <jason@redhat.com> 2934 2935 PR c++/66383 2936 * tree.c (replace_placeholders_r): Handle placeholders for an 2937 outer object. 2938 * typeck2.c (store_init_value): Only replace_placeholders for 2939 objects of class type. 2940 29412015-06-08 Andrew MacLeod <amacleod@redhat.com> 2942 2943 * call.c : Adjust include files. 2944 * class.c : Likewise. 2945 * constexpr.c : Likewise. 2946 * cp-array-notation.c : Likewise. 2947 * cp-cilkplus.c : Likewise. 2948 * cp-gimplify.c : Likewise. 2949 * cp-lang.c : Likewise. 2950 * cp-objcp-common.c : Likewise. 2951 * cp-tree.h : Likewise. 2952 * cp-ubsan.c : Likewise. 2953 * cvt.c : Likewise. 2954 * decl.c : Likewise. 2955 * decl2.c : Likewise. 2956 * dump.c : Likewise. 2957 * error.c : Likewise. 2958 * except.c : Likewise. 2959 * expr.c : Likewise. 2960 * friend.c : Likewise. 2961 * init.c : Likewise. 2962 * lambda.c : Likewise. 2963 * lex.c : Likewise. 2964 * mangle.c : Likewise. 2965 * method.c : Likewise. 2966 * name-lookup.c : Likewise. 2967 * optimize.c : Likewise. 2968 * parser.c : Likewise. 2969 * pt.c : Likewise. 2970 * ptree.c : Likewise. 2971 * repo.c : Likewise. 2972 * rtti.c : Likewise. 2973 * search.c : Likewise. 2974 * semantics.c : Likewise. 2975 * tree.c : Likewise. 2976 * typeck.c : Likewise. 2977 * typeck2.c : Likewise. 2978 * vtable-class-hierarchy.c : Likewise. 2979 29802015-06-05 Jason Merrill <jason@redhat.com> 2981 2982 PR c++/66405 2983 * pt.c (argument_pack_element_is_expansion_p): Return 2 if 2984 the expansion has extra args. 2985 (use_pack_expansion_extra_args_p): Return true in that case. 2986 2987 PR c++/66405 2988 * pt.c (type_dependent_expression_p): EXPR_PACK_EXPANSION is 2989 dependent even if it has a type. 2990 29912015-06-05 Aldy Hernandez <aldyh@redhat.com> 2992 2993 * cp-objcp-common.c: Adjust comment for 2994 cxx_warn_unused_global_decl. 2995 * cp-objcp-common.h (LANG_HOOKS_WRITE_GLOBALS): Remove 2996 (LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS): New. 2997 * cp-tree.h (note_mangling_alias): Protoize. 2998 (cp_write_global_declarations): Remove. 2999 (cxx_post_compilation_parsing_cleanups): Protoize. 3000 * decl.c (wrapup_globals_for_namespace): Remove use of DATA 3001 argument. 3002 * decl2.c (mangling_aliases): New global. 3003 (build_java_method_aliases): New. Adapted from 3004 collect_candidates_for_java_method_aliases. 3005 (collect_candidates_for_java_method_aliases): Remove. 3006 (build_java_method_aliases): Remove. 3007 (generate_mangling_aliases): New. 3008 (note_mangling_alias): New. Moved from mangle_decl. 3009 (locus_at_end_of_parsing): New global. 3010 (c_parse_final_cleanups): Rename from 3011 cp_write_global_declarations. 3012 Use locus_at_end_of_parsing. 3013 Call generate_mangling_aliases. 3014 Rename call to collect_candidates_for_java_method_aliases into 3015 build_java_method_aliases. 3016 Remove call to finalize_compilation_unit. 3017 Move vtable handling into cxx_post_compilation_parsing_cleanups. 3018 Do not call check_global_declarations or 3019 emit_debug_global_declarations. 3020 (cxx_post_compilation_parsing_cleanups): New. 3021 * mangle.c (mangle_decl): Move code to note_mangling_alias. 3022 * name-lookup.c (do_namespace_alias): Call early_global_decl. 3023 30242015-06-05 Nathan Sidwell <nathan@acm.org> 3025 3026 PR c++/52595 3027 * parser.c (cp_parser_cache_defarg): Continue looking for 3028 declarators when scanning a potential template argument list of an 3029 NSDMI. 3030 30312015-06-04 Andrew MacLeod <amacleod@redhat.com> 3032 3033 * call.c: Adjust includes for restructured coretypes.h. 3034 * class.c: Likewise. 3035 * constexpr.c: Likewise. 3036 * cp-array-notation.c: Likewise. 3037 * cp-gimplify.c: Likewise. 3038 * cp-lang.c: Likewise. 3039 * cp-objcp-common.c: Likewise. 3040 * cp-tree.h: Likewise. 3041 * cp-ubsan.c: Likewise. 3042 * cvt.c: Likewise. 3043 * decl.c: Likewise. 3044 * decl2.c: Likewise. 3045 * dump.c: Likewise. 3046 * error.c: Likewise. 3047 * except.c: Likewise. 3048 * expr.c: Likewise. 3049 * friend.c: Likewise. 3050 * init.c: Likewise. 3051 * lambda.c: Likewise. 3052 * lex.c: Likewise. 3053 * mangle.c: Likewise. 3054 * method.c: Likewise. 3055 * name-lookup.c: Likewise. 3056 * optimize.c: Likewise. 3057 * parser.c: Likewise. 3058 * pt.c: Likewise. 3059 * ptree.c: Likewise. 3060 * repo.c: Likewise. 3061 * rtti.c: Likewise. 3062 * search.c: Likewise. 3063 * semantics.c: Likewise. 3064 * tree.c: Likewise. 3065 * typeck.c: Likewise. 3066 * typeck2.c: Likewise. 3067 * vtable-class-hierarchy.c: Likewise. 3068 30692015-06-04 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com> 3070 3071 PR c++/66192 3072 PR target/66200 3073 * cp-tree.h (get_guard_cond): Adjust declaration 3074 * decl.c (expand_static_init): Use atomic load acquire 3075 and adjust call to get_guard_cond. 3076 * decl2.c (build_atomic_load_byte): New function. 3077 (get_guard_cond): Handle thread_safety. 3078 (one_static_initialization_or_destruction): Adjust call to 3079 get_guard_cond. 3080 30812015-06-03 Jason Merrill <jason@redhat.com> 3082 3083 PR c++/44282 3084 * mangle.c (mangle_decl): Always SET_IDENTIFIER_GLOBAL_VALUE. 3085 (write_CV_qualifiers_for_type): Set G.need_abi_warning. 3086 (decl_implicit_alias_p): Split out from maybe_remove_implicit_alias. 3087 * cp-tree.h (DECL_REALLY_EXTERN): Handle null DECL_LANG_SPECIFIC. 3088 30892015-06-03 Manuel López-Ibáñez <manu@gcc.gnu.org> 3090 Paolo Carlini <paolo.carlini@oracle.com> 3091 3092 PR c++/66130 3093 * typeck.c (invalid_nonstatic_memfn_p): Add location_t parameter and 3094 use it in the diagnostic. 3095 (decay_conversion): Adjust call. 3096 * semantics.c (finish_decltype_type): Likewise. 3097 * call.c (resolve_args, build_new_op_1, 3098 perform_implicit_conversion_flags): Adjust calls. 3099 * cvt.c (ocp_convert, convert_to_void): Likewise. 3100 * cp-tree.h (invalid_nonstatic_memfn_p): Update declaration. 3101 31022015-06-03 Paolo Carlini <paolo.carlini@oracle.com> 3103 3104 * decl.c (check_tag_decl): Use declspecs->locations as locations in 3105 error_at and warning_at calls. 3106 31072015-06-03 Marek Polacek <polacek@redhat.com> 3108 3109 PR sanitizer/66190 3110 * cp-gimplify.c (struct cp_genericize_data): Add no_sanitize_p. 3111 (cp_genericize_r): Don't instrument static initializers. 3112 (cp_genericize_tree): Initialize wtd.no_sanitize_p. 3113 31142015-06-02 Andres Tiraboschi <andres.tiraboschi@tallertechnologies.com> 3115 3116 * decl.c (start_function): Call plugin before parsing. 3117 (finish_function): Call plugin after parsing. 3118 31192015-06-02 Patrick Palka <patrick@parcs.ath.cx> 3120 3121 * cp-tree.h (init_error): Remove declaration. 3122 * error.c (scratch_pretty_printer): Rename to ... 3123 (actual_pretty_printer): ... this. 3124 (cxx_pp): Constify and update accordingly. 3125 (init_error): Remove definition. 3126 * lex.c (cxx_init): Do not call init_error. 3127 31282015-06-02 Paolo Carlini <paolo.carlini@oracle.com> 3129 3130 PR c++/61683 3131 * parser.c (cp_parser_mem_initializer): Allow for decltype-specifier. 3132 31332015-06-01 Jason Merrill <jason@redhat.com> 3134 3135 PR c++/65942 3136 * decl2.c (mark_used): Don't always instantiate constexpr fns. 3137 * constexpr.c (cxx_eval_call_expression): Instantiate them here. 3138 3139 PR c++/44282 3140 * mangle.c (attr_strcmp): New. 3141 (write_CV_qualifiers_for_type): Also write out attributes that 3142 affect type identity. 3143 (write_type): Strip all attributes after writing qualifiers. 3144 31452015-05-31 Jason Merrill <jason@redhat.com> 3146 3147 * constexpr.c (cxx_eval_indirect_ref): Try folding first. 3148 3149 PR c++/66320 3150 * constexpr.c (cxx_eval_constant_expression): Treat a placeholder 3151 with the wrong type as non-constant. 3152 31532015-05-27 Jason Merrill <jason@redhat.com> 3154 3155 * decl.c (check_redeclaration_exception_specification): Depend on 3156 -Wsystem-headers rather than -pedantic. 3157 3158 * decl.c (warn_extern_redeclared_static): Use the location of 3159 newdecl in diagnostics, not input_location. 3160 (validate_constexpr_redeclaration): Likewise. 3161 (check_redeclaration_no_default_args): Likewise. 3162 (duplicate_decls): Likewise. 3163 (check_redeclaration_exception_specification): Likewise. 3164 Change second diagnostic to inform. 3165 31662015-05-24 Nathan Sidwell <nathan@acm.org> 3167 3168 PR c++/66243 3169 * decl.c (build_enumerator): Don't silently convert scoped enums. 3170 31712015-05-24 Jan Hubicka <hubicka@ucw.cz> 3172 3173 PR lto/66180 3174 * mangle.c (mangle_decl): Mangle anonymous namespace types as 3175 "<anon>". 3176 31772015-05-23 Nathan Sidwell <nathan@acm.org> 3178 3179 PR c++/65936 3180 * pt.c (lookup_template_class_1): Copy may_alias attribute too. 3181 31822015-05-22 Jim Wilson <jim.wilson@linaro.org> 3183 3184 * Make-lang.in (check_g++_parallelize): Update comment. 3185 31862015-05-22 Paolo Carlini <paolo.carlini@oracle.com> 3187 3188 PR c++/65598 3189 * decl.c (grokdeclarator): Use the correct location in error 3190 messages about 'explicit'. 3191 31922015-05-22 Marek Polacek <polacek@redhat.com> 3193 Edward Smith-Rowland <3dw4rd@verizon.net> 3194 3195 PR c/47043 3196 * cp-tree.h (build_enumerator): Update declaration. 3197 * decl.c (build_enumerator): Add attributes parameter. Call 3198 cplus_decl_attributes. 3199 * init.c (constant_value_1): Pass tf_none to mark_used. 3200 * parser.c (cp_parser_enumerator_definition): Parse attributes and 3201 pass them down to build_enumerator. 3202 * pt.c (tsubst_enum): Pass decl attributes to build_enumerator. 3203 * semantics.c (finish_id_expression): Don't warn_deprecated_use here. 3204 32052015-05-21 Nathan Sidwell <nathan@acm.org> 3206 3207 PR c++/60943 3208 * decl2.c (change_return_type): Propagate FUNCTION_REF_QUALIFIED. 3209 32102015-05-21 Marek Polacek <polacek@redhat.com> 3211 3212 * typeck.c (warn_args_num): Don't print "declare here" for builtins. 3213 32142015-05-20 Jason Merrill <jason@redhat.com> 3215 3216 * pt.c (tsubst_decl) [VAR_DECL]: SET_DECL_IMPLICIT_INSTANTIATION 3217 before register_specialization. 3218 3219 * decl.c (grok_op_properties): Don't complain about size_t 3220 placement delete here. 3221 * call.c (second_parm_is_size_t): Split out from... 3222 (non_placement_deallocation_fn_p): ...here. 3223 (build_op_delete_call): Warn about size_t placement delete with 3224 -Wc++14-compat. 3225 32262015-05-19 Nathan Sidwell <nathan@acm.org> 3227 3228 PR c++/65954 3229 * typeck.c (finish_class_member_access_expr): Diagnose failed 3230 lookup of enum class member. 3231 32322015-05-19 Jakub Jelinek <jakub@redhat.com> 3233 3234 PR middle-end/66199 3235 * parser.c (cp_parser_omp_for_loop): Don't add 3236 OMP_CLAUSE_SHARED to OMP_PARALLEL_CLAUSES when moving 3237 OMP_CLAUSE_LASTPRIVATE clause to OMP_FOR_CLAUSES. 3238 (cp_parser_omp_teams): Set OMP_TEAMS_COMBINED for combined 3239 constructs. 3240 32412015-05-19 Mikhail Maltsev <maltsevm@gmail.com> 3242 3243 * typeck.c (composite_pointer_type): Use std::swap instead of explicit 3244 swaps. 3245 32462015-05-18 Jason Merrill <jason@redhat.com> 3247 3248 * pt.c (retrieve_specialization): Make sure our arguments have 3249 gone through strip_typedefs. 3250 3251 * pt.c (tsubst_decl) [VAR_DECL]: Call coerce_innermost_template_parms. 3252 (determine_specialization): Call coerce_template_parms. 3253 3254 DR 1391 3255 * pt.c (type_unification_real): Check convertibility here. 3256 (unify_one_argument): Not here. 3257 3258 * tree.c (strip_typedefs_expr) [TRAIT_EXPR]: Fix typo. 3259 (strip_typedefs) [DECLTYPE_TYPE]: Fix typedef of decltype. 3260 [TREE_LIST]: Fix no-change case. 3261 3262 * ptree.c (cxx_print_xnode): Handle TRAIT_EXPR. 3263 32642015-05-16 Manuel López-Ibáñez <manu@gcc.gnu.org> 3265 3266 PR fortran/44054 3267 * error.c (cp_diagnostic_starter): Use diagnostic_location 3268 function. 3269 (cp_print_error_function): Likewise. 3270 (cp_printer): Replace locus pointer with accessor function. 3271 32722015-05-12 David Malcolm <dmalcolm@redhat.com> 3273 3274 * parser.c (cp_parser_selection_statement): Add location and 3275 guard_kind arguments to calls to 3276 cp_parser_implicitly_scoped_statement. 3277 (cp_parser_iteration_statement): Likewise for calls to 3278 cp_parser_already_scoped_statement. 3279 (cp_parser_implicitly_scoped_statement): Add "guard_loc" and 3280 "guard_kind" params; use them to warn for misleading 3281 indentation. 3282 (cp_parser_already_scoped_statement): Likewise. 3283 32842015-05-11 Jan Hubicka <hubicka@ucw.cz> 3285 3286 * class.c (fixup_type_variants): Do not copy TYPE_METHODS 3287 (one_inheriting_sig): Assert tat we always set TYPE_METHODS of main variant. 3288 * semantics.c (finish_member_declaration): Likewise. 3289 * method.c (lazily_declare_fn): Allways add method to main variant list. 3290 32912015-05-09 Aldy Hernandez <aldyh@redhat.com> 3292 3293 PR bootstrap/66085 3294 * decl2.c (note_mangling_alias): Declare arguments as unused. 3295 32962015-05-08 Jason Merrill <jason@redhat.com> 3297 3298 * cp-gimplify.c, parser.c: Adjust to -Wc++11-compat replacing 3299 -Wc++0x-compat. 3300 33012015-05-08 Jason Merrill <jason@redhat.com> 3302 3303 * decl2.c (mangling_aliases): New variable. 3304 (note_mangling_alias, generate_mangling_aliases): New. 3305 (cp_write_global_declarations): Call generate_mangling_aliases. 3306 (generate_mangling_alias): Split out from... 3307 * mangle.c (mangle_decl): ...here. 3308 * cp-tree.h: Declare note_mangling_alias. 3309 33102015-05-08 Aldy Hernandez <aldyh@redhat.com> 3311 3312 * decl2.c (collect_candidates_for_java_method_aliases): Remove. 3313 (build_java_method_aliases): Adapt to use create_same_body_alias 3314 instead of assemble_alias. Move variable declarations to 3315 definition and tidy up. 3316 (cp_write_global_declarations): Call build_java_method_aliases 3317 instead of collecting candidates first. 3318 33192015-05-07 Jason Merrill <jason@redhat.com> 3320 3321 PR c++/59012 3322 * parser.c (cp_parser_std_attribute_list): Handle attribute expansion. 3323 (cp_parser_std_attribute_spec): Handle alignas pack expansion. 3324 * decl2.c (is_late_template_attribute): An attribute exp is dependent. 3325 * pt.c (make_pack_expansion): Allow TREE_LIST for attribute expansion. 3326 (apply_late_template_attributes): Handle attribute pack expansion. 3327 33282015-05-07 Marek Polacek <polacek@redhat.com> 3329 3330 PR c/65179 3331 * typeck.c (cp_build_binary_op): Warn when left shifting a negative 3332 value. 3333 33342015-05-07 Jason Merrill <jason@redhat.com> 3335 3336 DR 1467 3337 PR c++/51747 3338 * typeck2.c (digest_init_r): Fix single element list. 3339 33402015-05-05 Jason Merrill <jason@redhat.com> 3341 3342 * cp-gimplify.c (cp_genericize_r): Track TRY_BLOCK and 3343 MUST_NOT_THROW_EXPR, warn about a THROW_EXPR directly within a 3344 MUST_NOT_THROW_EXPR. 3345 (cp_genericize_data): Add try_block field. 3346 (cp_genericize_tree): Initialize it. 3347 * except.c (expand_end_catch_block): Set TREE_NO_WARNING on 3348 implicit rethrow. 3349 3350 * constexpr.c (potential_constant_expression_1) [AT_ENCODE_EXPR]: 3351 Return false. 3352 3353 * semantics.c (finish_call_expr): Check complain. 3354 3355 * decl2.c (reset_type_linkage_2): Update the DECL_NAME of a 3356 maybe-in-charge constructor. 3357 3358 * decl.c (start_decl): Don't push the plain VAR_DECL for a 3359 variable template. 3360 3361 DR 1518 3362 DR 1630 3363 PR c++/54835 3364 PR c++/60417 3365 * call.c (convert_like_real): Check value-initialization before 3366 explicit. 3367 * typeck2.c (process_init_constructor_record): Don't set 3368 CONSTRUCTOR_IS_DIRECT_INIT. 3369 (process_init_constructor_array): Likewise. 3370 * init.c (build_vec_init): Likewise. 3371 33722015-05-05 David Malcolm <dmalcolm@redhat.com> 3373 3374 * parser.c (cp_parser_asm_definition): Only test for 3375 error_mark_node if "outputs" was just set. Likewise for "inputs". 3376 33772015-05-04 Paolo Carlini <paolo.carlini@oracle.com> 3378 Jakub Jelinek <jakub@redhat.com> 3379 3380 PR c++/66007 3381 * typeck2.c (check_narrowing): Check by-hand that the pedwarn didn't 3382 result in an actual error. 3383 33842015-05-01 Paolo Carlini <paolo.carlini@oracle.com> 3385 Prathamesh Kulharni <prathamesh.kulkarni@linaro.org> 3386 3387 PR c++/65858 3388 * typeck2.c (check_narrowing): Set ok = true when pedwarn returns 3389 false. 3390 33912015-04-30 David Malcolm <dmalcolm@redhat.com> 3392 3393 * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove spurious 3394 trailing semicolon. 3395 33962015-04-29 Jason Merrill <jason@redhat.com> 3397 3398 PR c++/50800 3399 * tree.c (apply_identity_attributes): Fix handling of classes. 3400 34012015-04-29 Thomas Schwinge <thomas@codesourcery.com> 3402 3403 * parser.c (cp_parser_oacc_enter_exit_data): Use 3404 OMP_STANDALONE_CLAUSES. 3405 34062015-04-29 Paolo Carlini <paolo.carlini@oracle.com> 3407 3408 PR c++/64667 3409 * init.c (perform_member_init): Handle references for -Winit-self. 3410 34112015-04-29 Thomas Schwinge <thomas@codesourcery.com> 3412 3413 * pt.c (tsubst_expr) <OMP_TARGET_UPDATE>: Use 3414 OMP_TARGET_UPDATE_CLAUSES instead of OMP_CLAUSES. 3415 34162015-04-28 Jason Merrill <jason@redhat.com> 3417 3418 PR c++/65896 3419 * constexpr.c (cxx_eval_store_expression): Don't try to actually 3420 store an empty class. 3421 3422 PR c++/65656 3423 * constexpr.c (cxx_eval_builtin_function_call): Fix 3424 __builtin_constant_p. 3425 3426 PR c++/50800 3427 * tree.c (strip_typedefs): Add remove_attributes parm. 3428 (strip_typedefs_expr): Likewise. 3429 (apply_identity_attributes): New subroutine of strip_typedefs. 3430 * pt.c (canonicalize_type_argument): Let strip_typedefs handle attrs. 3431 (convert_nontype_argument, unify): Likewise. 3432 * cp-tree.h: Adjust. 3433 3434 PR c++/65734 3435 * class.c (fixup_attribute_variants): Respect TYPE_USER_ALIGN. 3436 34372015-04-27 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> 3438 3439 * class.c (layout_class_type): Remove check if 3440 PCC_BITFIELD_TYPE_MATTERS is defined. 3441 34422015-04-27 Jim Wilson <jim.wilson@linaro.org> 3443 3444 * Make-lang.in (c++.mostlyclean): Remove xg++, g++-cross, and cc1plus. 3445 34462015-04-24 Jason Merrill <jason@redhat.com> 3447 3448 PR c++/50800 3449 * typeck.c (structural_comptypes): Don't check TYPE_REF_CAN_ALIAS_ALL. 3450 3451 * constexpr.c (potential_constant_expression_1) [MINUS_EXPR]: 3452 Remove obsolete code. 3453 [NE_EXPR]: Likewise. 3454 34552015-04-23 Jason Merrill <jason@redhat.com> 3456 3457 PR c++/65646 3458 * pt.c (check_explicit_specialization): Don't 3459 SET_DECL_TEMPLATE_SPECIALIZATION for a variable with no template 3460 headers. 3461 * decl.c (grokvardecl): Revert earlier fix. 3462 34632015-04-20 Paolo Carlini <paolo.carlini@oracle.com> 3464 3465 PR c++/65801 3466 * typeck2.c (check_narrowing): In C++11 mode too, -Wno-narrowing 3467 suppresses the diagnostic. 3468 34692015-04-20 Ville Voutilainen <ville.voutilainen@gmail.com> 3470 3471 Reject trailing return type for an operator auto(). 3472 * decl.c (grokdeclarator): Reject trailing return types for 3473 all conversion operators, don't handle conversion operators 3474 in the previous checks that deal with auto. 3475 34762015-04-20 Ilya Verbin <ilya.verbin@intel.com> 3477 3478 * parser.c (cp_parser_omp_target_update): Add missed %> to error_at (). 3479 34802015-04-16 Paolo Carlini <paolo.carlini@oracle.com> 3481 3482 * class.c (resolve_address_of_overloaded_function, instantiate_type): 3483 Rename tsubst_flags_t parameter flags -> complain. 3484 34852015-04-16 Paolo Carlini <paolo.carlini@oracle.com> 3486 3487 * call.c (build_op_delete_call, build_over_call): Check mark_used 3488 return value. 3489 * class.c (resolve_address_of_overloaded_function): Likewise. 3490 * decl.c (cxx_maybe_build_cleanup): Likewise. 3491 * pt.c (gen_elem_of_pack_expansion_instantiation, tsubst_baselink, 3492 tsubst_qualified_id, tsubst_copy, tsubst_copy_and_build): Likewise. 3493 * rtti.c (build_dynamic_cast_1): Likewise. 3494 * semantics.c (process_outer_var_ref): Likewise. 3495 * typeck.c (build_class_member_access_expr, 3496 cp_build_function_call_vec, cp_build_addr_expr_1): Likewise. 3497 34982015-04-15 Jason Merrill <jason@redhat.com> 3499 3500 * constexpr.c (cxx_eval_store_expression): Ignore clobbers. 3501 (build_constexpr_constructor_member_initializers): Loop to find 3502 the BIND_EXPR. 3503 * decl.c (start_preparsed_function): Clobber the object at the 3504 beginning of a constructor. 3505 3506 * decl.c (grokmethod): Only set DECL_COMDAT if TREE_PUBLIC is set. 3507 * method.c (implicitly_declare_fn): Likewise. 3508 * decl2.c (vague_linkage_p): Check TREE_PUBLIC first. 3509 3510 * decl2.c (determine_visibility): Use get_template_info. 3511 35122015-04-15 Jason Merrill <jason@redhat.com> 3513 Marek Polacek <polacek@redhat.com> 3514 3515 PR c++/65727 3516 * lambda.c (lambda_expr_this_capture): In unevaluated context go 3517 through the normal loop, just don't capture. 3518 (maybe_resolve_dummy): Handle null return. 3519 35202015-04-15 Paolo Carlini <paolo.carlini@oracle.com> 3521 3522 * call.c (enforce_access): Emit error + inform. 3523 35242015-04-15 Marek Polacek <polacek@redhat.com> 3525 3526 * constexpr.c (use_new_call): Remove #define. 3527 (lookup_parameter_binding): Remove function. 3528 (cxx_bind_parameters_in_call): Remove unused code. 3529 (cxx_eval_call_expression): Likewise. 3530 (cxx_eval_constant_expression): Likewise. 3531 35322015-04-14 Mikhail Maltsev <maltsevm@gmail.com> 3533 3534 * tree.c (replace_placeholders_t): Remove unused type. 3535 (replace_placeholders): Remove unused pset. 3536 35372015-04-14 Jason Merrill <jason@redhat.com> 3538 3539 * pt.c (lookup_template_class_1): Use coerce_innermost_template_parms. 3540 3541 PR c++/65695 3542 * cvt.c (cp_fold_convert): Avoid wrapping PTRMEM_CST in NOP_EXPR. 3543 3544 PR c++/65721 3545 * name-lookup.c (do_class_using_decl): Complain about specifying 3546 the current class even if there are dependent bases. 3547 35482015-04-14 David Krauss <david_work@me.com> 3549 3550 PR c++/59766 3551 * decl.c (grokdeclarator): Do not flag friends with deduced return. 3552 35532015-04-14 Momchil Velikov <momchil.velikov@gmail.com> 3554 Jason Merrill <jason@redhat.com> 3555 3556 PR c++/60994 3557 * parser.c (cp_parser_class_name): Add enum_ok parameter. 3558 (cp_parser_qualifying_entity): Use it instead of cp_parser_type_name. 3559 (cp_parser_diagnose_invalid_type_name): Don't assume a template is 3560 a class template. 3561 35622015-04-12 Jakub Jelinek <jakub@redhat.com> 3563 3564 PR c++/65736 3565 * constexpr.c (cxx_eval_pointer_plus_expression): Don't fold for VLAs, 3566 don't fold if op01 isn't divisible by TYPE_SIZE_UNIT. Convert 3567 the expression to the original type at the end. 3568 35692015-04-09 Jakub Jelinek <jakub@redhat.com> 3570 3571 PR c++/65690 3572 * tree.c (cp_build_qualified_type_real): Copy TYPE_ALIGN and 3573 TYPE_USER_ALIGN. 3574 3575 PR c++/65690 3576 * tree.c (build_cplus_array_type): Layout type before variants are 3577 set, but copy over TYPE_SIZE and TYPE_SIZE_UNIT from the main 3578 variant. 3579 35802015-04-03 Paolo Carlini <paolo.carlini@oracle.com> 3581 3582 PR c++/64085 3583 * lambda.c (add_capture): Use dependent_type_p for capture by 3584 reference too. 3585 35862015-04-02 Marek Polacek <polacek@redhat.com> 3587 3588 PR c++/65642 3589 * constexpr.c (cxx_eval_pointer_plus_expression): Call 3590 cxx_eval_constant_expression on the first operand. 3591 35922015-04-01 Jason Merrill <jason@redhat.com> 3593 3594 PR c++/65625 3595 * decl.c (make_typename_type): Handle seeing a variable template. 3596 35972015-04-01 Paolo Carlini <paolo.carlini@oracle.com> 3598 3599 PR c++/56100 3600 * pt.c (instantiating_current_function_p): New. 3601 * name-lookup.c (pushdecl_maybe_friend_1): Use it. 3602 * cp-tree.h (instantiating_current_function_p): Declare. 3603 36042015-04-01 Jason Merrill <jason@redhat.com> 3605 3606 PR c++/65646 3607 * decl.c (grokvardecl): Don't call check_explicit_specialization 3608 for non-template members of a class template. 3609 36102015-04-01 Marek Polacek <polacek@redhat.com> 3611 3612 PR c++/65554 3613 * class.c (finish_struct): Require that the second field of a 3614 user-defined initializer_list be of size type. 3615 36162015-03-31 Marek Polacek <polacek@redhat.com> 3617 3618 PR c++/65390 3619 * tree.c (build_cplus_array_type): Use dependent_type_p rather than 3620 checking for constness. 3621 36222015-03-30 Marek Polacek <polacek@redhat.com> 3623 3624 PR c++/65398 3625 * constexpr.c (cxx_fold_indirect_ref): Don't perform the 3626 *(&A[i] p+ j) => A[i + j] transformation here. 3627 (cxx_eval_pointer_plus_expression): New function. 3628 (cxx_eval_constant_expression): Use it here. 3629 36302015-03-27 Tobias Burnus <burnus@net-b.de> 3631 3632 PR c/65586 3633 * parser.c (cp_parser_omp_for, cp_parser_omp_parallel, 3634 cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target, 3635 cp_parser_omp_declare): Don't show error for skipped omp pragmas with 3636 -fopenmp-simd. 3637 36382015-03-27 Marek Polacek <polacek@redhat.com> 3639 3640 PR c++/65556 3641 * semantics.c (finish_switch_cond): If the unlowered type is not an 3642 enum, use the type of the condition. 3643 36442015-03-27 Jason Merrill <jason@redhat.com> 3645 3646 PR c++/65509 3647 * decl.c (make_rtl_for_nonlocal_decl): Don't defer static 3648 constants. 3649 36502015-03-26 Mikhail Maltsev <maltsevm@gmail.com> 3651 3652 PR c++/65154 3653 * init.c (build_vec_init): Fix initializing aggregates 3654 with empty init list. 3655 36562015-03-26 Jason Merrill <jason@redhat.com> 3657 3658 PR c++/65525 3659 * constexpr.c (potential_constant_expression_1): Handle MEM_REF. 3660 36612015-03-25 Marek Polacek <polacek@redhat.com> 3662 3663 PR c++/65558 3664 * name-lookup.c (handle_namespace_attrs): Ignore abi_tag attribute 3665 on an anonymous namespace. 3666 36672015-03-25 Marek Polacek <polacek@redhat.com> 3668 3669 PR c++/61670 3670 * class.c (remove_zero_width_bit_fields): Check for null DECL_SIZE. 3671 36722015-03-24 Jason Merrill <jason@redhat.com> 3673 3674 PR c++/65046 3675 * cp-tree.h (NAMESPACE_IS_INLINE): Remove. 3676 * parser.c (cp_parser_namespace_definition): Don't set it. 3677 * name-lookup.c (handle_namespace_attrs): Check 3678 DECL_NAMESPACE_ASSOCIATIONS instead. 3679 3680 PR c++/65498 3681 * pt.c (get_mostly_instantiated_function_type): Just return the 3682 type of the partially instantiated template in DECL_TI_TEMPLATE. 3683 36842015-03-20 Marek Polacek <polacek@redhat.com> 3685 3686 PR c++/65398 3687 * constexpr.c (cxx_fold_indirect_ref): Transform *(&A[i] p+ j) into 3688 A[i + j]. 3689 36902015-03-20 Marek Polacek <polacek@redhat.com> 3691 3692 PR c++/65072 3693 * typeck.c (lookup_anon_field): Make sure we're dealing with the main 3694 variant. 3695 36962015-03-19 Jason Merrill <jason@redhat.com> 3697 3698 PR c++/65046 3699 Automatically propagate ABI tags to variables and functions 3700 from their (return) type. 3701 * class.c (check_tag): Handle variables and functions. 3702 (mark_or_check_attr_tags): Split out from find_abi_tags_r. 3703 (mark_or_check_tags): Likewise. 3704 (mark_abi_tags): Use it. Rename from mark_type_abi_tags. 3705 (check_abi_tags): Add single argument overload for decls. 3706 Handle inheriting tags for decls. 3707 * mangle.c (write_mangled_name): Call it. 3708 (mangle_return_type_p): Split out from write_encoding. 3709 (unmangled_name_p): Split out from write_mangled_name. 3710 (write_mangled_name): Ignore abi_tag on namespace. 3711 * cp-tree.h (NAMESPACE_IS_INLINE): Replace NAMESPACE_ABI_TAG. 3712 * parser.c (cp_parser_namespace_definition): Set it. 3713 * name-lookup.c (handle_namespace_attrs): Use arguments. Warn 3714 about abi_tag attribute on non-inline namespace. 3715 * tree.c (check_abi_tag_args): Split out from handle_abi_tag_attribute. 3716 (handle_abi_tag_attribute): Allow tags on variables. 3717 37182015-03-19 Jakub Jelinek <jakub@redhat.com> 3719 3720 * decl2.c (cplus_decl_attributes): Also add "omp declare target" 3721 attribute for DECL_EXTERNAL VAR_DECLs. 3722 37232015-03-18 Paolo Carlini <paolo.carlini@oracle.com> 3724 3725 PR c++/65340 3726 * call.c (build_over_call): Pass the tsubst_flags_t argument to 3727 mark_used. 3728 * decl2.c (mark_used): Inline the require_deduced_type call and 3729 guard the error call. 3730 37312015-03-16 Jason Merrill <jason@redhat.com> 3732 3733 PR c++/65061 3734 * parser.c (cp_parser_template_name): Call strip_using_decl. 3735 37362015-03-16 Marek Polacek <polacek@redhat.com> 3737 3738 DR 1688 3739 PR c++/65327 3740 * decl.c (grokdeclarator): Allow volatile and constexpr together. 3741 37422015-03-12 Paolo Carlini <paolo.carlini@oracle.com> 3743 3744 PR c++/65323 3745 * decl.c (check_default_argument): Don't call 3746 maybe_warn_zero_as_null_pointer_constant. 3747 37482015-03-11 Aldy Hernandez <aldyh@redhat.com> 3749 3750 * cp-gimplify.c (simple_empty_class_p): New. 3751 * cp-gimplify.c (cp_gimplify_expr): Handle RETURN_EXPR. Abstract 3752 the code for empty class copies into simple_empty_class_p, and 3753 adapt it to handle COMPOUND_EXPRs. 3754 37552015-03-10 Paolo Carlini <paolo.carlini@oracle.com> 3756 3757 PR c++/65370 3758 * decl.c (duplicate_decls): Call check_redeclaration_no_default_args 3759 only if the location of newdecl doesn't match the location of olddecl. 3760 37612015-03-10 Jakub Jelinek <jakub@redhat.com> 3762 3763 PR c++/65127 3764 * parser.c (parsing_nsdmi): Don't return true if current_class_ptr 3765 is not a PARM_DECL. 3766 37672015-03-10 Jason Merrill <jason@redhat.com> 3768 3769 PR c++/65333 3770 DR 1558 3771 * pt.c (dependent_type_p_r): Check both class and alias template args. 3772 37732015-03-10 Jakub Jelinek <jakub@redhat.com> 3774 3775 PR c/65120 3776 * parser.c (cp_parser_binary_expression): Check for tcc_comparison 3777 before preparing arguments to warn_logical_not_parentheses. 3778 Use maybe_constant_value on rhs. 3779 37802015-03-09 Jason Merrill <jason@redhat.com> 3781 3782 PR c++/65339 3783 * call.c: Don't call maybe_resolve_dummy when calling a constructor. 3784 37852015-03-09 Jakub Jelinek <jakub@redhat.com> 3786 3787 PR c/65120 3788 * parser.c (cp_parser_binary_expression): Don't warn for 3789 !!x == y or !b == y where b is bool. 3790 37912015-03-06 Aldy Hernandez <aldyh@redhat.com> 3792 3793 * ptree.c (cxx_print_lambda_node): New. 3794 (cxx_print_xnode): Handle LAMBDA_EXPR. 3795 37962015-03-03 Aldy Hernandez <aldyh@redhat.com> 3797 3798 PR c++/65295 3799 * constexpr.c (cxx_eval_constant_expression): Remove assert in 3800 RESULT_DECL handling. 3801 38022015-02-26 Marek Polacek <polacek@redhat.com> 3803 3804 PR c++/65202 3805 * constexpr.c (cxx_eval_constant_expression): Don't evaluate 3806 a RETURN_EXPR if its operand is null. 3807 38082015-02-25 Jason Merrill <jason@redhat.com> 3809 3810 PR c++/65209 3811 * decl2.c (constrain_visibility) [VISIBILITY_ANON]: Clear 3812 DECL_COMDAT. 3813 (constrain_visibility_for_template): Handle reference arguments. 3814 3815 PR debug/58315 3816 * decl.c (start_preparsed_function): Use create_artificial_label 3817 for cdtor_label. 3818 38192015-02-17 Paolo Carlini <paolo.carlini@oracle.com> 3820 Jakub Jelinek <jakub@redhat.com> 3821 3822 PR c++/65075 3823 * constexpr.c (check_constexpr_bind_expr_vars): Allow 3824 implicit typedefs for lambda types. 3825 38262015-02-13 Paolo Carlini <paolo.carlini@oracle.com> 3827 3828 PR c++/60894 3829 * decl.c (lookup_and_check_tag): Use strip_using_decl. 3830 38312015-02-13 Jason Merrill <jason@redhat.com> 3832 3833 PR c++/65054 3834 * pt.c (template_args_equal): Look through conversions here. 3835 * tree.c (cp_tree_equal): Not here. 3836 38372015-02-13 Paolo Carlini <paolo.carlini@oracle.com> 3838 3839 PR c++/60211 3840 * parser.c (cp_parser_pragma): Diagnose PRAGMA_IVDEP at 3841 pragma_external context. 3842 38432015-02-13 Jason Merrill <jason@redhat.com> 3844 3845 PR c++/65051 3846 * call.c (reference_binding): Don't look for bad conversion 3847 if TO is incomplete. 3848 38492015-02-13 Paolo Carlini <paolo.carlini@oracle.com> 3850 3851 PR c++/64970 3852 * decl.c (make_typename_type): Pass tsubst_flags_t argument 3853 to lookup_template_class. 3854 38552015-02-13 Jakub Jelinek <jakub@redhat.com> 3856 3857 PR ipa/65034 3858 * decl.c (start_preparsed_function): Use void_type_node instead 3859 of NULL_TREE as LABEL_DECL type. 3860 38612015-02-12 Jason Merrill <jason@redhat.com> 3862 3863 PR c++/64898 3864 * mangle.c (write_mangled_name): Fix test for variable template 3865 instantiation. 3866 3867 * decl.c (begin_destructor_body): Condition clobber on 3868 -flifetime-dse. 3869 38702015-02-12 Andrea Azzarone <azzaronea@gmail.com> 3871 3872 PR c++/64959 3873 * parser.c (lookup_literal_operator): Return all candidates. 3874 (cp_parser_userdef_char_literal): Simplify error handling. 3875 (cp_parser_userdef_numeric_literal): Pass tf_warning_or_error. 3876 (cp_parser_userdef_string_literal): Pass tf_warning_or_error. 3877 Also give higher priority to standard string UDL operator. 3878 38792015-02-12 Jakub Jelinek <jakub@redhat.com> 3880 3881 PR debug/55541 3882 * cp-tree.h (BLOCK_OUTER_CURLY_BRACE_P): Define. 3883 * decl.c (poplevel): If functionbody, try not to create an extra 3884 BLOCK for function body and use subblocks as that, if it is non-NULL 3885 and doesn't have siblings. Set BLOCK_OUTER_CURLY_BRACE_P flag. 3886 (outer_curly_brace_block): Use BLOCK_OUTER_CURLY_BRACE_P flag. 3887 3888 PR sanitizer/64984 3889 * except.c (check_noexcept_r): Return NULL for internal 3890 calls. 3891 38922015-02-10 Jason Merrill <jason@redhat.com> 3893 3894 PR c++/64994 3895 * constexpr.c (cxx_eval_call_expression): Walk the clone list. 3896 38972015-02-10 Jan Hubicka <hubicka@ucw.cz> 3898 3899 PR ipa/64982 3900 * method.c (use_thunk): Do not check for stdarg thunks. 3901 39022015-02-06 Jason Merrill <jason@redhat.com> 3903 3904 PR c++/64899 3905 * init.c (build_vec_init): Handle default-initialized array with 3906 constexpr default constructor. 3907 39082015-02-04 Jakub Jelinek <jakub@redhat.com> 3909 3910 PR c/64824 3911 PR c/64868 3912 * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR. 3913 39142015-02-03 Paolo Carlini <paolo.carlini@oracle.com> 3915 3916 PR c++/64877 3917 * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings 3918 for generated expressions. 3919 39202015-02-02 Ville Voutilainen <ville.voutilainen@gmail.com> 3921 3922 PR c++/64901 3923 * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and 3924 DECL_OVERRIDE_P. 3925 39262015-02-02 Jason Merrill <jason@redhat.com> 3927 3928 * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments. 3929 39302015-01-30 Joseph Myers <joseph@codesourcery.com> 3931 3932 * class.c, except.c, parser.c, pt.c: All callers of fatal_error 3933 changed to pass input_location as first argument. 3934 39352015-01-29 Jakub Jelinek <jakub@redhat.com> 3936 3937 PR c++/64717 3938 * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr 3939 into SAVE_EXPR. 3940 39412015-01-29 Jason Merrill <jason@redhat.com> 3942 3943 PR c++/49508 3944 * semantics.c (finish_return_stmt): Suppress -Wreturn-type on 3945 erroneous return statement. 3946 3947 PR c++/64521 3948 * repo.c (repo_emit_p): It's OK for a clone to be extern at this 3949 point. 3950 39512015-01-27 Caroline Tice <cmtice@google.com> 3952 3953 Committing VTV Cywin/Ming patch for Patrick Wollgast 3954 * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add 3955 check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks. 3956 39572015-01-27 Jason Merrill <jason@redhat.com> 3958 3959 PR c++/58597 3960 * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than 3961 current_function_decl. 3962 3963 PR c++/63889 3964 * pt.c (finish_template_variable): Move from semantics.c. 3965 Handle multiple template arg levels. Handle coercion here. 3966 (lookup_template_variable): Not here. 3967 39682015-01-23 Jason Merrill <jason@redhat.com> 3969 3970 PR c++/64314 3971 PR c++/57510 3972 * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR 3973 that has been completely split out. 3974 3975 PR c++/64701 3976 * constexpr.c (cxx_eval_constant_expression): Don't crash on C++ 3977 statement codes. 3978 3979 PR c++/64727 3980 * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use 3981 of CONST_DECL. 3982 39832015-01-21 Jason Merrill <jason@redhat.com> 3984 3985 PR c++/64603 3986 * constexpr.c (cxx_eval_constant_expression): Only shortcut 3987 constant CONSTRUCTORs. 3988 3989 PR c++/64647 3990 * constexpr.c (ensure_literal_type_for_constexpr_object): Don't 3991 give a hard error in a template instantiation. 3992 39932015-01-21 Richard Biener <rguenther@suse.de> 3994 3995 PR middle-end/64313 3996 * decl.c (duplicate_decls): Call set_builtin_decl_declared_p 3997 for builtins the user declared correctly. 3998 39992015-01-16 Paolo Carlini <paolo.carlini@oracle.com> 4000 4001 PR c++/58614 4002 * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle 4003 TREE_TYPE (elt) == error_mark_node. 4004 40052015-01-15 Jan Hubicka <hubicka@ucw.cz> 4006 4007 PR tree-optimization/62053 4008 * tree.c (build_cplus_array_type): Layout type after variants are set. 4009 40102015-01-15 Jakub Jelinek <jakub@redhat.com> 4011 4012 * cp-gimplify.c (cp_genericize_r): Call 4013 cp_ubsan_maybe_instrument_member_call for member calls. 4014 (cp_ubsan_check_member_access_r): New function. 4015 (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses. 4016 * cp-tree.h (cp_ubsan_maybe_instrument_member_call, 4017 cp_ubsan_instrument_member_accesses, 4018 cp_ubsan_maybe_instrument_downcast, 4019 cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes. 4020 * cp-ubsan.c: New file. 4021 * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o. 4022 * constexpr.c (cxx_eval_call_expression): Return void_node 4023 for IFN_UBSAN_VPTR. 4024 (potential_constant_expression_1): Return true for 4025 UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls. 4026 * typeck.c (build_class_member_access_expr): Provide locus 4027 for COMPONENT_REFs. 4028 (build_static_cast_1): Instrument downcasts. 4029 * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p 4030 add ubsan instrumentation for virtual_access. 4031 * call.c: Include internal-fn.h. 4032 (set_flags_from_callee): Handle internal calls. 4033 40342015-01-15 Momchil Velikov <momchil.velikov@gmail.com> 4035 4036 PR c++/59366 4037 * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions 4038 and function templates, declared only in the class. 4039 * decl.c (duplicate_decls): Reveal hidden friend functions or 4040 function templates, if they are redeclared outside the class. 4041 40422015-01-15 Jason Merrill <jason@redhat.com> 4043 4044 PR c++/64356 4045 * constexpr.c (cxx_eval_binary_expression): Fix pasto. 4046 4047 PR c++/63283 4048 * constexpr.c (potential_constant_expression_1): Handle reference 4049 args in templates. 4050 40512015-01-15 Thomas Schwinge <thomas@codesourcery.com> 4052 James Norris <jnorris@codesourcery.com> 4053 Cesar Philippidis <cesar@codesourcery.com> 4054 Ilmir Usmanov <i.usmanov@samsung.com> 4055 Jakub Jelinek <jakub@redhat.com> 4056 4057 * parser.c: Include "gomp-constants.h". 4058 (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum 4059 omp_clause_map_kind. Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*. 4060 Use OMP_CLAUSE_SET_MAP_KIND. 4061 (cp_parser_omp_construct, cp_parser_pragma): Handle 4062 PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA, 4063 PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL, 4064 PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT. 4065 (cp_parser_omp_clause_name): Handle "async", "copy", "copyout", 4066 "create", "delete", "deviceptr", "host", "num_gangs", 4067 "num_workers", "present", "present_or_copy", "pcopy", 4068 "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout", 4069 "present_or_create", "pcreate", "vector_length", "wait". 4070 (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK) 4071 (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK) 4072 (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK) 4073 (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros. 4074 (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_. 4075 (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr) 4076 (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list) 4077 (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs) 4078 (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async) 4079 (cp_parser_oacc_all_clauses, cp_parser_oacc_cache) 4080 (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data) 4081 (cp_parser_oacc_kernels, cp_parser_oacc_loop) 4082 (cp_parser_oacc_parallel, cp_parser_oacc_update) 4083 (cp_parser_oacc_wait): New functions. 4084 * cp-tree.h (finish_oacc_data, finish_oacc_kernels) 4085 (finish_oacc_parallel): New prototypes. 4086 * semantics.c: Include "gomp-constants.h". 4087 (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR. Use 4088 GOMP_MAP_* instead of OMP_CLAUSE_MAP_*. Use 4089 OMP_CLAUSE_SET_MAP_KIND. 4090 (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC, 4091 OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_. 4092 Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*. 4093 (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New 4094 functions. 4095 40962015-01-14 Paolo Carlini <paolo.carlini@oracle.com> 4097 4098 PR c++/58671 4099 * decl2.c (var_defined_without_dynamic_init): Handle gracefully 4100 self-initialization. 4101 41022015-01-13 Jason Merrill <jason@redhat.com> 4103 4104 PR c++/64356 4105 PR libstdc++/58777 4106 * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT 4107 pointer expressions. 4108 (cxx_eval_increment_expression): Likewise. 4109 4110 PR c++/64514 4111 * pt.c (coerce_template_parameter_pack): Return NULL for a 4112 zero-length fixed parameter pack with a pack expansion arg. 4113 4114 PR c++/64520 4115 * pt.c (unify): Don't try to deduce to std::initializer_list<T...>. 4116 41172015-01-12 Jason Merrill <jason@redhat.com> 4118 4119 PR c++/64547 4120 * constexpr.c (cxx_eval_call_expression): A call to a void 4121 function doesn't need to return a value. 4122 41232015-01-09 Michael Collison <michael.collison@linaro.org> 4124 4125 * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h, 4126 input.h, alias.h, symtab.h, options.h, fold-const.h, 4127 wide-int.h, and inchash.h due to flattening of tree.h. 4128 * class.c: Ditto. 4129 * constexpr.c: Ditto. 4130 * cp-array-notation.c: Ditto. 4131 * cp-gimplify.c: Ditto. 4132 * cp-lang.c: Ditto. 4133 * cp-objcp-common.c: Ditto. 4134 * cvt.c: Ditto. 4135 * decl2.c: Ditto. 4136 * decl.c: Ditto. 4137 * dump.c: Ditto. 4138 * error.c: Ditto. 4139 * except.c: Ditto. 4140 * expr.c: Ditto. 4141 * friend.c: Ditto. 4142 * init.c: Ditto. 4143 * lambda.c: Ditto. 4144 * lex.c: Ditto. 4145 * mangle.c: Ditto. 4146 * name-lookup.c: Ditto. 4147 * optimize.c: Ditto. 4148 * parser.c: Ditto. 4149 * pt.c: Ditto. 4150 * ptree.c: Ditto. 4151 * repo.c: Ditto. 4152 * rtti.c: Ditto. 4153 * search.c: Ditto. 4154 * semantics.c: Ditto. 4155 * tree.c: Ditto. 4156 * typeck2.c: Ditto. 4157 * typeck.c: Ditto. 4158 41592015-01-08 Jason Merrill <jason@redhat.com> 4160 4161 * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function. 4162 * decl.c (compute_array_index_type): Likewise. 4163 * init.c (build_vec_init): Likewise. 4164 * typeck.c (cp_build_binary_op): Likewise. 4165 41662015-01-08 Jason Merrill <jason@redhat.com> 4167 4168 * init.c (build_vec_init): Call ubsan_instrument_bounds to check 4169 whether an initializer-list is too big for a VLA. 4170 (throw_bad_array_length): Remove. 4171 * cp-tree.h: Remove prototype. 4172 41732015-01-08 Paolo Carlini <paolo.carlini@oracle.com> 4174 4175 PR c++/60753 4176 * decl.c (grokfndecl): Add bool parameter. 4177 (grokdeclarator): Adjust calls. 4178 (start_decl): Don't set DECL_DELETED_FN here. 4179 41802015-01-06 Jason Merrill <jason@redhat.com> 4181 4182 * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid 4183 template-ids. 4184 4185 PR c++/64455 4186 * pt.c (type_dependent_expression_p): Handle variable templates. 4187 * constexpr.c (potential_constant_expression_1): Use it. 4188 4189 PR c++/64487 4190 * semantics.c (finish_offsetof): Handle templates here. 4191 * parser.c (cp_parser_builtin_offsetof): Not here. 4192 4193 PR c++/64496 4194 * semantics.c (process_outer_var_ref): Diagnose lambda in local 4195 class NSDMI. 4196 41972015-01-06 Ville Voutilainen <ville.voutilainen@gmail.com> 4198 4199 PR c++/64489 4200 * class.c (check_field_decls): Make copy assignment operators 4201 complex only in c++98 mode. 4202 42032015-01-05 Trevor Saunders <tsaunders@mozilla.com> 4204 4205 PR c++/31397 4206 * class.c (check_for_override): Warn when a virtual function is an 4207 override not marked override. 4208 42092015-01-05 Trevor Saunders <tsaunders@mozilla.com> 4210 4211 * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to 4212 hold base_fndecls. 4213 (get_basefndecls): Adjust. 4214 42152015-01-05 Jakub Jelinek <jakub@redhat.com> 4216 4217 Update copyright years. 4218 42192015-01-05 Marek Polacek <polacek@redhat.com> 4220 4221 PR c/64423 4222 * typeck.c (cp_build_array_ref): Pass loc down to 4223 warn_array_subscript_with_type_char. 4224 4225 4226Copyright (C) 2015 Free Software Foundation, Inc. 4227 4228Copying and distribution of this file, with or without modification, 4229are permitted in any medium without royalty provided the copyright 4230notice and this notice are preserved. 4231