gcc/cp/ChangeLog

   1 2014-06-20  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/61556
   4         * call.c (build_over_call): Call build_this in template path.
   5
   6 2014-06-19  Jason Merrill  <jason@redhat.com>
   7
   8         PR c++/59296
   9         * call.c (add_function_candidate): Also set LOOKUP_NO_TEMP_BIND.
  10
  11 2014-06-18  Jason Merrill  <jason@redhat.com>
  12
  13         PR c++/59296
  14         * call.c (add_function_candidate): Set LOOKUP_NO_RVAL_BIND for
  15         ref-qualifier handling.
  16
  17         PR c++/61507
  18         * pt.c (resolve_overloaded_unification): Preserve
  19         ARGUMENT_PACK_EXPLICIT_ARGS.
  20
  21 2014-06-18  Jakub Jelinek  <jakub@redhat.com>
  22
  23         * cp-gimplify.c (cxx_omp_finish_clause): Add a gimple_seq *
  24         argument.
  25         * cp-tree.h (cxx_omp_finish_clause): Adjust prototype.
  26
  27 2014-06-17  Jason Merrill  <jason@redhat.com>
  28
  29         PR c++/60605
  30         * pt.c (check_default_tmpl_args): Check DECL_LOCAL_FUNCTION_P.
  31
  32 2014-06-15  Jason Merrill  <jason@redhat.com>
  33
  34         PR c++/61488
  35         * pt.c (check_valid_ptrmem_cst_expr): Fix for template context.
  36
  37         PR c++/61500
  38         * tree.c (lvalue_kind): Handle MEMBER_REF and DOTSTAR_EXPR.
  39
  40 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
  41
  42         * decl.c (grokvardecl): Fix pasto in previous patch.
  43
  44 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
  45
  46         * decl.c (duplicate_decls): Use set_decl_tls_model.
  47         (grokdeclarator): Likewise.
  48         * semantics.c (finish_id_expression): Check TLS only for
  49         static variables.
  50         (finish_omp_threadprivate): Use decl_default_tls_model.
  51         * decl2.c (get_guard): Likewise.
  52         * call.c (make_temporary_var_for_ref_to_temp): Likewise.
  53
  54 2014-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
  55
  56         PR c++/33101
  57         * decl.c (grokparms): Improve error message about void parameters.
  58         * error.c (type_to_string): Fix aka cut off code.
  59
  60 2014-06-12  Jason Merrill  <jason@redhat.com>
  61
  62         * call.c (convert_arg_to_ellipsis): Use abi_version_crosses.
  63         * cvt.c (type_promotes_to): Likewise.
  64         * mangle.c (write_type, write_expression): Likewise.
  65         (write_name, write_template_arg): Likewise.
  66         (mangle_decl): Make alias based on flag_abi_compat_version.
  67         Emit -Wabi warning here.
  68         (finish_mangling_internal): Not here.  Drop warn parm.
  69         (finish_mangling_get_identifier, finish_mangling): Adjust.
  70         (mangle_type_string, mangle_special_for_type): Adjust.
  71         (mangle_ctor_vtbl_for_type, mangle_thunk): Adjust.
  72         (mangle_guard_variable, mangle_tls_init_fn): Adjust.
  73         (mangle_tls_wrapper_fn, mangle_ref_init_variable): Adjust.
  74
  75         * call.c (build_operator_new_call): Remove -fabi-version=1 support.
  76         * class.c (walk_subobject_offsets, include_empty_classes): Likewise.
  77         (layout_nonempty_base_or_field, end_of_class): Likewise.
  78         (layout_empty_base, build_base_field, layout_class_type): Likewise.
  79         (is_empty_class, add_vcall_offset_vtbl_entries_1): Likewise.
  80         (layout_virtual_bases): Likewise.
  81         * decl.c (compute_array_index_type): Likewise.
  82         * mangle.c (write_mangled_name, write_prefix): Likewise.
  83         (write_template_prefix, write_integer_cst, write_expression): Likewise.
  84         (write_template_arg, write_array_type): Likewise.
  85         * method.c (lazily_declare_fn): Likewise.
  86         * rtti.c (get_pseudo_ti_index): Likewise.
  87         * typeck.c (comp_array_types): Likewise.
  88
  89 2014-06-11  Jan Hubicka  <hubicka@ucw.cz>
  90
  91         * vtable-class-hierarchy.c: Update handling for section names
  92         that are no longer trees.
  93         * decl.c (duplicate_decls): Likewise.
  94
  95 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
  96
  97         PR c++/19200
  98         * parser.c (cp_parser_init_declarator): Actually pass friend_p
  99         to cp_parser_declarator.
 100
 101 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
 102
 103         PR c++/60265
 104         * parser.c (cp_parser_using_declaration): Handle unscoped enums.
 105         * name-lookup.c (validate_nonmember_using_decl): Adjust error
 106         message.
 107
 108 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
 109
 110         PR c++/19200
 111         * parser.c (cp_parser_declarator): Add bool parameter.
 112         (cp_parser_direct_declarator): Likewise, use it.
 113         (cp_parser_member_declaration): Pass friend_p to cp_parser_declarator.
 114         (cp_parser_condition, cp_parser_explicit_instantiation,
 115         cp_parser_init_declarator, cp_parser_type_id_1,
 116         cp_parser_parameter_declaration, cp_parser_exception_declaration,
 117         cp_parser_cache_defarg, cp_parser_objc_class_ivars,
 118         cp_parser_objc_struct_declaration, cp_parser_omp_for_loop_init):
 119         Adjust.
 120         * decl.c (grokdeclarator): Fix handling of friend declared in
 121         namespace scope (g++.dg/parse/friend10.C).
 122
 123 2014-06-10  Jan Hubicka  <hubicka@ucw.cz>
 124
 125         * vtable-class-hierarchy.c: Use symtab_get_node (var_decl)
 126         ->implicit_section.
 127         * optimize.c (cdtor_comdat_group): Fix handling of aliases.
 128         (maybe_clone_body): Move symbol across comdat groups.
 129         * method.c (use_thunk): Copy implicit section flag.
 130
 131 2014-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
 132
 133         PR c++/22556
 134         * name-lookup.c (pushdecl_maybe_friend_1): Use comptypes.
 135
 136 2014-06-07  Jan Hubicka  <hubicka@ucw.cz>
 137
 138         * method.c (use_thunk): Use set_decl_section_name.
 139         * optimize.c (maybe_clone_body): Use set_decl_section_name.
 140         * decl.c (duplicate_decls): Likewise.
 141         * vtable-class-hierarchy.c: Likewise.
 142
 143 2014-06-06  Paolo Carlini  <paolo.carlini@oracle.com>
 144
 145         PR c++/60184
 146         * class.c (check_field_decls): In C++11 mode do not reject
 147         static data members and reference-type members in unions.
 148
 149 2014-06-05  Jason Merrill  <jason@redhat.com>
 150
 151         PR c++/43453
 152         * decl.c (check_initializer): Collapse a TREE_LIST here.
 153         * typeck2.c (store_init_value): Not here.
 154
 155 2014-06-05  Richard Biener  <rguenther@suse.de>
 156             Paolo Carlini  <paolo.carlini@oracle.com>
 157
 158         PR c++/56961
 159         * cp-gimplify.c (cp_gimplify_expr, [MODIFY_EXPR]): Rework
 160         handling of empty classes.
 161
 162 2014-06-04  Jason Merrill  <jason@redhat.com>
 163
 164         * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful note
 165         for noexcept and thread_local, too.
 166
 167         PR c++/61343
 168         * decl.c (check_initializer): Maybe clear
 169         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
 170
 171 2014-06-05  Richard Biener  <rguenther@suse.de>
 172
 173         PR c++/61004
 174         * typeck.c (cp_build_indirect_ref): Do not emit strict-aliasing
 175         warnings for accessing empty classes.
 176
 177 2014-06-05  Marek Polacek  <polacek@redhat.com>
 178
 179         PR c/49706
 180         * parser.c (cp_parser_binary_expression): Warn when logical not is
 181         used on the left hand side operand of a comparison.
 182
 183 2014-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
 184
 185         PR c++/43453
 186         * typeck.c (cp_build_modify_expr): Handle array of characters
 187         initialized by a string literal.
 188         * decl.c (check_initializer): Handle parenthesized string literal
 189         as initializer.
 190         * typeck2.c (store_init_value): Remove redundant check.
 191
 192 2014-06-04  Jason Merrill  <jason@redhat.com>
 193
 194         PR c++/51253
 195         PR c++/61382
 196         * cp-gimplify.c (cp_gimplify_expr): Handle CALL_EXPR_LIST_INIT_P here.
 197         * semantics.c (simplify_aggr_init_expr): Not here, just copy it.
 198
 199 2014-06-04  Igor Zamyatin  <igor.zamyatin@intel.com>
 200
 201         PR c/58942
 202         * cp-array-notation.c (expand_sec_reduce_builtin): Handle the case
 203         with a pointer.
 204
 205 2014-06-03  Paolo Carlini  <paolo.carlini@oracle.com>
 206
 207         DR 1423
 208         PR c++/52174
 209         * call.c (standard_conversion): Convert nullptr to bool only
 210         in case of direct-initialization.
 211         (convert_like_real): Provide informative error message.
 212
 213 2014-06-03  Marek Polacek  <polacek@redhat.com>
 214
 215         PR c/60439
 216         * semantics.c (finish_switch_cond): Warn if switch condition has
 217         boolean value.
 218
 219 2014-06-03  Jason Merrill  <jason@redhat.com>
 220
 221         PR c++/60992
 222         * pt.c (tsubst_copy) [VAR_DECL]: Try lookup first.  Add a new
 223         variable to local_specializations.
 224
 225         PR c++/60848
 226         * call.c (is_std_init_list): Check CLASSTYPE_TEMPLATE_INFO.
 227
 228 2014-06-02  Jason Merrill  <jason@redhat.com>
 229
 230         PR c++/61046
 231         * decl.c (reshape_init_class): Handle un-folded
 232         constant-expressions.
 233
 234         PR c++/61134
 235         * pt.c (pack_deducible_p): Handle canonicalization.
 236
 237 2014-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
 238
 239         * pt.c (tsubst_function_type): Initialize arg_types.
 240
 241 2014-06-02  Siva Chandra Reddy  <sivachandra@google.com>
 242
 243         PR debug/57519
 244         * class.c (handle_using_decl): Pass the correct scope to
 245         cp_emit_debug_info_for_using.
 246
 247 2014-06-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
 248
 249         PR c++/59483
 250         PR c++/61148
 251         * search.c (accessible_p): Use current_nonlambda_class_type.
 252         * semantics.c (check_accessibility_of_qualified_id): Likewise.
 253
 254 2014-06-02  Andrew MacLeod  <amacleod@redhat.com>
 255
 256         * decl.c: Include builtins.h.
 257         * semantics.c: Likewise.
 258
 259 2014-05-31  Paolo Carlini  <paolo.carlini@oracle.com>
 260
 261         DR 1227
 262         PR c++/57543
 263         * cp-tree.h (TYPE_HAS_LATE_RETURN_TYPE): Add.
 264         * pt.c (tsubst_function_type): Inject the this parameter; do the
 265         substitutions in the order mandated by the DR.
 266         (copy_default_args_to_explicit_spec): Copy TYPE_HAS_LATE_RETURN_TYPE.
 267         * decl.c (grokdeclarator): Maybe set TYPE_HAS_LATE_RETURN_TYPE.
 268         (static_fn_type): Copy it.
 269         * decl2.c (build_memfn_type, change_return_type,
 270         cp_reconstruct_complex_type): Likewise.
 271         * parser.c (cp_parser_lambda_declarator_opt): Likewise.
 272         * tree.c (strip_typedefs): Likewise.
 273         * typeck.c (merge_types): Likewise.
 274
 275 2014-05-30  Jason Merrill  <jason@redhat.com>
 276
 277         PR c++/56947
 278         * pt.c (instantiate_decl): Check that defer_ok is not set for
 279         local class members.
 280
 281         PR c++/60992
 282         * pt.c (tsubst_init): Split out from...
 283         (tsubst_expr) [DECL_EXPR]: Here.
 284         (tsubst_copy) [VAR_DECL]: Use it.
 285         * semantics.c (finish_id_expression): Return the decl for static/const.
 286
 287 2014-05-28  Jason Merrill  <jason@redhat.com>
 288
 289         PR c++/47202
 290         * decl.c (cxx_comdat_group): Return a decl.
 291         * optimize.c (cdtor_comdat_group): Get its DECL_ASSEMBLER_NAME.
 292
 293         * pt.c (tsubst) [ARRAY_TYPE]: Check for array of array of unknown
 294         bound.
 295
 296         PR c++/61242
 297         * call.c (build_aggr_conv): Ignore passed in flags.
 298         (build_array_conv, build_complex_conv): Likewise.
 299
 300 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 301
 302         * optimize.c (maybe_thunk_body): Use set_comdat_group.
 303         (maybe_clone_body): Likewise.
 304         * decl.c (duplicate_decls): Update code duplicating comdat group;
 305         do not copy symtab pointer; before freeing newdecl remove it
 306         from symtab.
 307         * decl2.c (constrain_visibility): Use set_comdat_group.
 308
 309 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 310
 311         * rtti.c: Include tm_p.h
 312         (emit_tinfo_decl): Force RTTI data to be aligned to required
 313         ABI alignment only.
 314
 315 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 316
 317         * class.c (build_vtable): Align vtables to TARGET_VTABLE_ENTRY_ALIGN
 318         ignoring other target adjustments.
 319
 320 2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>
 321
 322         * semantics.c (finish_omp_clauses): Remove duplicated variable
 323         initialization.
 324
 325         * parser.c (cp_parser_omp_target): Return bool values.
 326
 327 2014-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
 328
 329         PR c++/61088
 330         * lambda.c (add_capture): Enforce that capture by value requires
 331         complete type.
 332         * typeck2.c (cxx_incomplete_type_inform): Early return if
 333         TYPE_MAIN_DECL is null.
 334
 335 2014-05-21  Jonathan Wakely  <jwakely@redhat.com>
 336
 337         PR c/61271
 338         * cp-array-notation.c (cilkplus_an_triplet_types_ok_p): Fix condition.
 339
 340 2014-05-21  Ville Voutilainen  <ville.voutilainen@gmail.com>
 341
 342         PR c++/61133
 343         * lambda.c (build_capture_proxy, add_capture): Treat normal
 344         captures and init-captures identically.
 345
 346 2014-05-21  Mark Wielaard  <mjw@redhat.com>
 347
 348         PR debug/16063
 349         * cp-lang.c (cxx_enum_underlying_base_type): New function.
 350         (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define.
 351
 352 2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
 353
 354         * cvt.c (convert_to_void): Use void_node instead of void_zero_node.
 355         * cp-array-notation.c (replace_invariant_exprs): Likewise.
 356         (expand_array_notation): Handle VOID_CST.
 357         * error.c (dump_expr): Likewise.
 358         * cxx-pretty-print.c (cxx_pretty_printer::primary_expression)
 359         (cxx_pretty_printer::expression): Likewise.
 360         (pp_cxx_new_expression): Use void_node instead of void_zero_node.
 361         * decl.c (register_dtor_fn): Likewise.
 362         * init.c (build_raw_new_expr, build_new_1, build_vec_init)
 363         (build_delete, push_base_cleanups): Likewise.
 364         * mangle.c (write_expression): Likewise.
 365         * semantics.c (finish_break_stmt, empty_expr_stmt_p): Likewise.
 366         * pt.c (tsubst_decl, tsubst_copy_and_build): Likewise.
 367         (tsubst, tsubst_copy, build_non_dependent_expr): Handle VOID_CST.
 368         * tree.c (cp_tree_equal): Likewise.
 369         (build_dummy_object, is_dummy_object, stabilize_expr): Use void_node
 370         instead of void_zero_node.
 371         * typeck.c (check_return_expr): Likewise.
 372         * typeck2.c (build_functional_cast): Likewise.
 373
 374 2014-05-21  Igor Zamyatin  <igor.zamyatin@intel.com>
 375
 376         PR c/60189
 377         * parser.c (cp_parser_postfix_expression): Move handling of cilk_sync
 378         from here to...
 379         (cp_parser_statement): ...here. Make sure only semicolon can go after
 380         Cilk_sync.
 381
 382 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 383
 384         PR c++/58753
 385         PR c++/58930
 386         PR c++/58704
 387         * typeck2.c (digest_nsdmi_init): New.
 388         * parser.c (cp_parser_late_parse_one_default_arg): Use it.
 389         * init.c (get_nsdmi): Likewise.
 390         * cp-tree.h (digest_nsdmi_init): Declare.
 391
 392 2014-05-20  Jason Merrill  <jason@redhat.com>
 393
 394         * typeck.c (get_member_function_from_ptrfunc): Don't try to look
 395         up a virtual function in a dummy object.
 396
 397 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 398
 399         PR c++/60373
 400         * decl.c (duplicate_decls): Replace pair of warning_at with
 401         warning_at + inform.
 402         (maybe_commonize_var): Likewise.
 403
 404 2014-05-20  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
 405
 406         PR bootstrap/61210
 407         * pt.c (tsubst_copy, tsubst_omp_for_iterator, tsubst_expr)
 408         (tsubst_copy_and_build): Perform recursive substitutions in a
 409         deterministic order.
 410
 411 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 412
 413         PR c++/58664
 414         * typeck2.c (cxx_incomplete_type_inform): New.
 415         (cxx_incomplete_type_diagnostic): Use it.
 416         * decl.c (grokdeclarator): Check the element type of an
 417         incomplete array type; call the above.
 418         * cp-tree.h (cxx_incomplete_type_inform): Declare.
 419
 420 2014-05-19  Jason Merrill  <jason@redhat.com>
 421
 422         PR c++/58761
 423         * pt.c (tsubst_copy): Don't check at_function_scope_p.
 424         (instantiate_class_template_1): Don't push_to_top_level in an nsdmi.
 425
 426 2014-05-19  Paolo Carlini  <paolo.carlini@oracle.com>
 427
 428         * typeck2.c (cxx_incomplete_type_diagnostic): Use inform.
 429         * parser.c (cp_parser_enum_specifier): Likewise.
 430
 431 2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>
 432
 433         * class.c (sorted_fields_type_new): Adjust.
 434         * cp-cilkplus.c (cilk_install_body_with_frame_cleanup): Likewise.
 435         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
 436         * cp-tree.h: Remove usage of variable_size gty attribute.
 437         * decl.c (make_label_decl): Adjust.
 438         (check_goto): Likewise.
 439         (start_preparsed_function): Likewise.
 440         (save_function_data): Likewise.
 441         * lex.c (init_reswords): Likewise.
 442         (retrofit_lang_decl): Likewise.
 443         (cxx_dup_lang_specific_decl): Likewise.
 444         (copy_lang_type): Likewise.
 445         (cxx_make_type): Likewise.
 446         * name-lookup.c (binding_entry_make): Likewise.
 447         (binding_table_construct): Likewise.
 448         (binding_table_new): Likewise.
 449         (cxx_binding_make): Likewise.
 450         (pushdecl_maybe_friend_1): Likewise.
 451         (begin_scope): Likewise.
 452         (push_to_top_level): Likewise.
 453         * parser.c (cp_lexer_alloc): Likewise.
 454         (cp_lexer_new_from_tokens): Likewise.
 455         (cp_token_cache_new): Likewise.
 456         (cp_parser_context_new): Likewise.
 457         (cp_parser_new): Likewise.
 458         (cp_parser_nested_name_specifier_opt): Likewise.
 459         (cp_parser_template_id): Likewise.
 460         * pt.c (maybe_process_partial_specialization): Likewise.
 461         (register_specialization): Likewise.
 462         (add_pending_template): Likewise.
 463         (lookup_template_class_1): Likewise.
 464         (push_tinst_level): Likewise.
 465         * semantics.c (register_constexpr_fundef): Likewise.
 466         (cxx_eval_call_expression): Likewise.
 467         * typeck2.c (abstract_virtuals_error_sfinae): Likewise.
 468
 469 2014-05-16  Paolo Carlini  <paolo.carlini@oracle.com>
 470
 471         PR c++/51640
 472         * parser.c (cp_parser_diagnose_invalid_type_name): Early return
 473         when cp_parser_lookup_name sets ambiguous_decls.
 474
 475 2014-05-15  Jason Merrill  <jason@redhat.com>
 476
 477         * call.c (print_conversion_rejection): Use loc consistently.
 478
 479 2014-05-14  Paolo Carlini  <paolo.carlini@oracle.com>
 480
 481         * cp-tree.h (DIRECT_LIST_INIT_P): Add.
 482         * call.c (convert_like_real, build_new_method_call_1): Use it.
 483         * decl2.c (grokfield): Likewise.
 484         * init.c (perform_member_init, build_aggr_init, expand_default_init,
 485         build_new_1): Likewise.
 486         * mangle.c (write_expression): Likewise.
 487         * parser.c (cp_parser_late_parse_one_default_arg): Likewise.
 488
 489 2014-05-14  Jason Merrill  <jason@redhat.com>
 490
 491         PR c++/20332
 492         PR c++/21631
 493         * call.c (reference_binding): Treat lvalue/rvalue mismatch and
 494         dropped cv-quals as a bad conversion.
 495         (convert_like_real) [ck_ref_bind]: Explain them.
 496         (compare_ics): Check badness before stripping reference
 497         bindings.  Handle comparing bad reference bindings.
 498         * typeck.c (comp_cv_qualification): Add overload that just takes
 499         integers.
 500         * cp-tree.h: Declare it.
 501
 502         * call.c (struct conversion_info): Rename 'from_type' to 'from'.
 503         (arg_conversion_rejection, bad_arg_conversion_rejection)
 504         (explicit_conversion_rejection, template_conversion_rejection): Adjust.
 505         (add_function_candidate): Pass actual argument, rather than type, to
 506         bad_arg_conversion_rejection.
 507         (print_conversion_rejection): Explain what's wrong with the conversion.
 508         (print_z_candidates): Say "candidate:" before each candidate.
 509         (splice_viable): Be strict if we see a viable or template candidate.
 510         (build_user_type_conversion_1): Pass false to strict parameter.
 511         (perform_overload_resolution, build_conditional_expr_1): Likewise.
 512         (build_new_op_1, build_new_method_call_1): Likewise.
 513         (build_op_call_1): Pass true to strict parameter.
 514
 515 2014-05-13  Jason Merrill  <jason@redhat.com>
 516
 517         * call.c (print_error_for_call_failure): Say "no match" rather
 518         than "ambiguous" if there were no strict matches.
 519         (build_new_method_call_1): Likewise.
 520
 521         PR c++/61151
 522         * semantics.c (is_this_parameter): Allow capture proxies too.
 523
 524 2014-05-12  Jason Merrill  <jason@redhat.com>
 525
 526         * call.c (maybe_print_user_conv_context): New.
 527         (convert_like_real): Use it.  Print call context for bad
 528         user-defined conversion.
 529         (build_over_call): Print call context for bad 'this' conversion.
 530
 531         * call.c (convert_like_real): Use inform for identifying the
 532         declaration point.
 533
 534 2014-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
 535
 536         * cvt.c (cp_convert_to_pointer): Don't call error_at if
 537         complain & tf_error is false.
 538
 539         * decl.c (make_unbound_class_template): Prefer inform for
 540         "declared here"-type message.
 541
 542 2014-05-09  Momchil Velikov  <momchil.velikov@gmail.com>
 543
 544         PR c++/60463
 545         PR c++/60755
 546         * lambda.c (lambda_expr_this_capture): Add new parameter
 547         add_capture_p controlling whether the functions will try to
 548         capture 'this' via the default capture.
 549         (maybe_resolve_dummy): Likewise.
 550         * cp-tree.h: Adjust prototypes.
 551         * call.c, semantics.c: Change callers of these functions.
 552         * call.c (build_new_method_call_1): Use the actual 'this' that
 553         would be potentially captured for the overload resolution, instead
 554         of the dummy object.
 555
 556 2014-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
 557
 558         * pt.c (convert_nontype_argument_function): Add tsubst_flags_t
 559         parameter.
 560         (convert_nontype_argument): Adjust calls.
 561         (coerce_template_parameter_pack): Add missing complain & tf_error
 562         check.
 563
 564 2014-05-09  Jason Merrill  <jason@redhat.com>
 565
 566         DR 587
 567         PR c++/51317
 568         * call.c (build_conditional_expr_1, conditional_conversion): Handle
 569         non-class lvalues and xvalues that differ only in cv-qualifiers.
 570
 571         DR 5
 572         PR c++/60019
 573         * call.c (build_user_type_conversion_1): The copy-init temporary
 574         is cv-unqualified.
 575
 576         PR c++/58714
 577         * tree.c (stabilize_expr): A stabilized prvalue is an xvalue.
 578
 579         PR c++/54348
 580         * call.c (build_conditional_expr_1): If overload resolution finds
 581         no match, just say "different types".
 582
 583         PR c++/32019
 584         * call.c (build_conditional_expr_1): Improve ambiguity diagnostic.
 585
 586         PR c++/22434
 587         * call.c (build_conditional_expr_1): Don't try to pool cv-quals
 588         if we didn't find a conversion.
 589         Don't accept a bad conversion too early.
 590
 591 2014-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
 592
 593         PR c++/13981
 594         * typeck.c (convert_for_assignment): Provide an inform for pointers
 595         to incomplete class types.
 596
 597 2014-05-07  Paolo Carlini  <paolo.carlini@oracle.com>
 598
 599         PR c++/61083
 600         * pt.c (convert_nontype_argument): Protect all the error calls
 601         with complain & tf_error.
 602
 603 2014-05-07  Paolo Carlini  <paolo.carlini@oracle.com>
 604
 605         PR c++/61080
 606         * pt.c (instantiate_decl): Avoid generating the body of a
 607         deleted function.
 608
 609 2014-05-06  Paolo Carlini  <paolo.carlini@oracle.com>
 610
 611         PR c++/60999
 612         * pt.c (maybe_begin_member_template_processing): Use
 613         uses_template_parms.
 614
 615 2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
 616             Mike Stump  <mikestump@comcast.net>
 617             Richard Sandiford  <rdsandiford@googlemail.com>
 618
 619         * call.c: Include wide-int.h.
 620         (type_passed_as): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
 621         (convert_for_arg_passing): Likewise.
 622         * class.c: Include wide-int.h.
 623         (walk_subobject_offsets): Use tree_int_cst_lt instead of INT_CST_LT.
 624         (end_of_class): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
 625         (include_empty_classes): Likewise
 626         (layout_class_type): Use tree_int_cst_lt instead of INT_CST_LT.
 627         * cvt.c: Include wide-int.h.
 628         (ignore_overflows): Use wide_int_to_tree.
 629         * decl.c: Include wide-int.h.
 630         (check_array_designated_initializer): Use wide-int interfaces.
 631         (compute_array_index_type): Use tree_int_cst_lt instead of INT_CST_LT.
 632         (finish_enum_value_list): Use signop.
 633         (build_enumerator): Use wide-int interfaces.
 634         * init.c: Include wide-int.h.
 635         (build_new_1): Use wide-int interfaces.
 636         * mangle.c: Include wide-int.h.
 637         (write_integer_cst): Use wide-int interfaces.
 638         (write_array_type): Likewise.
 639         * tree.c: Include wide-int.h.
 640         (cp_tree_equal): Use tree_int_cst_equal.
 641         * typeck2.c: Include wide-int.h.
 642         (process_init_constructor_array): Use wide-int interfaces.
 643
 644 2014-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
 645
 646         PR c++/58582
 647         * decl.c (grokfndecl): Check duplicate_decls return value for
 648         error_mark_node.
 649         * pt.c (instantiate_decl): A deleted function is defined.
 650
 651 2014-05-02  Jason Merrill  <jason@redhat.com>
 652
 653         * decl2.c (vague_linkage_p): Local statics have vague linkage.
 654
 655         PR c++/60992
 656         * lambda.c (lambda_capture_field_type): Wrap anything dependent
 657         other than 'this'.
 658         (add_capture): Check for VLA before calling it.
 659         * semantics.c (is_this_parameter): Accept any 'this' parameter, not
 660         just the current one.  Make non-static.
 661         * cp-tree.h: Declare it.
 662         * pt.c (tsubst_copy) [VAR_DECL]: Also build a new VAR_DECL if
 663         the operand was static or constant.
 664
 665 2014-05-02  Marek Polacek  <polacek@redhat.com>
 666
 667         * typeck.c (maybe_warn_about_returning_address_of_local): Separate
 668         warning_at calls.
 669
 670 2014-05-01  Marek Polacek  <polacek@redhat.com>
 671
 672         PR c/43395
 673         * typeck.c (maybe_warn_about_returning_address_of_local): Distinguish
 674         between label and variable when warning about returning local address.
 675
 676 2014-04-30  Jason Merrill  <jason@redhat.com>
 677
 678         PR c++/60980
 679         * init.c (build_value_init): Don't try to call an array constructor.
 680
 681         PR c++/60951
 682         * typeck2.c (massage_init_elt): Use maybe_constant_init.
 683
 684 2014-04-30  Marek Polacek  <polacek@redhat.com>
 685
 686         * typeck.c (cp_build_binary_op): Call ubsan_instrument_division
 687         even when SANITIZE_FLOAT_DIVIDE is on.  Set doing_div_or_mod even
 688         for non-integer types.
 689
 690 2014-04-29  Jason Merrill  <jason@redhat.com>
 691
 692         DR 1351
 693         Represent the unevaluated exception specification of an implicitly
 694         declared or deleted function with a simple placeholder, not a list
 695         of functions.
 696         * cp-tree.h (UNEVALUATED_NOEXCEPT_SPEC_P): New.
 697         * except.c (unevaluated_noexcept_spec): New.
 698         * class.c (deduce_noexcept_on_destructor): Use it.
 699         * decl.c (check_redeclaration_exception_specification): Call
 700         maybe_instantiate_noexcept.
 701         (duplicate_decls): Call it before merge_types.
 702         (start_preparsed_function): Call maybe_instantiate_noexcept.
 703         * decl2.c (mark_used): Call maybe_instantiate_noexcept earlier.
 704         * init.c (get_nsdmi): Factor out of perform_member_init.
 705         * method.c (process_subob_fn): Call maybe_instantiate_noexcept.
 706         (walk_field_subobs): Consider NSDMI for EH spec.
 707         (get_defaulted_eh_spec): New.
 708         (implicitly_declare_fn): Use unevaluated_noexcept_spec.
 709         (defaulted_late_check): Defer EH checking in non-template classes.
 710         (after_nsdmi_defaulted_late_checks): New.
 711         * parser.c (cp_parser_class_specifier_1): Use it.
 712         (unparsed_classes): New macro.
 713         * parser.h (cp_unparsed_functions_entry_d): Add classes field.
 714         * pt.c (maybe_instantiate_noexcept): Use get_defaulted_eh_spec.
 715         Remove list-of-functions handling.
 716         * typeck2.c (merge_exception_specifiers): Remove list-of-functions
 717         handling and FN parameter.
 718         * typeck.c (merge_types): Adjust.
 719
 720 2014-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
 721
 722         PR c++/59120
 723         * parser.c (cp_parser_alias_declaration): Check return value of
 724         cp_parser_require.
 725
 726 2014-04-24  Jakub Jelinek  <jakub@redhat.com>
 727
 728         * parser.c (cp_parser_omp_atomic): Allow seq_cst before
 729         atomic-clause, allow comma in between atomic-clause and
 730         seq_cst.
 731
 732 2014-04-24  Marc Glisse  <marc.glisse@inria.fr>
 733
 734         PR libstdc++/43622
 735         * rtti.c (emit_support_tinfos): Do not iterate on
 736         registered_builtin_types (partial revert).
 737
 738 2014-04-23 Dinar Temirbulatov  <dtemirbulatov@gmail.com>
 739
 740         PR c++/57958
 741         * semantics.c (apply_deduced_return_type): Complete non-void type
 742         before estimating whether the type is aggregate.
 743
 744 2014-04-22  Marc Glisse  <marc.glisse@inria.fr>
 745
 746         PR libstdc++/43622
 747         * rtti.c (emit_support_tinfo_1): New function, extracted from
 748         emit_support_tinfos.
 749         (emit_support_tinfos): Call it and iterate on registered_builtin_types.
 750
 751 2014-04-22  Jakub Jelinek  <jakub@redhat.com>
 752
 753         PR c/59073
 754         * parser.c (cp_parser_omp_parallel): If cp_parser_omp_for
 755         fails, don't set OM_PARALLEL_COMBINED and return NULL.
 756
 757 2014-04-18  Jason Merrill  <jason@redhat.com>
 758
 759         DR 1571
 760         * call.c (reference_binding): Recurse on user-defined conversion.
 761
 762         PR c++/60872
 763         * call.c (standard_conversion): Don't try to apply restrict to void.
 764
 765 2014-04-16  Marc Glisse  <marc.glisse@inria.fr>
 766
 767         * decl.c (reshape_init_r): Handle a single element of vector type.
 768
 769 2014-04-16  Patrick Palka  <patrick@parcs.ath.cx>
 770
 771         PR c++/60765
 772         * decl2.c (cplus_decl_attributes): Handle
 773         pointer-to-member-function declarations.
 774
 775 2014-04-16  Patrick Palka  <patrick@parcs.ath.cx>
 776
 777         PR c++/60764
 778         * call.c (build_user_type_coversion): Use build_dummy_object
 779         to create the placeholder object for a constructor method call.
 780         (build_special_member_call): Likewise.
 781         (build_over_call): Check for the placeholder object with
 782         is_dummy_object.
 783         (build_new_method_call_1): Likewise.  Don't attempt to resolve
 784         a dummy object for a constructor method call.
 785
 786 2014-04-16  Paul Pluzhnikov  <ppluzhnikov@google.com>
 787
 788         PR c++/59295
 789         * friend.c (add_friend, make_friend_class): Move repeated friend
 790         warning under Wredundant_decls.
 791
 792 2014-04-15  Paolo Carlini  <paolo.carlini@oracle.com>
 793
 794         * decl.c (duplicate_decls): Remove redundant TYPE_NAME use.
 795         * name-lookup.c (pushdecl_maybe_friend_1): Likewise.
 796         (do_class_using_decl): Likewise.
 797         * mangle.c (dump_substitution_candidates): Use TYPE_NAME_STRING.
 798
 799 2014-04-15  Jakub Jelinek  <jakub@redhat.com>
 800
 801         PR plugins/59335
 802         * Make-lang.h (CP_PLUGIN_HEADERS): Add type-utils.h.
 803
 804 2014-04-14  Paolo Carlini  <paolo.carlini@oracle.com>
 805
 806         * cp-tree.h (TYPE_IDENTIFIER): Remove declaration.
 807
 808 2014-04-14  Paolo Carlini  <paolo.carlini@oracle.com>
 809
 810         * pt.c (mark_template_parm): Use template_parm_level_and_index.
 811
 812 2014-04-11  Jason Merrill  <jason@redhat.com>
 813
 814         * parser.h (struct cp_token): Rename ambiguous_p to error_reported.
 815         * parser.c: Adjust.
 816         (cp_lexer_get_preprocessor_token): Always clear it.
 817         (cp_parser_lambda_expression): Use it to avoid duplicate diagnostics.
 818
 819         DR 1467
 820         PR c++/51747
 821         * decl.c (reshape_init_r): Handle a single element of class type.
 822
 823         DR 1338
 824         * decl.c (cxx_init_decl_processing): Set DECL_IS_MALLOC on
 825         built-in operator new.
 826
 827 2014-04-11  Paolo Carlini  <paolo.carlini@oracle.com>
 828
 829         PR c++/58600
 830         * name-lookup.c (parse_using_directive): Return early if the
 831         attribs argument is error_mark_node; use get_attribute_name.
 832
 833 2014-04-11  Jason Merrill  <jason@redhat.com>
 834
 835         DR 1030
 836         PR c++/51253
 837         * cp-tree.h (CALL_EXPR_LIST_INIT_P): New.
 838         * call.c (struct z_candidate): Add flags field.
 839         (add_candidate): Add flags parm.
 840         (add_function_candidate, add_conv_candidate, build_builtin_candidate)
 841         (add_template_candidate_real): Pass it.
 842         (build_over_call): Set CALL_EXPR_LIST_INIT_P.
 843         * tree.c (build_aggr_init_expr): Copy it.
 844         * semantics.c (simplify_aggr_init_expr): Preevaluate args if it's set.
 845
 846 2014-04-10  Richard Biener  <rguenther@suse.de>
 847             Jakub Jelinek  <jakub@redhat.com>
 848
 849         PR ipa/60761
 850         * error.c (dump_decl) <case FUNCTION_DECL>: If
 851         DECL_LANG_SPECIFIC is NULL, but DECL_ABSTRACT_ORIGIN is not,
 852         recurse on DECL_ABSTRACT_ORIGIN instead of printing
 853         <built-in>.
 854
 855 2014-04-09  Fabien Chêne  <fabien@gcc.gnu.org>
 856
 857         * pt.c (check_template_variable): Check for the return of pedwarn
 858         before emitting a note.
 859         * parser.c (cp_parser_lambda_introducer): Likewise.
 860
 861 2014-04-08  Paolo Carlini  <paolo.carlini@oracle.com>
 862
 863         PR c++/59115
 864         * pt.c (process_template_parm): For an invalid non-type parameter
 865         only set TREE_TYPE to error_mark_node.
 866         (push_inline_template_parms_recursive, comp_template_parms,
 867         redeclare_class_template, coerce_template_template_parm,
 868         coerce_template_template_parms, unify): Use error_operand_p.
 869
 870 2014-04-08  Nathan Sidwell  <nathan@codesourcery.com>
 871
 872         * class.c (check_bases_and_members): Warn about non-virtual dtors
 873         in public bases only.  Check warn_ecpp before complaining about
 874         non-polymorphic bases.
 875
 876 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
 877
 878         * decl.c (duplicate_decls): Check for the return of warning_at
 879         before emitting a note.
 880         (warn_misplaced_attr_for_class_type): Likewise.
 881         (check_tag_decl): Likewise.
 882
 883 2014-04-04  Paolo Carlini  <paolo.carlini@oracle.com>
 884
 885         PR c++/58207
 886         * semantics.c (sort_constexpr_mem_initializers): Robustify loop.
 887
 888 2014-04-04  Patrick Palka  <patrick@parcs.ath.cx>
 889
 890         PR c++/44613
 891         * semantics.c (add_stmt): Set STATEMENT_LIST_HAS_LABEL.
 892         * decl.c (cp_finish_decl): Create a new BIND_EXPR before
 893         instantiating a variable-sized type.
 894
 895         PR c++/21113
 896         * decl.c (decl_jump_unsafe): Consider variably-modified decls.
 897
 898 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
 899
 900         * class.c (find_abi_tags_r): Check for the return of warning
 901         before emitting a note.
 902         (one_inherited_ctor): Likewise.
 903
 904 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
 905
 906         * decl.c (duplicate_decls): Check for the return of permerror
 907         before emitting a note.
 908
 909 2014-04-03  Nathan Sidwell  <nathan@codesourcery.com>
 910
 911         * class.c (accessible_nvdtor_p): New.
 912         (check_bases): Don't check base destructor here ...
 913         (check_bases_and_members): ... check them here.  Trigger on
 914         Wnon-virtual-dtor flag.
 915         (finish_struct_1): Use accessible_nvdtor_p.
 916
 917 2014-04-01  Jason Merrill  <jason@redhat.com>
 918
 919         * pt.c (process_partial_specialization): Say "not deducible"
 920         rather than "not used".  Use inform.
 921
 922         PR c++/60374
 923         * pt.c (coerce_template_parms): Check that the pack expansion
 924         pattern works with the first matching parameter.
 925
 926 2014-04-01  Fabien Chêne  <fabien@gcc.gnu.org>
 927
 928         * init.c (perform_member_init): Homogenize uninitialized
 929         diagnostics.
 930
 931 2014-04-01  Jason Merrill  <jason@redhat.com>
 932
 933         PR c++/60708
 934         * call.c (build_array_conv): Call complete_type.
 935
 936         PR c++/60713
 937         * typeck2.c (PICFLAG_SIDE_EFFECTS): New.
 938         (picflag_from_initializer): Return it.
 939         (process_init_constructor): Handle it.
 940
 941         PR c++/60642
 942         * decl2.c (is_late_template_attribute): Don't defer abi_tag.
 943         * mangle.c (write_unqualified_name): Fix abi_tag on templates.
 944         * pt.c (get_template_info): Handle NAMESPACE_DECL.
 945         (most_general_template): Handle more kinds of template.
 946         * tree.c (handle_abi_tag_attribute): Ignore abi_tag on template
 947         instantiations and specializations.
 948
 949 2014-03-31  Patrick Palka  <patrick@parcs.ath.cx>
 950
 951         PR c++/44859
 952         * typeck.c (maybe_warn_about_returning_address_of_local): Unwrap
 953         COMPONENT_REFs and ARRAY_REFs sooner.
 954
 955 2014-03-29  Adam Butcher  <adam@jessamine.co.uk>
 956
 957         PR c++/60626
 958         * parser.c (cp_parser_init_declarator): Handle erroneous generic type
 959         usage in non-functions with pushed scope.
 960
 961 2014-03-28  Adam Butcher  <adam@jessamine.co.uk>
 962
 963         PR c++/60573
 964         * name-lookup.h (cp_binding_level): New transient field defining_class_p
 965         to indicate whether a scope is in the process of defining a class.
 966         * semantics.c (begin_class_definition): Set defining_class_p.
 967         * name-lookup.c (leave_scope): Reset defining_class_p.
 968         * parser.c (synthesize_implicit_template_parm): Use cp_binding_level::
 969         defining_class_p rather than TYPE_BEING_DEFINED as the predicate for
 970         unwinding to class-defining scope to handle the erroneous definition of
 971         a generic function of an arbitrarily nested class within an enclosing
 972         class.
 973
 974 2014-03-26  Fabien Chêne  <fabien@gcc.gnu.org>
 975
 976         PR c++/52369
 977         * method.c (walk_field_subobs): Improve the diagnostic
 978         locations for both REFERENCE_TYPEs and non-static const members.
 979         * init.c (diagnose_uninitialized_cst_or_ref_member): Use %q#D
 980         instead of %qD to be consistent with the c++11 diagnostic.
 981
 982 2014-03-25  Jason Merrill  <jason@redhat.com>
 983
 984         PR c++/60566
 985         PR c++/58678
 986         * class.c (build_vtbl_initializer): Handle abstract dtors here.
 987         * search.c (get_pure_virtuals): Not here.
 988
 989         PR c++/60375
 990         * parser.c (cp_parser_lambda_expression): Don't parse the body of
 991         a lambda in unevaluated context.
 992
 993         PR c++/60628
 994         * decl.c (create_array_type_for_decl): Complain about array of auto.
 995
 996 2014-03-25  Jakub Jelinek  <jakub@redhat.com>
 997
 998         PR c++/60331
 999         * semantics.c (potential_constant_expression_1): Handle
1000         DECL_EXPR.
1001
1002 2014-03-24  Adam Butcher  <adam@jessamine.co.uk>
1003
1004         PR c++/60627
1005         * parser.c (cp_parser_parameter_declaration_clause): Prevent 'auto' from
1006         introducing an implicit function template parameter within an explicit
1007         instantiation.
1008
1009 2014-03-22  Jason Merrill  <jason@redhat.com>
1010
1011         PR c++/60574
1012         * decl.c (grokdeclarator): Change permerror about 'virtual auto'
1013         to error.
1014
1015 2014-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
1016
1017         PR c++/60384
1018         * name-lookup.c (push_class_level_binding_1): Check identifier_p
1019         on the name argument.
1020
1021 2014-03-20  Jakub Jelinek  <jakub@redhat.com>
1022
1023         PR c++/60572
1024         * init.c (build_zero_init_1): Ignore fields with error_mark_node
1025         type.
1026
1027 2014-03-19  Paolo Carlini  <paolo.carlini@oracle.com>
1028
1029         PR c++/51474
1030         * call.c (build_new_method_call_1): Handle pure virtuals called by
1031         NSDMIs too.
1032
1033 2014-03-17  Adam Butcher  <adam@jessamine.co.uk>
1034
1035         PR c++/60390
1036         * parser.c (cp_parser_member_declaration): Don't allow
1037         finish_fully_implicit_template to consider friend declarations to be
1038         class member templates.
1039         (synthesize_implicit_template_parm): Handling winding back through class
1040         scope to the class being defined in order to inject a template argument
1041         list.
1042
1043         PR c++/60391
1044         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Unwind generic
1045         function scope as per cp_parser_skip_to_end_of_statement.
1046
1047 2014-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
1048
1049         PR c++/59571
1050         * typeck2.c (check_narrowing): Use fold_non_dependent_expr_sfinae.
1051
1052 2014-03-14  Jason Merrill  <jason@redhat.com>
1053
1054         PR c++/60532
1055         PR c++/58678
1056         * search.c (get_pure_virtuals): Handle abstract dtor here.
1057         (dfs_get_pure_virtuals): Not here.
1058
1059         PR c++/58678
1060         * search.c (dfs_get_pure_virtuals): Treat the destructor of an
1061         abstract class as pure.
1062
1063 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
1064
1065         PR c++/60383
1066         * pt.c (maybe_process_partial_specialization): Check return value
1067         of check_specialization_namespace.
1068
1069 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
1070
1071         PR c++/60254
1072         * semantics.c (finish_static_assert): Call cxx_constant_value only
1073         if require_potential_rvalue_constant_expression returns true.
1074
1075 2014-03-11  Paolo Carlini  <paolo.carlini@oracle.com>
1076
1077         PR c++/60389
1078         * method.c (get_inherited_ctor): New.
1079         * cp-tree.h (get_inherited_ctor): Declare it.
1080         * semantics.c (is_valid_constexpr_fn): Use it.
1081
1082 2014-03-10  Jason Merrill  <jason@redhat.com>
1083
1084         PR c++/60367
1085         * call.c (convert_default_arg): Remove special handling for
1086         CONSTRUCTOR.
1087
1088         PR c++/53492
1089         * parser.c (cp_parser_class_head): Also check PRIMARY_TEMPLATE_P
1090         when deciding whether to call push_template_decl for a member class.
1091         * pt.c (push_template_decl_real): Return after wrong levels error.
1092
1093 2014-03-08  Adam Butcher  <adam@jessamine.co.uk>
1094
1095         PR c++/60033
1096         * pt.c (tsubst_copy): When retrieving a capture pack from a generic
1097         lambda, remove the lambda's own template argument list prior to fetching
1098         the specialization.
1099
1100         PR c++/60393
1101         * parser.c (cp_parser_parameter_declaration_clause): Move generic
1102         function template unwinding on error into a more general location, ...
1103         (cp_parser_skip_to_end_of_statement): ... here.
1104
1105 2014-03-07  Jason Merrill  <jason@redhat.com>
1106
1107         * Make-lang.in (check_g++_parallelize): Split dg.exp.
1108
1109         * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
1110         we're in a trailing return type.
1111
1112         * typeck.c (comp_template_parms_position): 'auto' and
1113         'decltype(auto)' are different from real template parms.
1114
1115         * parser.c (cp_parser_using_declaration): Consume the semicolon
1116         after bare parameter pack error.
1117
1118         * cp-tree.h (REF_PARENTHESIZED_P): New.
1119         * semantics.c (force_paren_expr): Set it.
1120         * pt.c (do_auto_deduction): Check it.
1121         (tsubst) [COMPONENT_REF]: Copy it.
1122         * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference.
1123
1124         * decl.c (create_array_type_for_decl): Only warn about invalid
1125         C++1y VLA if flag_iso or warn_vla>0.
1126         (grokdeclarator): Likewise.
1127         * pt.c (tsubst): Likewise.
1128         * semantics.c (finish_decltype_type): Likewise.
1129         * typeck.c (cxx_sizeof_or_alignof_type): Likewise.
1130         (cp_build_addr_expr_1): Likewise.
1131         * init.c (build_new_1): Improve diagnostics.
1132
1133 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
1134
1135         PR c++/58609
1136         * decl.c (check_initializer): Return NULL_TREE after error;
1137         consistently use inform.
1138
1139 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
1140
1141         * decl.c (check_initializer): Remove dead code.
1142
1143 2014-03-06  Marek Polacek  <polacek@redhat.com>
1144
1145         PR c/60197
1146         * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead
1147         of checking tree code.
1148
1149 2014-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
1150
1151         * parser.c (cp_lexer_set_source_position): New.
1152         (cp_parser_mem_initializer): Use it.
1153         (cp_parser_postfix_open_square_expression): Likewise.
1154         (cp_parser_parenthesized_expression_list): Likewise.
1155         (cp_parser_new_initializer): Likewise.
1156         (cp_parser_jump_statement): Likewise.
1157         (cp_parser_initializer): Likewise.
1158         (cp_parser_functional_cast): Likewise.
1159
1160 2014-03-05  Jason Merrill  <jason@redhat.com>
1161
1162         PR c++/60409
1163         * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a
1164         dependent expression.
1165
1166         PR c++/60361
1167         * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID
1168         if re-parsing might succeed.
1169         * semantics.c (finish_id_expression): Use of a parameter outside
1170         the function body is a parse error.
1171
1172         * parser.c (cp_parser_mem_initializer): Set input_location
1173         properly for init-list warning.
1174         (cp_parser_postfix_open_square_expression): Likewise.
1175         (cp_parser_parenthesized_expression_list): Likewise.
1176         (cp_parser_new_initializer): Likewise.
1177         (cp_parser_jump_statement): Likewise.
1178         (cp_parser_initializer): Likewise.
1179         (cp_parser_functional_cast): Likewise.
1180
1181 2014-03-04  Jason Merrill  <jason@redhat.com>
1182
1183         PR c++/60417
1184         * typeck2.c (process_init_constructor_record): Set
1185         CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers.
1186
1187         PR c++/60415
1188         PR c++/54359
1189         * parser.c (cp_parser_direct_declarator): Set declarator to
1190         cp_error_declarator on invalid qualified-id.
1191
1192 2014-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
1193
1194         PR c++/60376
1195         * parser.c (cp_parser_using_declaration): Early return when
1196         cp_parser_nested_name_specifier errors out.
1197
1198 2014-03-01  Adam Butcher  <adam@jessamine.co.uk>
1199
1200         PR c++/60377
1201         * parser.c (cp_parser_parameter_declaration_clause): Unwind generic
1202         function scope on parse error in function parameter list.
1203
1204 2014-03-01  Paolo Carlini  <paolo.carlini@oracle.com>
1205
1206         * method.c (implicitly_declare_fn): Remove redundant
1207         DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses.
1208         * semantics.c (is_instantiation_of_constexpr): Likewise.
1209         * error.c (dump_function_decl): Likewise.
1210
1211 2014-03-01  Jason Merrill  <jason@redhat.com>
1212
1213         PR c++/60379
1214         * semantics.c (begin_maybe_infinite_loop): Use
1215         fold_non_dependent_expr_sfinae.
1216
1217 2014-02-28  Jason Merrill  <jason@redhat.com>
1218
1219         PR c++/58845
1220         * typeck.c (cp_build_binary_op): Sorry on vector&&vector.
1221
1222 2014-02-28  Paolo Carlini  <paolo.carlini@oracle.com>
1223
1224         PR c++/58610
1225         * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK.
1226         * call.c (print_z_candidate): Remove STRIP_TEMPLATE use.
1227         * lambda.c (maybe_add_lambda_conv_op): Likewise.
1228
1229 2014-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
1230
1231         PR c++/60253
1232         * call.c (convert_arg_to_ellipsis): Return error_mark_node after
1233         error_at.
1234
1235 2014-02-27  Jason Merrill  <jason@redhat.com>
1236
1237         PR c++/60353
1238         PR c++/55877
1239         * decl2.c (tentative_decl_linkage): Don't mess with functions that
1240         are not yet defined.
1241
1242 2014-02-26  Jason Merrill  <jason@redhat.com>
1243
1244         PR c++/60347
1245         PR lto/53808
1246         * class.c (clone_function_decl): Don't note_vague_linkage_fn.
1247         * init.c (build_vtbl_address): Do it here.
1248
1249         PR c++/59231
1250         PR c++/11586
1251         PR c++/14710
1252         PR c++/57132
1253         * pt.c (struct warning_sentinel): New.
1254         (tsubst_copy_and_build): Use it instead of
1255         c_inhibit_evaluation_warnings.
1256         * typeck.c (maybe_warn_about_useless_cast): Remove
1257         c_inhibit_evaluation_warnings check.
1258
1259         PR c++/54440
1260         * pt.c (get_template_parm_index): New.
1261         (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New.
1262         (process_template_parm): Allow bare packs in template template
1263         parm template parms.
1264         (coerce_template_parameter_pack): Handle fixed template template
1265         parm packs and fixed packs not at the end of the parm list.
1266         (coerce_template_parms): Handle template parm packs not at the end
1267         of the parm list.
1268         (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion.
1269
1270         PR c++/60182
1271         * pt.c (unify): Ignore alias templates when deducing a template
1272         template parameter.
1273
1274         PR c++/60345
1275         Revert:
1276         DR 1571
1277         * call.c (reference_binding): Recurse on user-defined conversion.
1278         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1279
1280 2014-02-25  Jason Merrill  <jason@redhat.com>
1281
1282         DR 1571
1283         * call.c (reference_binding): Recurse on user-defined conversion.
1284         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1285
1286         * call.c (print_conversion_rejection): Handle n_arg of -2.
1287         (build_user_type_conversion_1): Pass it.
1288
1289         PR c++/55877
1290         * decl2.c (no_linkage_error): Handle C++98 semantics.
1291         (reset_type_linkage): Move from decl.c.
1292         (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1)
1293         (bt_reset_linkage_2, reset_decl_linkage): New.
1294         (tentative_decl_linkage): Factor out of expand_or_defer_fn_1.
1295         (cp_write_global_declarations): Move condition into no_linkage_error.
1296         * decl.c (grokfndecl, grokvardecl): Use no_linkage_error.
1297         * semantics.c (expand_or_defer_fn_1): Factor out
1298         tentative_decl_linkage.
1299         * cp-tree.h: Adjust.
1300
1301         * decl2.c (finish_static_data_member_decl): Diagnose static data
1302         member in unnamed class.
1303         * class.c (finish_struct_anon_r): Avoid redundant diagnostic.
1304
1305         PR lto/53808
1306         * class.c (clone_function_decl): Call note_vague_linkage_fn for
1307         defaulted virtual dtor.
1308
1309         DR 1286
1310         PR c++/60328
1311         * pt.c (get_underlying_template): Fix equivalence calculation.
1312
1313 2014-02-25  Adam Butcher  <adam@jessamine.co.uk>
1314
1315         PR c++/60311
1316         * parser.c (function_being_declared_is_template_p): Return false when
1317         processing a template parameter list.
1318         (cp_parser_parameter_declaration_clause): Don't set
1319         auto_is_implicit_function_template_parm_p when processing a
1320         template parameter list.
1321
1322         * parser.c (synthesize_implicit_template_parm): Inject new template
1323         argument list appropriately when a generic member function
1324         of a class template is declared out-of-line.
1325
1326         PR c++/60065
1327         * parser.c (cp_parser_direct_declarator): Don't save and
1328         restore num_template_parameter_lists around call to
1329         cp_parser_parameter_declaration_list.
1330         (function_being_declared_is_template_p): New predicate.
1331         (cp_parser_parameter_declaration_list): Use
1332         function_being_declared_is_template_p as predicate for
1333         inspecting current function template parameter list length
1334         rather than num_template_parameter_lists.
1335
1336 2014-02-24  Jason Merrill  <jason@redhat.com>
1337
1338         PR c++/60146
1339         * pt.c (tsubst_omp_for_iterator): Don't let substitution of the
1340         DECL_EXPR initialize a non-class iterator.
1341
1342         PR c++/60312
1343         * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'.
1344
1345 2014-02-21  Jason Merrill  <jason@redhat.com>
1346
1347         PR c++/58170
1348         * parser.c (cp_parser_type_name): Always check dependency.
1349         (cp_parser_type_specifier_seq): Call
1350         cp_parser_parse_and_diagnose_invalid_type_name.
1351
1352         PR c++/60108
1353         * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN.
1354
1355         PR c++/60185
1356         * parser.c (cp_parser_default_argument): Clear
1357         current_class_ptr/current_class_ref like tsubst_default_argument.
1358
1359         PR c++/60252
1360         * lambda.c (maybe_resolve_dummy): Check lambda_function rather
1361         than current_binding_level.
1362
1363         PR c++/60186
1364         * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae.
1365
1366         PR c++/60187
1367         * parser.c (cp_parser_enum_specifier): Call
1368         check_for_bare_parameter_packs.
1369
1370         PR c++/59347
1371         * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an
1372         erroneous typedef.
1373
1374         PR c++/60241
1375         * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS
1376         of the partial instantiation, not the most general template.
1377         (maybe_process_partial_specialization): Reassign everything on
1378         that list.
1379
1380         PR c++/60216
1381         * pt.c (register_specialization): Copy DECL_DELETED_FN to clones.
1382         (check_explicit_specialization): Don't clone.
1383
1384         PR c++/60219
1385         * pt.c (coerce_template_parms): Bail if argument packing fails.
1386
1387         PR c++/60224
1388         * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init):
1389         Don't get confused by a CONSTRUCTOR that already has a type.
1390
1391         PR c++/60227
1392         * call.c (build_array_conv): Don't crash on VLA.
1393
1394         PR c++/60248
1395         * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
1396
1397         PR c++/60252
1398         * lambda.c (maybe_resolve_dummy): Don't try to capture this
1399         in declaration context.
1400
1401         DR 1591
1402         PR c++/60051
1403         * pt.c (unify): Only unify if deducible.  Handle 0-length list.
1404
1405         PR c++/60250
1406         * parser.c (cp_parser_direct_declarator): Don't wrap a
1407         type-dependent expression in a NOP_EXPR.
1408
1409         PR c++/60251
1410         * lambda.c (is_normal_capture_proxy): Handle VLA capture.
1411
1412         PR c++/60167
1413         PR c++/60222
1414         PR c++/58606
1415         * parser.c (cp_parser_template_argument): Restore dereference.
1416         * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
1417         (process_partial_specialization): Handle deref.
1418         (unify): Likewise.
1419
1420 2014-02-21  Adam Butcher  <adam@jessamine.co.uk>
1421
1422         PR c++/60052
1423         PR c++/60053
1424         * parser.c (cp_parser_parameter_declaration_list): Correctly reset
1425         implicit_template_scope upon leaving an out-of-line generic member
1426         function definition.
1427
1428 2014-02-20  Kai Tietz  <ktietz@redhat.com>
1429
1430         PR c++/58873
1431         * parser.c (cp_parser_functional_cast): Treat NULL_TREE
1432         valued type argument as error_mark_node.
1433
1434         PR c++/58835
1435         * semantics.c (finish_fname): Handle error_mark_node.
1436
1437 2014-02-19  Jason Merrill  <jason@redhat.com>
1438
1439         PR c++/60046
1440         * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
1441         spec from template context.
1442
1443 2014-02-19  Jakub Jelinek  <jakub@redhat.com>
1444
1445         PR debug/56563
1446         * cp-objcp-common.c (cp_function_decl_explicit_p): Remove
1447         FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
1448
1449         PR c++/60267
1450         * pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
1451
1452 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1453
1454         PR c++/60225
1455         * semantics.c (ensure_literal_type_for_constexpr_object): Use
1456         strip_array_types.
1457
1458 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1459
1460         PR c++/60215
1461         * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
1462         During error recovery allow_non_constant may be false.
1463
1464 2014-02-18  Adam Butcher  <adam@jessamine.co.uk>
1465
1466         PR c++/60190
1467         * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
1468         scope whenever a template parameter list has been started, independent
1469         of whether the function call operator was well-formed or not.
1470
1471         PR c++/60064
1472         * parser.c (cp_parser_member_declaration): Pop fully implicit template
1473         scope for generic friend declarations as well as for non-friends.
1474
1475 2014-02-12  Paolo Carlini  <paolo.carlini@oracle.com>
1476
1477         PR c++/60047
1478         * method.c (implicitly_declare_fn): A constructor of a class with
1479         virtual base classes isn't constexpr (7.1.5p4).
1480
1481 2014-02-05  Jan Hubicka  <hubicka@ucw.cz
1482
1483         * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
1484
1485 2014-02-05  Jakub Jelinek  <jakub@redhat.com>
1486
1487         PR c++/58703
1488         * parser.c (cp_parser_omp_declare_reduction): Save and free
1489         declarator_obstack.
1490
1491 2014-02-03  Marc Glisse  <marc.glisse@inria.fr>
1492
1493         PR c++/53017
1494         PR c++/59211
1495         * tree.c (handle_init_priority_attribute): Call default_conversion on
1496         the attribute argument.
1497
1498 2014-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
1499
1500         PR c++/58871
1501         * method.c (synthesized_method_walk): If vbases is non-null but
1502         is_empty is true, likewise don't worry about the virtual bases.
1503
1504 2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1505
1506         PR c++/51219
1507         * typeck2.c (process_init_constructor_record): Just skip unnamed
1508         bit-fields.
1509
1510 2014-01-31  Jason Merrill  <jason@redhat.com>
1511
1512         PR c++/59469
1513         * pt.c (mark_decl_instantiated): Call mark_needed.
1514
1515         PR c++/58672
1516         * decl2.c (handle_tls_init): Handle null init fn.
1517
1518         PR c++/55800
1519         * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable.
1520
1521 2014-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
1522
1523         PR c++/59082
1524         * class.c (build_vfield_ref): Early return error_mark_node if
1525         TYPE_VFIELD (type) is null.
1526         (build_base_path): Check return value of build_vfield_ref.
1527
1528 2014-01-31  Jason Merrill  <jason@redhat.com>
1529
1530         PR c++/59646
1531         * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
1532         [ck_list]: Check for error_mark_node.
1533         (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
1534
1535         PR c++/57043
1536         * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
1537         during partial ordering.
1538
1539 2014-01-31  Marek Polacek  <polacek@redhat.com>
1540
1541         PR c/59963
1542         * typeck.c (build_function_call_vec): Add dummy arg_loc parameter.
1543
1544 2014-01-30  Jason Merrill  <jason@redhat.com>
1545
1546         PR c++/57899
1547         * cp-tree.h (struct saved_scope): Add x_local_specializations.
1548         (local_specializations): New macro.
1549         * pt.c (local_specializations): Remove variable.
1550
1551 2014-01-30  Richard Sandiford  <rdsandiford@googlemail.com>
1552
1553         PR c++/58708
1554         * parser.c (make_string_pack): Use double_int::from_buffer.
1555
1556 2014-01-30  Marek Polacek  <polacek@redhat.com>
1557
1558         PR c/59940
1559         * typeck.c (build_ptrmemfunc1): Call convert_and_check with
1560         input_location.
1561         * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check
1562         with input_location.
1563         * call.c (build_conditional_expr_1): Call unsafe_conversion_p with
1564         loc parameter.
1565
1566 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1567
1568         PR c++/58843
1569         * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
1570
1571 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1572
1573         PR c++/58649
1574         * pt.c (lookup_template_class_1): Check start_enum return value
1575         for error_mark_node.
1576
1577 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1578
1579         * decl.c (duplicate_decls, typename_hash, typename_compare):
1580         Use TYPE_IDENTIFIER.
1581         * error.c (dump_type): Likewise.
1582         * mangle.c (dump_substitution_candidates): Likewise.
1583
1584 2014-01-30  Jason Merrill  <jason@redhat.com>
1585
1586         PR c++/59633
1587         * decl2.c (attributes_naming_typedef_ok): New.
1588         * cp-tree.h: Declare it.
1589         * decl.c (grokdeclarator): Check it.
1590         * tree.c (no_linkage_check): Handle VECTOR_TYPE.
1591
1592 2014-01-29  Jason Merrill  <jason@redhat.com>
1593
1594         PR c++/59707
1595         * call.c (add_builtin_candidate): Catch dependent types.
1596
1597         PR c++/59989
1598         * pt.c (expand_template_argument_pack): Correct
1599         non_default_args_count calculation.
1600
1601         PR c++/58466
1602         * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
1603
1604         PR c++/59956
1605         * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
1606         have a friend template in a class template.
1607         * pt.c (tsubst_friend_function): Look through it.
1608         (push_template_decl_real): A friend member template is
1609         primary.
1610
1611 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1612
1613         PR c++/58846
1614         * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
1615         == error_mark_node.
1616
1617 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1618
1619         PR c++/58674
1620         * pt.c (instantiate_template_1): Check for error_mark_node the second
1621         argument too.
1622
1623 2014-01-29  Jason Merrill  <jason@redhat.com>
1624
1625         PR c++/59916
1626         * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
1627         cdtor_returns_this case.
1628
1629         PR c++/59315
1630         * decl.c (cxx_maybe_build_cleanup): Call mark_used.
1631
1632 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1633
1634         PR c++/58702
1635         * semantics.c (finish_omp_reduction_clause): Check type for
1636         error_mark_node.
1637
1638 2014-01-28  Jason Merrill  <jason@redhat.com>
1639
1640         PR c++/59791
1641         * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
1642         (tsubst_copy): Use it if lookup fails.
1643
1644         PR c++/59818
1645         * pt.c (tsubst_function_type): Make sure we keep the same function
1646         quals.
1647
1648         PR c++/58701
1649         * semantics.c (build_anon_member_initialization): Stop walking
1650         when we run out of COMPONENT_REFs.
1651
1652         PR c++/58632
1653         * decl.c (lookup_and_check_tag): Ignore template parameters if
1654         scope == ts_current.
1655         * pt.c (check_template_shadow): Don't complain about the injected
1656         class name.
1657
1658         * decl.c (duplicate_decls): Tweak.
1659
1660         PR c++/53756
1661         * mangle.c (write_unqualified_name): Handle operator auto.
1662
1663 2014-01-27  Jason Merrill  <jason@redhat.com>
1664
1665         PR c++/59823
1666         Core DR 1138
1667         * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
1668         list-initialization.  A conversion to rvalue ref that involves
1669         an lvalue-rvalue conversion is bad.
1670         (convert_like_real): Give helpful error message.
1671
1672         PR c++/54652
1673         * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
1674
1675         PR c++/58504
1676         * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
1677         types.
1678
1679         PR c++/58606
1680         * pt.c (template_parm_to_arg): Call convert_from_reference.
1681         (tsubst_template_arg): Don't strip reference refs.
1682
1683         PR c++/58639
1684         * call.c (build_aggr_conv): Reject value-initialization of reference.
1685
1686         PR c++/58812
1687         PR c++/58651
1688         * call.c (convert_like_real): Give helpful error about excess braces
1689         for ck_rvalue of scalar type.
1690
1691         Core DR 1288
1692         * call.c (reference_binding): Only elide braces if the single
1693         element is reference-related.
1694
1695         PR c++/58814
1696         * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
1697         stabilizing.
1698
1699         PR c++/58837
1700         * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
1701         FUNCTION_DECL.
1702
1703         PR c++/59097
1704         * decl.c (compute_array_index_type): Don't call
1705         maybe_constant_value for a non-integral expression.
1706
1707 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1708
1709         * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
1710         flag_cilkplus.
1711         * cp-gimplify.c (cp_genericize): Likewise.
1712         * decl.c (grokfndecl): Likewise.
1713         * parser.c (cp_parser_postfix_expression): Likewise.
1714         (cp_parser_postfix_open_square_expression): Likewise.
1715         (cp_parser_direct_declarator): Likewise.
1716         (is_cilkplus_vector_p): Likewise.
1717         (cp_parser_omp_clause_name): Likewise.
1718         (cp_parser_omp_all_clauses): Likewise.
1719         * pt.c (apply_late_template_attributes): Likewise.
1720         * typeck.c (cp_build_array_ref): Likewise.
1721         (cp_build_compound_expr): Likewise.
1722         (check_return_expr): Likewise.
1723
1724 2014-01-24  Jason Merrill  <jason@redhat.com>
1725
1726         PR c++/58550
1727         * decl.c (grokdeclarator): Turn pedwarn about auto return type in
1728         c++11 into error.
1729
1730         PR c++/59886
1731         PR c++/59659
1732         * typeck2.c (process_init_constructor_array): Don't create
1733         RANGE_EXPR yet.
1734
1735 2014-01-24  Jakub Jelinek  <jakub@redhat.com>
1736
1737         * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
1738         handling for RANGE_ARRAY case.
1739
1740 2014-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
1741
1742         PR c++/57524
1743         * name-lookup.c (push_using_directive): Use timevar_cond_start.
1744
1745 2014-01-23  Marek Polacek  <polacek@redhat.com>
1746
1747         PR c/59846
1748         * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
1749
1750 2014-01-23  Marek Polacek  <polacek@redhat.com>
1751
1752         PR c/58346
1753         * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
1754         an empty aggregate.
1755
1756 2014-01-23  Jason Merrill  <jason@redhat.com>
1757
1758         PR c++/55189
1759         * cp-tree.h (struct language_function): Add infinite_loop and
1760         infinite_loops.
1761         (current_function_infinite_loop): New.
1762         * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
1763         (break_maybe_infinite_loop): New.
1764         (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
1765         (finish_do_stmt, finish_for_cond, finish_for_stmt)
1766         (begin_range_for_stmt): Use them.
1767         * decl.c (finish_function): Don't warn about missing return
1768         if current_function_infinite_loop.
1769         * pt.c (instantiate_decl): Copy current_function_infinite_loop.
1770         * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
1771
1772         * call.c (build_op_delete_call): Use make_tree_vector and
1773         release_tree_vector.
1774
1775 2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1776
1777         PR c++/58980
1778         * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
1779         nested_name_specifier.
1780
1781 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1782
1783         * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
1784         see if there is an attribute after function decl.  If so, then
1785         parse them now.
1786         (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
1787         enabled function late parsing.
1788         (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
1789         attribute for a SIMD-enabled function.
1790         (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
1791         the function is used by SIMD-enabled function (indicated by NULL
1792         pragma token).   Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
1793         PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
1794         (cp_parser_cilk_simd_vectorlength): Modified this function to handle
1795         vectorlength clause in SIMD-enabled function and #pragma SIMD's
1796         vectorlength clause.  Added a new bool parameter to differentiate
1797         between the two.
1798         (cp_parser_cilk_simd_fn_vector_attrs): New function.
1799         (is_cilkplus_vector_p): Likewise.
1800         (cp_parser_late_parsing_elem_fn_info): Likewise.
1801         (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
1802         and "vectorlength" clauses when Cilk Plus is enabled.
1803         (cp_parser_omp_clause_linear): Added a new parameter of type bool
1804         and emit a sorry message when step size is a parameter.
1805         * parser.h (cp_parser::cilk_simd_fn_info): New field.
1806         * decl.c (grokfndecl): Added flag_enable_cilkplus along with
1807         flag_openmp.
1808         * pt.c (apply_late_template_attributes): Likewise.
1809
1810 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
1811
1812         PR middle-end/58809
1813         * semantics.c (finish_omp_reduction_clause): Reject
1814         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
1815
1816 2014-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
1817
1818         PR c++/59482
1819         * parser.c (cp_parser_class_head): Push the class before parsing
1820         the base-clause, pop after it.
1821
1822 2014-01-20  Eric Botcazou  <ebotcazou@adacore.com>
1823
1824         * decl2.c (cpp_check): Revert prototype change.
1825
1826 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1827
1828         PR c++/59270
1829         PR c++/58811
1830         * init.c (build_value_init_noctor): Don't pass error_mark_node to
1831         build_value_init.
1832
1833 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1834
1835         PR c++/59269
1836         * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
1837         only when errorcount == 0.
1838
1839 2014-01-17  Marek Polacek  <polacek@redhat.com>
1840
1841         PR c++/59838
1842         * cvt.c (ocp_convert): Don't segfault on non-existing
1843         ENUM_UNDERLYING_TYPE.
1844
1845 2014-01-16  Jason Merrill  <jason@redhat.com>
1846
1847         PR c++/59821
1848         * tree.c (bot_manip): Update the location of builtin_LINE and
1849         builtin_FILE calls.
1850
1851 2014-01-14  Jason Merrill  <jason@redhat.com>
1852
1853         PR c++/59659
1854         * typeck2.c (massage_init_elt): New.
1855         (process_init_constructor_record)
1856         (process_init_constructor_union): Use it.
1857         (process_init_constructor_array): Use it.  Use RANGE_EXPR.
1858         (split_nonconstant_init_1): Handle it.
1859         * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
1860
1861 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1862
1863         PR c++/59631
1864         * parser.c (cp_parser_postfix_expression): Added a new if-statement
1865         and replaced an existing if-statement with else-if statement.
1866         Changed an existing error message wording to match the one from the C
1867         parser.
1868
1869 2014-01-08  Jason Merrill  <jason@redhat.com>
1870
1871         PR c++/59614
1872         * class.c (abi_tag_data): Add tags field.
1873         (check_abi_tags): Initialize it.
1874         (find_abi_tags_r): Support collecting missing tags.
1875         (mark_type_abi_tags): Don't look at template args.
1876         (inherit_targ_abi_tags): New.
1877         (check_bases_and_members): Use it.
1878         * cp-tree.h (ABI_TAG_IMPLICIT): New.
1879         * mangle.c (write_abi_tags): Check it.
1880
1881 2014-01-07  Jason Merrill  <jason@redhat.com>
1882
1883         PR c++/58856
1884         * pt.c (num_innermost_template_parms): New.
1885         (get_underlying_template): Use it.
1886
1887         PR c++/58965
1888         * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
1889
1890 2014-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
1891
1892         * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
1893         the letter of 20.11.6 about Base and Derived naming the same
1894         class type modulo cv-qualifiers.
1895
1896 2014-01-06  Adam Butcher  <adam@jessamine.co.uk>
1897
1898         PR c++/59635
1899         * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
1900         function as unimplemented for generic lambdas with varargs.
1901
1902         PR c++/59636
1903         * parser.c (cp_parser_template_parameter): Early out with
1904         error_mark_node if parameter declaration was not parsed.
1905
1906         PR c++/59629
1907         * parser.c (cp_parser_lambda_expression): Save/reset/restore
1908         auto_is_implicit_function_template_parm_p around lambda body.
1909
1910         PR c++/59638
1911         * parser.c (cp_parser_init_declarator): Undo fully implicit
1912         template parameter list when declarator is not a function.
1913
1914 2014-01-03  Marc Glisse  <marc.glisse@inria.fr>
1915
1916         PR c++/58950
1917         * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
1918
1919 2014-01-03  Tobias Burnus  <burnus@net-b.de>
1920
1921         PR c++/58567
1922         * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
1923
1924 2014-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1925
1926         Core DR 1442
1927         PR c++/59165
1928         * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
1929         as include_std to perform_koenig_lookup.
1930         (cp_parser_postfix_expression): Adjust.
1931         * pt.c (tsubst_copy_and_build): Likewise.
1932         * semantics.c (perform_koenig_lookup): Remove bool parameter.
1933         (omp_reduction_lookup): Adjust.
1934         * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
1935         (lookup_arg_dependent): Likewise.
1936         (lookup_function_nonclass): Adjust.
1937         * name-lookup.h: Adjust declaration.
1938         * cp-tree.h: Likewise.
1939
1940 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1941
1942         PR c++/59087
1943         * parser.c (cp_parser_userdef_numeric_literal): Mention
1944         -fext-numeric-literals in the message.
1945
1946 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1947
1948         PR c++/59641
1949         * call.c (build_conditional_expr_1): Check the return value of
1950         force_rvalue.
1951
1952 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1953
1954         * call.c (convert_like_real): Check complain.
1955
1956 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1957
1958         PR c++/59378
1959         * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
1960         in templates.
1961
1962 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
1963
1964         Update copyright years
1965
1966 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
1967
1968         * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
1969         the standard form for the copyright notice.
1970 \f
1971 Copyright (C) 2014 Free Software Foundation, Inc.
1972
1973 Copying and distribution of this file, with or without modification,
1974 are permitted in any medium without royalty provided the copyright
1975 notice and this notice are preserved.