12014-12-31 Iain Sandoe <iain@codesourcery.com> 2 3 * parser.c (cp_parser_primary_expression): If parsing an 4 objective-c++ message expression fails, see if a lambda is present. 5 (cp_parser_objc_message_receiver): Don't assume that, if a message 6 receiver expression fails, it is a hard error. 7 82014-12-25 Jason Merrill <jason@redhat.com> 9 10 * pt.c (check_default_tmpl_args): Uses the parameter source 11 location in the diagnostic. 12 (convert_template_argument): Just return if parm is error_mark_node. 13 14 PR c++/63522 15 * parser.c (cp_parser_type_parameter): Call 16 check_for_bare_parameter_packs on default argument. 17 182014-12-24 Paolo Carlini <paolo.carlini@oracle.com> 19 20 PR c++/63985 21 * parser.c (cp_parser_init_declarator): Add location_t* parameter. 22 (cp_parser_simple_declaration): Provide proper diagnostic for 23 multiple declarations and initializers in range-based for loops. 24 (cp_parser_single_declaration): Adjust call. 25 262014-12-20 Jason Merrill <jason@redhat.com> 27 28 PR c++/64359 29 * pt.c (iterative_hash_template_arg): Hash alias specializations 30 differently from their TYPE_CANONICAL. 31 (alias_template_specialization_p): Optimize. 32 (template_args_equal): Optimize alias handling. 33 (dependent_alias_template_spec_p): Only check innermost args. 34 352014-12-19 Kai Tietz <ktietz@redhat.com> 36 37 PR c++/61198 38 * pt.c (most_general_template): Don't break for template-alias. 39 402014-12-18 Jason Merrill <jason@redhat.com> 41 42 PR c++/64105 43 * parser.c (cp_parser_simple_type_specifier): Make auto parameter 44 before -std=c++14 an error. 45 46 PR c++/64352 47 * pt.c (tsubst_copy_and_build): Pass complain to mark_used. 48 49 PR c++/64251 50 * decl2.c (mark_used): Don't mark if in_template_function. 51 522014-12-18 Paolo Carlini <paolo.carlini@oracle.com> 53 54 PR c++/60955 55 * pt.c (struct warning_sentinel): Move it... 56 * cp-tree.h: ... here. 57 * semantics.c (force_paren_expr): Use it. 58 592014-12-17 Jason Merrill <jason@redhat.com> 60 61 PR c++/64333 62 * constexpr.c (cxx_bind_parameters_in_call): non_constant_args parm. 63 (cxx_eval_call_expression): Don't cache calls with non-constant args. 64 (cxx_eval_constant_expression) [COMPOUND_EXPR]: Pass true for lval. 65 (cxx_eval_unary_expression, cxx_eval_binary_expression) 66 (cxx_eval_conditional_expression): Pass false for lval. 67 68 * constexpr.c: Change "addr" parm names to "lval". 69 70 * constexpr.c: Tweak comments and formatting. 71 722014-12-16 Paolo Carlini <paolo.carlini@oracle.com> 73 74 PR c++/58650 75 * parser.c (cp_parser_member_declaration): Fix error recovery for 76 initialized non-static data member declared friend. 77 782014-12-15 Jan Hubicka <hubicka@ucw.cz> 79 80 * decl2.c (decl_needed_p): When not optimizing, do not consider external 81 decls as needed. 82 832014-12-15 Jason Merrill <jason@redhat.com> 84 85 PR c++/64297 86 * typeck.c (apply_memfn_quals): Correct wrong TYPE_CANONICAL. 87 88 N3778: Sized Deallocation 89 * call.c (non_placement_deallocation_fn_p): A global sized 90 operator delete is not a usual deallocation function until C++14. 91 (build_op_delete_call): Choose the global sized op delete if we 92 know the size. 93 * cp-tree.h: Declare non_placement_deallocation_fn_p. 94 (enum cp_tree_index): Remove CPTI_GLOBAL_DELETE_FNDECL. 95 (global_delete_fndecl): Remove. 96 * decl.c (cxx_init_decl_processing): Also declare sized op deletes. 97 (grok_op_properties): Warn about sized dealloc without the flag. 98 * init.c (build_builtin_delete_call): Remove. 99 (build_vec_delete_1, build_delete): Don't call it. 100 * decl2.c (maybe_warn_sized_delete): New. 101 (cp_write_global_declarations): Call it. 102 1032014-12-15 Paolo Carlini <paolo.carlini@oracle.com> 104 105 PR c++/58882 106 * decl.c (check_array_designated_initializer): Diagnose gracefully 107 C99 designators which aren't integral constant-expressions; allow 108 constexpr user-defined type conversion operators. 109 1102014-12-12 Paolo Carlini <paolo.carlini@oracle.com> 111 112 PR c++/59628 113 * semantics.c (finish_omp_reduction_clause): Early return true 114 if DECL_SAVED_TREE (id) is NULL_TREE. 115 1162014-12-12 Jason Merrill <jason@redhat.com> 117 118 N3922 119 * pt.c (do_auto_deduction): In direct-init context, { x } deduces 120 from x. 121 122 * cp-tree.h (NAMESPACE_ABI_TAG): New. 123 * name-lookup.c (handle_namespace_attrs): Set it. 124 * class.c (check_tag): Split out from find_abi_tags_r. 125 (find_abi_tags_r): Also check namespace tags. 126 (mark_type_abi_tags): Also mark namespace tags. 127 1282014-12-12 Kai Tietz <ktietz@redhat.com> 129 130 PR c++/63996 131 * constexpr.c (cxx_eval_loop_expr): Don't loop 132 endless on none-constant expression. 133 1342014-12-12 Jason Merrill <jason@redhat.com> 135 136 PR c++/61402 137 * lambda.c (add_capture): Don't pass a dependent type to 138 variably_modified_type_p. 139 1402014-12-11 Jason Merrill <jason@redhat.com> 141 142 Remove N3639 "array of runtime length" from -std=c++14. 143 * decl.c (compute_array_index_type): VLAs are not part of C++14. 144 (create_array_type_for_decl, grokdeclarator): Likewise. 145 * lambda.c (add_capture): Likewise. 146 * pt.c (tsubst): Likewise. 147 * rtti.c (get_tinfo_decl): Likewise. 148 * semantics.c (finish_decltype_type): Likewise. 149 * typeck.c (cxx_sizeof_or_alignof_type): Likewise. 150 (cp_build_addr_expr_1): Likewise. 151 * init.c (build_vec_init): Don't throw bad_array_length. 152 153 PR c++/64248 154 Revert: 155 * parser.c (cp_parser_unqualified_id): Handle __func__ here. 156 (cp_parser_primary_expression): Not here. 157 158 PR c++/57510 159 * typeck2.c (split_nonconstant_init_1): Handle arrays here. 160 (store_init_value): Not here. 161 (split_nonconstant_init): Look through TARGET_EXPR. No longer static. 162 * cp-tree.h: Declare split_nonconstant_init. 163 * call.c (set_up_extended_ref_temp): Use split_nonconstant_init. 164 1652014-12-11 Paolo Carlini <paolo.carlini@oracle.com> 166 167 * typeck.c (maybe_warn_about_useless_cast): Remove unnecessary 168 conditional. 169 1702014-12-10 Kai Tietz <ktietz@redhat.com> 171 172 PR c++/64127 173 * parser.c (cp_parser_diagnose_invalid_type_name): Check id 174 for being an identifier before accessing it. 175 176 PR c++/64100 177 * typeck.c (lookup_destructor): Handle incomplete type. 178 1792014-12-09 Jason Merrill <jason@redhat.com> 180 181 PR c++/64129 182 * decl.c (grokdeclarator): Recover from variable template 183 specialization declared as function. 184 185 PR c++/64222 186 * parser.c (cp_parser_unqualified_id): Don't declare fname while 187 parsing function parms. 188 1892014-12-03 Jason Merrill <jason@redhat.com> 190 191 PR c++/64029 192 * decl.c (grok_reference_init): Complete array type. 193 194 PR c++/64080 195 * constexpr.c (cxx_eval_store_expression): Handle non-decl store 196 targets. 197 1982014-12-03 Paolo Carlini <paolo.carlini@oracle.com> 199 200 PR c++/63558 201 * decl.c (identify_goto): Return a bool if diagnostic is emitted. 202 (check_previous_goto_1): Consistently emit permerror + inform. 203 (check_goto): Likewise. 204 2052014-12-03 Richard Biener <rguenther@suse.de> 206 207 * constexpr.c (cxx_eval_builtin_function_call): Use 208 fold_build_call_array_loc. 209 2102014-12-02 Marek Polacek <polacek@redhat.com> 211 212 * constexpr.c (cxx_eval_check_shift_p): New function. 213 (cxx_eval_binary_expression): Call it. Set NON_CONSTANT_P if it 214 returns true. 215 2162014-12-01 Paolo Carlini <paolo.carlini@oracle.com> 217 218 PR c++/60859 219 * decl.c (reshape_init_r): Do not reject value-initialization of 220 scalar array element. 221 2222014-12-01 Marek Polacek <polacek@redhat.com> 223 224 PR sanitizer/63956 225 * constexpr.c: Include ubsan.h. 226 (cxx_eval_call_expression): Bail out for IFN_UBSAN_{NULL,BOUNDS} 227 internal functions and for ubsan builtins. 228 * error.c: Include internal-fn.h. 229 (dump_expr): Add printing of internal functions. 230 2312014-12-01 Marek Polacek <polacek@redhat.com> 232 233 * constexpr.c (literal_type_p): Return true for void type in C++14. 234 2352014-12-01 Paolo Carlini <paolo.carlini@oracle.com> 236 237 PR c++/60845 238 * typeck.c (finish_class_member_access_expr): Use %q#T instead of 239 %qD in error message. 240 2412014-11-29 Jakub Jelinek <jakub@redhat.com> 242 243 * cp-gimplify.c (cxx_omp_clause_apply_fn): Remove NULL last argument 244 from create_tmp_var calls. 245 2462014-11-28 Marek Polacek <polacek@redhat.com> 247 248 PR c/63862 249 * typeck.c (cp_build_binary_op) <RSHIFT_EXPR, LSHIFT_EXPR>: Don't 250 convert the right operand to integer type. 251 2522014-11-27 Kai Tietz <ktietz@redhat.com> 253 254 PR c++/63904 255 * constexpr.c (cxx_eval_vec_init_1): Avoid 256 type-overflow issue. 257 2582014-11-26 Jason Merrill <jason@redhat.com> 259 260 Allow partial specialization of variable templates. 261 * cp-tree.h (TINFO_USED_TEMPLATE_ID): New. 262 * decl.c (duplicate_decls): Copy it. 263 * error.c (dump_decl) [TEMPLATE_ID_EXPR]: Handle variables. 264 * parser.c (cp_parser_decltype_expr): Do call finish_id_expression 265 on template-ids. 266 * pt.c (register_specialization): Remember variable template insts. 267 (instantiate_template_1): Find the matching partial specialization. 268 (check_explicit_specialization): Allow variable partial specialization. 269 (process_partial_specialization): Likewise. 270 (push_template_decl_real): Likewise. 271 (more_specialized_partial_spec): Rename from more_specialized_class. 272 (most_specialized_partial_spec): Rename from most_specialized_class. 273 (get_partial_spec_bindings): Rename from get_class_bindings. 274 2752014-11-26 Paolo Carlini <paolo.carlini@oracle.com> 276 277 PR c++/63757 278 * call.c (standard_conversion): Do not require expr to be non-null 279 when NULLPTR_TYPE_P (from) is true. 280 2812014-11-26 Jason Merrill <jason@redhat.com> 282 283 * constexpr.c (cxx_eval_constant_expression) [SAVE_EXPR]: Avoid 284 multiple evaluation. 285 286 * constexpr.c (cxx_eval_call_expression): Don't talk about 287 flowing off the end if we're already non-constant. 288 2892014-11-26 Ville Voutilainen <ville.voutilainen@gmail.com> 290 291 Diagnose string constant conversion to char* in c++11 and above 292 as forbidden, not deprecated. 293 * typeck.c (string_conv_p): Do a pedwarn in c++11 and above, 294 change the diagnostic for the Wwrite-strings case for c++11 and above. 295 2962014-11-24 Jason Merrill <jason@redhat.com> 297 298 * pt.c (lookup_template_variable): Always unknown_type_node. 299 3002014-11-25 Paolo Carlini <paolo.carlini@oracle.com> 301 302 PR c++/63786 303 * parser.c (cp_parser_label_for_labeled_statement): Check the case 304 with check_for_bare_parameter_packs. 305 3062014-11-24 Jonathan Wakely <jwakely@redhat.com> 307 Paolo Carlini <paolo.carlini@oracle.com> 308 309 PR c++/63203 310 * decl.c (initialize_local_var): Add -Winit-self warning for 311 references initialized with themselves. 312 3132014-11-24 Jason Merrill <jason@redhat.com> 314 315 PR c++/63942 316 * mangle.c (mangle_decl): If we aren't going to create a symbol 317 alias, don't build the alias DECL either. 318 3192014-11-24 Paolo Carlini <paolo.carlini@oracle.com> 320 321 PR c++/63905 322 * cp-tree.h (lang_decl_fn): Remove constructor_attr, destructor_attr. 323 3242014-11-21 Jason Merrill <jason@redhat.com> 325 326 PR c++/63657 327 PR c++/38958 328 * call.c (set_up_extended_ref_temp): Set TREE_USED on the reference 329 if the temporary has a non-trivial destructor. 330 * decl.c (poplevel): Don't look through references. 331 332 PR c++/63942 333 * name-lookup.c (supplement_binding_1): Override a mangling alias. 334 * mangle.c (maybe_remove_implicit_alias): New. 335 (mangle_decl): Always avoid creating conflicting alias. 336 * cp-tree.h: Adjust. 337 338 PR c++/63849 339 * mangle.c (decl_mangling_context): Use template_type_parameter_p. 340 341 PR c++/63588 342 * pt.c (uses_template_parms): Handle null argument. 343 3442014-11-21 Jakub Jelinek <jakub@redhat.com> 345 346 PR target/63764 347 * typeck.c (cp_build_array_ref): Adjust 348 convert_vector_to_pointer_for_subscript caller. If it returns true, 349 call non_lvalue_loc on the result. 350 3512014-11-20 Jason Merrill <jason@redhat.com> 352 353 PR c++/63658 354 * pt.c (convert_nontype_argument): Call convert_from_reference. 355 (check_instantiated_arg): Don't be confused by reference refs. 356 (unify): Look through reference refs on the arg, too. 357 * mangle.c (write_template_arg): Look through reference refs. 358 359 * error.c (dump_expr): Avoid printing (*&i) for references. 360 3612014-11-20 Ville Voutilainen <ville.voutilainen@gmail.com> 362 363 PR c++/63959 364 * tree.c (trivially_copyable_p): Check for CP_TYPE_VOLATILE_P. 365 3662014-11-20 Trevor Saunders <tsaunders@mozilla.com> 367 368 * cp-objcp-common.c: Use hash_table instead of htab. 369 3702014-11-19 Jason Merrill <jason@redhat.com> 371 372 PR c++/56041 373 * cp-tree.h (struct processing_template_decl_sentinel): New. 374 * pt.c (instantiate_non_dependent_expr_internal): Split out from... 375 (instantiate_non_dependent_expr_sfinae): Here. 376 (convert_nontype_argument): Use them. 377 * constexpr.c (fold_non_dependent_expr): Use them. 378 379 PR c++/63885 380 * constexpr.c (cxx_eval_constant_expression) [PARM_DECL]: Don't 381 complain yet about a reference. 382 [TARGET_EXPR]: Handle TARGET_EXPR with addr == true. 383 [ADDR_EXPR]: Make sure we don't take the address of a CONSTRUCTOR. 384 (cxx_bind_parameters_in_call): In the new scheme addr is always false. 385 * typeck.c (build_address): Don't take the address of a CONSTRUCTOR. 386 387 PR c++/57979 388 * init.c (decl_really_constant_value): Rename from 389 integral_constant_value. 390 (scalar_constant_value): Similar but limited to scalar results. 391 (decl_constant_value_safe): Remove. 392 (constant_value_1): Respect return_aggregate_cst_ok_p. 393 * typeck.c (decay_conversion): Use scalar_constant_value. 394 * call.c (convert_like_real): Likewise. 395 * cvt.c (ocp_convert): No need to check CLASS_TYPE_P. 396 * typeck.c (decay_conversion): Or ARRAY_TYPE. 397 * constexpr.c (struct constexpr_ctx): Add strict field. 398 (cxx_eval_constant_expression) [VAR_DECL]: Use it to select between 399 decl_constant_value and decl_really_constant_value. 400 (cxx_eval_outermost_constant_expr): Add strict parm. 401 (maybe_constant_init): Not strict. 402 (potential_constant_expression_1): Add strict parm. 403 Shorten most internal calls with RECUR macro. 404 * cp-tree.h, pt.c, semantics.c: Adjust. 405 4062014-11-19 Jason Merrill <jason@redhat.com> 407 408 PR c++/63928 409 * constexpr.c (cxx_eval_store_expression): Return init, not *valp. 410 4112014-11-19 Paolo Carlini <paolo.carlini@oracle.com> 412 413 PR c++/55425 414 * constexpr.c (constexpr_fn_retval): Accept __func__, __FUNCTION__, 415 and __PRETTY_FUNCTION__. 416 4172014-11-18 Jason Merrill <jason@redhat.com> 418 419 PR c++/63924 420 * constexpr.c (cxx_eval_constant_expression) [PARM_DECL]: A load 421 from a variable of empty class type is constant. 422 423 * constexpr.c (cxx_eval_statement_list): Handle statement-expressions. 424 (potential_constant_expression_1): Handle STMT_EXPR. 425 426 * constexpr.c (cxx_eval_constant_expression): Give jump_target a 427 default argument. 428 (lots): Omit NULL jump_target arguments. 429 430 * constexpr.c (struct constexpr_ctx): Add quiet field. 431 (cxx_eval_outermost_constant_expr, is_sub_constant_expr): Set it. 432 (lots): Replace allow_non_constant parameter with ctx->quiet. 433 434 PR c++/63940 435 * constexpr.c (cxx_eval_binary_expression): Don't assume the 436 expression was already folded. 437 (cxx_eval_unary_expression): Likewise. 438 4392014-11-18 Marc Glisse <marc.glisse@inria.fr> 440 441 PR libstdc++/43622 442 * rtti.c (emit_support_tinfos): Handle __float128. 443 4442014-11-18 Jason Merrill <jason@redhat.com> 445 446 PR c++/63925 447 * constexpr.c (cxx_eval_increment_expression): Use POINTER_PLUS_EXPR. 448 449 PR c++/63934 450 * constexpr.c (cxx_eval_call_expression): Check DECL_CONSTRUCTOR_P 451 rather than VOID_TYPE_P. 452 453 * pt.c (instantiate_template_1): Use tsubst_aggr_type for context. 454 455 PR c++/58102 456 * typeck2.c (store_init_value): Set it. 457 * cp-tree.h (CONSTRUCTOR_MUTABLE_POISON): New. 458 * constexpr.c (cxx_eval_outermost_constant_expr): Check it. 459 4602014-11-17 Jason Merrill <jason@redhat.com> 461 462 PR c++/33911 463 * call.c (build_call_a): Don't warn_deprecated_use here. 464 (build_over_call): Or here. 465 * decl2.c (mark_used): Do it here. 466 (is_late_template_attribute): Attribute deprecated is not deferred. 467 (cplus_decl_attributes): Propagate TREE_DEPRECATED out to the template. 468 * parser.c (cp_parser_template_name): Warn about deprecated template. 469 (cp_parser_template_argument): Likewise. 470 471 PR c++/50473 472 * decl.c (cp_finish_decl): Don't try to process a non-dependent 473 constant initializer for a reference. 474 * pt.c (value_dependent_expression_p): A reference is always 475 dependent. 476 * call.c (extend_ref_init_temps_1): Also clear TREE_SIDE_EFFECTS 477 on any NOP_EXPRs. 478 479 Handle C++14 constexpr flow control. 480 * constexpr.c (cxx_eval_loop_expr, cxx_eval_switch_expr): New. 481 (cxx_eval_statement_list): New. 482 (cxx_eval_constant_expression): Handle LABEL_EXPR, 483 CASE_LABEL_EXPR, GOTO_EXPR, LOOP_EXPR, SWITCH_EXPR. Handle jump 484 semantics of RETURN_EXPR. 485 (many functions): Add jump_target parameter. 486 (returns, breaks, continues, switches, label_matches): New. 487 * cp-tree.h (LABEL_DECL_BREAK, LABEL_DECL_CONTINUE): New. 488 * cp-gimplify.c (begin_bc_block): Set them. 489 490 * cp-gimplify.c (genericize_cp_loop): Use LOOP_EXPR. 491 (genericize_for_stmt): Handle null statement-list. 492 493 * constexpr.c (use_new_call): Always use new call handling. 494 495 C++14 constexpr support (minus loops and multiple returns) 496 * constexpr.c (use_new_call): New macro. 497 (build_data_member_initialization): Ignore non-mem-inits. 498 (check_constexpr_bind_expr_vars): Remove C++14 checks. 499 (constexpr_fn_retval): Likewise. 500 (check_constexpr_ctor_body): Do nothing in C++14. 501 (massage_constexpr_body): In C++14 only collect mem-inits. 502 (get_function_named_in_call): Handle null CALL_EXPR_FN. 503 (cxx_bind_parameters_in_call): Build bindings in same order as 504 parameters. Don't treat iniviref parms specially in new call mode. 505 (cxx_eval_call_expression): If use_new_call, do constexpr expansion 506 based on DECL_SAVED_TREE rather than the massaged constexpr body. 507 Set up ctx->object from AGGR_INIT_EXPR_SLOT if we don't have one. 508 (is_sub_constant_expr): Don't mess with ctx.ctor here. 509 (cxx_eval_component_reference): A null element means we're mid- 510 initialization. 511 (cxx_eval_store_expression, cxx_eval_increment_expression): New. 512 (cxx_eval_constant_expression): Handle RESULT_DECL, DECL_EXPR, 513 MODIFY_EXPR, STATEMENT_LIST, BIND_EXPR, USING_STMT, 514 PREINCREMENT_EXPR, POSTINCREMENT_EXPR, PREDECREMENT_EXPR, 515 POSTDECREMENT_EXPR. Don't look into DECL_INITIAL of variables in 516 constexpr functions. In new-call mode find parms in the values table. 517 (potential_constant_expression_1): Handle null CALL_EXPR_FN. 518 Handle STATEMENT_LIST, MODIFY_EXPR, MODOP_EXPR, IF_STMT, 519 PREINCREMENT_EXPR, POSTINCREMENT_EXPR, PREDECREMENT_EXPR, 520 POSTDECREMENT_EXPR, BIND_EXPR, WITH_CLEANUP_EXPR, 521 CLEANUP_POINT_EXPR, MUST_NOT_THROW_EXPR, TRY_CATCH_EXPR, 522 EH_SPEC_BLOCK, EXPR_STMT, DECL_EXPR, CASE_LABEL_EXPR, BREAK_STMT, 523 CONTINUE_STMT, USING_STMT, IF_STMT, DO_STMT, FOR_STMT, WHILE_STMT, 524 SWITCH_STMT, ASM_EXPR. 525 (cxx_eval_vec_init_1): Call build_aggr_init_expr. 526 (cxx_eval_indirect_ref): Don't return a CONSTRUCTOR when the 527 caller wants an lvalue. 528 (cxx_eval_outermost_constant_expr): Pull object out of AGGR_INIT_EXPR. 529 (maybe_constant_init): Look through INIT_EXPR. 530 (ensure_literal_type_for_constexpr_object): Set 531 cp_function_chain->invalid_constexpr. 532 * cp-tree.h (struct language_function): Add invalid_constexpr bitfield. 533 * decl.c (start_decl): Set cp_function_chain->invalid_constexpr. 534 (check_for_uninitialized_const_var): Likewise. 535 (maybe_save_function_definition): Check it. 536 * parser.c (cp_parser_jump_statement): Set 537 cp_function_chain->invalid_constexpr. 538 (cp_parser_asm_definition): Likewise. 539 540 PR c++/52282 541 * decl.c (build_ptrmemfunc_type): Don't build a different 542 RECORD_TYPE for a qualified PMF. 543 * cp-tree.h (TYPE_PTRMEMFUNC_FN_TYPE): Merge cv-quals. 544 (TYPE_PTRMEMFUNC_FN_TYPE_RAW): New. 545 * decl2.c (cplus_decl_attributes): Use TYPE_PTRMEMFUNC_FN_TYPE_RAW. 546 * tree.c (cp_walk_subtrees): Likewise. 547 (cp_build_qualified_type_real): Remove special PMF handling. 548 5492014-11-15 Jason Merrill <jason@redhat.com> 550 551 * parser.c (cp_parser_omp_declare_reduction_exprs): A block is not 552 an expression. 553 554 * constexpr.c (cxx_eval_builtin_function_call): Use 555 fold_builtin_call_array. 556 557 * constexpr.c (cx_check_missing_mem_inits): Clarify error message. 558 5592014-11-14 Paolo Carlini <paolo.carlini@oracle.com> 560 561 * semantics.c (end_maybe_infinite_loop): Use fold_non_dependent_expr. 562 * parser.c (cp_parser_omp_clause_collapse): Likewise. 563 (cp_parser_enumerator_definition): Don't call 564 instantiate_non_dependent_expr... 565 * decl.c (build_enumerator): ... call fold_non_dependent_expr here. 566 * typeck2.c (massage_init_elt): Use fold_non_dependent_expr. 567 * constexpr.c (maybe_constant_value): Allow VIEW_CONVERT_EXPR in 568 the final gcc_assert. 569 570 * constexpr.c (fold_non_dependent_expr): Add. 571 * cp-tree.h (fold_non_dependent_expr): Declare it. 572 * call.c (null_ptr_cst_p): Use it. 573 * pt.c (tsubst_copy_and_build, build_non_dependent_expr): Likewise. 574 * semantics.c (begin_maybe_infinite_loop): Likewise. 575 * typeck.c (cp_build_binary_op): Likewise. 576 * typeck2.c (check_narrowing): Likewise. 577 578 * pt.c (fold_non_dependent_expr): Rename to 579 instantiate_non_dependent_expr. 580 (fold_non_dependent_expr_sfinae): Rename to 581 instantiate_non_dependent_expr_sfinae. 582 (convert_nontype_argument, build_non_dependent_expr): Adjust. 583 * decl.c (compute_array_index_type): Likewise. 584 * parser.c (cp_parser_parenthesized_expression_list, 585 cp_parser_enumerator_definition, cp_parser_omp_clause_collapse): 586 Likewise. 587 * semantics.c (end_maybe_infinite_loop, finish_static_assert): 588 Likewise. 589 * typeck.c (cxx_alignas_expr): Likewise. 590 * typeck2.c (store_init_value, massage_init_elt): Likewise. 591 * call.c: Adjust comments. 592 * class.c: Likewise. 593 * constexpr.c: Likewise. 594 * decl2.c: Likewise. 595 * tree.c: Likewise. 596 5972014-11-14 Jonathan Wakely <jwakely@redhat.com> 598 599 * mangle.c (find_substitution): Look for abi_tag on class templates. 600 6012014-11-13 Bernd Schmidt <bernds@codesourcery.com> 602 Thomas Schwinge <thomas@codesourcery.com> 603 Ilya Verbin <ilya.verbin@intel.com> 604 Andrey Turetskiy <andrey.turetskiy@intel.com> 605 606 * Make-lang.in (c++.install-common): Do not install for the offload 607 compiler. 608 6092014-11-13 Kai Tietz <ktietz@redhat.com> 610 611 * cp-tree.h (cp_build_function_call): Remove prototype. 612 (cp_build_addr_expr_strict): Likewise. 613 (build_typed_address): Likewise. 614 * typeck.c (build_typed_address): Removed. 615 (cp_build_addr_expr_strict): Make static. 616 (cp_build_function_call): Likewise. 617 6182014-11-12 Paolo Carlini <paolo.carlini@oracle.com> 619 620 DR 1510 621 PR c++/60420 622 * cp-tree.h (struct cp_decl_specifier_seq): Add decltype_p bool field. 623 * decl.c (grokdeclarator): Use it. 624 * parser.c (cp_parser_simple_type_specifier): Likewise. 625 * pt.c (tsubst, case DECLTYPE_TYPE): Use tf_ignore_bad_quals. 626 6272014-11-11 Paolo Carlini <paolo.carlini@oracle.com> 628 629 PR c++/63265 630 * pt.c (tsubst_copy_and_build, case COND_EXPR): Maybe fold to 631 constant the condition. 632 6332014-11-10 Andi Kleen <ak@linux.intel.com> 634 635 * semantics.c (finish_goto_stmt): Call check_no_cilk. 636 (finish_while_stmt_cond): Dito. 637 (finish_do_stmt): Dito. 638 (finish_for_cond): Dito. 639 (finish_switch_cond): Dito. 640 6412014-11-10 Paolo Carlini <paolo.carlini@oracle.com> 642 643 * typeck.c (cp_build_binary_op): Use OPT_Wshift_count_negative and 644 OPT_Wshift_count_overflow in the warnings. 645 6462014-11-09 Jason Merrill <jason@redhat.com> 647 648 DR 799 649 * typeck.c (build_reinterpret_cast_1): reinterpret_cast to the 650 same scalar type is an rvalue. 651 652 DR 2007 653 * call.c (build_new_op_1): Don't do non-class lookup for =, -> or []. 654 6552014-11-07 Jason Merrill <jason@redhat.com> 656 657 DR 1558 658 * pt.c (dependent_alias_template_spec_p): New. 659 (dependent_type_p_r): Handle dependent alias template specialization. 660 (template_args_equal): A dependent alias template specializations 661 is not equal to its underlying type as a template argument. 662 * tree.c (strip_typedefs): Don't strip a dependent alias 663 template-id. 664 665 * parser.c (cp_parser_unqualified_id): Handle __func__ here. 666 (cp_parser_primary_expression): Not here. 667 6682014-11-07 Thomas Preud'homme <thomas.preudhomme@arm.com> 669 670 PR c++/63366 671 * decl.c (grokdeclarator): Fix __complex meaning __complex double. 672 6732014-10-29 Richard Sandiford <richard.sandiford@arm.com> 674 675 * constexpr.c: Remove redundant enum from machine_mode. 676 6772014-10-28 Jason Merrill <jason@redhat.com> 678 679 * constexpr.c (cxx_eval_outermost_constant_expr): Tweak. 680 6812014-10-28 Andrew MacLeod <amacleod@redhat.com> 682 683 * call.c: Adjust include files. 684 * class.c: Ditto. 685 * decl2.c: Ditto. 686 * decl.c: Ditto. 687 * lambda.c: Ditto. 688 * mangle.c: Ditto. 689 * method.c: Ditto. 690 * optimize.c: Ditto. 691 * parser.c: Ditto. 692 * semantics.c: Ditto. 693 * tree.c: Ditto. 694 * vtable-class-hierarchy.c: Ditto. 695 6962014-10-24 Jason Merrill <jason@redhat.com> 697 698 Implement N3653 (Member initializers and aggregates) and fix 699 references to 'this' in constexpr constructors. 700 * class.c (check_field_decls): In C++14 an NSDMI does not make the 701 class non-aggregate. 702 * constexpr.c (struct constexpr_ctx): New. 703 (cxx_bind_parameters_in_call): Handle 'this'. 704 (cxx_eval_call_expression): Create new constexpr_ctx. 705 (cxx_eval_component_reference): Check CONSTRUCTOR_NO_IMPLICIT_ZERO. 706 (initialized_type, init_subob_ctx, verify_ctor_sanity): New. 707 (cxx_eval_bare_aggregate): Use them. Build CONSTRUCTOR early. 708 (cxx_eval_vec_init_1): Likewise. 709 (cxx_eval_constant_expression) [PARM_DECL]: Allow 'this'. 710 [TARGET_EXPR]: Build new constexpr_ctx. 711 [PLACEHOLDER_EXPR]: New. 712 (cxx_eval_outermost_constant_expr): Build new constexpr_ctx. Add 713 object parameter. 714 (is_sub_constant_expr): Build new constexpr_ctx. 715 (potential_constant_expression_1): Handle PLACEHOLDER_EXPR. 716 Allow 'this'. 717 * cp-gimplify.c (cp_gimplify_init_expr): Call replace_placeholders. 718 * cp-tree.h (CONSTRUCTOR_NO_IMPLICIT_ZERO): New. 719 * error.c (dump_expr): Handle PLACEHOLDER_EXPR. 720 * init.c (get_nsdmi): Generate PLACEHOLDER_EXPR. 721 * tree.c (lvalue_kind): Handle PLACEHOLDER_EXPR. 722 (build_ctor_subob_ref, replace_placeholders): New. 723 * typeck2.c (store_init_value): Use replace_placeholders. 724 (process_init_constructor_record): Make zero-init before NSDMI 725 explicit. 726 7272014-10-27 Andrew MacLeod <amacleod@redhat.com> 728 729 * cp-gimplify.c: Adjust include files. 730 7312014-10-26 Manuel L��pez-Ib����ez <manu@gcc.gnu.org> 732 733 PR c++/53061 734 * cp-objcp-common.c: Do not include new. 735 (cxx_initialize_diagnostics): Move from here to ... 736 * error.c (cxx_initialize_diagnostics): : ... here. Move 737 diagnostics initialization here from init_error. 738 (cxx_pp): Use a real pointer not a macro. 739 (init_error): Just initialize cxx_pp. 740 * cxx-pretty-print.c (cxx_pretty_printer::cxx_pretty_printer): Do 741 not set maximum line length. 742 7432014-10-23 Jonathan Wakely <jwakely@redhat.com> 744 745 PR c++/63619 746 * decl2.c (delete_sanity): Use OPT_Wdelete_incomplete in warning. 747 7482014-10-21 Paolo Carlini <paolo.carlini@oracle.com> 749 750 * parser.c (cp_parser_unary_expression): Add default arguments. 751 (cp_parser_cast_expression, cp_parser_sizeof_operand, 752 cp_parser_omp_atomic): Adjust. 753 7542014-10-20 Jason Merrill <jason@redhat.com> 755 756 PR c++/63601 757 * lambda.c (current_nonlambda_function): New. 758 * semantics.c (finish_this_expr): Use it. 759 * cp-tree.h: Declare it. 760 7612014-10-17 Alan Modra <amodra@gmail.com> 762 763 PR middle-end/61848 764 * decl.c (merge_decls): Don't merge section name, comdat group or 765 tls model to newdecl symtab node, instead merge to olddecl. 766 Override existing olddecl section name. Set tls_model for all 767 thread-local vars, not just OMP thread-private ones. Remove 768 incorrect comment. 769 7702014-10-16 Andrew MacLeod <amacleod@redhat.com> 771 772 * cp-tree.h: Adjust include files. 773 7742014-10-15 Jason Merrill <jason@redhat.com> 775 776 PR c++/63528 777 * pt.c (lookup_template_variable): Call coerce_template_parms. 778 7792014-10-15 Paolo Carlini <paolo.carlini@oracle.com> 780 781 * semantics.c (is_instantiation_of_constexpr, literal_type_p, 782 ensure_literal_type_for_constexpr_object, 783 constexpr_fundef_hasher::equal, constexpr_fundef_hasher::hash, 784 retrieve_constexpr_fundef, is_valid_constexpr_fn, 785 build_anon_member_initialization, build_data_member_initialization, 786 check_constexpr_bind_expr_vars, check_constexpr_ctor_body_1, 787 check_constexpr_ctor_body, sort_constexpr_mem_initializers, 788 build_constexpr_constructor_member_initializers, constexpr_fn_retval, 789 massage_constexpr_body, cx_check_missing_mem_inits, 790 register_constexpr_fundef, explain_invalid_constexpr_fn, 791 constexpr_call_hasher::hash, constexpr_call_hasher::equal, 792 maybe_initialize_constexpr_call_table, get_function_named_in_call, 793 get_nth_callarg, lookup_parameter_binding, 794 cxx_eval_builtin_function_call, adjust_temp_type, 795 cxx_bind_parameters_in_call, push_cx_call_context, 796 pop_cx_call_context, cx_error_context, cxx_eval_call_expression, 797 reduced_constant_expression_p, verify_constant, 798 cxx_eval_unary_expression, cxx_eval_binary_expression, 799 cxx_eval_conditional_expression, cxx_eval_array_reference, 800 cxx_eval_component_reference, cxx_eval_bit_field_ref, 801 cxx_eval_logical_expression, base_field_constructor_elt, 802 cxx_eval_bare_aggregate, cxx_eval_vec_init_1, cxx_eval_vec_init, 803 cxx_fold_indirect_ref, cxx_eval_indirect_ref, non_const_var_error, 804 cxx_eval_trinary_expression, var_in_constexpr_fn, 805 cxx_eval_constant_expression, cxx_eval_outermost_constant_expr, 806 is_sub_constant_expr, cxx_constant_value, maybe_constant_value, 807 maybe_constant_init, potential_constant_expression_1, 808 potential_constant_expression, potential_rvalue_constant_expression, 809 require_potential_constant_expression, 810 require_potential_rvalue_constant_expression): Moved definitions... 811 * constexpr.c: ... here, new file. 812 * Make-lang.in: Update. 813 * config-lang.in: Likewise. 814 8152014-10-14 Jason Merrill <jason@redhat.com> 816 817 PR c++/63455 818 * parser.c (struct saved_token_sentinel): New. 819 (cp_parser_statement): Use it. 820 (cp_parser_start_tentative_firewall): New. 821 (cp_parser_end_tentative_firewall): New. 822 (cp_parser_lambda_expression): Use them. 823 (cp_parser_statement_expr): New. 824 (cp_parser_primary_expression): Use it. 825 8262014-10-14 DJ Delorie <dj@redhat.com> 827 828 * typeck.c (cp_common_type): Check for all __intN types, not just 829 __int128. 830 * decl.c (grokdeclarator): Likewise. 831 * rtti.c (emit_support_tinfos): Check for all __intN types, not just 832 __int128. 833 * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Check 834 for all __intN types, not just __int128. 835 (cp_parser_simple_type_specifier): Likewise. 836 * mangle.c (integer_type_codes): Remove int128-specific codes. 837 * cp-tree.h (cp_decl_specifier_seq): Add int_n_idx to store which 838 __intN was specified. 839 * lex.c (init_reswords): Reserve all __intN keywords. 840 8412014-10-14 Marc Glisse <marc.glisse@inria.fr> 842 843 * typeck.c (cp_build_unary_op) [TRUTH_NOT_EXPR]: Accept float vectors. 844 8452014-10-13 H.J. Lu <hongjiu.lu@intel.com> 846 847 * mangle.c (mangle_conv_op_name_for_type): Cast elements to 848 unsigned long. 849 (print_template_statistics): Cast size and elements to long. 850 8512014-10-12 Trevor Saunders <tsaunders@mozilla.com> 852 853 * cp-gimplify.c, cp-tree.h, decl.c, mangle.c, name-lookup.c, 854 pt.c, semantics.c, tree.c, typeck2.c: Use hash_table instead of 855 hashtab. 856 8572014-10-10 Jason Merrill <jason@redhat.com> 858 859 PR c++/62115 860 * class.c (build_base_path): Preserve rvalueness. 861 * call.c (convert_like_real) [ck_base]: Let convert_to_base handle &/*. 862 * rtti.c (build_dynamic_cast_1): Call convert_to_reference later. 863 864 PR c++/63194 865 * method.c (defaulted_late_check): Call maybe_instantiate_noexcept. 866 867 * method.c (implicitly_declare_fn): Handle deleted lambda default 868 ctor and copy assop here. 869 * class.c (check_bases_and_members): Not here. 870 (add_implicitly_declared_members): And don't set 871 CLASSTYPE_LAZY_MOVE_ASSIGN. 872 873 * semantics.c (finish_id_expression): Check for error_mark_node. 874 8752014-10-09 Jason Merrill <jason@redhat.com> 876 877 PR c++/63207 878 * semantics.c (outer_var_p): Non-static. 879 (process_outer_var_ref): Split out from finish_id_expression. 880 * pt.c (tsubst_copy_and_build): Call them. 881 * cp-tree.h: Declare them. 882 8832014-10-09 Paolo Carlini <paolo.carlini@oracle.com> 884 885 * semantics.c (check_constexpr_ctor_body_1): New. 886 (check_constexpr_ctor_body): Use it; add bool parameter. 887 (build_data_member_initialization): Handle BIND_EXPR and 888 USING_STMT in the main conditional. 889 (build_constexpr_constructor_member_initializers): Do not 890 handle BIND_EXPR here. 891 (constexpr_fn_retval): Handle BIND_EXPR in the switch. 892 (massage_constexpr_body): Don't do it here. 893 * parser.c (cp_parser_ctor_initializer_opt_and_function_body): 894 Adjust check_constexpr_ctor_body call. 895 (cp_parser_compound_statement): Do not pedwarn for compound-statement 896 in constexpr function in C++14 mode. 897 * cp-tree.h (check_constexpr_ctor_body): Update declaration. 898 8992014-10-09 Jason Merrill <jason@redhat.com> 900 901 PR c++/63309 902 * parser.c (cp_parser_class_head): push_template_decl for members 903 of templates, too. 904 905 PR c++/63415 906 * pt.c (value_dependent_expression_p) [CONSTRUCTOR]: Check the type. 907 (iterative_hash_template_arg): Likewise. 908 909 PR c++/63437 910 * cp-tree.h (REF_PARENTHESIZED_P): Also allow INDIRECT_REF. 911 * semantics.c (force_paren_expr): And set it. 912 * typeck.c (check_return_expr): And handle it. 913 9142014-10-09 Marc Glisse <marc.glisse@inria.fr> 915 916 * decl.c (grokdeclarator): constexpr only implies const in C++11. 917 9182014-10-08 Jason Merrill <jason@redhat.com> 919 920 PR c++/63405 921 * pt.c (tsubst_pack_expansion): Limit simple expansion to type packs. 922 923 PR c++/63485 924 * tree.c (build_cplus_array_type): Look for a type with no 925 typedef-name or attributes. 926 927 * call.c (call_copy_ctor): New. 928 (build_over_call): Use it to avoid infinite recursion on invalid code. 929 9302014-10-07 Jason Merrill <jason@redhat.com> 931 932 * tree.c (cp_tree_equal) [TRAIT_EXPR]: Use cp_tree_equal for type2. 933 9342014-10-06 Edward Smith-Rowland <3dw4rd@verizon.net> 935 936 * cp/parser.c: Allow [[deprecated]] for C++11. Issue a pedwarn. 937 9382014-10-06 Paolo Carlini <paolo.carlini@oracle.com> 939 940 PR c++/55250 941 * semantics.c (check_constexpr_bind_expr_vars): New. 942 (check_constexpr_ctor_body, massage_constexpr_body): Use it. 943 (build_constexpr_constructor_member_initializers): Handle 944 BIND_EXPR in the main conditional. 945 9462014-10-02 Mark Wielaard <mjw@redhat.com> 947 948 PR debug/63239 949 * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_DELETED_P): Define. 950 (cp_function_decl_deleted_p): New prototype. 951 * cp-objcp-common.c (cp_function_deleted_p): New function. 952 9532014-10-03 Marc Glisse <marc.glisse@inria.fr> 954 955 PR c++/54427 956 PR c++/57198 957 PR c++/58845 958 * typeck.c (cp_build_binary_op): save_expr after convert to save 959 redundant operations. 960 [TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR]: Handle vectors. 961 (cp_build_unary_op) [TRUTH_NOT_EXPR]: Likewise. 962 9632014-10-03 Jason Merrill <jason@redhat.com> 964 965 * decl.c (start_decl): Complain about static/thread_local vars 966 in constexpr function. 967 (check_for_uninitialized_const_var): Also uninitialized vars. 968 * parser.c (cp_parser_jump_statement): And gotos. 969 (cp_parser_asm_operand_list): And asm. 970 (cp_parser_try_block): And try. 971 * semantics.c (ensure_literal_type_for_constexpr_object): And 972 non-literal. 973 974 * semantics.c (constexpr_fn_retval): Ignore declarations in C++14. 975 (var_in_constexpr_fn): New. 976 (cxx_eval_constant_expression): Look into DECL_INITIAL. 977 (potential_constant_expression_1): Allow constexpr-local vars. 978 979 PR c++/63362 980 * tree.c (strip_typedefs): Handle TREE_LIST. 981 9822014-10-03 Paolo Carlini <paolo.carlini@oracle.com> 983 984 * parser.c (cp_parser_assignment_expression, 985 cp_parser_constant_expression): Add default arguments. 986 (cp_parser_primary_expression, 987 cp_parser_postfix_open_square_expression, 988 cp_parser_parenthesized_expression_list, 989 cp_parser_question_colon_clause, 990 cp_parser_expression, cp_parser_constant_expression, 991 cp_parser_label_for_labeled_statement, cp_parser_static_assert, 992 cp_parser_template_argument, cp_parser_enumerator_definition, 993 cp_parser_member_declaration, cp_parser_constant_initializer, 994 cp_parser_noexcept_specification_opt, cp_parser_throw_expression, 995 cp_parser_std_attribute_spec, cp_parser_objc_message_args, 996 cp_parser_objc_class_ivars, cp_parser_omp_clause_collapse, 997 cp_parser_omp_clause_aligned, cp_parser_omp_clause_safelen, 998 cp_parser_omp_clause_simdlen, cp_parser_omp_clause_dist_schedule, 999 cp_parser_omp_for_incr, cp_parser_omp_for_loop_init, 1000 cp_parser_cilk_simd_vectorlength, cp_parser_cilk_simd_linear): Adjust. 1001 10022014-10-02 Paolo Carlini <paolo.carlini@oracle.com> 1003 1004 PR c++/53025 1005 * cp-tree.h (struct saved_scope): Add noexcept_operand. 1006 (cp_noexcept_operand): Define. 1007 * call.c (build_over_call): Use it. 1008 * parser.c (cp_parser_unary_expression, [RID_NOEXCEPT]): Likewise. 1009 * pt.c (tsubst_copy_and_build, [NOEXCEPT_EXPR]): Likewise. 1010 10112014-10-01 Jason Merrill <jason@redhat.com> 1012 1013 PR c++/63362 1014 * method.c (constructible_expr): Handle value-init of non-class. 1015 * parser.c (cp_parser_trait_expr): Allow pack expansion. 1016 * pt.c (tsubst_copy_and_build): Handle pack expansion. 1017 1018 PR c++/63362 1019 * class.c (type_has_non_user_provided_default_constructor): Rename 1020 from type_has_user_provided_default_constructor, reverse sense. 1021 (default_init_uninitialized_part, explain_non_literal_class): Adjust. 1022 (check_bases_and_members): Set TYPE_HAS_COMPLEX_DFLT. 1023 * call.c (build_new_method_call_1): Adjust. 1024 * cp-tree.h: Adjust. 1025 * decl.c (grok_special_member_properties): Don't set 1026 TYPE_HAS_COMPLEX_DFLT. 1027 * init.c (build_value_init_noctor): Don't use 1028 type_has_user_provided_default_constructor. 1029 10302014-09-30 Jason Merrill <jason@redhat.com> 1031 1032 * cp-tree.h (cp_trait_kind): Add CPTK_IS_TRIVIALLY_ASSIGNABLE and 1033 CPTK_IS_TRIVIALLY_CONSTRUCTIBLE. 1034 * cxx-pretty-print.c (pp_cxx_trait_expression): Likewise. 1035 * parser.c (cp_parser_primary_expression): Likewise. 1036 (cp_parser_trait_expr): Likewise. Handle variadic trait. 1037 * semantics.c (trait_expr_value): Likewise. 1038 (finish_trait_expr): Likewise. 1039 (check_trait_type): Handle variadic trait. Return bool. 1040 * method.c (build_stub_object): Add rvalue reference here. 1041 (locate_fn_flags): Not here. 1042 (check_nontriv, assignable_expr, constructible_expr): New. 1043 (is_trivially_xible): New. 1044 1045 * cp-tree.h (cp_trait_kind): Add CPTK_IS_TRIVIALLY_COPYABLE. 1046 * cxx-pretty-print.c (pp_cxx_trait_expression): Likewise. 1047 * parser.c (cp_parser_primary_expression): Likewise. 1048 (cp_parser_trait_expr): Likewise. 1049 * semantics.c (trait_expr_value): Likewise. 1050 (finish_trait_expr): Likewise. 1051 1052 * method.c (build_stub_object): Use CONVERT_EXPR. 1053 * tree.c (build_dummy_object): Likewise. 1054 (is_dummy_object): Adjust. 1055 1056 * cp-tree.h (cp_trait_kind): Remove CPTK_IS_CONVERTIBLE_TO. 1057 * cxx-pretty-print.c (pp_cxx_trait_expression): Likewise. 1058 * semantics.c (trait_expr_value): Likewise. 1059 (finish_trait_expr): Likewise. 1060 * parser.c (cp_parser_primary_expression): Likewise. 1061 (cp_parser_trait_expr): Likewise. Remove redundant grokdeclarator. 1062 10632014-09-30 Manuel L��pez-Ib����ez <manu@gcc.gnu.org> 1064 1065 PR c++/16564 1066 * error.c (print_instantiation_context): Delete. 1067 * typeck2.c (build_x_arrow): Record location when pushing 1068 template instantiation. 1069 * pt.c (push_tinst_level): Make it a wrapper around ... 1070 (push_tinst_level_loc): ... this. New function. Make excessive 1071 template instantiation depth a fatal error. Record location. Use 1072 bool as return type. 1073 (instantiate_pending_templates): Make excessive 1074 template instantiation depth a fatal error. 1075 (problematic_instantiation_changed): Use bool as return type. 1076 * cp-tree.h (print_instantiation_context): Delete. 1077 (push_tinst_level): Update declaration. 1078 (problematic_instantiation_changed): Likewise. 1079 (push_tinst_level_loc): New. 1080 10812014-09-29 Richard Biener <rguenther@suse.de> 1082 1083 * typeck.c (enum_cast_to_int): Use CONVERT_EXPR_P to check 1084 for conversions. 1085 10862014-09-26 Jason Merrill <jason@redhat.com> 1087 1088 * mangle.c (find_substitution): Use write_abi_tags. 1089 10902014-09-25 Marek Polacek <polacek@redhat.com> 1091 1092 PR c++/61945 1093 * class.c (warn_hidden): Check for FUNCTION_DECL. 1094 10952014-09-25 Jakub Jelinek <jakub@redhat.com> 1096 1097 PR c++/63249 1098 * semantics.c (handle_omp_array_sections_1): Call mark_rvalue_use 1099 on low_bound and length. 1100 11012014-09-24 Aldy Hernandez <aldyh@redhat.com> 1102 1103 * class.c, decl.c, optimize.c: Rename all instances of 1104 DECL_ABSTRACT to DECL_ABSTRACT_P. 1105 11062014-09-24 Marek Polacek <polacek@redhat.com> 1107 1108 PR c/61405 1109 PR c/53874 1110 * semantics.c (finish_switch_cond): Call unlowered_expr_type. 1111 * tree.c (bot_manip): Add default case. 1112 * parser.c (cp_parser_primary_expression): Cast the controlling 1113 expression of a switch to an int. 1114 (cp_parser_unqualified_id): Likewise. 1115 11162014-09-23 Paolo Carlini <paolo.carlini@oracle.com> 1117 1118 PR c++/61857 1119 * parser.c (cp_parser_skip_to_closing_square_bracket, 1120 cp_parser_array_designator_p): New. 1121 (cp_parser_initializer_list): Use the latter. 1122 11232014-09-22 Jason Merrill <jason@redhat.com> 1124 1125 * semantics.c (finish_non_static_data_member): In diagnostic, give 1126 error at point of use and note at point of declaration. 1127 1128 PR c++/63320 1129 PR c++/60463 1130 PR c++/60755 1131 * lambda.c (maybe_resolve_dummy, lambda_expr_this_capture): Handle 1132 not finding 'this'. 1133 11342014-09-22 Paolo Carlini <paolo.carlini@oracle.com> 1135 1136 PR c++/62219 1137 * pt.c (check_default_tmpl_args): Check LAMBDA_FUNCTION_P. 1138 11392014-09-22 Jason Merrill <jason@redhat.com> 1140 1141 * decl.c (poplevel): Don't warn about unused vars in template scope. 1142 * error.c (dump_decl): Handle variable templates. 1143 11442014-09-20 Jason Merrill <jason@redhat.com> 1145 1146 PR c++/62017 1147 * decl.c (begin_destructor_body): Only clobber the as-base part of 1148 *this. 1149 11502014-09-19 Jason Merrill <jason@redhat.com> 1151 1152 PR c++/61392 1153 * mangle.c (write_expression): Use unresolved-name mangling for 1154 DR850 case. 1155 1156 PR c++/61465 1157 * call.c (convert_like_real) [ck_identity]: Call mark_rvalue_use 1158 after pulling out an element from a CONSTRUCTOR. 1159 11602014-09-18 Jakub Jelinek <jakub@redhat.com> 1161 1162 PR c++/63248 1163 * semantics.c (finish_omp_clauses): Don't call cp_omp_mappable_type 1164 on type of type dependent expressions, and don't call it if 1165 handle_omp_array_sections has kept TREE_LIST because something 1166 was type dependent. 1167 * pt.c (tsubst_expr) <case OMP_TARGET, case OMP_TARGET_DATA>: 1168 Use keep_next_level, begin_omp_structured_block and 1169 finish_omp_structured_block instead of push_stmt_list and 1170 pop_stmt_list. 1171 11722014-09-18 Paolo Carlini <paolo.carlini@oracle.com> 1173 1174 PR c++/62232 1175 * class.c (finish_struct_1): Do not -Wnon-virtual-dtor warn 1176 for final class types. 1177 11782014-09-15 Jason Merrill <jason@redhat.com> 1179 1180 * pt.c (lookup_template_class_1): Splice out abi_tag attribute if 1181 necessary. Call inherit_targ_abi_tags here. 1182 * class.c (check_bases_and_members): Not here. 1183 (inherit_targ_abi_tags): Check CLASS_TYPE_P. 1184 * cp-tree.h: Declare inherit_targ_abi_tags. 1185 11862014-09-15 Ville Voutilainen <ville.voutilainen@gmail.com> 1187 1188 Do not diagnose lambda default arguments in c++14 modes. 1189 * parser.c (cp_parser_lambda_declarator_opt): Make the pedwarn 1190 conditional. 1191 11922014-09-15 Jakub Jelinek <jakub@redhat.com> 1193 1194 * Make-lang.in (check_g++_parallelize): Change to just an upper bound 1195 number. 1196 11972014-09-13 Marek Polacek <polacek@redhat.com> 1198 1199 PR c++/60862 1200 * parser.c (cp_parser_postfix_expression) <case CPP_OPEN_PAREN>: Set 1201 location of a call expression. 1202 12032014-09-11 Jason Merrill <jason@redhat.com> 1204 1205 PR c++/63201 1206 * decl.c (start_decl): Handle specialization of member variable 1207 template. 1208 * pt.c (check_explicit_specialization): Adjust error. 1209 12102014-09-11 Paolo Carlini <paolo.carlini@oracle.com> 1211 1212 PR c++/61489 1213 * typeck2.c (process_init_constructor_record): Do not warn about 1214 missing field initializer if EMPTY_CONSTRUCTOR_P (init). 1215 12162014-09-11 Jason Merrill <jason@redhat.com> 1217 1218 PR c++/63139 1219 * pt.c (tsubst_pack_expansion): Simplify substitution into T.... 1220 (tsubst): Don't throw away PACK_EXPANSION_EXTRA_ARGS. 1221 12222014-09-10 Jason Merrill <jason@redhat.com> 1223 1224 PR c++/61659 1225 * decl.c (grokfndecl): Don't set DECL_COMDAT on static inlines. 1226 (duplicate_decls, start_decl): Likewise. 1227 * pt.c (check_explicit_specialization): Likewise. 1228 (push_template_decl_real): Or static templates. 1229 12302014-09-08 Jason Merrill <jason@redhat.com> 1231 1232 * typeck.c (build_class_member_access_expr): Move 1233 -Winvalid-offsetof code... 1234 * semantics.c (finish_offsetof): ...here. 1235 * parser.c (cp_parser_builtin_offsetof): Remember the location of 1236 the type argument. 1237 * pt.c (tsubst_copy_and_build) [OFFSETOF_EXPR]: Preserve it. 1238 1239 PR c++/62255 1240 * pt.c (instantiate_decl): Handle recursive instantiation of 1241 static data member. 1242 12432014-09-05 Jason Merrill <jason@redhat.com> 1244 1245 PR c++/62659 1246 * semantics.c (potential_constant_expression_1): Handle un-folded 1247 pointer to member constants. 1248 12492014-09-04 Markus Trippelsdorf <markus@trippelsdorf.de> 1250 1251 PR ipa/61659 1252 * decl.c (duplicate_decls): Check DECL_DECLARED_INLINE_P on 1253 newdecl, not olddecl. 1254 12552014-09-02 Paolo Carlini <paolo.carlini@oracle.com> 1256 1257 DR 1453 1258 * class.c (check_field_decls): A class of literal type cannot have 1259 volatile non-static data members and base classes. 1260 (explain_non_literal_class): Update. 1261 12622014-09-02 Jakub Jelinek <jakub@redhat.com> 1263 Balaji V. Iyer <balaji.v.iyer@intel.com> 1264 Igor Zamyatin <igor.zamyatin@intel.com> 1265 1266 * cp-cilkplus.c (cpp_validate_cilk_plus_loop_aux): Loc definition 1267 simplified. 1268 * parser.c (cp_parser_cilk_for): New function. 1269 (cp_parser_cilk_grainsize): Likewise. 1270 (cp_parser_statement): Added RID_CILK_FOR case. 1271 (cp_parser_omp_for_cond): Added CILK_FOR check. 1272 (cp_parser_omp_for_loop_init): Change function argument to accept 1273 tree_code instead just a bool flag; change the check to use that 1274 tree_code; check for initialization declaration in case of Cilk_for. 1275 (cp_parser_omp_for_loop): Added checks for CILK_FOR and RID_CILK_FOR; 1276 changed call to cp_parser_omp_for_loop_init according new arguments' 1277 list. 1278 (cp_parser_pragma): Added PRAGMA_CILK_GRAINSIZE case. 1279 * pt.c (tsubst_expr): Added CILK_FOR case. 1280 * semantics.c: Include convert.h. 1281 (finish_omp_clauses): Properly handle OMP_CLAUSE_SCHEDULE_CILKFOR 1282 case; added OMP_CLAUSE__CILK_FOR_COUNT_. 1283 (handle_omp_for_class_iterator): New argument lastp and its usage; 1284 added NE_EXPR case. 1285 (finish_omp_for): Changed call to handle_omp_for_class_iterator 1286 according new arguments' list; in case of Cilk_for save very first 1287 decl and create empty stmt_list block; use block to build correct 1288 statement tree. 1289 12902014-08-31 Jason Merrill <jason@redhat.com> 1291 1292 PR c++/62302 1293 * optimize.c (cdtor_comdat_group): Just look at the 1294 DECL_ASSEMBLER_NAME of the 'tors. 1295 12962014-08-27 Paolo Carlini <paolo.carlini@oracle.com> 1297 1298 PR c++/52892 1299 * semantics.c (cxx_eval_call_expression): Use STRIP_NOPS on the 1300 result of cxx_eval_constant_expression. 1301 13022014-08-26 Jason Merrill <jason@redhat.com> 1303 1304 PR c++/58624 1305 * pt.c (tsubst_decl) [VAR_DECL]: Copy TLS model. 1306 (tsubst_copy_and_build) [VAR_DECL]: Use TLS wrapper. 1307 * semantics.c (finish_id_expression): Don't call TLS wrapper in a 1308 template. 1309 13102014-08-25 Jason Merrill <jason@redhat.com> 1311 1312 * pt.c (check_explicit_specialization): Don't complain about 1313 non-template variable. 1314 (template_for_substitution): Allow variable templates. 1315 (check_template_variable): Fix logic for member var template. 1316 * decl.c (start_decl): Don't complain about extra template header 1317 here. 1318 1319 * decl.c (start_decl): Look through member variable template. 1320 * pt.c (tsubst_decl) [VAR_DECL]: Handle member variable templates. 1321 * decl2.c (grokfield): Set DECL_CONTEXT earlier on 1322 variables. 1323 13242014-08-25 Paolo Carlini <paolo.carlini@oracle.com> 1325 1326 PR c++/34938 1327 * cp-tree.h (TFF_POINTER): Add. 1328 * cxx-pretty-print.h (pp_cxx_cv_qualifiers): Forward the third 1329 argument too. 1330 * error.c (dump_type_suffix): Actually print the const and noreturn 1331 attribute when appropriate. 1332 13332014-08-23 Edward Smith-Rowland <3dw4rd@verizon.net> 1334 1335 * decl.c (compute_array_index_type, grokdeclarator, 1336 undeduced_auto_decl): Change from cxx1y to cxx14. 1337 *lambda.c(add_capture()): Change error message from C++1y to C++14. 1338 * parser.c (cp_parser_unqualified_id, cp_parser_pseudo_destructor_name, 1339 cp_parser_lambda_introducer, cp_parser_lambda_declarator_opt, 1340 cp_parser_decltype, cp_parser_conversion_type_id, 1341 cp_parser_simple_type_specifier, cp_parser_type_id_1, 1342 cp_parser_template_type_arg, cp_parser_std_attribute, 1343 cp_parser_template_declaration_after_export): Ditto. 1344 * pt.c (tsubst): Ditto. 1345 * semantics.c (force_paren_expr, finish_decltype_type): Ditto. 1346 * tree.c: Change comment. 1347 * typeck.c (comp_template_parms_position, cxx_sizeof_or_alignof_type, 1348 cp_build_addr_expr_1, maybe_warn_about_useless_cast): Ditto. 1349 13502014-08-23 Jason Merrill <jason@redhat.com> 1351 1352 Allow non-constexpr variable templates. 1353 * decl2.c (note_variable_template_instantiation): New. 1354 * cp-tree.h: Declare it. 1355 * pt.c (instantiate_decl): Call it. 1356 (push_template_decl_real): Allow non-constexpr variable templates. 1357 * semantics.c (finish_id_expression): Mark the variable template 1358 instantiation as used. 1359 * mangle.c (write_mangled_name): Variable template instantiations 1360 are mangled. 1361 * parser.c (cp_parser_init_declarator): Complain about 1362 non-function implicit templates. 1363 13642014-08-22 Marek Polacek <polacek@redhat.com> 1365 1366 PR c++/62199 1367 * parser.c (cp_parser_binary_expression): Check each LHS if it's 1368 preceded with logical not. Adjust call to 1369 warn_logical_not_parentheses. 1370 13712014-08-22 Manuel L��pez-Ib����ez <manu@gcc.gnu.org> 1372 1373 PR c++/57709 1374 * name-lookup.c (pushdecl_maybe_friend_1): Do not warn if a 1375 declaration shadows a function declaration, unless the former 1376 declares a function, pointer to function or pointer to member 1377 function, because this is a common and valid case in real-world 1378 code. 1379 * cp-tree.h (TYPE_PTRFN_P,TYPE_REFFN_P,TYPE_PTRMEMFUNC_P): 1380 Improve description. 1381 13822014-08-22 Jason Merrill <jason@redhat.com> 1383 1384 PR c++/62129 1385 * class.c (outermost_open_class): Fix logic. 1386 * decl.c (complete_vars): Fix logic. 1387 13882014-08-22 Jason Merrill <jason@redhat.com> 1389 1390 PR c++/62129 1391 * class.c (outermost_open_class): New. 1392 * cp-tree.h: Declare it. 1393 * decl.c (maybe_register_incomplete_var): Use it. 1394 (complete_vars): Handle any constant variable. 1395 * expr.c (cplus_expand_constant): Handle CONSTRUCTOR. 1396 13972014-08-22 Igor Zamyatin <igor.zamyatin@intel.com> 1398 1399 PR other/62008 1400 * cp-array-notation.c (build_array_notation_ref): Added correct 1401 handling of case with incorrect array. 1402 14032014-08-21 Manuel L��pez-Ib����ez <manu@gcc.gnu.org> 1404 1405 PR fortran/44054 1406 * error.c (cp_diagnostic_finalizer): Delete. 1407 (init_error): Do not set diagnostic_finalizer here. 1408 14092014-08-19 Marek Polacek <polacek@redhat.com> 1410 1411 PR c++/62153 1412 * call.c (build_new_op_1): Remember the type of arguments for 1413 a comparison. If either operand of a comparison is a boolean 1414 expression, call maybe_warn_bool_compare. 1415 14162014-08-19 Jason Merrill <jason@redhat.com> 1417 1418 PR tree-optimization/62091 1419 * decl2.c (decl_needed_p): Return true for virtual functions when 1420 devirtualizing. 1421 1422 PR lto/53808 1423 PR c++/61659 1424 * decl.c (maybe_commonize_var): Don't use DECL_COMDAT to trigger 1425 comdat_linkage. 1426 14272014-08-19 Gerald Pfeifer <gerald@pfeifer.com> 1428 1429 * class.c (contains_empty_class_p): Remove. 1430 14312014-08-18 Paolo Carlini <paolo.carlini@oracle.com> 1432 1433 * parser.c (cp_parser_expression): Add default arguments. 1434 (cp_parser_primary_expression, cp_parser_postfix_expression, 1435 cp_parser_array_notation, cp_parser_postfix_open_square_expression, 1436 cp_parser_unary_expression, cp_parser_direct_new_declarator, 1437 cp_parser_question_colon_clause, cp_parser_assignment_operator_opt, 1438 cp_parser_lambda_body, cp_parser_expression_statement, 1439 cp_parser_condition, cp_parser_c_for, cp_parser_range_for, 1440 cp_parser_iteration_statement, cp_parser_jump_statement, 1441 cp_parser_decltype_expr, cp_parser_noexcept_specification_opt, 1442 cp_parser_asm_operand_list, cp_parser_objc_message_receiver, 1443 cp_parser_objc_synchronized_statement, cp_parser_objc_throw_statement, 1444 cp_parser_omp_var_list_no_open, cp_parser_omp_clause_num_threads, 1445 cp_parser_omp_clause_num_teams, cp_parser_omp_clause_thread_limit, 1446 cp_parser_omp_clause_linear, cp_parser_omp_clause_device, 1447 cp_parser_omp_atomic, cp_parser_omp_for_loop_init, 1448 cp_parser_omp_for_loop, cp_parser_omp_declare_reduction_exprs, 1449 cp_parser_transaction_expression): Adjust. 1450 14512014-08-15 Jason Merrill <jason@redhat.com> 1452 1453 PR c++/61566 1454 * pt.c (lookup_template_class_1): Revert recent change. 1455 * mangle.c (CLASSTYPE_TEMPLATE_ID_P): Revert recent change. 1456 1457 PR c++/61566 1458 * pt.c (instantiate_class_template_1): Ignore lambda on 1459 CLASSTYPE_DECL_LIST. 1460 (push_template_decl_real): A lambda is not primary. 1461 (lookup_template_class_1): Don't look for a lambda partial 1462 instantiation. 1463 * lambda.c (maybe_add_lambda_conv_op): Distinguish between being 1464 currently in a function and the lambda living in a function. 1465 * mangle.c (CLASSTYPE_TEMPLATE_ID_P): False for lambda. 1466 14672014-08-15 Richard Biener <rguenther@suse.de> 1468 Jason Merrill <jason@redhat.com> 1469 1470 PR bootstrap/62077 1471 * tree.c (build_min_array_type, set_array_type_canon): Split out... 1472 (build_cplus_array_type): ...from here. Only call build_array_type 1473 for main variants. 1474 14752014-08-15 Paolo Carlini <paolo.carlini@oracle.com> 1476 1477 PR c++/62072 1478 Revert: 1479 2014-07-09 Paolo Carlini <paolo.carlini@oracle.com> 1480 1481 DR 1584 1482 PR c++/57466 1483 * pt.c (check_cv_quals_for_unify): Implement resolution, disregard 1484 cv-qualifiers of function types. 1485 14862014-08-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 1487 1488 * call.c (build_conditional_expr_1): Use OPT_Wextra in warning. 1489 14902014-08-14 Paolo Carlini <paolo.carlini@oracle.com> 1491 1492 * typeck.c (composite_pointer_type, cxx_sizeof_or_alignof_type, 1493 cp_build_array_ref, cp_build_function_call_vec): When a 1494 pedwarn is suppressed under SFINAE, return error_mark_node. 1495 1496 * typeck.c (cxx_sizeof_or_alignof_type): Fix complain & 1497 tf_warning_or_error, where complain is a bool, glitch. 1498 14992014-08-14 Ville Voutilainen <ville.voutilainen@gmail.com> 1500 1501 PR c++/62101 1502 * decl.c (grokdeclarator): Move the check for friend initializers.. 1503 * decl2.c (grokfield) ..here. Postpone early return for friends 1504 until after the initializer check. 1505 15062014-08-14 Paolo Carlini <paolo.carlini@oracle.com> 1507 1508 PR c++/54377 1509 * pt.c (coerce_template_parms): Improve error message vs default 1510 arguments. 1511 15122014-08-14 Paolo Carlini <paolo.carlini@oracle.com> 1513 1514 * parser.c (cp_parser_init_declarator): Remove redundant check of 1515 decl_specifiers->type. 1516 15172014-08-13 Jason Merrill <jason@redhat.com> 1518 1519 * call.c (build_x_va_arg): Support passing non-POD through .... 1520 (convert_arg_to_ellipsis): Likewise. 1521 15222014-08-13 Andrew Sutton <andrew.n.sutton@gmail.com> 1523 1524 * pt.c (lookup_template_variable): Make dependent variable templates 1525 have unknown type. 1526 15272014-08-13 Paolo Carlini <paolo.carlini@oracle.com> 1528 1529 * parser.c (cp_parser_elaborated_type_specifier): Handle 1530 specially cp_parser_template_id returning a BASELINK. 1531 15322014-08-13 Paolo Carlini <paolo.carlini@oracle.com> 1533 1534 * parser.c (cp_parser_diagnose_invalid_type_name, 1535 cp_parser_make_typename_type): Remove scope parameter. 1536 (cp_parser_parse_and_diagnose_invalid_type_name, 1537 cp_parser_elaborated_type_specifier): Adjust calls. 1538 15392014-08-12 Ville Voutilainen <ville.voutilainen@gmail.com> 1540 1541 Reject virt-specifiers on friends and member templates 1542 * friend.c (do_friend): Diagnose virt-specifiers. 1543 * pt.c (push_template_decl_real): Diagnose virt-specifiers. 1544 15452014-08-09 Paolo Carlini <paolo.carlini@oracle.com> 1546 1547 * typeck2.c (check_narrowing): Add tsubst_flags_t parameter, change 1548 return type to bool; in C++11 for constants give errors, not pedwarns. 1549 * cp-tree.h (check_narrowing): Adjust declaration. 1550 * call.c (convert_like_real): Update calls. 1551 * semantics.c (finish_compound_literal): Likewise. 1552 15532014-08-08 Jason Merrill <jason@redhat.com> 1554 1555 * pt.c (lookup_template_class_1): Copy abi_tag. 1556 15572014-08-08 Kai Tietz <ktietz@redhat.com> 1558 1559 * semantics.c (expand_or_defer_fn_1): Check for keep-inline-dllexport 1560 that we operate on a true inline. 1561 15622014-08-07 Trevor Saunders <tsaunders@mozilla.com> 1563 1564 * class.c, cp-gimplify.c, decl.c, decl2.c, error.c, method.c, 1565 optimize.c, pt.c, semantics.c: Remove includes of pointer-set.h. 1566 15672014-08-07 Paolo Carlini <paolo.carlini@oracle.com> 1568 1569 PR c++/51312 1570 * decl.c (build_enumerator): Handle class types with conversion 1571 operators via perform_implicit_conversion_flags and 1572 build_expr_type_conversion. 1573 1574 * cvt.c (build_expr_type_conversion): Replace pair of errors 1575 with error + inform. 1576 15772014-08-07 Jason Merrill <jason@redhat.com> 1578 1579 PR c++/62043 1580 * parser.c (c_parse_file): Change sorry to fatal_error. 1581 1582 PR c++/61959 1583 * semantics.c (cxx_eval_bare_aggregate): Handle POINTER_PLUS_EXPR. 1584 15852014-08-07 Trevor Saunders <tsaunders@mozilla.com> 1586 1587 * cp-tree.h, pt.c: Use hash_map instead of pointer_map. 1588 15892014-08-06 Jason Merrill <jason@redhat.com> 1590 1591 * init.c (build_vec_init): Fix constant initialization of 1592 trailing elements. 1593 (build_value_init_noctor): Call maybe_constant_init. 1594 * semantics.c (maybe_constant_init): See through EXPR_STMT and 1595 conversion to void. 1596 1597 PR c++/60417 1598 * init.c (build_vec_init): Reorganize earlier change a bit. 1599 1600 PR c++/61994 1601 * init.c (build_vec_init): Leave atype an ARRAY_TYPE 1602 if we're just returning an INIT_EXPR. 1603 16042014-08-06 Jason Merrill <jason@redhat.com> 1605 Braden Obrzut <admin@maniacsvault.net> 1606 1607 * pt.c (check_explicit_specialization): Don't test 1608 DECL_DECLARED_INLINE_P for a variable template. 1609 16102014-08-06 Paolo Carlini <paolo.carlini@oracle.com> 1611 1612 PR c++/43906 1613 * typeck.c (cp_build_binary_op): Extend to more cases the 1614 -Waddress warning. 1615 16162014-08-01 Braden Obrzut <admin@maniacsvault.net> 1617 1618 Implement constexpr variable templates 1619 * decl.c (grokvardecl): Handle specializations of variable templates. 1620 (grokdeclarator): Handle variable template id expressions and NULL_TREE 1621 return from grokvardecl. 1622 * decl2.c (check_member_template): Allow declaration of template member 1623 variables. 1624 * parser.c (cp_parser_template_id): Build a TEMPLATE_ID_EXPR for 1625 variable templates. 1626 * pt.c (check_template_variable): Accept variable temploids at 1627 non-class scope. 1628 (push_template_decl_real): The current instantiation of a template 1629 can be a VAR_DECL. 1630 (determine_specialization): Accept variable templates. 1631 (check_explicit_specialization): Handle and check for malformed 1632 variable template specializations. 1633 (lookup_template_variable): New. 1634 (tsubst_decl): Handle variable template specializations. 1635 (do_decl_instantiation): Handle template variables. 1636 (instantiate_decl): Handle template variables. 1637 * semantics.c (finish_template_variable): New. 1638 (finish_id_expression): Instantiate variable templates. 1639 * cp-tree.h (variable_template_p): New. 1640 16412014-08-02 Paolo Carlini <paolo.carlini@oracle.com> 1642 1643 PR c++/15339 1644 * decl.c (check_redeclaration_no_default_args): New. 1645 (duplicate_decls): Use it, handle default arguments 1646 in redeclarations of function templates. 1647 16482014-08-02 Trevor Saunders <tsaunders@mozilla.com> 1649 1650 * optimize.c, semantics.c: Use hash_map instead of pointer_map. 1651 16522014-08-02 Trevor Saunders <tsaunders@mozilla.com> 1653 1654 * class.c, cp-gimplify.c, cp-tree.h, decl.c, decl2.c, error.c, 1655 method.c, name-lookup.c, pt.c, semantics.c, tree.c: Use hash_set 1656 instead of pointer_set. 1657 16582014-08-01 Jason Merrill <jason@redhat.com> 1659 1660 PR c++/60417 1661 * init.c (build_vec_init): Set CONSTRUCTOR_IS_DIRECT_INIT on 1662 init-list for trailing elements. 1663 * typeck2.c (process_init_constructor_array): Likewise. 1664 16652014-08-01 Paolo Carlini <paolo.carlini@oracle.com> 1666 1667 DR 217 again 1668 * decl.c (duplicate_decls): Handle static member functions too. 1669 16702014-08-01 Igor Zamyatin <igor.zamyatin@intel.com> 1671 1672 * cp-array-notation.c (expand_an_in_modify_expr): Fix the misprint 1673 in error output. 1674 16752014-08-01 Igor Zamyatin <igor.zamyatin@intel.com> 1676 1677 PR other/61963 1678 * parser.c (cp_parser_array_notation): Added check for array_type. 1679 16802014-08-01 Igor Zamyatin <igor.zamyatin@intel.com> 1681 1682 PR middle-end/61455 1683 * cp-array-notation.c (expand_array_notation_exprs): Handling of 1684 DECL_EXPR improved. Changed handling for INIT_EXPR. 1685 16862014-08-01 Paolo Carlini <paolo.carlini@oracle.com> 1687 1688 * pt.c (lookup_template_class_1): Use DECL_TYPE_TEMPLATE_P. 1689 16902014-08-01 Jakub Jelinek <jakub@redhat.com> 1691 1692 * cp-gimplify.c (cp_genericize_r): For -fsanitize=null and/or 1693 -fsanitize=alignment call ubsan_maybe_instrument_reference 1694 for casts to REFERENCE_TYPE and ubsan_maybe_instrument_member_call 1695 for calls to member functions. 1696 16972014-07-31 Marc Glisse <marc.glisse@inria.fr> 1698 1699 PR c++/60517 1700 * typeck.c (maybe_warn_about_returning_address_of_local): Return 1701 whether it is returning the address of a local variable. 1702 (check_return_expr): Return 0 instead of the address of a local 1703 variable. 1704 17052014-07-30 Jason Merrill <jason@redhat.com> 1706 1707 PR lto/53808 1708 PR c++/61659 1709 * pt.c (push_template_decl_real): Don't set DECL_COMDAT on friends. 1710 17112014-07-30 Paolo Carlini <paolo.carlini@oracle.com> 1712 1713 PR c++/57397 1714 * pt.c (unify_arity): Add boolean parameter. 1715 (unify_too_few_arguments): Likewise. 1716 (type_unification_real): Diagnose correctly insufficient 1717 arguments in the presence of trailing variadic parameters; 1718 deducing multiple trailing packs as empty is fine. 1719 17202014-07-30 Jason Merrill <jason@redhat.com> 1721 1722 PR c++/61659 1723 PR c++/61687 1724 Revert: 1725 * decl2.c (mark_all_virtuals): New variable. 1726 (maybe_emit_vtables): Check it instead of flag_devirtualize. 1727 (cp_write_global_declarations): Set it and give helpful diagnostic 1728 if it introduces errors. 1729 * class.c (finish_struct_1): Check it. 1730 1731 PR lto/53808 1732 PR c++/61659 1733 * pt.c (push_template_decl_real): Set DECL_COMDAT on templates. 1734 (check_explicit_specialization): Clear it on specializations. 1735 * decl.c (duplicate_decls, start_decl): Likewise. 1736 (grokmethod, grokfndecl): Set DECL_COMDAT on inlines. 1737 * method.c (implicitly_declare_fn): Set DECL_COMDAT. Determine 1738 linkage after setting the appropriate flags. 1739 * tree.c (decl_linkage): Don't check DECL_COMDAT. 1740 * decl2.c (mark_needed): Mark clones. 1741 (import_export_decl): Not here. 1742 17432014-07-25 Edward Smith-Rowland <3dw4rd@verizon.net> 1744 1745 Implement N4051 - Allow typename in a template template parameter 1746 * parser.c (cp_parser_type_parameter_key): New funtion; 1747 (cp_parser_token_is_type_parameter_key): Ditto; 1748 (cp_parser_type_parameter): Look for type-parameter-key for all versions 1749 but pedwarn for less than cxx1z. 1750 17512014-07-17 Paolo Carlini <paolo.carlini@oracle.com> 1752 1753 PR c++/50961 1754 * call.c (standard_conversion): Use resolve_nondeduced_context 1755 for type_unknown_p (EXPR) && TREE_CODE (TO) == BOOLEAN_TYPE. 1756 17572014-07-17 Paolo Carlini <paolo.carlini@oracle.com> 1758 1759 PR c++/61804 1760 * parser.c (cp_parser_tokens_start_cast_expression): Return -1 1761 for '++' and '--'. 1762 17632014-07-15 Jason Merrill <jason@redhat.com> 1764 1765 PR c++/61811 1766 * decl2.c (maybe_emit_vtables): Return true for -fuse-all-virtuals. 1767 1768 PR c++/60848 1769 PR c++/61723 1770 * call.c (is_std_init_list): Don't check CLASSTYPE_TEMPLATE_INFO. 1771 * class.c (finish_struct): Reject invalid definition of 1772 std::initializer_list. 1773 17742014-07-15 Paolo Carlini <paolo.carlini@oracle.com> 1775 1776 * call.c (convert_like_real): Call print_z_candidate and inform only 1777 if permerror returns true. 1778 17792014-07-14 Jan Hubicka <hubicka@ucw.cz> 1780 1781 * class.c (build_clone): Do not clear assembler names of 1782 templates. 1783 * decl.c (cp_tree_node_structure): Add TEMPLATE_DECL. 1784 * cp-objcp-common.c (cp_tree_size): Add TEMPLATE_DECL 1785 as a special case return sizeof (struct tree_decl_non_common) 1786 for other decls. 1787 (cp_common_init_ts): Do not initialize NAMESPACE_DECL; 1788 initialize TEMPLATE_DECL as MARK_TS_DECL_COMMON. 1789 * cp/cp-tree.h (tree_template_decl): New structure. 1790 (cp_tree_node_structure_enum): Add TS_CP_TEMPLATE_DECL. 1791 (union cp_lang_tree_node): Add template_decl. 1792 (DECL_TEMPLATE_PARMS, DECL_TEMPLATE_RESULT): Update. 1793 17942014-07-14 Jason Merrill <jason@redhat.com> 1795 1796 PR c++/61445 1797 PR c++/56947 1798 * pt.c (instantiate_decl): Don't check defer_ok for local class 1799 members. 1800 18012014-07-14 Jakub Jelinek <jakub@redhat.com> 1802 1803 PR middle-end/61294 1804 * cp-tree.h (LITERAL_ZERO_P): Define. 1805 * parser.c (cp_parser_parenthesized_expression_list): Add 1806 want_literal_zero_p argument, if true, for literal zeros 1807 insert INTEGER_CSTs with LITERAL_ZERO_P flag set. 1808 (cp_parser_postfix_expression): Adjust 1809 cp_parser_parenthesized_expression_list caller, handle 1810 -Wmemset-transposed-args. 1811 (literal_zeros): New variable. 1812 18132014-07-13 Jason Merrill <jason@redhat.com> 1814 1815 PR c++/58511 1816 * semantics.c (is_instantiation_of_constexpr): Return true for 1817 defaulted functions, too. 1818 (explain_invalid_constexpr_fn): Only use 1819 explain_implicit_non_constexpr if !DECL_DECLARED_CONSTEXPR_P. 1820 * method.c (explain_implicit_non_constexpr): Pass 1821 DECL_INHERITED_CTOR_BASE to explain_implicit_non_constexpr. 1822 1823 PR c++/58611 1824 * decl.c (check_initializer): Don't finish_compound_literal 1825 on erroneous constexpr init. 1826 1827 PR c++/58612 1828 * tree.c (bot_replace): Only replace a dummy 'this' parm. 1829 1830 PR c++/60628 1831 * decl.c (create_array_type_for_decl): Only check for auto once. 1832 1833 PR c++/58636 1834 * call.c (build_list_conv): Don't try to build a list of references. 1835 18362014-07-13 Edward Smith-Rowland <3dw4rd@verizon.net> 1837 1838 PR C++/60209 - Declaration of user-defined literal operator cause error 1839 * parser.c (cp_parser_operator): Fold treatment of strings 1840 and user-defined string literals. Use the full string parser. 1841 (cp_parser_string_literal): Add flag to not look for literal operator. 1842 18432014-07-11 Jason Merrill <jason@redhat.com> 1844 1845 PR c++/22434 1846 PR c++/61288 1847 * call.c (build_conditional_expr_1): Avoid reading freed memory. 1848 18492014-07-11 Paolo Carlini <paolo.carlini@oracle.com> 1850 1851 PR c++/53159 1852 * call.c (build_user_type_conversion_1): Copy LOOKUP_NO_NARROWING 1853 into convflags. 1854 * decl.c (check_initializer): Don't call check_narrowing here, 1855 set LOOKUP_NO_NARROWING. 1856 * typeck2.c (digest_init_r): Likewise. 1857 18582014-07-10 Jason Merrill <jason@redhat.com> 1859 1860 PR c++/61661 1861 * semantics.c (reduced_constant_expression_p): Handle CONSTRUCTOR. 1862 1863 PR c++/61659 1864 PR c++/61687 1865 * decl2.c (mark_all_virtuals): New variable. 1866 (maybe_emit_vtables): Check it instead of flag_devirtualize. 1867 (cp_write_global_declarations): Set it and give helpful diagnostic 1868 if it introduces errors. 1869 * class.c (finish_struct_1): Check it. 1870 * decl.c (grokdeclarator): Clear virtualp after 'virtual auto' error. 1871 18722014-07-09 Paolo Carlini <paolo.carlini@oracle.com> 1873 1874 PR c++/60686 1875 * decl.c (grokdeclarator): Adjust error messages about 'explicit' 1876 outside class declaration, in friend declaration, and neither on 1877 constructor nor conversion operator. 1878 18792014-07-09 Paolo Carlini <paolo.carlini@oracle.com> 1880 1881 DR 1584 1882 PR c++/57466 1883 * pt.c (check_cv_quals_for_unify): Implement resolution, disregard 1884 cv-qualifiers of function types. 1885 18862014-07-09 Andrew Sutton <andrew.n.sutton@gmail.com> 1887 Paolo Carlini <paolo.carlini@oracle.com> 1888 1889 PR c++/59361 1890 * parser.c (cp_parser_tokens_start_cast_expression): Return 0 for 1891 CPP_ELLIPSIS too. 1892 18932014-07-07 Paolo Carlini <paolo.carlini@oracle.com> 1894 1895 * class.c (check_for_override): Wrap the 'final' and 'override' 1896 keywords in %< and %>. 1897 18982014-07-06 Marek Polacek <polacek@redhat.com> 1899 1900 PR c/6940 1901 * cp-tree.h (DECL_ARRAY_PARAMETER_P): Define. 1902 * decl.c (grokdeclarator): Set DECL_ARRAY_PARAMETER_P. 1903 * typeck.c (cxx_sizeof_expr): Warn when using sizeof on an array 1904 function parameter. 1905 19062014-07-02 Paolo Carlini <paolo.carlini@oracle.com> 1907 1908 * pt.c (convert_template_argument): Use inform instead of error in 1909 three places. 1910 19112014-06-30 Edward Smith-Rowland <3dw4rd@verizon.net> 1912 1913 PR c++/58781 1914 PR c++/60249 1915 PR c++/59867 1916 * parser.c (cp_parser_userdef_string_literal): Take a tree 1917 not a cp_token*. 1918 (cp_parser_string_literal): Don't hack the token stream. 1919 19202014-06-30 Jason Merrill <jason@redhat.com> 1921 1922 PR c++/61659 1923 PR lto/53808 1924 * decl2.c (maybe_emit_vtables): Mark all vtable entries if 1925 devirtualizing. 1926 * init.c (build_vtbl_address): Don't mark destructor. 1927 * class.c (finish_struct_1): Add all classes to keyed_classes 1928 if devirtualizing. 1929 1930 PR c++/61647 1931 * pt.c (type_dependent_expression_p): Check BASELINK_OPTYPE. 1932 1933 PR c++/61566 1934 * mangle.c (decl_mangling_context): Look through a TEMPLATE_DECL. 1935 1936 * decl.c (build_ptrmemfunc_type): Don't give a PMF RECORD_TYPE 1937 TYPE_BINFO or TYPE_LANG_SPECIFIC. 1938 * cp-tree.h (TYPE_PTRMEMFUNC_FLAG): Use TYPE_LANG_FLAG_2. 1939 (TYPE_PTRMEMFUNC_P): Don't expect TYPE_LANG_SPECIFIC. 1940 * typeck.c (build_ptrmemfunc_access_expr): Don't use lookup_member. 1941 * pt.c (unify): Also check whether the argument is a PMF. 1942 19432014-06-30 Paolo Carlini <paolo.carlini@oracle.com> 1944 1945 PR c++/54891 1946 * parser.c (cp_parser_tokens_start_cast_expression): In C++11 1947 a '[' can also start a primary-expression. 1948 (cp_parser_cast_expression): Parse a cast-expression only tentatively 1949 when cp_parser_tokens_start_cast_expression returns -1. 1950 19512014-06-30 Jason Merrill <jason@redhat.com> 1952 1953 PR c++/61539 1954 * pt.c (unify_one_argument): Type/expression mismatch just causes 1955 deduction failure. 1956 1957 * semantics.c (simplify_aggr_init_expr): Remove remnants of 1958 2014-04-11 change. 1959 19602014-06-30 Marek Polacek <polacek@redhat.com> 1961 1962 * cp-gimplify.c (cp_genericize): Don't instrument returns if the 1963 function has no_sanitize_undefined attribute. 1964 * decl.c (compute_array_index_type): Don't instrument VLAs if the 1965 function has no_sanitize_undefined attribute. 1966 19672014-06-30 Igor Zamyatin <igor.zamyatin@intel.com> 1968 1969 PR middle-end/57541 1970 * cp-array-notation.c (expand_sec_reduce_builtin): 1971 Check that bultin argument is correct. 1972 * call.c (build_cxx_call): Check for 0 arguments in builtin call. 1973 19742014-06-28 Jonathan Wakely <jwakely@redhat.com> 1975 1976 DR 1579 1977 PR c++/58051 1978 * typeck.c (check_return_expr): Lookup as an rvalue even when the 1979 types aren't the same. 1980 19812014-06-27 Jason Merrill <jason@redhat.com> 1982 1983 PR c++/61433 1984 * error.c (dump_template_bindings): Don't tsubst in a clone. 1985 19862014-06-27 Paolo Carlini <paolo.carlini@oracle.com> 1987 1988 PR c++/61614 1989 * semantics.c (finish_compound_literal): Revert r204228. 1990 19912014-06-27 Paolo Carlini <paolo.carlini@oracle.com> 1992 1993 * parser.c (cp_parser_compound_literal_p): New. 1994 (cp_parser_postfix_expression, cp_parser_sizeof_operand): Use it. 1995 19962014-06-26 Jason Merrill <jason@redhat.com> 1997 1998 * parser.c (cp_parser_for_init_statement): Change range-for error 1999 to pedwarn. 2000 2001 N3994 Ranged-based for-loops: The Next Generation 2002 * parser.c (cp_lexer_nth_token_is): New. 2003 (cp_parser_for_init_statement): Allow "for (id : init)". 2004 20052014-06-26 Teresa Johnson <tejohnson@google.com> 2006 2007 * class.c (dump_class_hierarchy): Use saved dump files. 2008 (dump_vtable): Ditto. 2009 (dump_vtt): Ditto. 2010 20112014-06-26 Adam Butcher <adam@jessamine.co.uk> 2012 2013 PR c++/61537 2014 * parser.c (cp_parser_elaborated_type_specifier): Only consider template 2015 parameter lists outside of function parameter scope. 2016 20172014-06-25 Paolo Carlini <paolo.carlini@oracle.com> 2018 2019 DR 178 2020 PR c++/49132 2021 * typeck2.c (process_init_constructor_record): Do not complain about 2022 uninitialized const members, because within aggregate-initialization, 2023 members without explicit initializers are value-initialized. 2024 20252014-06-25 Jakub Jelinek <jakub@redhat.com> 2026 2027 * semantics.c (finish_omp_clauses): Make sure 2028 OMP_CLAUSE_LINEAR_STEP has correct type. 2029 20302014-06-24 Jan Hubicka <hubicka@ucw.cz> 2031 2032 * class.c (check_methods, create_vtable_ptr, determine_key_method, 2033 add_vcall_offset_vtbl_entries_1): Guard VINDEX checks by 2034 FUNCTION_DECL check. 2035 * cp-tree.h (lang_decl_ns): Add ns_using and ns_users. 2036 (DECL_NAMESPACE_USING, DECL_NAMESPACE_USERS): Use lang_decl_ns. 2037 (DECL_NAMESPACE_ASSOCIATIONS): Use DECL_INITIAL. 2038 (DECL_TEMPLATE_INSTANTIATIONS): Use DECL_SIZE_UNIT. 2039 20402014-06-24 Paolo Carlini <paolo.carlini@oracle.com> 2041 2042 PR c++/33972 2043 * decl.c (grokdeclarator): Do not early check for operator-function-id 2044 as non-function. 2045 20462014-06-24 Trevor Saunders <tsaunders@mozilla.com> 2047 2048 * class.c, semantics.c, tree.c, vtable-class-hierarchy.c: 2049 Adjust. 2050 20512014-06-24 Jakub Jelinek <jakub@redhat.com> 2052 2053 * parser.c (cp_parser_omp_for_loop): For 2054 #pragma omp parallel for simd move lastprivate clause from parallel 2055 to for rather than simd. 2056 20572014-06-23 Paolo Carlini <paolo.carlini@oracle.com> 2058 2059 DR 577 2060 PR c++/33101 2061 * decl.c (grokparms): Accept a single parameter of type 'void'. 2062 20632014-06-20 Jason Merrill <jason@redhat.com> 2064 2065 PR c++/59296 2066 * call.c (add_function_candidate): Avoid special 'this' handling 2067 if we have a ref-qualifier. 2068 2069 PR c++/61556 2070 * call.c (build_over_call): Call build_this in template path. 2071 20722014-06-19 Jason Merrill <jason@redhat.com> 2073 2074 PR c++/59296 2075 * call.c (add_function_candidate): Also set LOOKUP_NO_TEMP_BIND. 2076 20772014-06-18 Jason Merrill <jason@redhat.com> 2078 2079 PR c++/59296 2080 * call.c (add_function_candidate): Set LOOKUP_NO_RVAL_BIND for 2081 ref-qualifier handling. 2082 2083 PR c++/61507 2084 * pt.c (resolve_overloaded_unification): Preserve 2085 ARGUMENT_PACK_EXPLICIT_ARGS. 2086 20872014-06-18 Jakub Jelinek <jakub@redhat.com> 2088 2089 * cp-gimplify.c (cxx_omp_finish_clause): Add a gimple_seq * 2090 argument. 2091 * cp-tree.h (cxx_omp_finish_clause): Adjust prototype. 2092 20932014-06-17 Jason Merrill <jason@redhat.com> 2094 2095 PR c++/60605 2096 * pt.c (check_default_tmpl_args): Check DECL_LOCAL_FUNCTION_P. 2097 20982014-06-15 Jason Merrill <jason@redhat.com> 2099 2100 PR c++/61488 2101 * pt.c (check_valid_ptrmem_cst_expr): Fix for template context. 2102 2103 PR c++/61500 2104 * tree.c (lvalue_kind): Handle MEMBER_REF and DOTSTAR_EXPR. 2105 21062014-06-15 Jan Hubicka <hubicka@ucw.cz> 2107 2108 * decl.c (grokvardecl): Fix pasto in previous patch. 2109 21102014-06-15 Jan Hubicka <hubicka@ucw.cz> 2111 2112 * decl.c (duplicate_decls): Use set_decl_tls_model. 2113 (grokdeclarator): Likewise. 2114 * semantics.c (finish_id_expression): Check TLS only for 2115 static variables. 2116 (finish_omp_threadprivate): Use decl_default_tls_model. 2117 * decl2.c (get_guard): Likewise. 2118 * call.c (make_temporary_var_for_ref_to_temp): Likewise. 2119 21202014-06-14 Paolo Carlini <paolo.carlini@oracle.com> 2121 2122 PR c++/33101 2123 * decl.c (grokparms): Improve error message about void parameters. 2124 * error.c (type_to_string): Fix aka cut off code. 2125 21262014-06-12 Jason Merrill <jason@redhat.com> 2127 2128 * call.c (convert_arg_to_ellipsis): Use abi_version_crosses. 2129 * cvt.c (type_promotes_to): Likewise. 2130 * mangle.c (write_type, write_expression): Likewise. 2131 (write_name, write_template_arg): Likewise. 2132 (mangle_decl): Make alias based on flag_abi_compat_version. 2133 Emit -Wabi warning here. 2134 (finish_mangling_internal): Not here. Drop warn parm. 2135 (finish_mangling_get_identifier, finish_mangling): Adjust. 2136 (mangle_type_string, mangle_special_for_type): Adjust. 2137 (mangle_ctor_vtbl_for_type, mangle_thunk): Adjust. 2138 (mangle_guard_variable, mangle_tls_init_fn): Adjust. 2139 (mangle_tls_wrapper_fn, mangle_ref_init_variable): Adjust. 2140 2141 * call.c (build_operator_new_call): Remove -fabi-version=1 support. 2142 * class.c (walk_subobject_offsets, include_empty_classes): Likewise. 2143 (layout_nonempty_base_or_field, end_of_class): Likewise. 2144 (layout_empty_base, build_base_field, layout_class_type): Likewise. 2145 (is_empty_class, add_vcall_offset_vtbl_entries_1): Likewise. 2146 (layout_virtual_bases): Likewise. 2147 * decl.c (compute_array_index_type): Likewise. 2148 * mangle.c (write_mangled_name, write_prefix): Likewise. 2149 (write_template_prefix, write_integer_cst, write_expression): Likewise. 2150 (write_template_arg, write_array_type): Likewise. 2151 * method.c (lazily_declare_fn): Likewise. 2152 * rtti.c (get_pseudo_ti_index): Likewise. 2153 * typeck.c (comp_array_types): Likewise. 2154 21552014-06-11 Jan Hubicka <hubicka@ucw.cz> 2156 2157 * vtable-class-hierarchy.c: Update handling for section names 2158 that are no longer trees. 2159 * decl.c (duplicate_decls): Likewise. 2160 21612014-06-11 Paolo Carlini <paolo.carlini@oracle.com> 2162 2163 PR c++/19200 2164 * parser.c (cp_parser_init_declarator): Actually pass friend_p 2165 to cp_parser_declarator. 2166 21672014-06-11 Paolo Carlini <paolo.carlini@oracle.com> 2168 2169 PR c++/60265 2170 * parser.c (cp_parser_using_declaration): Handle unscoped enums. 2171 * name-lookup.c (validate_nonmember_using_decl): Adjust error 2172 message. 2173 21742014-06-11 Paolo Carlini <paolo.carlini@oracle.com> 2175 2176 PR c++/19200 2177 * parser.c (cp_parser_declarator): Add bool parameter. 2178 (cp_parser_direct_declarator): Likewise, use it. 2179 (cp_parser_member_declaration): Pass friend_p to cp_parser_declarator. 2180 (cp_parser_condition, cp_parser_explicit_instantiation, 2181 cp_parser_init_declarator, cp_parser_type_id_1, 2182 cp_parser_parameter_declaration, cp_parser_exception_declaration, 2183 cp_parser_cache_defarg, cp_parser_objc_class_ivars, 2184 cp_parser_objc_struct_declaration, cp_parser_omp_for_loop_init): 2185 Adjust. 2186 * decl.c (grokdeclarator): Fix handling of friend declared in 2187 namespace scope (g++.dg/parse/friend10.C). 2188 21892014-06-10 Jan Hubicka <hubicka@ucw.cz> 2190 2191 * vtable-class-hierarchy.c: Use symtab_get_node (var_decl) 2192 ->implicit_section. 2193 * optimize.c (cdtor_comdat_group): Fix handling of aliases. 2194 (maybe_clone_body): Move symbol across comdat groups. 2195 * method.c (use_thunk): Copy implicit section flag. 2196 21972014-06-09 Paolo Carlini <paolo.carlini@oracle.com> 2198 2199 PR c++/22556 2200 * name-lookup.c (pushdecl_maybe_friend_1): Use comptypes. 2201 22022014-06-07 Jan Hubicka <hubicka@ucw.cz> 2203 2204 * method.c (use_thunk): Use set_decl_section_name. 2205 * optimize.c (maybe_clone_body): Use set_decl_section_name. 2206 * decl.c (duplicate_decls): Likewise. 2207 * vtable-class-hierarchy.c: Likewise. 2208 22092014-06-06 Paolo Carlini <paolo.carlini@oracle.com> 2210 2211 PR c++/60184 2212 * class.c (check_field_decls): In C++11 mode do not reject 2213 static data members and reference-type members in unions. 2214 22152014-06-05 Jason Merrill <jason@redhat.com> 2216 2217 PR c++/43453 2218 * decl.c (check_initializer): Collapse a TREE_LIST here. 2219 * typeck2.c (store_init_value): Not here. 2220 22212014-06-05 Richard Biener <rguenther@suse.de> 2222 Paolo Carlini <paolo.carlini@oracle.com> 2223 2224 PR c++/56961 2225 * cp-gimplify.c (cp_gimplify_expr, [MODIFY_EXPR]): Rework 2226 handling of empty classes. 2227 22282014-06-04 Jason Merrill <jason@redhat.com> 2229 2230 * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful note 2231 for noexcept and thread_local, too. 2232 2233 PR c++/61343 2234 * decl.c (check_initializer): Maybe clear 2235 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. 2236 22372014-06-05 Richard Biener <rguenther@suse.de> 2238 2239 PR c++/61004 2240 * typeck.c (cp_build_indirect_ref): Do not emit strict-aliasing 2241 warnings for accessing empty classes. 2242 22432014-06-05 Marek Polacek <polacek@redhat.com> 2244 2245 PR c/49706 2246 * parser.c (cp_parser_binary_expression): Warn when logical not is 2247 used on the left hand side operand of a comparison. 2248 22492014-06-04 Paolo Carlini <paolo.carlini@oracle.com> 2250 2251 PR c++/43453 2252 * typeck.c (cp_build_modify_expr): Handle array of characters 2253 initialized by a string literal. 2254 * decl.c (check_initializer): Handle parenthesized string literal 2255 as initializer. 2256 * typeck2.c (store_init_value): Remove redundant check. 2257 22582014-06-04 Jason Merrill <jason@redhat.com> 2259 2260 PR c++/51253 2261 PR c++/61382 2262 * cp-gimplify.c (cp_gimplify_expr): Handle CALL_EXPR_LIST_INIT_P here. 2263 * semantics.c (simplify_aggr_init_expr): Not here, just copy it. 2264 22652014-06-04 Igor Zamyatin <igor.zamyatin@intel.com> 2266 2267 PR c/58942 2268 * cp-array-notation.c (expand_sec_reduce_builtin): Handle the case 2269 with a pointer. 2270 22712014-06-03 Paolo Carlini <paolo.carlini@oracle.com> 2272 2273 DR 1423 2274 PR c++/52174 2275 * call.c (standard_conversion): Convert nullptr to bool only 2276 in case of direct-initialization. 2277 (convert_like_real): Provide informative error message. 2278 22792014-06-03 Marek Polacek <polacek@redhat.com> 2280 2281 PR c/60439 2282 * semantics.c (finish_switch_cond): Warn if switch condition has 2283 boolean value. 2284 22852014-06-03 Jason Merrill <jason@redhat.com> 2286 2287 PR c++/60992 2288 * pt.c (tsubst_copy) [VAR_DECL]: Try lookup first. Add a new 2289 variable to local_specializations. 2290 2291 PR c++/60848 2292 * call.c (is_std_init_list): Check CLASSTYPE_TEMPLATE_INFO. 2293 22942014-06-02 Jason Merrill <jason@redhat.com> 2295 2296 PR c++/61046 2297 * decl.c (reshape_init_class): Handle un-folded 2298 constant-expressions. 2299 2300 PR c++/61134 2301 * pt.c (pack_deducible_p): Handle canonicalization. 2302 23032014-06-02 Paolo Carlini <paolo.carlini@oracle.com> 2304 2305 * pt.c (tsubst_function_type): Initialize arg_types. 2306 23072014-06-02 Siva Chandra Reddy <sivachandra@google.com> 2308 2309 PR debug/57519 2310 * class.c (handle_using_decl): Pass the correct scope to 2311 cp_emit_debug_info_for_using. 2312 23132014-06-02 Ville Voutilainen <ville.voutilainen@gmail.com> 2314 2315 PR c++/59483 2316 PR c++/61148 2317 * search.c (accessible_p): Use current_nonlambda_class_type. 2318 * semantics.c (check_accessibility_of_qualified_id): Likewise. 2319 23202014-06-02 Andrew MacLeod <amacleod@redhat.com> 2321 2322 * decl.c: Include builtins.h. 2323 * semantics.c: Likewise. 2324 23252014-05-31 Paolo Carlini <paolo.carlini@oracle.com> 2326 2327 DR 1227 2328 PR c++/57543 2329 * cp-tree.h (TYPE_HAS_LATE_RETURN_TYPE): Add. 2330 * pt.c (tsubst_function_type): Inject the this parameter; do the 2331 substitutions in the order mandated by the DR. 2332 (copy_default_args_to_explicit_spec): Copy TYPE_HAS_LATE_RETURN_TYPE. 2333 * decl.c (grokdeclarator): Maybe set TYPE_HAS_LATE_RETURN_TYPE. 2334 (static_fn_type): Copy it. 2335 * decl2.c (build_memfn_type, change_return_type, 2336 cp_reconstruct_complex_type): Likewise. 2337 * parser.c (cp_parser_lambda_declarator_opt): Likewise. 2338 * tree.c (strip_typedefs): Likewise. 2339 * typeck.c (merge_types): Likewise. 2340 23412014-05-30 Jason Merrill <jason@redhat.com> 2342 2343 PR c++/56947 2344 * pt.c (instantiate_decl): Check that defer_ok is not set for 2345 local class members. 2346 2347 PR c++/60992 2348 * pt.c (tsubst_init): Split out from... 2349 (tsubst_expr) [DECL_EXPR]: Here. 2350 (tsubst_copy) [VAR_DECL]: Use it. 2351 * semantics.c (finish_id_expression): Return the decl for static/const. 2352 23532014-05-28 Jason Merrill <jason@redhat.com> 2354 2355 PR c++/47202 2356 * decl.c (cxx_comdat_group): Return a decl. 2357 * optimize.c (cdtor_comdat_group): Get its DECL_ASSEMBLER_NAME. 2358 2359 * pt.c (tsubst) [ARRAY_TYPE]: Check for array of array of unknown 2360 bound. 2361 2362 PR c++/61242 2363 * call.c (build_aggr_conv): Ignore passed in flags. 2364 (build_array_conv, build_complex_conv): Likewise. 2365 23662014-05-23 Jan Hubicka <hubicka@ucw.cz> 2367 2368 * optimize.c (maybe_thunk_body): Use set_comdat_group. 2369 (maybe_clone_body): Likewise. 2370 * decl.c (duplicate_decls): Update code duplicating comdat group; 2371 do not copy symtab pointer; before freeing newdecl remove it 2372 from symtab. 2373 * decl2.c (constrain_visibility): Use set_comdat_group. 2374 23752014-05-23 Jan Hubicka <hubicka@ucw.cz> 2376 2377 * rtti.c: Include tm_p.h 2378 (emit_tinfo_decl): Force RTTI data to be aligned to required 2379 ABI alignment only. 2380 23812014-05-23 Jan Hubicka <hubicka@ucw.cz> 2382 2383 * class.c (build_vtable): Align vtables to TARGET_VTABLE_ENTRY_ALIGN 2384 ignoring other target adjustments. 2385 23862014-05-23 Thomas Schwinge <thomas@codesourcery.com> 2387 2388 * semantics.c (finish_omp_clauses): Remove duplicated variable 2389 initialization. 2390 2391 * parser.c (cp_parser_omp_target): Return bool values. 2392 23932014-05-22 Paolo Carlini <paolo.carlini@oracle.com> 2394 2395 PR c++/61088 2396 * lambda.c (add_capture): Enforce that capture by value requires 2397 complete type. 2398 * typeck2.c (cxx_incomplete_type_inform): Early return if 2399 TYPE_MAIN_DECL is null. 2400 24012014-05-21 Jonathan Wakely <jwakely@redhat.com> 2402 2403 PR c/61271 2404 * cp-array-notation.c (cilkplus_an_triplet_types_ok_p): Fix condition. 2405 24062014-05-21 Ville Voutilainen <ville.voutilainen@gmail.com> 2407 2408 PR c++/61133 2409 * lambda.c (build_capture_proxy, add_capture): Treat normal 2410 captures and init-captures identically. 2411 24122014-05-21 Mark Wielaard <mjw@redhat.com> 2413 2414 PR debug/16063 2415 * cp-lang.c (cxx_enum_underlying_base_type): New function. 2416 (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define. 2417 24182014-05-21 Richard Sandiford <rsandifo@linux.vnet.ibm.com> 2419 2420 * cvt.c (convert_to_void): Use void_node instead of void_zero_node. 2421 * cp-array-notation.c (replace_invariant_exprs): Likewise. 2422 (expand_array_notation): Handle VOID_CST. 2423 * error.c (dump_expr): Likewise. 2424 * cxx-pretty-print.c (cxx_pretty_printer::primary_expression) 2425 (cxx_pretty_printer::expression): Likewise. 2426 (pp_cxx_new_expression): Use void_node instead of void_zero_node. 2427 * decl.c (register_dtor_fn): Likewise. 2428 * init.c (build_raw_new_expr, build_new_1, build_vec_init) 2429 (build_delete, push_base_cleanups): Likewise. 2430 * mangle.c (write_expression): Likewise. 2431 * semantics.c (finish_break_stmt, empty_expr_stmt_p): Likewise. 2432 * pt.c (tsubst_decl, tsubst_copy_and_build): Likewise. 2433 (tsubst, tsubst_copy, build_non_dependent_expr): Handle VOID_CST. 2434 * tree.c (cp_tree_equal): Likewise. 2435 (build_dummy_object, is_dummy_object, stabilize_expr): Use void_node 2436 instead of void_zero_node. 2437 * typeck.c (check_return_expr): Likewise. 2438 * typeck2.c (build_functional_cast): Likewise. 2439 24402014-05-21 Igor Zamyatin <igor.zamyatin@intel.com> 2441 2442 PR c/60189 2443 * parser.c (cp_parser_postfix_expression): Move handling of cilk_sync 2444 from here to... 2445 (cp_parser_statement): ...here. Make sure only semicolon can go after 2446 Cilk_sync. 2447 24482014-05-20 Paolo Carlini <paolo.carlini@oracle.com> 2449 2450 PR c++/58753 2451 PR c++/58930 2452 PR c++/58704 2453 * typeck2.c (digest_nsdmi_init): New. 2454 * parser.c (cp_parser_late_parse_one_default_arg): Use it. 2455 * init.c (get_nsdmi): Likewise. 2456 * cp-tree.h (digest_nsdmi_init): Declare. 2457 24582014-05-20 Jason Merrill <jason@redhat.com> 2459 2460 * typeck.c (get_member_function_from_ptrfunc): Don't try to look 2461 up a virtual function in a dummy object. 2462 24632014-05-20 Paolo Carlini <paolo.carlini@oracle.com> 2464 2465 PR c++/60373 2466 * decl.c (duplicate_decls): Replace pair of warning_at with 2467 warning_at + inform. 2468 (maybe_commonize_var): Likewise. 2469 24702014-05-20 Richard Sandiford <rsandifo@linux.vnet.ibm.com> 2471 2472 PR bootstrap/61210 2473 * pt.c (tsubst_copy, tsubst_omp_for_iterator, tsubst_expr) 2474 (tsubst_copy_and_build): Perform recursive substitutions in a 2475 deterministic order. 2476 24772014-05-20 Paolo Carlini <paolo.carlini@oracle.com> 2478 2479 PR c++/58664 2480 * typeck2.c (cxx_incomplete_type_inform): New. 2481 (cxx_incomplete_type_diagnostic): Use it. 2482 * decl.c (grokdeclarator): Check the element type of an 2483 incomplete array type; call the above. 2484 * cp-tree.h (cxx_incomplete_type_inform): Declare. 2485 24862014-05-19 Jason Merrill <jason@redhat.com> 2487 2488 PR c++/58761 2489 * pt.c (tsubst_copy): Don't check at_function_scope_p. 2490 (instantiate_class_template_1): Don't push_to_top_level in an nsdmi. 2491 24922014-05-19 Paolo Carlini <paolo.carlini@oracle.com> 2493 2494 * typeck2.c (cxx_incomplete_type_diagnostic): Use inform. 2495 * parser.c (cp_parser_enum_specifier): Likewise. 2496 24972014-05-17 Trevor Saunders <tsaunders@mozilla.com> 2498 2499 * class.c (sorted_fields_type_new): Adjust. 2500 * cp-cilkplus.c (cilk_install_body_with_frame_cleanup): Likewise. 2501 * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise. 2502 * cp-tree.h: Remove usage of variable_size gty attribute. 2503 * decl.c (make_label_decl): Adjust. 2504 (check_goto): Likewise. 2505 (start_preparsed_function): Likewise. 2506 (save_function_data): Likewise. 2507 * lex.c (init_reswords): Likewise. 2508 (retrofit_lang_decl): Likewise. 2509 (cxx_dup_lang_specific_decl): Likewise. 2510 (copy_lang_type): Likewise. 2511 (cxx_make_type): Likewise. 2512 * name-lookup.c (binding_entry_make): Likewise. 2513 (binding_table_construct): Likewise. 2514 (binding_table_new): Likewise. 2515 (cxx_binding_make): Likewise. 2516 (pushdecl_maybe_friend_1): Likewise. 2517 (begin_scope): Likewise. 2518 (push_to_top_level): Likewise. 2519 * parser.c (cp_lexer_alloc): Likewise. 2520 (cp_lexer_new_from_tokens): Likewise. 2521 (cp_token_cache_new): Likewise. 2522 (cp_parser_context_new): Likewise. 2523 (cp_parser_new): Likewise. 2524 (cp_parser_nested_name_specifier_opt): Likewise. 2525 (cp_parser_template_id): Likewise. 2526 * pt.c (maybe_process_partial_specialization): Likewise. 2527 (register_specialization): Likewise. 2528 (add_pending_template): Likewise. 2529 (lookup_template_class_1): Likewise. 2530 (push_tinst_level): Likewise. 2531 * semantics.c (register_constexpr_fundef): Likewise. 2532 (cxx_eval_call_expression): Likewise. 2533 * typeck2.c (abstract_virtuals_error_sfinae): Likewise. 2534 25352014-05-16 Paolo Carlini <paolo.carlini@oracle.com> 2536 2537 PR c++/51640 2538 * parser.c (cp_parser_diagnose_invalid_type_name): Early return 2539 when cp_parser_lookup_name sets ambiguous_decls. 2540 25412014-05-15 Jason Merrill <jason@redhat.com> 2542 2543 * call.c (print_conversion_rejection): Use loc consistently. 2544 25452014-05-14 Paolo Carlini <paolo.carlini@oracle.com> 2546 2547 * cp-tree.h (DIRECT_LIST_INIT_P): Add. 2548 * call.c (convert_like_real, build_new_method_call_1): Use it. 2549 * decl2.c (grokfield): Likewise. 2550 * init.c (perform_member_init, build_aggr_init, expand_default_init, 2551 build_new_1): Likewise. 2552 * mangle.c (write_expression): Likewise. 2553 * parser.c (cp_parser_late_parse_one_default_arg): Likewise. 2554 25552014-05-14 Jason Merrill <jason@redhat.com> 2556 2557 PR c++/20332 2558 PR c++/21631 2559 * call.c (reference_binding): Treat lvalue/rvalue mismatch and 2560 dropped cv-quals as a bad conversion. 2561 (convert_like_real) [ck_ref_bind]: Explain them. 2562 (compare_ics): Check badness before stripping reference 2563 bindings. Handle comparing bad reference bindings. 2564 * typeck.c (comp_cv_qualification): Add overload that just takes 2565 integers. 2566 * cp-tree.h: Declare it. 2567 2568 * call.c (struct conversion_info): Rename 'from_type' to 'from'. 2569 (arg_conversion_rejection, bad_arg_conversion_rejection) 2570 (explicit_conversion_rejection, template_conversion_rejection): Adjust. 2571 (add_function_candidate): Pass actual argument, rather than type, to 2572 bad_arg_conversion_rejection. 2573 (print_conversion_rejection): Explain what's wrong with the conversion. 2574 (print_z_candidates): Say "candidate:" before each candidate. 2575 (splice_viable): Be strict if we see a viable or template candidate. 2576 (build_user_type_conversion_1): Pass false to strict parameter. 2577 (perform_overload_resolution, build_conditional_expr_1): Likewise. 2578 (build_new_op_1, build_new_method_call_1): Likewise. 2579 (build_op_call_1): Pass true to strict parameter. 2580 25812014-05-13 Jason Merrill <jason@redhat.com> 2582 2583 * call.c (print_error_for_call_failure): Say "no match" rather 2584 than "ambiguous" if there were no strict matches. 2585 (build_new_method_call_1): Likewise. 2586 2587 PR c++/61151 2588 * semantics.c (is_this_parameter): Allow capture proxies too. 2589 25902014-05-12 Jason Merrill <jason@redhat.com> 2591 2592 * call.c (maybe_print_user_conv_context): New. 2593 (convert_like_real): Use it. Print call context for bad 2594 user-defined conversion. 2595 (build_over_call): Print call context for bad 'this' conversion. 2596 2597 * call.c (convert_like_real): Use inform for identifying the 2598 declaration point. 2599 26002014-05-12 Paolo Carlini <paolo.carlini@oracle.com> 2601 2602 * cvt.c (cp_convert_to_pointer): Don't call error_at if 2603 complain & tf_error is false. 2604 2605 * decl.c (make_unbound_class_template): Prefer inform for 2606 "declared here"-type message. 2607 26082014-05-09 Momchil Velikov <momchil.velikov@gmail.com> 2609 2610 PR c++/60463 2611 PR c++/60755 2612 * lambda.c (lambda_expr_this_capture): Add new parameter 2613 add_capture_p controlling whether the functions will try to 2614 capture 'this' via the default capture. 2615 (maybe_resolve_dummy): Likewise. 2616 * cp-tree.h: Adjust prototypes. 2617 * call.c, semantics.c: Change callers of these functions. 2618 * call.c (build_new_method_call_1): Use the actual 'this' that 2619 would be potentially captured for the overload resolution, instead 2620 of the dummy object. 2621 26222014-05-09 Paolo Carlini <paolo.carlini@oracle.com> 2623 2624 * pt.c (convert_nontype_argument_function): Add tsubst_flags_t 2625 parameter. 2626 (convert_nontype_argument): Adjust calls. 2627 (coerce_template_parameter_pack): Add missing complain & tf_error 2628 check. 2629 26302014-05-09 Jason Merrill <jason@redhat.com> 2631 2632 DR 587 2633 PR c++/51317 2634 * call.c (build_conditional_expr_1, conditional_conversion): Handle 2635 non-class lvalues and xvalues that differ only in cv-qualifiers. 2636 2637 DR 5 2638 PR c++/60019 2639 * call.c (build_user_type_conversion_1): The copy-init temporary 2640 is cv-unqualified. 2641 2642 PR c++/58714 2643 * tree.c (stabilize_expr): A stabilized prvalue is an xvalue. 2644 2645 PR c++/54348 2646 * call.c (build_conditional_expr_1): If overload resolution finds 2647 no match, just say "different types". 2648 2649 PR c++/32019 2650 * call.c (build_conditional_expr_1): Improve ambiguity diagnostic. 2651 2652 PR c++/22434 2653 * call.c (build_conditional_expr_1): Don't try to pool cv-quals 2654 if we didn't find a conversion. 2655 Don't accept a bad conversion too early. 2656 26572014-05-08 Paolo Carlini <paolo.carlini@oracle.com> 2658 2659 PR c++/13981 2660 * typeck.c (convert_for_assignment): Provide an inform for pointers 2661 to incomplete class types. 2662 26632014-05-07 Paolo Carlini <paolo.carlini@oracle.com> 2664 2665 PR c++/61083 2666 * pt.c (convert_nontype_argument): Protect all the error calls 2667 with complain & tf_error. 2668 26692014-05-07 Paolo Carlini <paolo.carlini@oracle.com> 2670 2671 PR c++/61080 2672 * pt.c (instantiate_decl): Avoid generating the body of a 2673 deleted function. 2674 26752014-05-06 Paolo Carlini <paolo.carlini@oracle.com> 2676 2677 PR c++/60999 2678 * pt.c (maybe_begin_member_template_processing): Use 2679 uses_template_parms. 2680 26812014-05-06 Kenneth Zadeck <zadeck@naturalbridge.com> 2682 Mike Stump <mikestump@comcast.net> 2683 Richard Sandiford <rdsandiford@googlemail.com> 2684 2685 * call.c: Include wide-int.h. 2686 (type_passed_as): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED. 2687 (convert_for_arg_passing): Likewise. 2688 * class.c: Include wide-int.h. 2689 (walk_subobject_offsets): Use tree_int_cst_lt instead of INT_CST_LT. 2690 (end_of_class): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED. 2691 (include_empty_classes): Likewise 2692 (layout_class_type): Use tree_int_cst_lt instead of INT_CST_LT. 2693 * cvt.c: Include wide-int.h. 2694 (ignore_overflows): Use wide_int_to_tree. 2695 * decl.c: Include wide-int.h. 2696 (check_array_designated_initializer): Use wide-int interfaces. 2697 (compute_array_index_type): Use tree_int_cst_lt instead of INT_CST_LT. 2698 (finish_enum_value_list): Use signop. 2699 (build_enumerator): Use wide-int interfaces. 2700 * init.c: Include wide-int.h. 2701 (build_new_1): Use wide-int interfaces. 2702 * mangle.c: Include wide-int.h. 2703 (write_integer_cst): Use wide-int interfaces. 2704 (write_array_type): Likewise. 2705 * tree.c: Include wide-int.h. 2706 (cp_tree_equal): Use tree_int_cst_equal. 2707 * typeck2.c: Include wide-int.h. 2708 (process_init_constructor_array): Use wide-int interfaces. 2709 27102014-05-03 Paolo Carlini <paolo.carlini@oracle.com> 2711 2712 PR c++/58582 2713 * decl.c (grokfndecl): Check duplicate_decls return value for 2714 error_mark_node. 2715 * pt.c (instantiate_decl): A deleted function is defined. 2716 27172014-05-02 Jason Merrill <jason@redhat.com> 2718 2719 * decl2.c (vague_linkage_p): Local statics have vague linkage. 2720 2721 PR c++/60992 2722 * lambda.c (lambda_capture_field_type): Wrap anything dependent 2723 other than 'this'. 2724 (add_capture): Check for VLA before calling it. 2725 * semantics.c (is_this_parameter): Accept any 'this' parameter, not 2726 just the current one. Make non-static. 2727 * cp-tree.h: Declare it. 2728 * pt.c (tsubst_copy) [VAR_DECL]: Also build a new VAR_DECL if 2729 the operand was static or constant. 2730 27312014-05-02 Marek Polacek <polacek@redhat.com> 2732 2733 * typeck.c (maybe_warn_about_returning_address_of_local): Separate 2734 warning_at calls. 2735 27362014-05-01 Marek Polacek <polacek@redhat.com> 2737 2738 PR c/43395 2739 * typeck.c (maybe_warn_about_returning_address_of_local): Distinguish 2740 between label and variable when warning about returning local address. 2741 27422014-04-30 Jason Merrill <jason@redhat.com> 2743 2744 PR c++/60980 2745 * init.c (build_value_init): Don't try to call an array constructor. 2746 2747 PR c++/60951 2748 * typeck2.c (massage_init_elt): Use maybe_constant_init. 2749 27502014-04-30 Marek Polacek <polacek@redhat.com> 2751 2752 * typeck.c (cp_build_binary_op): Call ubsan_instrument_division 2753 even when SANITIZE_FLOAT_DIVIDE is on. Set doing_div_or_mod even 2754 for non-integer types. 2755 27562014-04-29 Jason Merrill <jason@redhat.com> 2757 2758 DR 1351 2759 Represent the unevaluated exception specification of an implicitly 2760 declared or deleted function with a simple placeholder, not a list 2761 of functions. 2762 * cp-tree.h (UNEVALUATED_NOEXCEPT_SPEC_P): New. 2763 * except.c (unevaluated_noexcept_spec): New. 2764 * class.c (deduce_noexcept_on_destructor): Use it. 2765 * decl.c (check_redeclaration_exception_specification): Call 2766 maybe_instantiate_noexcept. 2767 (duplicate_decls): Call it before merge_types. 2768 (start_preparsed_function): Call maybe_instantiate_noexcept. 2769 * decl2.c (mark_used): Call maybe_instantiate_noexcept earlier. 2770 * init.c (get_nsdmi): Factor out of perform_member_init. 2771 * method.c (process_subob_fn): Call maybe_instantiate_noexcept. 2772 (walk_field_subobs): Consider NSDMI for EH spec. 2773 (get_defaulted_eh_spec): New. 2774 (implicitly_declare_fn): Use unevaluated_noexcept_spec. 2775 (defaulted_late_check): Defer EH checking in non-template classes. 2776 (after_nsdmi_defaulted_late_checks): New. 2777 * parser.c (cp_parser_class_specifier_1): Use it. 2778 (unparsed_classes): New macro. 2779 * parser.h (cp_unparsed_functions_entry_d): Add classes field. 2780 * pt.c (maybe_instantiate_noexcept): Use get_defaulted_eh_spec. 2781 Remove list-of-functions handling. 2782 * typeck2.c (merge_exception_specifiers): Remove list-of-functions 2783 handling and FN parameter. 2784 * typeck.c (merge_types): Adjust. 2785 27862014-04-28 Paolo Carlini <paolo.carlini@oracle.com> 2787 2788 PR c++/59120 2789 * parser.c (cp_parser_alias_declaration): Check return value of 2790 cp_parser_require. 2791 27922014-04-24 Jakub Jelinek <jakub@redhat.com> 2793 2794 * parser.c (cp_parser_omp_atomic): Allow seq_cst before 2795 atomic-clause, allow comma in between atomic-clause and 2796 seq_cst. 2797 27982014-04-24 Marc Glisse <marc.glisse@inria.fr> 2799 2800 PR libstdc++/43622 2801 * rtti.c (emit_support_tinfos): Do not iterate on 2802 registered_builtin_types (partial revert). 2803 28042014-04-23 Dinar Temirbulatov <dtemirbulatov@gmail.com> 2805 2806 PR c++/57958 2807 * semantics.c (apply_deduced_return_type): Complete non-void type 2808 before estimating whether the type is aggregate. 2809 28102014-04-22 Marc Glisse <marc.glisse@inria.fr> 2811 2812 PR libstdc++/43622 2813 * rtti.c (emit_support_tinfo_1): New function, extracted from 2814 emit_support_tinfos. 2815 (emit_support_tinfos): Call it and iterate on registered_builtin_types. 2816 28172014-04-22 Jakub Jelinek <jakub@redhat.com> 2818 2819 PR c/59073 2820 * parser.c (cp_parser_omp_parallel): If cp_parser_omp_for 2821 fails, don't set OM_PARALLEL_COMBINED and return NULL. 2822 28232014-04-18 Jason Merrill <jason@redhat.com> 2824 2825 DR 1571 2826 * call.c (reference_binding): Recurse on user-defined conversion. 2827 2828 PR c++/60872 2829 * call.c (standard_conversion): Don't try to apply restrict to void. 2830 28312014-04-16 Marc Glisse <marc.glisse@inria.fr> 2832 2833 * decl.c (reshape_init_r): Handle a single element of vector type. 2834 28352014-04-16 Patrick Palka <patrick@parcs.ath.cx> 2836 2837 PR c++/60765 2838 * decl2.c (cplus_decl_attributes): Handle 2839 pointer-to-member-function declarations. 2840 28412014-04-16 Patrick Palka <patrick@parcs.ath.cx> 2842 2843 PR c++/60764 2844 * call.c (build_user_type_coversion): Use build_dummy_object 2845 to create the placeholder object for a constructor method call. 2846 (build_special_member_call): Likewise. 2847 (build_over_call): Check for the placeholder object with 2848 is_dummy_object. 2849 (build_new_method_call_1): Likewise. Don't attempt to resolve 2850 a dummy object for a constructor method call. 2851 28522014-04-16 Paul Pluzhnikov <ppluzhnikov@google.com> 2853 2854 PR c++/59295 2855 * friend.c (add_friend, make_friend_class): Move repeated friend 2856 warning under Wredundant_decls. 2857 28582014-04-15 Paolo Carlini <paolo.carlini@oracle.com> 2859 2860 * decl.c (duplicate_decls): Remove redundant TYPE_NAME use. 2861 * name-lookup.c (pushdecl_maybe_friend_1): Likewise. 2862 (do_class_using_decl): Likewise. 2863 * mangle.c (dump_substitution_candidates): Use TYPE_NAME_STRING. 2864 28652014-04-15 Jakub Jelinek <jakub@redhat.com> 2866 2867 PR plugins/59335 2868 * Make-lang.h (CP_PLUGIN_HEADERS): Add type-utils.h. 2869 28702014-04-14 Paolo Carlini <paolo.carlini@oracle.com> 2871 2872 * cp-tree.h (TYPE_IDENTIFIER): Remove declaration. 2873 28742014-04-14 Paolo Carlini <paolo.carlini@oracle.com> 2875 2876 * pt.c (mark_template_parm): Use template_parm_level_and_index. 2877 28782014-04-11 Jason Merrill <jason@redhat.com> 2879 2880 * parser.h (struct cp_token): Rename ambiguous_p to error_reported. 2881 * parser.c: Adjust. 2882 (cp_lexer_get_preprocessor_token): Always clear it. 2883 (cp_parser_lambda_expression): Use it to avoid duplicate diagnostics. 2884 2885 DR 1467 2886 PR c++/51747 2887 * decl.c (reshape_init_r): Handle a single element of class type. 2888 2889 DR 1338 2890 * decl.c (cxx_init_decl_processing): Set DECL_IS_MALLOC on 2891 built-in operator new. 2892 28932014-04-11 Paolo Carlini <paolo.carlini@oracle.com> 2894 2895 PR c++/58600 2896 * name-lookup.c (parse_using_directive): Return early if the 2897 attribs argument is error_mark_node; use get_attribute_name. 2898 28992014-04-11 Jason Merrill <jason@redhat.com> 2900 2901 DR 1030 2902 PR c++/51253 2903 * cp-tree.h (CALL_EXPR_LIST_INIT_P): New. 2904 * call.c (struct z_candidate): Add flags field. 2905 (add_candidate): Add flags parm. 2906 (add_function_candidate, add_conv_candidate, build_builtin_candidate) 2907 (add_template_candidate_real): Pass it. 2908 (build_over_call): Set CALL_EXPR_LIST_INIT_P. 2909 * tree.c (build_aggr_init_expr): Copy it. 2910 * semantics.c (simplify_aggr_init_expr): Preevaluate args if it's set. 2911 29122014-04-10 Richard Biener <rguenther@suse.de> 2913 Jakub Jelinek <jakub@redhat.com> 2914 2915 PR ipa/60761 2916 * error.c (dump_decl) <case FUNCTION_DECL>: If 2917 DECL_LANG_SPECIFIC is NULL, but DECL_ABSTRACT_ORIGIN is not, 2918 recurse on DECL_ABSTRACT_ORIGIN instead of printing 2919 <built-in>. 2920 29212014-04-09 Fabien Ch��ne <fabien@gcc.gnu.org> 2922 2923 * pt.c (check_template_variable): Check for the return of pedwarn 2924 before emitting a note. 2925 * parser.c (cp_parser_lambda_introducer): Likewise. 2926 29272014-04-08 Paolo Carlini <paolo.carlini@oracle.com> 2928 2929 PR c++/59115 2930 * pt.c (process_template_parm): For an invalid non-type parameter 2931 only set TREE_TYPE to error_mark_node. 2932 (push_inline_template_parms_recursive, comp_template_parms, 2933 redeclare_class_template, coerce_template_template_parm, 2934 coerce_template_template_parms, unify): Use error_operand_p. 2935 29362014-04-08 Nathan Sidwell <nathan@codesourcery.com> 2937 2938 * class.c (check_bases_and_members): Warn about non-virtual dtors 2939 in public bases only. Check warn_ecpp before complaining about 2940 non-polymorphic bases. 2941 29422014-04-04 Fabien Ch��ne <fabien@gcc.gnu.org> 2943 2944 * decl.c (duplicate_decls): Check for the return of warning_at 2945 before emitting a note. 2946 (warn_misplaced_attr_for_class_type): Likewise. 2947 (check_tag_decl): Likewise. 2948 29492014-04-04 Paolo Carlini <paolo.carlini@oracle.com> 2950 2951 PR c++/58207 2952 * semantics.c (sort_constexpr_mem_initializers): Robustify loop. 2953 29542014-04-04 Patrick Palka <patrick@parcs.ath.cx> 2955 2956 PR c++/44613 2957 * semantics.c (add_stmt): Set STATEMENT_LIST_HAS_LABEL. 2958 * decl.c (cp_finish_decl): Create a new BIND_EXPR before 2959 instantiating a variable-sized type. 2960 2961 PR c++/21113 2962 * decl.c (decl_jump_unsafe): Consider variably-modified decls. 2963 29642014-04-04 Fabien Ch��ne <fabien@gcc.gnu.org> 2965 2966 * class.c (find_abi_tags_r): Check for the return of warning 2967 before emitting a note. 2968 (one_inherited_ctor): Likewise. 2969 29702014-04-04 Fabien Ch��ne <fabien@gcc.gnu.org> 2971 2972 * decl.c (duplicate_decls): Check for the return of permerror 2973 before emitting a note. 2974 29752014-04-03 Nathan Sidwell <nathan@codesourcery.com> 2976 2977 * class.c (accessible_nvdtor_p): New. 2978 (check_bases): Don't check base destructor here ... 2979 (check_bases_and_members): ... check them here. Trigger on 2980 Wnon-virtual-dtor flag. 2981 (finish_struct_1): Use accessible_nvdtor_p. 2982 29832014-04-01 Jason Merrill <jason@redhat.com> 2984 2985 * pt.c (process_partial_specialization): Say "not deducible" 2986 rather than "not used". Use inform. 2987 2988 PR c++/60374 2989 * pt.c (coerce_template_parms): Check that the pack expansion 2990 pattern works with the first matching parameter. 2991 29922014-04-01 Fabien Ch��ne <fabien@gcc.gnu.org> 2993 2994 * init.c (perform_member_init): Homogenize uninitialized 2995 diagnostics. 2996 29972014-04-01 Jason Merrill <jason@redhat.com> 2998 2999 PR c++/60708 3000 * call.c (build_array_conv): Call complete_type. 3001 3002 PR c++/60713 3003 * typeck2.c (PICFLAG_SIDE_EFFECTS): New. 3004 (picflag_from_initializer): Return it. 3005 (process_init_constructor): Handle it. 3006 3007 PR c++/60642 3008 * decl2.c (is_late_template_attribute): Don't defer abi_tag. 3009 * mangle.c (write_unqualified_name): Fix abi_tag on templates. 3010 * pt.c (get_template_info): Handle NAMESPACE_DECL. 3011 (most_general_template): Handle more kinds of template. 3012 * tree.c (handle_abi_tag_attribute): Ignore abi_tag on template 3013 instantiations and specializations. 3014 30152014-03-31 Patrick Palka <patrick@parcs.ath.cx> 3016 3017 PR c++/44859 3018 * typeck.c (maybe_warn_about_returning_address_of_local): Unwrap 3019 COMPONENT_REFs and ARRAY_REFs sooner. 3020 30212014-03-29 Adam Butcher <adam@jessamine.co.uk> 3022 3023 PR c++/60626 3024 * parser.c (cp_parser_init_declarator): Handle erroneous generic type 3025 usage in non-functions with pushed scope. 3026 30272014-03-28 Adam Butcher <adam@jessamine.co.uk> 3028 3029 PR c++/60573 3030 * name-lookup.h (cp_binding_level): New transient field defining_class_p 3031 to indicate whether a scope is in the process of defining a class. 3032 * semantics.c (begin_class_definition): Set defining_class_p. 3033 * name-lookup.c (leave_scope): Reset defining_class_p. 3034 * parser.c (synthesize_implicit_template_parm): Use cp_binding_level:: 3035 defining_class_p rather than TYPE_BEING_DEFINED as the predicate for 3036 unwinding to class-defining scope to handle the erroneous definition of 3037 a generic function of an arbitrarily nested class within an enclosing 3038 class. 3039 30402014-03-26 Fabien Ch��ne <fabien@gcc.gnu.org> 3041 3042 PR c++/52369 3043 * method.c (walk_field_subobs): Improve the diagnostic 3044 locations for both REFERENCE_TYPEs and non-static const members. 3045 * init.c (diagnose_uninitialized_cst_or_ref_member): Use %q#D 3046 instead of %qD to be consistent with the c++11 diagnostic. 3047 30482014-03-25 Jason Merrill <jason@redhat.com> 3049 3050 PR c++/60566 3051 PR c++/58678 3052 * class.c (build_vtbl_initializer): Handle abstract dtors here. 3053 * search.c (get_pure_virtuals): Not here. 3054 3055 PR c++/60375 3056 * parser.c (cp_parser_lambda_expression): Don't parse the body of 3057 a lambda in unevaluated context. 3058 3059 PR c++/60628 3060 * decl.c (create_array_type_for_decl): Complain about array of auto. 3061 30622014-03-25 Jakub Jelinek <jakub@redhat.com> 3063 3064 PR c++/60331 3065 * semantics.c (potential_constant_expression_1): Handle 3066 DECL_EXPR. 3067 30682014-03-24 Adam Butcher <adam@jessamine.co.uk> 3069 3070 PR c++/60627 3071 * parser.c (cp_parser_parameter_declaration_clause): Prevent 'auto' from 3072 introducing an implicit function template parameter within an explicit 3073 instantiation. 3074 30752014-03-22 Jason Merrill <jason@redhat.com> 3076 3077 PR c++/60574 3078 * decl.c (grokdeclarator): Change permerror about 'virtual auto' 3079 to error. 3080 30812014-03-21 Paolo Carlini <paolo.carlini@oracle.com> 3082 3083 PR c++/60384 3084 * name-lookup.c (push_class_level_binding_1): Check identifier_p 3085 on the name argument. 3086 30872014-03-20 Jakub Jelinek <jakub@redhat.com> 3088 3089 PR c++/60572 3090 * init.c (build_zero_init_1): Ignore fields with error_mark_node 3091 type. 3092 30932014-03-19 Paolo Carlini <paolo.carlini@oracle.com> 3094 3095 PR c++/51474 3096 * call.c (build_new_method_call_1): Handle pure virtuals called by 3097 NSDMIs too. 3098 30992014-03-17 Adam Butcher <adam@jessamine.co.uk> 3100 3101 PR c++/60390 3102 * parser.c (cp_parser_member_declaration): Don't allow 3103 finish_fully_implicit_template to consider friend declarations to be 3104 class member templates. 3105 (synthesize_implicit_template_parm): Handling winding back through class 3106 scope to the class being defined in order to inject a template argument 3107 list. 3108 3109 PR c++/60391 3110 * parser.c (cp_parser_skip_to_end_of_block_or_statement): Unwind generic 3111 function scope as per cp_parser_skip_to_end_of_statement. 3112 31132014-03-17 Paolo Carlini <paolo.carlini@oracle.com> 3114 3115 PR c++/59571 3116 * typeck2.c (check_narrowing): Use fold_non_dependent_expr_sfinae. 3117 31182014-03-14 Jason Merrill <jason@redhat.com> 3119 3120 PR c++/60532 3121 PR c++/58678 3122 * search.c (get_pure_virtuals): Handle abstract dtor here. 3123 (dfs_get_pure_virtuals): Not here. 3124 3125 PR c++/58678 3126 * search.c (dfs_get_pure_virtuals): Treat the destructor of an 3127 abstract class as pure. 3128 31292014-03-13 Paolo Carlini <paolo.carlini@oracle.com> 3130 3131 PR c++/60383 3132 * pt.c (maybe_process_partial_specialization): Check return value 3133 of check_specialization_namespace. 3134 31352014-03-13 Paolo Carlini <paolo.carlini@oracle.com> 3136 3137 PR c++/60254 3138 * semantics.c (finish_static_assert): Call cxx_constant_value only 3139 if require_potential_rvalue_constant_expression returns true. 3140 31412014-03-11 Paolo Carlini <paolo.carlini@oracle.com> 3142 3143 PR c++/60389 3144 * method.c (get_inherited_ctor): New. 3145 * cp-tree.h (get_inherited_ctor): Declare it. 3146 * semantics.c (is_valid_constexpr_fn): Use it. 3147 31482014-03-10 Jason Merrill <jason@redhat.com> 3149 3150 PR c++/60367 3151 * call.c (convert_default_arg): Remove special handling for 3152 CONSTRUCTOR. 3153 3154 PR c++/53492 3155 * parser.c (cp_parser_class_head): Also check PRIMARY_TEMPLATE_P 3156 when deciding whether to call push_template_decl for a member class. 3157 * pt.c (push_template_decl_real): Return after wrong levels error. 3158 31592014-03-08 Adam Butcher <adam@jessamine.co.uk> 3160 3161 PR c++/60033 3162 * pt.c (tsubst_copy): When retrieving a capture pack from a generic 3163 lambda, remove the lambda's own template argument list prior to fetching 3164 the specialization. 3165 3166 PR c++/60393 3167 * parser.c (cp_parser_parameter_declaration_clause): Move generic 3168 function template unwinding on error into a more general location, ... 3169 (cp_parser_skip_to_end_of_statement): ... here. 3170 31712014-03-07 Jason Merrill <jason@redhat.com> 3172 3173 * Make-lang.in (check_g++_parallelize): Split dg.exp. 3174 3175 * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if 3176 we're in a trailing return type. 3177 3178 * typeck.c (comp_template_parms_position): 'auto' and 3179 'decltype(auto)' are different from real template parms. 3180 3181 * parser.c (cp_parser_using_declaration): Consume the semicolon 3182 after bare parameter pack error. 3183 3184 * cp-tree.h (REF_PARENTHESIZED_P): New. 3185 * semantics.c (force_paren_expr): Set it. 3186 * pt.c (do_auto_deduction): Check it. 3187 (tsubst) [COMPONENT_REF]: Copy it. 3188 * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference. 3189 3190 * decl.c (create_array_type_for_decl): Only warn about invalid 3191 C++1y VLA if flag_iso or warn_vla>0. 3192 (grokdeclarator): Likewise. 3193 * pt.c (tsubst): Likewise. 3194 * semantics.c (finish_decltype_type): Likewise. 3195 * typeck.c (cxx_sizeof_or_alignof_type): Likewise. 3196 (cp_build_addr_expr_1): Likewise. 3197 * init.c (build_new_1): Improve diagnostics. 3198 31992014-03-07 Paolo Carlini <paolo.carlini@oracle.com> 3200 3201 PR c++/58609 3202 * decl.c (check_initializer): Return NULL_TREE after error; 3203 consistently use inform. 3204 32052014-03-07 Paolo Carlini <paolo.carlini@oracle.com> 3206 3207 * decl.c (check_initializer): Remove dead code. 3208 32092014-03-06 Marek Polacek <polacek@redhat.com> 3210 3211 PR c/60197 3212 * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead 3213 of checking tree code. 3214 32152014-03-06 Paolo Carlini <paolo.carlini@oracle.com> 3216 3217 * parser.c (cp_lexer_set_source_position): New. 3218 (cp_parser_mem_initializer): Use it. 3219 (cp_parser_postfix_open_square_expression): Likewise. 3220 (cp_parser_parenthesized_expression_list): Likewise. 3221 (cp_parser_new_initializer): Likewise. 3222 (cp_parser_jump_statement): Likewise. 3223 (cp_parser_initializer): Likewise. 3224 (cp_parser_functional_cast): Likewise. 3225 32262014-03-05 Jason Merrill <jason@redhat.com> 3227 3228 PR c++/60409 3229 * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a 3230 dependent expression. 3231 3232 PR c++/60361 3233 * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID 3234 if re-parsing might succeed. 3235 * semantics.c (finish_id_expression): Use of a parameter outside 3236 the function body is a parse error. 3237 3238 * parser.c (cp_parser_mem_initializer): Set input_location 3239 properly for init-list warning. 3240 (cp_parser_postfix_open_square_expression): Likewise. 3241 (cp_parser_parenthesized_expression_list): Likewise. 3242 (cp_parser_new_initializer): Likewise. 3243 (cp_parser_jump_statement): Likewise. 3244 (cp_parser_initializer): Likewise. 3245 (cp_parser_functional_cast): Likewise. 3246 32472014-03-04 Jason Merrill <jason@redhat.com> 3248 3249 PR c++/60417 3250 * typeck2.c (process_init_constructor_record): Set 3251 CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers. 3252 3253 PR c++/60415 3254 PR c++/54359 3255 * parser.c (cp_parser_direct_declarator): Set declarator to 3256 cp_error_declarator on invalid qualified-id. 3257 32582014-03-04 Paolo Carlini <paolo.carlini@oracle.com> 3259 3260 PR c++/60376 3261 * parser.c (cp_parser_using_declaration): Early return when 3262 cp_parser_nested_name_specifier errors out. 3263 32642014-03-01 Adam Butcher <adam@jessamine.co.uk> 3265 3266 PR c++/60377 3267 * parser.c (cp_parser_parameter_declaration_clause): Unwind generic 3268 function scope on parse error in function parameter list. 3269 32702014-03-01 Paolo Carlini <paolo.carlini@oracle.com> 3271 3272 * method.c (implicitly_declare_fn): Remove redundant 3273 DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses. 3274 * semantics.c (is_instantiation_of_constexpr): Likewise. 3275 * error.c (dump_function_decl): Likewise. 3276 32772014-03-01 Jason Merrill <jason@redhat.com> 3278 3279 PR c++/60379 3280 * semantics.c (begin_maybe_infinite_loop): Use 3281 fold_non_dependent_expr_sfinae. 3282 32832014-02-28 Jason Merrill <jason@redhat.com> 3284 3285 PR c++/58845 3286 * typeck.c (cp_build_binary_op): Sorry on vector&&vector. 3287 32882014-02-28 Paolo Carlini <paolo.carlini@oracle.com> 3289 3290 PR c++/58610 3291 * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK. 3292 * call.c (print_z_candidate): Remove STRIP_TEMPLATE use. 3293 * lambda.c (maybe_add_lambda_conv_op): Likewise. 3294 32952014-02-27 Paolo Carlini <paolo.carlini@oracle.com> 3296 3297 PR c++/60253 3298 * call.c (convert_arg_to_ellipsis): Return error_mark_node after 3299 error_at. 3300 33012014-02-27 Jason Merrill <jason@redhat.com> 3302 3303 PR c++/60353 3304 PR c++/55877 3305 * decl2.c (tentative_decl_linkage): Don't mess with functions that 3306 are not yet defined. 3307 33082014-02-26 Jason Merrill <jason@redhat.com> 3309 3310 PR c++/60347 3311 PR lto/53808 3312 * class.c (clone_function_decl): Don't note_vague_linkage_fn. 3313 * init.c (build_vtbl_address): Do it here. 3314 3315 PR c++/59231 3316 PR c++/11586 3317 PR c++/14710 3318 PR c++/57132 3319 * pt.c (struct warning_sentinel): New. 3320 (tsubst_copy_and_build): Use it instead of 3321 c_inhibit_evaluation_warnings. 3322 * typeck.c (maybe_warn_about_useless_cast): Remove 3323 c_inhibit_evaluation_warnings check. 3324 3325 PR c++/54440 3326 * pt.c (get_template_parm_index): New. 3327 (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New. 3328 (process_template_parm): Allow bare packs in template template 3329 parm template parms. 3330 (coerce_template_parameter_pack): Handle fixed template template 3331 parm packs and fixed packs not at the end of the parm list. 3332 (coerce_template_parms): Handle template parm packs not at the end 3333 of the parm list. 3334 (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion. 3335 3336 PR c++/60182 3337 * pt.c (unify): Ignore alias templates when deducing a template 3338 template parameter. 3339 3340 PR c++/60345 3341 Revert: 3342 DR 1571 3343 * call.c (reference_binding): Recurse on user-defined conversion. 3344 (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch. 3345 33462014-02-25 Jason Merrill <jason@redhat.com> 3347 3348 DR 1571 3349 * call.c (reference_binding): Recurse on user-defined conversion. 3350 (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch. 3351 3352 * call.c (print_conversion_rejection): Handle n_arg of -2. 3353 (build_user_type_conversion_1): Pass it. 3354 3355 PR c++/55877 3356 * decl2.c (no_linkage_error): Handle C++98 semantics. 3357 (reset_type_linkage): Move from decl.c. 3358 (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1) 3359 (bt_reset_linkage_2, reset_decl_linkage): New. 3360 (tentative_decl_linkage): Factor out of expand_or_defer_fn_1. 3361 (cp_write_global_declarations): Move condition into no_linkage_error. 3362 * decl.c (grokfndecl, grokvardecl): Use no_linkage_error. 3363 * semantics.c (expand_or_defer_fn_1): Factor out 3364 tentative_decl_linkage. 3365 * cp-tree.h: Adjust. 3366 3367 * decl2.c (finish_static_data_member_decl): Diagnose static data 3368 member in unnamed class. 3369 * class.c (finish_struct_anon_r): Avoid redundant diagnostic. 3370 3371 PR lto/53808 3372 * class.c (clone_function_decl): Call note_vague_linkage_fn for 3373 defaulted virtual dtor. 3374 3375 DR 1286 3376 PR c++/60328 3377 * pt.c (get_underlying_template): Fix equivalence calculation. 3378 33792014-02-25 Adam Butcher <adam@jessamine.co.uk> 3380 3381 PR c++/60311 3382 * parser.c (function_being_declared_is_template_p): Return false when 3383 processing a template parameter list. 3384 (cp_parser_parameter_declaration_clause): Don't set 3385 auto_is_implicit_function_template_parm_p when processing a 3386 template parameter list. 3387 3388 * parser.c (synthesize_implicit_template_parm): Inject new template 3389 argument list appropriately when a generic member function 3390 of a class template is declared out-of-line. 3391 3392 PR c++/60065 3393 * parser.c (cp_parser_direct_declarator): Don't save and 3394 restore num_template_parameter_lists around call to 3395 cp_parser_parameter_declaration_list. 3396 (function_being_declared_is_template_p): New predicate. 3397 (cp_parser_parameter_declaration_list): Use 3398 function_being_declared_is_template_p as predicate for 3399 inspecting current function template parameter list length 3400 rather than num_template_parameter_lists. 3401 34022014-02-24 Jason Merrill <jason@redhat.com> 3403 3404 PR c++/60146 3405 * pt.c (tsubst_omp_for_iterator): Don't let substitution of the 3406 DECL_EXPR initialize a non-class iterator. 3407 3408 PR c++/60312 3409 * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'. 3410 34112014-02-21 Jason Merrill <jason@redhat.com> 3412 3413 PR c++/58170 3414 * parser.c (cp_parser_type_name): Always check dependency. 3415 (cp_parser_type_specifier_seq): Call 3416 cp_parser_parse_and_diagnose_invalid_type_name. 3417 3418 PR c++/60108 3419 * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN. 3420 3421 PR c++/60185 3422 * parser.c (cp_parser_default_argument): Clear 3423 current_class_ptr/current_class_ref like tsubst_default_argument. 3424 3425 PR c++/60252 3426 * lambda.c (maybe_resolve_dummy): Check lambda_function rather 3427 than current_binding_level. 3428 3429 PR c++/60186 3430 * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae. 3431 3432 PR c++/60187 3433 * parser.c (cp_parser_enum_specifier): Call 3434 check_for_bare_parameter_packs. 3435 3436 PR c++/59347 3437 * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an 3438 erroneous typedef. 3439 3440 PR c++/60241 3441 * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS 3442 of the partial instantiation, not the most general template. 3443 (maybe_process_partial_specialization): Reassign everything on 3444 that list. 3445 3446 PR c++/60216 3447 * pt.c (register_specialization): Copy DECL_DELETED_FN to clones. 3448 (check_explicit_specialization): Don't clone. 3449 3450 PR c++/60219 3451 * pt.c (coerce_template_parms): Bail if argument packing fails. 3452 3453 PR c++/60224 3454 * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init): 3455 Don't get confused by a CONSTRUCTOR that already has a type. 3456 3457 PR c++/60227 3458 * call.c (build_array_conv): Don't crash on VLA. 3459 3460 PR c++/60248 3461 * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL. 3462 3463 PR c++/60252 3464 * lambda.c (maybe_resolve_dummy): Don't try to capture this 3465 in declaration context. 3466 3467 DR 1591 3468 PR c++/60051 3469 * pt.c (unify): Only unify if deducible. Handle 0-length list. 3470 3471 PR c++/60250 3472 * parser.c (cp_parser_direct_declarator): Don't wrap a 3473 type-dependent expression in a NOP_EXPR. 3474 3475 PR c++/60251 3476 * lambda.c (is_normal_capture_proxy): Handle VLA capture. 3477 3478 PR c++/60167 3479 PR c++/60222 3480 PR c++/58606 3481 * parser.c (cp_parser_template_argument): Restore dereference. 3482 * pt.c (template_parm_to_arg): Dereference non-pack expansions too. 3483 (process_partial_specialization): Handle deref. 3484 (unify): Likewise. 3485 34862014-02-21 Adam Butcher <adam@jessamine.co.uk> 3487 3488 PR c++/60052 3489 PR c++/60053 3490 * parser.c (cp_parser_parameter_declaration_list): Correctly reset 3491 implicit_template_scope upon leaving an out-of-line generic member 3492 function definition. 3493 34942014-02-20 Kai Tietz <ktietz@redhat.com> 3495 3496 PR c++/58873 3497 * parser.c (cp_parser_functional_cast): Treat NULL_TREE 3498 valued type argument as error_mark_node. 3499 3500 PR c++/58835 3501 * semantics.c (finish_fname): Handle error_mark_node. 3502 35032014-02-19 Jason Merrill <jason@redhat.com> 3504 3505 PR c++/60046 3506 * pt.c (maybe_instantiate_noexcept): Don't instantiate exception 3507 spec from template context. 3508 35092014-02-19 Jakub Jelinek <jakub@redhat.com> 3510 3511 PR debug/56563 3512 * cp-objcp-common.c (cp_function_decl_explicit_p): Remove 3513 FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check. 3514 3515 PR c++/60267 3516 * pt.c (tsubst_expr): Handle ANNOTATE_EXPR. 3517 35182014-02-18 Paolo Carlini <paolo.carlini@oracle.com> 3519 3520 PR c++/60225 3521 * semantics.c (ensure_literal_type_for_constexpr_object): Use 3522 strip_array_types. 3523 35242014-02-18 Paolo Carlini <paolo.carlini@oracle.com> 3525 3526 PR c++/60215 3527 * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]): 3528 During error recovery allow_non_constant may be false. 3529 35302014-02-18 Adam Butcher <adam@jessamine.co.uk> 3531 3532 PR c++/60190 3533 * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter 3534 scope whenever a template parameter list has been started, independent 3535 of whether the function call operator was well-formed or not. 3536 3537 PR c++/60064 3538 * parser.c (cp_parser_member_declaration): Pop fully implicit template 3539 scope for generic friend declarations as well as for non-friends. 3540 35412014-02-12 Paolo Carlini <paolo.carlini@oracle.com> 3542 3543 PR c++/60047 3544 * method.c (implicitly_declare_fn): A constructor of a class with 3545 virtual base classes isn't constexpr (7.1.5p4). 3546 35472014-02-05 Jan Hubicka <hubicka@ucw.cz 3548 3549 * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec. 3550 35512014-02-05 Jakub Jelinek <jakub@redhat.com> 3552 3553 PR c++/58703 3554 * parser.c (cp_parser_omp_declare_reduction): Save and free 3555 declarator_obstack. 3556 35572014-02-03 Marc Glisse <marc.glisse@inria.fr> 3558 3559 PR c++/53017 3560 PR c++/59211 3561 * tree.c (handle_init_priority_attribute): Call default_conversion on 3562 the attribute argument. 3563 35642014-02-03 Paolo Carlini <paolo.carlini@oracle.com> 3565 3566 PR c++/58871 3567 * method.c (synthesized_method_walk): If vbases is non-null but 3568 is_empty is true, likewise don't worry about the virtual bases. 3569 35702014-02-01 Paolo Carlini <paolo.carlini@oracle.com> 3571 3572 PR c++/51219 3573 * typeck2.c (process_init_constructor_record): Just skip unnamed 3574 bit-fields. 3575 35762014-01-31 Jason Merrill <jason@redhat.com> 3577 3578 PR c++/59469 3579 * pt.c (mark_decl_instantiated): Call mark_needed. 3580 3581 PR c++/58672 3582 * decl2.c (handle_tls_init): Handle null init fn. 3583 3584 PR c++/55800 3585 * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable. 3586 35872014-01-31 Paolo Carlini <paolo.carlini@oracle.com> 3588 3589 PR c++/59082 3590 * class.c (build_vfield_ref): Early return error_mark_node if 3591 TYPE_VFIELD (type) is null. 3592 (build_base_path): Check return value of build_vfield_ref. 3593 35942014-01-31 Jason Merrill <jason@redhat.com> 3595 3596 PR c++/59646 3597 * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P. 3598 [ck_list]: Check for error_mark_node. 3599 (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing. 3600 3601 PR c++/57043 3602 * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check 3603 during partial ordering. 3604 36052014-01-31 Marek Polacek <polacek@redhat.com> 3606 3607 PR c/59963 3608 * typeck.c (build_function_call_vec): Add dummy arg_loc parameter. 3609 36102014-01-30 Jason Merrill <jason@redhat.com> 3611 3612 PR c++/57899 3613 * cp-tree.h (struct saved_scope): Add x_local_specializations. 3614 (local_specializations): New macro. 3615 * pt.c (local_specializations): Remove variable. 3616 36172014-01-30 Richard Sandiford <rdsandiford@googlemail.com> 3618 3619 PR c++/58708 3620 * parser.c (make_string_pack): Use double_int::from_buffer. 3621 36222014-01-30 Marek Polacek <polacek@redhat.com> 3623 3624 PR c/59940 3625 * typeck.c (build_ptrmemfunc1): Call convert_and_check with 3626 input_location. 3627 * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check 3628 with input_location. 3629 * call.c (build_conditional_expr_1): Call unsafe_conversion_p with 3630 loc parameter. 3631 36322014-01-30 Paolo Carlini <paolo.carlini@oracle.com> 3633 3634 PR c++/58843 3635 * typeck.c (lookup_destructor): Check dtor_type for error_mark_node. 3636 36372014-01-30 Paolo Carlini <paolo.carlini@oracle.com> 3638 3639 PR c++/58649 3640 * pt.c (lookup_template_class_1): Check start_enum return value 3641 for error_mark_node. 3642 36432014-01-30 Paolo Carlini <paolo.carlini@oracle.com> 3644 3645 * decl.c (duplicate_decls, typename_hash, typename_compare): 3646 Use TYPE_IDENTIFIER. 3647 * error.c (dump_type): Likewise. 3648 * mangle.c (dump_substitution_candidates): Likewise. 3649 36502014-01-30 Jason Merrill <jason@redhat.com> 3651 3652 PR c++/59633 3653 * decl2.c (attributes_naming_typedef_ok): New. 3654 * cp-tree.h: Declare it. 3655 * decl.c (grokdeclarator): Check it. 3656 * tree.c (no_linkage_check): Handle VECTOR_TYPE. 3657 36582014-01-29 Jason Merrill <jason@redhat.com> 3659 3660 PR c++/59707 3661 * call.c (add_builtin_candidate): Catch dependent types. 3662 3663 PR c++/59989 3664 * pt.c (expand_template_argument_pack): Correct 3665 non_default_args_count calculation. 3666 3667 PR c++/58466 3668 * pt.c (unify_pack_expansion): Call expand_template_argument_pack. 3669 3670 PR c++/59956 3671 * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we 3672 have a friend template in a class template. 3673 * pt.c (tsubst_friend_function): Look through it. 3674 (push_template_decl_real): A friend member template is 3675 primary. 3676 36772014-01-29 Paolo Carlini <paolo.carlini@oracle.com> 3678 3679 PR c++/58846 3680 * decl.c (get_dso_handle_node): Don't crash if dso_handle_node 3681 == error_mark_node. 3682 36832014-01-29 Paolo Carlini <paolo.carlini@oracle.com> 3684 3685 PR c++/58674 3686 * pt.c (instantiate_template_1): Check for error_mark_node the second 3687 argument too. 3688 36892014-01-29 Jason Merrill <jason@redhat.com> 3690 3691 PR c++/59916 3692 * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for 3693 cdtor_returns_this case. 3694 3695 PR c++/59315 3696 * decl.c (cxx_maybe_build_cleanup): Call mark_used. 3697 36982014-01-29 Paolo Carlini <paolo.carlini@oracle.com> 3699 3700 PR c++/58702 3701 * semantics.c (finish_omp_reduction_clause): Check type for 3702 error_mark_node. 3703 37042014-01-28 Jason Merrill <jason@redhat.com> 3705 3706 PR c++/59791 3707 * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context. 3708 (tsubst_copy): Use it if lookup fails. 3709 3710 PR c++/59818 3711 * pt.c (tsubst_function_type): Make sure we keep the same function 3712 quals. 3713 3714 PR c++/58701 3715 * semantics.c (build_anon_member_initialization): Stop walking 3716 when we run out of COMPONENT_REFs. 3717 3718 PR c++/58632 3719 * decl.c (lookup_and_check_tag): Ignore template parameters if 3720 scope == ts_current. 3721 * pt.c (check_template_shadow): Don't complain about the injected 3722 class name. 3723 3724 * decl.c (duplicate_decls): Tweak. 3725 3726 PR c++/53756 3727 * mangle.c (write_unqualified_name): Handle operator auto. 3728 37292014-01-27 Jason Merrill <jason@redhat.com> 3730 3731 PR c++/59823 3732 Core DR 1138 3733 * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for 3734 list-initialization. A conversion to rvalue ref that involves 3735 an lvalue-rvalue conversion is bad. 3736 (convert_like_real): Give helpful error message. 3737 3738 PR c++/54652 3739 * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL. 3740 3741 PR c++/58504 3742 * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for 3743 types. 3744 3745 PR c++/58606 3746 * pt.c (template_parm_to_arg): Call convert_from_reference. 3747 (tsubst_template_arg): Don't strip reference refs. 3748 3749 PR c++/58639 3750 * call.c (build_aggr_conv): Reject value-initialization of reference. 3751 3752 PR c++/58812 3753 PR c++/58651 3754 * call.c (convert_like_real): Give helpful error about excess braces 3755 for ck_rvalue of scalar type. 3756 3757 Core DR 1288 3758 * call.c (reference_binding): Only elide braces if the single 3759 element is reference-related. 3760 3761 PR c++/58814 3762 * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before 3763 stabilizing. 3764 3765 PR c++/58837 3766 * typeck.c (cp_truthvalue_conversion): Use explicit comparison for 3767 FUNCTION_DECL. 3768 3769 PR c++/59097 3770 * decl.c (compute_array_index_type): Don't call 3771 maybe_constant_value for a non-integral expression. 3772 37732014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com> 3774 3775 * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with 3776 flag_cilkplus. 3777 * cp-gimplify.c (cp_genericize): Likewise. 3778 * decl.c (grokfndecl): Likewise. 3779 * parser.c (cp_parser_postfix_expression): Likewise. 3780 (cp_parser_postfix_open_square_expression): Likewise. 3781 (cp_parser_direct_declarator): Likewise. 3782 (is_cilkplus_vector_p): Likewise. 3783 (cp_parser_omp_clause_name): Likewise. 3784 (cp_parser_omp_all_clauses): Likewise. 3785 * pt.c (apply_late_template_attributes): Likewise. 3786 * typeck.c (cp_build_array_ref): Likewise. 3787 (cp_build_compound_expr): Likewise. 3788 (check_return_expr): Likewise. 3789 37902014-01-24 Jason Merrill <jason@redhat.com> 3791 3792 PR c++/58550 3793 * decl.c (grokdeclarator): Turn pedwarn about auto return type in 3794 c++11 into error. 3795 3796 PR c++/59886 3797 PR c++/59659 3798 * typeck2.c (process_init_constructor_array): Don't create 3799 RANGE_EXPR yet. 3800 38012014-01-24 Jakub Jelinek <jakub@redhat.com> 3802 3803 * typeck2.c (split_nonconstant_init_1): Fix num_split_elts 3804 handling for RANGE_ARRAY case. 3805 38062014-01-24 Paolo Carlini <paolo.carlini@oracle.com> 3807 3808 PR c++/57524 3809 * name-lookup.c (push_using_directive): Use timevar_cond_start. 3810 38112014-01-23 Marek Polacek <polacek@redhat.com> 3812 3813 PR c/59846 3814 * typeck.c (cp_build_binary_op): Pass location to shorten_compare. 3815 38162014-01-23 Marek Polacek <polacek@redhat.com> 3817 3818 PR c/58346 3819 * typeck.c (pointer_diff): Give an error on arithmetic on pointer to 3820 an empty aggregate. 3821 38222014-01-23 Jason Merrill <jason@redhat.com> 3823 3824 PR c++/55189 3825 * cp-tree.h (struct language_function): Add infinite_loop and 3826 infinite_loops. 3827 (current_function_infinite_loop): New. 3828 * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop) 3829 (break_maybe_infinite_loop): New. 3830 (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt) 3831 (finish_do_stmt, finish_for_cond, finish_for_stmt) 3832 (begin_range_for_stmt): Use them. 3833 * decl.c (finish_function): Don't warn about missing return 3834 if current_function_infinite_loop. 3835 * pt.c (instantiate_decl): Copy current_function_infinite_loop. 3836 * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop. 3837 3838 * call.c (build_op_delete_call): Use make_tree_vector and 3839 release_tree_vector. 3840 38412014-01-23 Paolo Carlini <paolo.carlini@oracle.com> 3842 3843 PR c++/58980 3844 * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as 3845 nested_name_specifier. 3846 38472014-01-23 Balaji V. Iyer <balaji.v.iyer@intel.com> 3848 3849 * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled 3850 see if there is an attribute after function decl. If so, then 3851 parse them now. 3852 (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD 3853 enabled function late parsing. 3854 (cp_parser_gnu_attribute_list): Parse all the tokens for the vector 3855 attribute for a SIMD-enabled function. 3856 (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when 3857 the function is used by SIMD-enabled function (indicated by NULL 3858 pragma token). Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK, 3859 PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH 3860 (cp_parser_cilk_simd_vectorlength): Modified this function to handle 3861 vectorlength clause in SIMD-enabled function and #pragma SIMD's 3862 vectorlength clause. Added a new bool parameter to differentiate 3863 between the two. 3864 (cp_parser_cilk_simd_fn_vector_attrs): New function. 3865 (is_cilkplus_vector_p): Likewise. 3866 (cp_parser_late_parsing_elem_fn_info): Likewise. 3867 (cp_parser_omp_clause_name): Added a check for "mask", "nomask" 3868 and "vectorlength" clauses when Cilk Plus is enabled. 3869 (cp_parser_omp_clause_linear): Added a new parameter of type bool 3870 and emit a sorry message when step size is a parameter. 3871 * parser.h (cp_parser::cilk_simd_fn_info): New field. 3872 * decl.c (grokfndecl): Added flag_enable_cilkplus along with 3873 flag_openmp. 3874 * pt.c (apply_late_template_attributes): Likewise. 3875 38762014-01-23 Jakub Jelinek <jakub@redhat.com> 3877 3878 PR middle-end/58809 3879 * semantics.c (finish_omp_reduction_clause): Reject 3880 BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs. 3881 38822014-01-22 Ville Voutilainen <ville.voutilainen@gmail.com> 3883 3884 PR c++/59482 3885 * parser.c (cp_parser_class_head): Push the class before parsing 3886 the base-clause, pop after it. 3887 38882014-01-20 Eric Botcazou <ebotcazou@adacore.com> 3889 3890 * decl2.c (cpp_check): Revert prototype change. 3891 38922014-01-17 Paolo Carlini <paolo.carlini@oracle.com> 3893 3894 PR c++/59270 3895 PR c++/58811 3896 * init.c (build_value_init_noctor): Don't pass error_mark_node to 3897 build_value_init. 3898 38992014-01-17 Paolo Carlini <paolo.carlini@oracle.com> 3900 3901 PR c++/59269 3902 * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT 3903 only when errorcount == 0. 3904 39052014-01-17 Marek Polacek <polacek@redhat.com> 3906 3907 PR c++/59838 3908 * cvt.c (ocp_convert): Don't segfault on non-existing 3909 ENUM_UNDERLYING_TYPE. 3910 39112014-01-16 Jason Merrill <jason@redhat.com> 3912 3913 PR c++/59821 3914 * tree.c (bot_manip): Update the location of builtin_LINE and 3915 builtin_FILE calls. 3916 39172014-01-14 Jason Merrill <jason@redhat.com> 3918 3919 PR c++/59659 3920 * typeck2.c (massage_init_elt): New. 3921 (process_init_constructor_record) 3922 (process_init_constructor_union): Use it. 3923 (process_init_constructor_array): Use it. Use RANGE_EXPR. 3924 (split_nonconstant_init_1): Handle it. 3925 * semantics.c (cxx_eval_vec_init_1): Use force_rvalue. 3926 39272014-01-09 Balaji V. Iyer <balaji.v.iyer@intel.com> 3928 3929 PR c++/59631 3930 * parser.c (cp_parser_postfix_expression): Added a new if-statement 3931 and replaced an existing if-statement with else-if statement. 3932 Changed an existing error message wording to match the one from the C 3933 parser. 3934 39352014-01-08 Jason Merrill <jason@redhat.com> 3936 3937 PR c++/59614 3938 * class.c (abi_tag_data): Add tags field. 3939 (check_abi_tags): Initialize it. 3940 (find_abi_tags_r): Support collecting missing tags. 3941 (mark_type_abi_tags): Don't look at template args. 3942 (inherit_targ_abi_tags): New. 3943 (check_bases_and_members): Use it. 3944 * cp-tree.h (ABI_TAG_IMPLICIT): New. 3945 * mangle.c (write_abi_tags): Check it. 3946 39472014-01-07 Jason Merrill <jason@redhat.com> 3948 3949 PR c++/58856 3950 * pt.c (num_innermost_template_parms): New. 3951 (get_underlying_template): Use it. 3952 3953 PR c++/58965 3954 * mangle.c (write_guarded_var_name): Handle null DECL_NAME. 3955 39562014-01-07 Paolo Carlini <paolo.carlini@oracle.com> 3957 3958 * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement 3959 the letter of 20.11.6 about Base and Derived naming the same 3960 class type modulo cv-qualifiers. 3961 39622014-01-06 Adam Butcher <adam@jessamine.co.uk> 3963 3964 PR c++/59635 3965 * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion 3966 function as unimplemented for generic lambdas with varargs. 3967 3968 PR c++/59636 3969 * parser.c (cp_parser_template_parameter): Early out with 3970 error_mark_node if parameter declaration was not parsed. 3971 3972 PR c++/59629 3973 * parser.c (cp_parser_lambda_expression): Save/reset/restore 3974 auto_is_implicit_function_template_parm_p around lambda body. 3975 3976 PR c++/59638 3977 * parser.c (cp_parser_init_declarator): Undo fully implicit 3978 template parameter list when declarator is not a function. 3979 39802014-01-03 Marc Glisse <marc.glisse@inria.fr> 3981 3982 PR c++/58950 3983 * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR. 3984 39852014-01-03 Tobias Burnus <burnus@net-b.de> 3986 3987 PR c++/58567 3988 * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node. 3989 39902014-01-03 Paolo Carlini <paolo.carlini@oracle.com> 3991 3992 Core DR 1442 3993 PR c++/59165 3994 * parser.c (cp_parser_perform_range_for_lookup): Don't pass true 3995 as include_std to perform_koenig_lookup. 3996 (cp_parser_postfix_expression): Adjust. 3997 * pt.c (tsubst_copy_and_build): Likewise. 3998 * semantics.c (perform_koenig_lookup): Remove bool parameter. 3999 (omp_reduction_lookup): Adjust. 4000 * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter. 4001 (lookup_arg_dependent): Likewise. 4002 (lookup_function_nonclass): Adjust. 4003 * name-lookup.h: Adjust declaration. 4004 * cp-tree.h: Likewise. 4005 40062014-01-02 Marc Glisse <marc.glisse@inria.fr> 4007 4008 PR c++/59087 4009 * parser.c (cp_parser_userdef_numeric_literal): Mention 4010 -fext-numeric-literals in the message. 4011 40122014-01-02 Marc Glisse <marc.glisse@inria.fr> 4013 4014 PR c++/59641 4015 * call.c (build_conditional_expr_1): Check the return value of 4016 force_rvalue. 4017 40182014-01-02 Marc Glisse <marc.glisse@inria.fr> 4019 4020 * call.c (convert_like_real): Check complain. 4021 40222014-01-02 Marc Glisse <marc.glisse@inria.fr> 4023 4024 PR c++/59378 4025 * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments 4026 in templates. 4027 40282014-01-02 Richard Sandiford <rdsandiford@googlemail.com> 4029 4030 Update copyright years 4031 40322014-01-02 Richard Sandiford <rdsandiford@googlemail.com> 4033 4034 * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use 4035 the standard form for the copyright notice. 4036 4037Copyright (C) 2014 Free Software Foundation, Inc. 4038 4039Copying and distribution of this file, with or without modification, 4040are permitted in any medium without royalty provided the copyright 4041notice and this notice are preserved. 4042