gcc/cp/ChangeLog

   1 2016-09-20  Jakub Jelinek  <jakub@redhat.com>
   2
   3         PR c++/77626
   4         * constexpr.c (cxx_fold_indirect_ref): Don't call byte_position on
   5         FIELD_DECLs with error_mark_node type.  Remove useless break; after
   6         return.
   7
   8         PR c++/77638
   9         * parser.c (cp_parser_template_declaration_after_parameter): For 2
  10         argument operator"" template set ok to false for
  11         parm == error_mark_node.
  12
  13         PR c++/77637
  14         * parser.c (cp_parser_std_attribute_list): Reject ... without
  15         preceding attribute.
  16
  17 2016-09-19  Bernd Edlinger  <bernd.edlinger@hotmail.de>
  18
  19         PR c++/77434
  20         * cvt.c (cp_convert_and_check): Suppress Wint-in-bool-context here.
  21
  22 2016-09-16  Patrick Palka  <ppalka@gcc.gnu.org>
  23
  24         PR c++/77639
  25         * parser.c (cp_parser_class_head): When
  26         processing_template_parmlist, don't assume that the
  27         class-head may start an explicit specialization.
  28
  29 2016-09-16  Jakub Jelinek  <jakub@redhat.com>
  30
  31         PR c++/77482
  32         * error.c (dump_simple_decl): Only check DECL_DECLARED_CONCEPT_P
  33         if DECL_LANG_SPECIFIC is non-NULL.  Fix up formatting.
  34
  35         PR c++/77338
  36         * constexpr.c (cxx_eval_constant_expression) <case PARM_DECL>: Only
  37         call is_really_empty_class on complete types.
  38
  39         PR c++/77375
  40         * class.c (check_bases): Set CLASSTYPE_HAS_MUTABLE if any
  41         TYPE_HAS_MUTABLE_P for any bases.
  42
  43 2016-09-16  Jason Merrill  <jason@redhat.com>
  44
  45         * class.c (check_bases, set_one_vmethod_tm_attributes): Use
  46         least_bit_hwi.
  47         * decl.c (cxx_init_decl_processing): Use pow2p_hwi.
  48         * parser.c (cp_parser_cilk_simd_vectorlength): Use pow2p_hwi.
  49
  50 2016-09-14  Jakub Jelinek  <jakub@redhat.com>
  51
  52         PR c++/77549
  53         * name-lookup.c (consider_binding_level): Look through TREE_LIST
  54         and OVERLOAD.
  55
  56 2016-09-14  Marek Polacek  <polacek@redhat.com>
  57
  58         * typeck.c (cp_build_unary_op): Diagnose incrementing boolean
  59         expressions.  Tweak an error message.
  60
  61 2016-09-14  Marek Polacek  <polacek@redhat.com>
  62
  63         * cp-tree.h (cp_build_unary_op): Change nonconvert parameter type to
  64         bool.
  65         * decl2.c (one_static_initialization_or_destruction): Use true instead
  66         of 1.
  67         * init.c (build_vec_init): Use false instead of 0.
  68         * pt.c (tsubst_copy_and_build): Likewise.
  69         * semantics.c (simplify_loop_decl_cond): Likewise.
  70         * typeck.c (rationalize_conditional_expr): Likewise.
  71         (cp_build_binary_op): Use true instead of 1.
  72         (cp_build_unary_op): Change nonconvert parameter type to bool.  Use true
  73         instead of 1.
  74         (build_unary_op): Change nonconvert parameter type to bool.
  75         (unary_complex_lvalue): Use false instead of 0.
  76
  77 2016-09-13  Jakub Jelinek  <jakub@redhat.com>
  78
  79         Implement P0028R4, C++17 using attribute namespaces without repetition
  80         * parser.c (cp_parser_std_attribute): Add ATTR_NS argument.  Diagnose
  81         non-NULL ATTR_NS with scoped attribute token.  Handle non-NULL
  82         ATTR_NS with non-scoped attribute tokens.  Allow named ops in
  83         identifier after ::.
  84         (cp_parser_std_attribute_list): Add ATTR_NS argument, pass it down
  85         to cp_parser_std_attribute calls.
  86         (cp_parser_std_attribute_spec): Parse optional C++17
  87         attribute-using-prefix, adjust grammar in function comment.
  88
  89         PR c++/77553
  90         * constexpr.c (cxx_fold_pointer_plus_expression): New function.
  91         (cxx_eval_binary_expression): Use it for POINTER_PLUS_EXPR.
  92         (cxx_eval_pointer_plus_expression): Remove.
  93         (cxx_eval_constant_expression) <case POINTER_PLUS_EXPR>: Don't
  94         call cxx_eval_pointer_plus_expression.
  95
  96 2016-09-13  David Malcolm  <dmalcolm@redhat.com>
  97
  98         * parser.c (cp_parser_class_specifier_1): Update for renaming of
  99         add_fixit_insert to add_fixit_insert_before.
 100         (cp_parser_class_head): Likewise.
 101
 102 2016-09-12  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 103
 104         PR c++/77496
 105         * call.c (build_conditional_expr_1): Call warn_for_omitted_condop.
 106         * class.c (instantiate_type): Look through the SAVE_EXPR.
 107
 108 2016-09-09  Jason Merrill  <jason@redhat.com>
 109
 110         Implement P0035R4, C++17 new of over-aligned types.
 111         * cp-tree.h (enum cp_tree_index): Add CPTI_ALIGN_TYPE.
 112         (align_type_node): New macro.
 113         * call.c (build_operator_new_call): Handle C++17 aligned new.
 114         (second_parm_is_size_t, build_op_delete_call): Likewise.
 115         (non_placement_deallocation_fn_p): Likewise. Rename to
 116         usual_deallocation_fn_p.
 117         (aligned_allocation_fn_p, aligned_deallocation_fn_p): New.
 118         * decl.c (cxx_init_decl_processing): Add aligned new support.
 119         * init.c (type_has_new_extended_alignment): New.
 120         (build_new_1): Handle aligned new.
 121         * tree.c (vec_copy_and_insert): New.
 122
 123 2016-09-02  Jakub Jelinek  <jakub@redhat.com>
 124
 125         PR sanitizer/77396
 126         * decl2.c (do_static_initialization_or_destruction): Only
 127         call asan_dynamic_init_call if INITP is true.
 128
 129 2016-09-01  Martin Sebor  <msebor@redhat.com>
 130
 131         * mangle.c: Increase buffer size to guarantee it fits the output
 132         of the formatted function regardless of its arguments.
 133
 134 2016-09-01  Marek Polacek  <polacek@redhat.com>
 135
 136         PR c/7652
 137         * error.c (dump_type): Fix falls through comment.
 138         (dump_decl): Likewise.
 139         (dump_expr): Likewise.
 140
 141 2016-08-30  David Malcolm  <dmalcolm@redhat.com>
 142
 143         * parser.c (cp_parser_enclosed_template_argument_list): Add fix-it
 144         hint to ">>" within nested template argument list error.
 145
 146 2016-08-30  David Malcolm  <dmalcolm@redhat.com>
 147
 148         * name-lookup.c (suggest_alternatives_for): Use add_fixit_replace
 149         rather than add_fixit_misspelled_id.
 150         * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
 151
 152 2016-08-29  Jason Merrill  <jason@redhat.com>
 153
 154         PR c++/77379
 155         * mangle.c (maybe_check_abi_tags): Add version parm, handle thunks.
 156         (mangle_thunk): Add thunk parameter.
 157         * method.c (finish_thunk): Pass it.
 158         * cp-tree.h: Declare it.
 159
 160 2016-08-15  Jason Merrill  <jason@redhat.com>
 161
 162         Avoid calling a trivial default constructor.
 163         * class.c (default_ctor_p): New.
 164         (in_class_defaulted_default_constructor): Use it.
 165         (type_has_non_user_provided_default_constructor): Use it.
 166         * call.c (build_over_call): Handle trivial default constructor.
 167         * cp-tree.h: Declare default_ctor_p.
 168
 169         PR c++/57728
 170         * pt.c (do_type_instantiation): Don't mess with non-user-provided
 171         member functions.
 172
 173 2016-08-25  Marek Polacek  <polacek@redhat.com>
 174
 175         * parser.c (cp_parser_binary_expression): Pass LHS to
 176         warn_logical_not_parentheses.
 177
 178 2016-08-18  Marek Polacek  <polacek@redhat.com>
 179
 180         PR c/7652
 181         * call.c (add_builtin_candidate): Add gcc_fallthrough.
 182         * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
 183         * parser.c (cp_parser_skip_to_end_of_statement): Likewise.
 184         (cp_parser_cache_defarg): Likewise.
 185
 186 2016-08-12  Marek Polacek  <polacek@redhat.com>
 187
 188         PR c/7652
 189         * call.c (add_builtin_candidate): Add FALLTHRU.
 190         (build_integral_nontype_arg_conv): Adjust fall through comment.
 191         (build_new_op_1): Add FALLTHRU.
 192         (convert_like_real): Adjust fall through comment.
 193         * class.c (fixed_type_or_null): Likewise.
 194         * constexpr.c (cxx_eval_constant_expression): Likewise.
 195         (potential_constant_expression_1): Likewise.  Add FALLTHRU.
 196         * cp-gimplify.c (cp_gimplify_expr): Adjust fall through comment.
 197         (cp_fold): Add FALLTHRU.
 198         * cvt.c (build_expr_type_conversion): Adjust fall through comment.
 199         * cxx-pretty-print.c (pp_cxx_unqualified_id): Add FALLTHRU.
 200         (pp_cxx_qualified_id): Likewise.
 201         (cxx_pretty_printer::constant): Adjust fall through comment.
 202         (cxx_pretty_printer::primary_expression): Add FALLTHRU.
 203         (pp_cxx_pm_expression): Adjust fall through comment.
 204         (cxx_pretty_printer::expression): Add FALLTHRU.
 205         (cxx_pretty_printer::declaration_specifiers): Reformat code.
 206         (pp_cxx_type_specifier_seq): Adjust fall through comment.
 207         (pp_cxx_ptr_operator): Likewise.  Add FALLTHRU.
 208         * error.c (dump_type): Adjust fall through comment.
 209         (dump_decl): Likewise.
 210         * mangle.c (write_type): Likewise.
 211         * method.c (synthesized_method_walk): Add FALLTHRU.
 212         * name-lookup.c (arg_assoc_type): Likewise.
 213         * parser.c (cp_lexer_print_token): Adjust fall through comment.
 214         (cp_parser_primary_expression): Add FALLTHRU.
 215         (cp_parser_operator): Likewise.
 216         * pt.c (find_parameter_packs_r): Likewise.
 217         (tsubst_aggr_type): Adjust fall through comment.
 218         * semantics.c (finish_omp_clauses): Add FALLTHRU.
 219         * tree.c (lvalue_kind): Likewise.
 220
 221 2016-08-12  Alexandre Oliva  <aoliva@redhat.com>
 222
 223         PR debug/63240
 224         * cp-objcp-common.c (cp_function_decl_defaulted): New.
 225         (cp_function_decl_explicit_p): Const_tree-ify.
 226         (cp_function_decl_deleted_p): Likewise.
 227         * cp-objcp-common.h (cp_function_decl_defaulted): Declare.
 228         (cp_function_decl_explicit_p): Const_tree-ify.
 229         (cp_function_decl_deleted_p): Likewise.
 230         (LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Redefine.
 231
 232 2016-08-11  Jakub Jelinek  <jakub@redhat.com>
 233
 234         PR c++/72868
 235         * constexpr.c (label_matches): Handle case range expressions.
 236
 237 2016-08-11  Jason Merrill  <jason@redhat.com>
 238
 239         PR c++/73456
 240         * logic.cc (non_atomic_constraint_p): Handle EXPR_PACK_EXPANSION.
 241
 242 2016-08-10  Jason Merrill  <jason@redhat.com>
 243
 244         Implement C++17 constexpr if.
 245         * cp-tree.h (IF_STMT_CONSTEXPR_P): New.
 246         * name-lookup.c (push_to_top_level, pop_from_top_level_1): Handle it.
 247         * parser.h (struct cp_parser): Add in_discarded_stmt field.
 248         * parser.c (cp_parser_selection_statement): Handle 'if constexpr'.
 249         (cp_parser_jump_statement): Avoid deducing from a discarded return.
 250         * pt.c (tsubst_expr): Only instantiate taken branch of constexpr if.
 251         * semantics.c (begin_if_stmt): Set the binding level this_entity.
 252         (finish_if_stmt_cond): Require the condition of a
 253         constexpr if to be constant.
 254         * decl.c (level_for_constexpr_if): New.
 255         (named_label_entry): Add in_constexpr_if field.
 256         (poplevel_named_label_1): Set it.
 257         (check_goto): Check it.
 258         (check_previous_goto_1): Check level_for_constexpr_if.
 259
 260 2016-08-09  Jason Merrill  <jason@redhat.com>
 261
 262         PR c++/68703
 263         * decl2.c (any_dependent_type_attributes_p): New.
 264         * pt.c (dependent_type_p_r, type_dependent_expression_p): Check it.
 265         * semantics.c (finish_id_expression): Check it.
 266         * typeck.c (finish_class_member_access_expr): Check it.
 267
 268         PR c++/71712
 269         * class.c (check_abi_tags): Don't duplicate tags for conversion ops.
 270
 271         Adjust mangling of ABI tags on class template member functions.
 272         * class.c (missing_abi_tags): New.
 273         (check_abi_tags): Don't check template. Add just_checking mode.
 274         * mangle.c (abi_flag_at_least, any_abi_below, equal_abi_tags): New.
 275         (sorted_abi_tags): Split out from write_abi_tags.
 276         (struct releasing_vec): New.
 277         (write_unqualified_name): Only look for the primary
 278         template for types.  Implement backward compatibility.
 279
 280         PR c++/72849
 281         * constexpr.c (cxx_eval_constant_expression): Check
 282         COMPLETE_TYPE_P before calling is_really_empty_class.
 283         * class.c (is_really_empty_class): Don't call complete_type.
 284
 285         PR c++/56701
 286         * typeck.c (cp_build_addr_expr_1): Remove special *this handling.
 287
 288 2016-08-09  Jakub Jelinek  <jakub@redhat.com>
 289
 290         PR c++/72809
 291         * rtti.c (get_pseudo_ti_index): Return TK_CLASS_TYPE for
 292         builtin aggregate types without TYPE_BINFO.
 293
 294 2016-08-08  Jason Merrill  <jason@redhat.com>
 295
 296         Implement C++17 constexpr lambda.
 297         * class.c (finalize_literal_type_property): Handle lambdas.
 298         * constexpr.c (is_valid_constexpr_fn): Likewise.  No longer static.
 299         (explain_invalid_constexpr_fn, cxx_eval_call_expression): Handle
 300         lambdas.
 301         (cxx_eval_constant_expression): Handle capture proxy.
 302         (var_in_constexpr_fn): Don't check for C++14.
 303         (var_in_maybe_constexpr_fn): New.
 304         (potential_constant_expression_1): Use it.  Check DECL_EXPR for
 305         declarations not allowed in constexpr function.  Handle
 306         STATIC_ASSERT, RANGE_FOR_STMT.
 307         * decl.c (make_rtl_for_nonlocal_decl): Use var_in_maybe_constexpr_fn.
 308         (finish_function): Set DECL_DECLARED_CONSTEXPR_P on lambda members.
 309         * lambda.c (begin_lambda_type): Set CLASSTYPE_LITERAL_P.
 310         (maybe_add_lambda_conv_op): Clear thunk CALL_EXPR location.
 311         (lambda_static_thunk_p): New.
 312         * parser.c (cp_keyword_starts_decl_specifier_p): Add RID_CONSTEXPR.
 313         (CP_PARSER_FLAGS_ONLY_MUTABLE_OR_CONSTEXPR): New enumerator.
 314         (cp_parser_decl_specifier_seq): Handle it.
 315         (cp_parser_lambda_declarator_opt): Use cp_parser_decl_specifier_seq.
 316         * pt.c (instantiate_class_template_1): Set CLASSTYPE_LITERAL_P.
 317         (tsubst_copy_and_build) [CALL_EXPR]: Propagate CALL_FROM_THUNK_P.
 318         * error.c (dump_function_decl): Check TFF_NO_TEMPLATE_BINDINGS.
 319         (dump_expr) [FUNCTION_DECL]: Pass it.
 320
 321 2016-08-08  Jason Merrill  <jason@redhat.com>
 322
 323         PR c++/67131
 324         * class.c (is_really_empty_class): Call complete_type.
 325         * constexpr.c (cxx_eval_constant_expression): Check
 326         is_really_empty_class.
 327         (potential_constant_expression_1): Likewise.  Check for error type.
 328
 329 2016-08-08  Jakub Jelinek  <jakub@redhat.com>
 330
 331         PR c++/58706
 332         * parser.c: Include tree-iterator.h.
 333         (cp_parser_omp_for_loop_init): Move lambda DECL_EXPRs from init
 334         to FOR_BLOCK.
 335         (cp_parser_omp_for_loop): Handle non-STATEMENT_LIST FOR_BLOCK
 336         entries.
 337
 338 2016-08-06  Jonathan Wakely  <jwakely@redhat.com>
 339
 340         * call.c (convert_like_real): Harmonize diagnostics for invalid
 341         reference binding.
 342
 343 2016-08-05  Martin Sebor  <msebor@redhat.com>
 344
 345         * constexpr.c (cxx_eval_store_expression): Remove hyphen from
 346         the spelling of "constant-expression" in diagnostic messages
 347         for consistency.
 348         (cxx_eval_constant_expression): Same.
 349         (cxx_eval_outermost_constant_expr): Same.
 350         (potential_constant_expression_1): Same.
 351
 352 2016-08-05  Nathan Sidwell  <nathan@acm.org>
 353
 354         PR c++/68724
 355         * pt.c (unify): TRAIT_EXPR is an expr.
 356
 357 2016-08-04  Paolo Carlini  <paolo.carlini@oracle.com>
 358
 359         PR c++/72800
 360         * lambda.c (add_capture): Check lambda_capture_field_type return
 361         value for error_mark_node.
 362
 363 2016-08-04  Patrick Palka  <ppalka@gcc.gnu.org>
 364
 365         PR c++/72759
 366         * pt.c (tsubst_qualified_id): Return error_mark_node if
 367         template_args is error_mark_node.
 368
 369 2016-08-04  Jason Merrill  <jason@redhat.com>
 370
 371         PR c++/72415
 372         * pt.c (tsubst_pack_expansion): Pull a single pack expansion out
 373         of the TREE_VEC.
 374
 375         * cp-tree.h (TYPE_UNNAMED_P): Rename from TYPE_ANONYMOUS_P.
 376         (TYPE_WAS_UNNAMED): Rename from TYPE_WAS_ANONYMOUS.
 377         * class.c, decl.c, decl2.c, error.c, lambda.c, mangle.c,
 378         name-lookup.c, parser.c, pt.c, semantics.c, tree.c: Adjust.
 379
 380         PR c++/72796
 381         * typeck.c (finish_class_member_access_expr): Avoid stripping
 382         SCOPE_REF to dependent base.
 383
 384 2016-08-04  Thomas Schwinge  <thomas@codesourcery.com>
 385
 386         * parser.c (cp_ensure_no_oacc_routine): Improve diagnostics.
 387         (cp_parser_late_parsing_cilk_simd_fn_info): Fix diagnostics.
 388         (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine):
 389         Simplify code, and improve diagnostics.
 390         (cp_parser_oacc_routine): Likewise.  Move pragma context
 391         checking...
 392         (cp_parser_pragma): ... here.
 393
 394         * parser.h (struct cp_omp_declare_simd_data): New.
 395         (struct cp_parser): Use it for oacc_routine member.
 396         * parser.c (cp_ensure_no_oacc_routine, cp_parser_oacc_routine)
 397         (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine):
 398         Use it.  Simplify code.
 399         (cp_parser_new): Initialize all members pointing to special
 400         parsing data structures.
 401         (cp_parser_cilk_simd_fn_vector_attrs): Initialize
 402         parser->cilk_simd_fn_info->clauses.
 403         (cp_parser_omp_declare_simd): Initialize
 404         parser->omp_declare_simd->clauses.
 405         (cp_parser_late_parsing_omp_declare_simd): Simplify code.
 406
 407 2016-08-04  Marek Polacek  <polacek@redhat.com>
 408
 409         PR c++/70229
 410         * constexpr.c (check_constexpr_ctor_body_1): Allow typedef
 411         declarations.
 412
 413 2016-08-01  Jason Merrill  <jason@redhat.com>
 414
 415         * mangle.c (mangle_decl): Warn about mangled name change even if
 416         DECL_REALLY_EXTERN.
 417
 418         * mangle.c (get_abi_tags): New.
 419         (find_substitution, write_unqualified_name, write_abi_tags)
 420         (maybe_check_abi_tags): Use it.
 421
 422         * mangle.c (mangle_decl): Fix mangled name change warning.
 423
 424         PR c++/72766
 425         * constexpr.c (cxx_eval_pointer_plus_expression): Check constancy
 426         of nelts.
 427         * cp-gimplify.c (cp_fully_fold): Only maybe_constant_value in
 428         C++11 and up.
 429
 430 2016-07-30  Martin Sebor  <msebor@redhat.com>
 431
 432         PR c++/60760
 433         PR c++/71091
 434         * constexpr.c (cxx_eval_binary_expression): Reject invalid expressions
 435         involving null pointers.
 436         (cxx_eval_component_reference): Reject null pointer dereferences.
 437         (cxx_eval_indirect_ref): Reject indirecting through null pointers.
 438         (cxx_eval_constant_expression): Reject invalid expressions involving
 439         null pointers.
 440
 441 2016-07-29  Marek Polacek  <polacek@redhat.com>
 442
 443         PR c/71926
 444         * semantics.c (maybe_convert_cond): Use the location of COND for the
 445         parentheses warning.
 446
 447 2016-07-29  Jason Merrill  <jason@redhat.com>
 448
 449         * decl.c (build_enumerator): Tweak diagnostic.
 450
 451         PR c++/72457
 452         * init.c (expand_aggr_init_1): Only handle value-init of bases.
 453         * constexpr.c (build_data_member_initialization): Handle multiple
 454         initializers for the same field.
 455
 456 2016-07-28  Paolo Carlini  <paolo.carlini@oracle.com>
 457
 458         PR c++/71665
 459         * decl.c (build_enumerator): Check the type of the enumerator before
 460         calling cxx_constant_value.
 461
 462 2016-07-27  Jason Merrill  <jason@redhat.com>
 463
 464         PR c++/71747
 465         * pt.c (get_partial_spec_bindings): Replace tparms and spec_args
 466         parameters with spec_tmpl.  Call push_tinst_level.
 467         (most_specialized_partial_spec): Adjust.
 468         (more_specialized_partial_spec): Adjust.
 469
 470 2016-07-25  Jason Merrill  <jason@redhat.com>
 471
 472         PR c++/65970
 473         * cp-gimplify.c (genericize_cp_loop): Revert location change.
 474
 475         PR c++/71837
 476         * lambda.c (add_capture): Leave a pack expansion in a TREE_LIST.
 477         (build_lambda_object): Call build_x_compound_expr_from_list.
 478         * pt.c (tsubst) [DECLTYPE_TYPE]: Likewise.
 479
 480         PR c++/71833
 481         PR c++/54440
 482         * pt.c (coerce_template_parameter_pack): Fix logic for
 483         pack index.
 484
 485         PR c++/65970
 486         * constexpr.c (cxx_eval_loop_expr): Count iterations.
 487         * cp-gimplify.c (genericize_cp_loop): Use start_locus even for
 488         infinite loops.
 489
 490         PR c++/71972
 491         * constexpr.c (cxx_eval_array_reference): Handle looking for the
 492         value of an element we're currently modifying.
 493
 494 2016-07-24  Jason Merrill  <jason@redhat.com>
 495
 496         PR c++/71515
 497         * pt.c (resolve_typename_type): Try to avoid calling
 498         currently_open_class.
 499
 500 2016-07-23  Jason Merrill  <jason@redhat.com>
 501
 502         PR c++/66617
 503         * call.c (add_list_candidates): Handle VTT parm.
 504         (build_new_method_call_1): Likewise.
 505
 506         PR c++/55922
 507         PR c++/63151
 508         * init.c (expand_aggr_init_1): Handle list-initialization from {}.
 509
 510         PR c++/70709
 511         * class.c (walk_subobject_offsets): Handle 0-length array.
 512
 513         PR c++/70778
 514         * pt.c (tsubst): Also substitute into the template of a
 515         BOUND_TEMPLATE_TEMPLATE_PARM.
 516
 517         PR c++/71738
 518         * pt.c (lookup_template_class_1): Handle getting template from tsubst.
 519
 520         PR c++/71350
 521         * decl.c (reshape_init_r): Check complain for missing braces warning.
 522
 523 2016-07-22  Jason Merrill  <jason@redhat.com>
 524
 525         PR c++/71576
 526         * call.c (convert_like_real): Use lvalue_kind.
 527
 528         PR c++/71748
 529         PR c++/52746
 530         * pt.c (tsubst_baselink): Call
 531         adjust_result_of_qualified_name_lookup for unqualified
 532         destructors.
 533
 534 2016-07-21  Jason Merrill  <jason@redhat.com>
 535
 536         PR c++/69223
 537         * semantics.c (apply_deduced_return_type): Call
 538         complete_type_or_else before building the new RESULT_DECL.
 539
 540         PR c++/71274
 541         * decl2.c (maybe_instantiate_decl): Split out from mark_used.
 542         (decl_constant_var_p): Use it instead.
 543
 544         PR c++/71630
 545         * pt.c (instantiate_decl): Fix pattern_defined for namespace scope
 546         variable templates.
 547
 548         PR c++/71913
 549         * call.c (unsafe_copy_elision_p): It's OK to elide when
 550         initializing an unknown object.
 551
 552         * call.c (build_over_call): Check unsafe_copy_elision_p even for
 553         trivial constructors.
 554         * method.c (do_build_copy_constructor): Don't copy tail padding
 555         even in a trivial constructor.
 556
 557 2016-07-21  Jakub Jelinek  <jakub@redhat.com>
 558
 559         PR c++/71728
 560         * constexpr.c (potential_constant_expression_1) <case GOTO_EXPR>:
 561         Replace assert with test, return false if the goto isn't break
 562         or continue.  Formatting fix.
 563
 564 2016-07-21  Richard Biener  <rguenther@suse.de>
 565
 566         * vtable-class-hierarchy.c (vtv_generate_init_routine): Set
 567         DECL_IGNORED_P.
 568
 569 2016-07-21  Jakub Jelinek  <jakub@redhat.com>
 570
 571         PR c++/71941
 572         * cp-gimplify.c (cp_genericize): For nested cp_genericize calls
 573         save/restore bc_label array.
 574
 575 2016-07-21  Jason Merrill  <jason@redhat.com>
 576
 577         PR c++/70781
 578         * parser.c (cp_parser_lambda_expression): Unset OK if there was an
 579         error parsing the lambda-declarator.
 580
 581         PR c++/71896
 582         * constexpr.c (cxx_eval_binary_expression): Handle comparison
 583         between lowered and unlowered PTRMEM_CST.
 584
 585         PR c++/65168
 586         * typeck.c (cp_truthvalue_conversion): Compare pointers to nullptr.
 587         Don't set c_inhibit_evaluation_warnings.
 588
 589         PR c++/71121
 590         * cp-gimplify.c (cp_fully_fold): First call maybe_constant_value.
 591
 592 2016-07-21  Andrew Sutton  <andrew.n.sutton@gmail.com>
 593             Jason Merrill  <jason@redhat.com>
 594
 595         Improving concepts performance and diagnostics.
 596         PR c++/67565
 597         PR c++/67579
 598         PR c++/71843
 599         * cp-tree.def (CHECK_CONSTR): New.
 600         * cp-tree.h (CHECK_CONSTR_CONCEPT): New.
 601         (CHECK_CONSTR_ARGS): New.
 602         * constraint.cc (make_predicate_constraint): Remove in favor of
 603         normalize_expression.
 604         (resolve_constraint_check): Actually return error_mark_node when
 605         resolution fails.
 606         (resolve_variable_concept_check): Perform coercion as if processing
 607         a template. Also return errors on resolution failure.
 608         (lift_*): Remove all of these functions. Don't unnecessarily inline
 609         concepts.
 610         (learn_*): Add facilities to memoize implications for subsumption
 611         during normalization.
 612         (expanding_concept): New.
 613         (expand_concept): New. Return the inlined and normalized definition
 614         of a concept when needed.
 615         (transform_*, xform_*): Rename to normalize_* to better reflect the
 616         responsibility of those functions.
 617         (normalize_template_id_expression): Check for non-boolean operands
 618         when possible. Generate check constraints instead of normal variable
 619         references.
 620         (normalize_call_expression): Report errors when resolution fails.
 621         (check_for_logical_overloads): Rewrite this check to more accurately
 622         report the error.
 623         (normalize_atom): Check for overloaded calls and invalid types before
 624         determining if the expression refers to a concept.
 625         (build_constraints): Don't cache normalized constraints or decomposed
 626         assumptions.
 627         (finish_shorthand_constraint): Return a normalized expression instead
 628         of a predicate constraint.
 629         (finish_template_introduction): Same.
 630         (placeholder_extract_concept_and_args): Rewrite this since we only
 631         ever get check constraints here.
 632         (equivalent_placeholder_constraints): Rewrite in terms of check
 633         constraints, and handle error_mark_nodes correctly.
 634         (tsubst_check_constraint, tsubst_expr_constr, tsubst_type_constr)
 635         (tsubst_implicit_conversion_constr)
 636         (tsubst_argument_deduction_constr, tsubst_exception_constr)
 637         (tsubst_parameterized_constraint, tsubst_constraint): New.
 638         (tsbust_conjunection): Replace with tsubst_logical_operator and
 639         actually generate the right kind of constraint.
 640         (tsubst_requirement_body): Reverse the order of substituted arguments
 641         so that they appear in the order written (helps diagnostics).
 642         (satisfy_check_constraint): New.
 643         (satisfy_conjunction): Simplify.
 644         (satisfy_disjunction): Same.
 645         (satisfy_constraint_1): Handle check constraints.
 646         (eval_constr): New (private) global state.
 647         (evaluating_constraints_sentinel): New. Manages eval_constr.
 648         (satisfy_constraint): Add timing variables.
 649         (satisfy_associated_constraints): Add hooks for memoization.
 650         (evaluate_function_concept): Build a check constraint instead of
 651         normalizing its definition.
 652         (evaluate_variable_concept): Same.
 653         (evaluate_constraint_expression): Normalize, but in the current
 654         declaration processing context.
 655         (evaluating_constraints_p): New.
 656         (elide_constraint_failure_p): Actually emit constraint_thresh errors.
 657         (diagnose_*): Remove artificial indentation. Add a new parameter to
 658         each that tracks the current (complete) constraint prior to any
 659         substitutions.
 660         (diagnose_expression): Removed.
 661         (diagnose_call_expression): Same.
 662         (diagnose_template_id): Same.
 663         (diagnose_template_id): New.
 664         (diagnose_logical_constraint): New.
 665         (diagnose_expression_constraint): Show the original expression.
 666         (diagnose_type_constraint): Show the original type.
 667         (diagnose_implicit_conversion_constraint): Be specific about
 668         failures, don't re-diagnose a known-to-be-failed substitutions,
 669         and manage elisions properly.
 670         (diagnose_argument_deduction_constraint): Same.
 671         (diagnose_exception_constraint): Same.
 672         (diagnose_parameterized_constraint): Same.
 673         (constraint_p): Allow EXPR_PACK_EXPANSION.
 674         * logic.cc (next_by_distance): Removed. No longer used.
 675         (any_p): Renamed from any_of.
 676         (term_entry, term_hasher): New.
 677         (term_list): Rewrite to include a hash table for quick lookup.
 678         Also, make less stateful.
 679         (proof_state): Extend to allow goals to be discharged once
 680         satisfied.
 681         (non_atomic_constraint_p): New.
 682         (any_non_atomic_constraints_p): New.
 683         (...rest...): Previous implementation completely replaced with an
 684         iterative algorithm that opportunistically prunes the search space
 685         before committing to using more memory.
 686         * parser.c: (cp_parser_type_parameter): Normalize constraints.
 687         (cp_parser_explicit_template_declaration): Same.
 688         * pt.c: (finish_template_variable): Be less redundant with this error
 689         message.
 690         (template_args_equal): No longer static.
 691         (tsubst_decl): Don't try to find specializations of variables that
 692         have already been instantiated.
 693         (build_non_dependent_expr): Avoid infinite recursion during concept
 694         expansion.
 695         (make_constrained_auto): Normalize constraints.
 696         (do_auto_deduction): When doing auto deduction from a
 697         partial-concept-id, be sure to include the explicit args checking
 698         the constraints.
 699         (constraint_sat_*): New. Memoize satisfied constraints.
 700         (concept_spec_*): New. Memoize expressions associated with a concept
 701         specialization.
 702         (constraint_memos, concept_memos): New.
 703         (lookup_constraint_satisfaction, memoize_constraint_satisfaction): New.
 704         (lookup_concept_satisfaction, memoize_concept_satisfaction): New.
 705         (get_concept_expansion, save_concept_expansion): New.
 706         (hash_subsumption_args): New.
 707         (comp_subsumption_args): New.
 708         (subsumption_*): New. Memoize parts of the subsumption relation.
 709         (lookup_subsumption_result, save_subsumption_result): New.
 710         (init_constraint_processing): Initialize memo tables.
 711         (get_constraints): Shortcut if !flag_concepts.
 712         * decl.c (grokfndecl): Normalize constraints.
 713         * error.c (dump_simple_decl): Print "concept" when appropriate.
 714         (dump_function_decl): Same.
 715         (dump_template_decl): Don't write requirements when we're not
 716         printing the header.
 717         (dump_expr): Handle fold expressions.
 718         * cxx-pretty-print.c (cxx_pretty_printer::expression): Handle
 719         fold expressions.
 720         (get_fold_operator): New.
 721         (pp_cxx_unary_left_fold_expression): New.
 722         (pp_cxx_unary_right_fold_expression): New.
 723         (pp_cxx_binary_fold_expression): New.
 724         (pp_cxx_check_constraint): New.
 725         (pp_cxx_*_constraint): Rewrite the grammar of internal constraints
 726         to make them easier to read when debugging.
 727         * search.c (accessible_p): Don't shortcut when evaluating constraints.
 728         * tree.c (cp_tree_equal): Handle CHECK_CONSTR.
 729
 730 2016-07-20  David Malcolm  <dmalcolm@redhat.com>
 731
 732         PR c/70339
 733         PR c/71858
 734         * name-lookup.c: Include gcc-rich-location.h, spellcheck-tree.h,
 735         and parser.h.
 736         (suggest_alternatives_for): If no candidates are found, try
 737         lookup_name_fuzzy and report if if finds a suggestion.
 738         (consider_binding_level): New function.
 739         (lookup_name_fuzzy) New function.
 740         * parser.c: Include gcc-rich-location.h.
 741         (cp_lexer_next_token_is_decl_specifier_keyword): Move most of
 742         logic into...
 743         (cp_keyword_starts_decl_specifier_p): ...this new function.
 744         (cp_parser_diagnose_invalid_type_name): When issuing
 745         "does not name a type" errors, attempt to make a suggestion using
 746         lookup_name_fuzzy.
 747         * parser.h (cp_keyword_starts_decl_specifier_p): New prototype.
 748         * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Reject
 749         types that are not CLASS_TYPE_P, rather than rejecting individual
 750         tree codes.
 751
 752 2016-07-20  Jakub Jelinek  <jakub@redhat.com>
 753
 754         PR c++/71909
 755         * parser.c (cp_parser_save_member_function_body): Consume
 756         __transaction_relaxed or __transaction_atomic with optional
 757         attribute.  Only skip catch with block if try keyword is seen.
 758
 759         PR c++/50060
 760         * constexpr.c (cxx_eval_builtin_function_call): Pass false as lval
 761         when evaluating call arguments.  Use fold_builtin_call_array instead
 762         of fold_build_call_array_loc, return t if it returns NULL.  Otherwise
 763         check the result with potential_constant_expression and call
 764         cxx_eval_constant_expression on it.
 765
 766 2016-07-19  Jason Merrill  <jason@redhat.com>
 767
 768         PR c++/67164
 769         * pt.c (iterative_hash_template_arg, template_args_equal): Don't
 770         handle ARGUMENT_PACK_SELECT.
 771
 772 2016-07-18  Jakub Jelinek  <jakub@redhat.com>
 773
 774         PR c++/70869
 775         PR c++/71054
 776         * cp-gimplify.c (cp_genericize_r): Revert the 2016-07-07 change.
 777         * tree.c (cp_walk_subtrees): For DECL_EXPR on DECL_ARTIFICIAL
 778         non-static VAR_DECL, walk the decl's DECL_INITIAL, DECL_SIZE and
 779         DECL_SIZE_UNIT.
 780
 781         PR c++/71835
 782         * call.c (build_op_call_1): Use convert_like_with_context only
 783         if cand->fn is a decl.
 784
 785         PR c++/71828
 786         * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>:
 787         For lval don't use cxx_eval_unary_expression and instead recurse
 788         and if needed rebuild the reference.
 789
 790         PR c++/71826
 791         * pt.c (tsubst_baselink): Only set BASELINK_OPTYPE for BASELINK_P.
 792
 793         PR c++/71822
 794         * cp-gimplify.c (cp_gimplify_expr) <case VEC_INIT_EXPR>: Recursively
 795         fold *expr_p before genericizing it.
 796
 797         PR c++/71871
 798         * typeck.c (build_x_conditional_expr): Revert the 2012-10-25 change.
 799
 800 2016-07-15  Jason Merrill  <jason@redhat.com>
 801
 802         PR c++/71495
 803         * call.c (convert_like_real): Mask complain.
 804         * semantics.c (perform_koenig_lookup): Likewise.
 805
 806         PR c++/71092
 807         * constexpr.c (cxx_eval_call_expression): Fail quietly when cgraph
 808         threw away DECL_SAVED_TREE.
 809
 810         PR c++/71117
 811         Core 2189
 812         * call.c (add_template_conv_candidate): Disable if there are
 813         viable candidates.
 814
 815         PR c++/71511
 816         * typeck2.c (cxx_incomplete_type_diagnostic): Handle DECLTYPE_TYPE.
 817
 818         PR c++/71513
 819         * pt.c (tsubst_attributes): Fix loop logic.
 820
 821         PR c++/71604
 822         PR c++/54430
 823         * parser.c (cp_parser_range_for): Modify IDENTIFIER_BINDING directly.
 824         (cp_parser_simple_declaration): Diagnose type definition in
 825         for-range-declaration.
 826
 827         PR c++/71711
 828         * operators.def: Add *_FOLD_EXPR.
 829         * cp-tree.h (FOLD_EXPR_P): Parenthesize.
 830         * mangle.c (write_expression): Handle fold-expressions.
 831         * pt.c (tsubst_unary_left_fold, tsubst_binary_left_fold)
 832         (tsubst_unary_right_fold, tsubst_binary_right_fold): Handle
 833         partial instantiation.
 834
 835         PR c++/71814
 836         * mangle.c (write_expression): Handle sizeof... an argument pack.
 837
 838         PR c++/71718
 839         * pt.c (push_tinst_level_loc): Set at_eof before fatal_error.
 840
 841         PR c++/70824
 842         * init.c (constant_value_1): Don't instantiated DECL_INITIAL of
 843         artificial variables.
 844
 845 2016-07-15  Cesar Philippidis  <cesar@codesourcery.com>
 846
 847         * parser.c (cp_parser_oacc_declare): Don't scan for
 848         GOMP_MAP_POINTER.
 849         * semantics.c (handle_omp_array_sections): Mark data clauses with
 850         GOMP_MAP_FORCE_{PRESENT,TO,FROM,TOFROM} as potentially having
 851         zero-length subarrays.
 852
 853 2016-07-11  Jason Merrill  <jason@redhat.com>
 854
 855         * decl.c (store_parm_decls): Remove check for void parm.
 856
 857 2016-07-08  Jason Merrill  <jason@redhat.com>
 858
 859         * cp-tree.h: Unpoison lvalue_p.
 860         * call.c, class.c, constexpr.c, cvt.c, init.c, lambda.c, pt.c,
 861         tree.c, typeck.c, typeck2.c: Use lvalue_p instead of
 862         real_lvalue_p.
 863
 864         * tree.c (obvalue_p): Rename from lvalue_p.
 865         (lvalue_p): Define for c-common.
 866         * call.c, cp-tree.h, cvt.c, init.c: Adjust.
 867         * typeck.c: Adjust.
 868         (cp_build_addr_expr_1): Remove obsolete code.
 869
 870         * tree.c (glvalue_p): Rename from lvalue_or_rvalue_with_address_p.
 871         * call.c, cp-tree.h, typeck.c: Adjust.
 872
 873         * lambda.c (maybe_add_lambda_conv_op): Fix null object argument.
 874
 875         P0145R2: Refining Expression Order for C++.
 876         * cp-gimplify.c (lvalue_has_side_effects): New.
 877         (cp_gimplify_expr): Implement assignment ordering.
 878         * call.c (op_is_ordered, build_over_call): Adjust for
 879         -fargs-in-order renaming to -fstrong-eval-order.
 880         * cp-gimplify.c (cp_gimplify_expr): Likewise.
 881
 882 2016-07-07  Jakub Jelinek  <jakub@redhat.com>
 883             Kai Tietz  <ktietz70@googlemail.com>
 884
 885         PR c++/70869
 886         PR c++/71054
 887         * cp-gimplify.c (cp_genericize_r): For DECL_EXPR for non-static
 888         artificial vars, genericize their initializers.
 889
 890 2016-07-05  David Malcolm  <dmalcolm@redhat.com>
 891
 892         PR c++/62314
 893         * parser.c (cp_parser_class_specifier_1): When reporting
 894         missing semicolons, use a fixit-hint to suggest insertion
 895         of a semicolon immediately after the closing brace,
 896         offsetting the reported column accordingly.
 897
 898 2016-07-04  Jan Beulich  <jbeulich@suse.com>
 899
 900         * lang-specs.h ("@c++-header"): Conditionalize "-o".
 901
 902 2016-06-29  Thomas Schwinge  <thomas@codesourcery.com>
 903
 904         * parser.c (cp_parser_pragma) <PRAGMA_OMP_CANCELLATION_POINT>:
 905         Move pragma context checking into...
 906         (cp_parser_omp_cancellation_point): ... here, and improve
 907         diagnostic messages.
 908         * semantics.c (finish_omp_cancel, finish_omp_cancellation_point):
 909         Improve diagnostic messages.
 910
 911 2016-06-28  Jakub Jelinek  <jakub@redhat.com>
 912
 913         * Make-lang.in: Don't cat ../stage_current if it does not exist.
 914
 915 2016-06-24  Jason Merrill  <jason@redhat.com>
 916
 917         P0145R2: Refining Expression Order for C++.
 918         * typeck.c (cp_build_modify_expr): Leave COMPOUND_EXPR on LHS.
 919
 920         * tree.c (get_target_expr_sfinae): Handle bit-fields.
 921         (build_target_expr): Call mark_rvalue_use.
 922
 923 2016-06-24  Jakub Jelinek  <jakub@redhat.com>
 924
 925         * call.c (magic_varargs_p): Return 3 for __builtin_*_overflow_p.
 926         (build_over_call): For magic == 3, do no conversion only on 3rd
 927         argument.
 928
 929 2016-06-23  Andi Kleen  <ak@linux.intel.com>
 930
 931         * Make-lang.in: Add support for autofdo.
 932
 933 2016-06-21  Jason Merrill  <jason@redhat.com>
 934
 935         * constraint.cc (constraints_satisfied_p): Keep as many levels of
 936         args as our template has levels of parms.
 937
 938         * pt.c (template_parm_outer_level, uses_outer_template_parms): New.
 939         (type_dependent_expression_p): Use uses_outer_template_parms.
 940
 941 2016-06-20  David Malcolm  <dmalcolm@redhat.com>
 942
 943         * parser.c (cp_parser_string_literal): Convert non-standard
 944         concatenation error to directly use a rich_location, and
 945         use that to add the location of the first literal to the
 946         diagnostic.
 947
 948 2016-06-17  Paolo Carlini  <paolo.carlini@oracle.com>
 949
 950         * decl.c (validate_constexpr_redeclaration): Change pair of errors
 951         to error + inform.
 952         * error.c (dump_function_decl): Save the constexpr specifier too.
 953
 954 2016-06-17  Jakub Jelinek  <jakub@redhat.com>
 955
 956         * tree.c (builtin_valid_in_constant_expr_p): Test for
 957         DECL_BUILT_IN_CLASS equal to BUILT_IN_NORMAL instead of just
 958         DECL_BUILT_IN.
 959         (bot_manip): Likewise.
 960         * call.c (magic_varargs_p): Likewise.
 961
 962 2016-06-17  Paolo Carlini  <paolo.carlini@oracle.com>
 963
 964         * decl.c (grokfndecl): Change pair of errors to error + inform.
 965
 966 2016-06-17  Jason Merrill  <jason@redhat.com>
 967
 968         PR c++/71209
 969         * typeck.c (finish_class_member_access_expr): Avoid "not a base"
 970         warning when there are dependent bases.
 971
 972 2016-06-17  Jakub Jelinek  <jakub@redhat.com>
 973
 974         * semantics.c (handle_omp_array_sections_1): Don't ICE when
 975         processing_template_decl when checking for bitfields and unions.
 976         Look through REFERENCE_REF_P as base of COMPONENT_REF.
 977         (finish_omp_clauses): Look through REFERENCE_REF_P even for
 978         array sections with COMPONENT_REF bases.
 979
 980 2016-06-16  Jakub Jelinek  <jakub@redhat.com>
 981
 982         * parser.c (cp_parser_omp_var_list_no_open): Call
 983         convert_from_reference before cp_parser_postfix_dot_deref_expression.
 984         * semantics.c (finish_omp_clauses): Don't ICE when
 985         processing_template_decl when checking for bitfields and unions.
 986         Look through REFERENCE_REF_P as base of COMPONENT_REF.
 987
 988 2016-06-15  Paolo Carlini  <paolo.carlini@oracle.com>
 989
 990         * decl.c (wrapup_globals_for_namespace): Use DECL_SOURCE_LOCATION and
 991         "%qF" in warning_at instead of "%q+F" in warning.
 992         (check_redeclaration_exception_specification): Likewise in pedwarn
 993         (and error, inform, for consistency).
 994         * call.c (joust): Likewise.
 995
 996 2016-06-15  Paolo Carlini  <paolo.carlini@oracle.com>
 997
 998         PR c++/70202
 999         * decl.c (xref_basetypes): Revert r117839 changes; add fix-up
1000         code at the end of the for loop; also revert r159637 changes,
1001         add back the gcc_assert.
1002         * cp-tree.h (xref_basetypes): Adjust declaration.
1003         * parser.c (cp_parser_class_head): Adjust xref_basetypes call.
1004
1005 2016-06-14  David Malcolm  <dmalcolm@redhat.com>
1006
1007         * search.c: Include spellcheck-tree.h rather than spellcheck.h.
1008
1009 2016-06-14  David Malcolm  <dmalcolm@redhat.com>
1010
1011         * typeck.c: Include "gcc-rich-location.h".
1012         (finish_class_member_access_expr): Simplify fixit code by
1013         using gcc_rich_location::add_fixit_misspelled_id.
1014
1015 2016-06-14  Jason Merrill  <jason@redhat.com>
1016
1017         P0145R2: Refining Expression Order for C++.
1018         * cp-tree.h (CALL_EXPR_OPERATOR_SYNTAX, CALL_EXPR_ORDERED_ARGS)
1019         (CALL_EXPR_REVERSE_ARGS): New.
1020         * call.c (build_new_op_1): Set them.
1021         (extract_call_expr, op_is_ordered): New.
1022         (build_over_call): Set CALL_EXPR_ORDERED_ARGS.
1023         * cp-gimplify.c (cp_gimplify_expr) [CALL_EXPR]: Handle new flags.
1024         * pt.c (tsubst_copy_and_build): Copy new flags.
1025         * semantics.c (simplify_aggr_init_expr): Likewise.
1026         * tree.c (build_aggr_init_expr): Likewise.
1027         (build_min_non_dep_op_overload): Likewise.
1028
1029 2016-06-14  Jakub Jelinek  <jakub@redhat.com>
1030
1031         PR c++/71528
1032         * decl.c (duplicate_decls): For DECL_INITIALIZED_P non-external
1033         olddecl vars, preserve their TREE_READONLY bit.
1034
1035         PR c++/71516
1036         * decl.c (complete_vars): Handle gracefully type == error_mark_node.
1037
1038 2016-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
1039
1040         * typeck2.c (digest_init_r): Use EXPR_LOC_OR_LOC on init.
1041
1042 2016-06-13  Paolo Carlini  <paolo.carlini@oracle.com>
1043
1044         * decl.c (grokdeclarator): Fix typo in pedwarn text.
1045
1046 2016-06-10  Thomas Schwinge  <thomas@codesourcery.com>
1047
1048         PR c/71381
1049         * parser.c (cp_parser_omp_var_list_no_open) <OMP_CLAUSE__CACHE_>:
1050         Loosen checking.
1051
1052 2016-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
1053
1054         PR c++/71465
1055         Revert:
1056         2016-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
1057
1058         PR c++/70202
1059         * parser.c (cp_parser_class_head): When xref_basetypes fails and
1060         emits an error do not zero the type.
1061
1062 2016-06-08  Paolo Carlini  <paolo.carlini@oracle.com>
1063
1064         * decl.c (maybe_deduce_size_from_array_init): Use
1065         DECL_SOURCE_LOCATION in error_at.
1066         (layout_var_decl): Likewise.
1067         (check_array_initializer): Likewise.
1068         (check_initializer): Likewise.
1069         (duplicate_decls, check_elaborated_type_specifier): Tidy.
1070
1071 2016-06-08  Martin Sebor  <msebor@redhat.com>
1072             Jakub Jelinek  <jakub@redhat.com>
1073
1074         PR c++/70507
1075         PR c/68120
1076         * constexpr.c: Include gimple-fold.h.
1077         (cxx_eval_internal_function): New function.
1078         (cxx_eval_call_expression): Call it.
1079         (potential_constant_expression_1): Handle integer arithmetic
1080         overflow built-ins.
1081         * tree.c (builtin_valid_in_constant_expr_p): Handle
1082         BUILT_IN_{ADD,SUB,MUL}_OVERFLOW_P.
1083
1084 2016-06-08  Paolo Carlini  <paolo.carlini@oracle.com>
1085
1086         * pt.c (tsubst, case TYPENAME_TYPE): Don't delay checking the
1087         return value of tsubst_aggr_type for error_mark_node.
1088
1089 2016-06-08  Jakub Jelinek  <jakub@redhat.com>
1090
1091         PR c++/71442
1092         * pt.c (tsubst_copy): Only set TREE_USED on DECLs.
1093
1094 2016-06-06  Jakub Jelinek  <jakub@redhat.com>
1095             Patrick Palka  <ppalka@gcc.gnu.org>
1096
1097         PR c++/70847
1098         PR c++/71330
1099         PR c++/71393
1100         * cp-gimplify.c (cp_fold_r): Set *walk_subtrees = 0 and return NULL
1101         right after cp_fold call if cp_fold has returned the same stmt
1102         already in some earlier cp_fold_r call.
1103         (cp_fold_function): Add pset automatic variable, pass its address
1104         to cp_walk_tree.
1105
1106 2016-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
1107
1108         PR c++/70202
1109         * parser.c (cp_parser_class_head): When xref_basetypes fails and
1110         emits an error do not zero the type.
1111
1112 2016-06-03  Patrick Palka  <ppalka@gcc.gnu.org>
1113
1114         PR c++/27100
1115         * decl.c (duplicate_decls): Properly copy the
1116         DECL_PENDING_INLINE_P, DECL_PENDING_INLINE_INFO and
1117         DECL_SAVED_FUNCTION_DATA fields from OLDDECL to NEWDECL.
1118
1119 2016-06-03  Chung-Lin Tang  <cltang@codesourcery.com>
1120
1121         * semantics.c (finish_omp_clauses): Mark OpenACC reduction
1122         arguments as addressable when async clause exists.
1123
1124 2016-06-02  Jan Hubicka  <jh@suse.cz>
1125
1126         * cp-gimplify.c (genericize_continue_stmt): Force addition of
1127         predict stmt.
1128
1129 2016-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
1130
1131         * decl.c (xref_tag_1): Change pairs of errors to error + inform.
1132         (start_enum): Likewise.
1133         * parser.c (cp_parser_class_head): Likewise.
1134
1135 2016-06-02  Jakub Jelinek  <jakub@redhat.com>
1136
1137         PR c++/71372
1138         * cp-gimplify.c (cp_fold): For INDIRECT_REF, if the folded expression
1139         is INDIRECT_REF or MEM_REF, copy over TREE_READONLY, TREE_SIDE_EFFECTS
1140         and TREE_THIS_VOLATILE flags.  For ARRAY_REF and ARRAY_RANGE_REF, copy
1141         over TREE_READONLY, TREE_SIDE_EFFECTS and TREE_THIS_VOLATILE flags
1142         to the newly built tree.
1143
1144 2016-05-31  Jason Merrill  <jason@redhat.com>
1145
1146         * pt.c (instantiate_decl): Avoid recalculation.
1147
1148         PR c++/60095
1149         PR c++/69515
1150         PR c++/69009
1151         * pt.c (instantiate_template_1): Don't put the partial
1152         specialization in DECL_TI_TEMPLATE.
1153         (partial_specialization_p, impartial_args): Remove.
1154         (regenerate_decl_from_template): Add args parm.
1155         (instantiate_decl): Look up the partial specialization again.
1156
1157         PR c++/71227
1158         * pt.c (check_explicit_specialization): Give better diagnostic about
1159         specializing a hidden friend.
1160
1161 2016-05-31  Paolo Carlini  <paolo.carlini@oracle.com>
1162
1163         PR c++/71248
1164         * decl.c (check_static_variable_definition): Use DECL_SOURCE_LOCATION
1165         to obtain correct locations; avoid redundant diagnostics on
1166         out-of-class definitions.
1167
1168 2016-05-30  Martin Sebor  <msebor@redhat.com>
1169
1170         PR c++/71306
1171         * init.c (warn_placement_new_too_small): Handle placement new arguments
1172         that are elements of arrays more carefully.  Remove a pointless loop.
1173
1174 2016-05-30  Jakub Jelinek  <jakub@redhat.com>
1175
1176         PR c++/71349
1177         * parser.c (cp_parser_omp_for): Don't disallow nowait clause
1178         when combined with target construct.
1179         (cp_parser_omp_parallel): Pass cclauses == NULL as last argument
1180         to cp_parser_omp_all_clauses.
1181
1182 2016-05-30  Paolo Carlini  <paolo.carlini@oracle.com>
1183
1184         PR c++/71238
1185         * lex.c (unqualified_name_lookup_error): Take a location too.
1186         (unqualified_fn_lookup_error): Take a cp_expr.
1187         * cp-tree.h (unqualified_name_lookup_error,
1188         unqualified_fn_lookup_error): Adjust declarations.
1189         * semantics.c (perform_koenig_lookup): Adjust
1190         unqualified_fn_lookup_error call, pass the location of
1191         the identifier too as part of a cp_expr.
1192
1193 2016-05-30  Paolo Carlini  <paolo.carlini@oracle.com>
1194
1195         PR c++/71099
1196         * parser.c (cp_parser_function_specifier_opt): Use current_class_type
1197         to improve the diagnostic about wrong uses of 'virtual'.
1198
1199 2016-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
1200
1201         PR c++/71105
1202         * lambda.c (maybe_add_lambda_conv_op): Early return also when
1203         LAMBDA_EXPR_DEFAULT_CAPTURE_MODE != CPLD_NONE.
1204
1205 2016-05-28  Ville Voutilainen  <ville.voutilainen@gmail.com>
1206
1207         Revert:
1208         PR c++/69855
1209         * name-lookup.c (pushdecl_maybe_friend_1): Push local function
1210         decls into the global scope after stripping template bits
1211         and setting DECL_ANTICIPATED.
1212
1213 2016-05-27  Paolo Carlini  <paolo.carlini@oracle.com>
1214
1215         PR c++/60385
1216         * name-lookup.c (push_namespace): Return bool, false when pushdecl
1217         fails.
1218         * name-lookup.h (push_namespace): Adjust declaration.
1219         * parser.c (cp_parser_namespace_definition): Check push_namespace
1220         return value.
1221
1222 2016-05-27  Ville Voutilainen  <ville.voutilainen@gmail.com>
1223
1224         PR c++/69855
1225         * name-lookup.c (pushdecl_maybe_friend_1): Push local function
1226         decls into the global scope after stripping template bits
1227         and setting DECL_ANTICIPATED.
1228
1229 2016-05-26  Jakub Jelinek  <jakub@redhat.com>
1230
1231         * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_SCHEDULE>: Warn
1232         if OMP_CLAUSE_SCHEDULE_CHUNK_EXPR is known not to be positive.
1233
1234 2016-05-26  Patrick Palka  <ppalka@gcc.gnu.org>
1235
1236         PR c++/70822
1237         PR c++/70106
1238         * cp-tree.h (REF_PARENTHESIZED_P): Make this flag apply to
1239         SCOPE_REFs too.
1240         * pt.c (tsubst_qualified_id): If REF_PARENTHESIZED_P is set
1241         on the qualified_id then propagate it to the resulting
1242         expression.
1243         (do_auto_deduction): Check REF_PARENTHESIZED_P on SCOPE_REFs
1244         too.
1245         * semantics.c (force_paren_expr): If given a SCOPE_REF, just set
1246         its REF_PARENTHESIZED_P flag.
1247
1248 2016-05-25  Jason Merrill  <jason@redhat.com>
1249
1250         PR c++/71173
1251         PR c++/70522
1252         * cp-tree.h (enum tag_types): Add scope_type.
1253         * parser.c (cp_parser_class_name): Use scope_type.
1254         (prefer_type_arg): Handle scope_type.
1255         (cp_parser_lookup_name): Use prefer_type_arg.
1256         * name-lookup.c (lookup_qualified_name): Change bool is_type_p to
1257         int prefer_type, use lookup_flags.
1258         * name-lookup.h: Adjust.
1259
1260 2016-05-24  Cesar Philippidis  <cesar@codesourcery.com>
1261
1262         * parser.c (cp_parser_oacc_declare): Add support for
1263         GOMP_MAP_FIRSTPRIVATE_POINTER.
1264         * semantics.c (handle_omp_array_sections_1): Replace bool is_omp
1265         argument with enum c_omp_region_type ort.  Don't privatize OpenACC
1266         non-static members.
1267         (handle_omp_array_sections): Replace bool is_omp argument with enum
1268         c_omp_region_type ort.  Update call to handle_omp_array_sections_1.
1269         (finish_omp_clauses): Add specific errors and warning messages for
1270         OpenACC.  Use firsrtprivate pointers for OpenACC subarrays.  Update
1271         call to handle_omp_array_sections.
1272
1273 2016-05-24  Jason Merrill  <jason@redhat.com>
1274
1275         PR c++/70584
1276         * cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold
1277         returns a decl.
1278         (cp_fold) [INDIRECT_REF]: Don't fold to an rvalue.
1279
1280 2016-05-24  Martin Sebor  <msebor@redhat.com>
1281
1282         PR c++/71147
1283         * decl.c (layout_var_decl, grokdeclarator): Use complete_or_array_type_p.
1284         * pt.c (instantiate_class_template_1): Try to complete the element
1285         type of a flexible array member.
1286         (can_complete_type_without_circularity): Handle arrays of unknown bound.
1287         * typeck.c (complete_type): Also complete the type of the elements of
1288         arrays with an unspecified bound.
1289
1290 2016-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
1291
1292         PR c++/69872
1293         * typeck2.c (check_narrowing): Check pedwarn return value.
1294
1295 2016-05-24  Jakub Jelinek  <jakub@redhat.com>
1296
1297         PR c++/71257
1298         * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_LINEAR>:
1299         For OMP_CLAUSE_LINEAR_REF don't require type to be
1300         integral or pointer.
1301
1302 2016-05-24  Richard Biener  <rguenther@suse.de>
1303
1304         PR middle-end/70434
1305         PR c/69504
1306         * expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.
1307         * constexpr.c (cxx_eval_array_reference): Handle indexed
1308         vectors.
1309         * typeck.c (cp_build_array_ref): Adjust.
1310
1311 2016-05-23  Jason Merrill  <jason@redhat.com>
1312
1313         PR c++/70344
1314         * constexpr.c (cxx_eval_call_expression): Check for
1315         fun == current_function_decl again.
1316
1317         PR c++/70584
1318         * cp-gimplify.c (cp_fold) [INDIRECT_REF]: Call
1319         maybe_undo_parenthesized_ref.
1320
1321         PR c++/70735
1322         * pt.c (tsubst_copy): Just return a local variable from
1323         non-template context.  Don't call rest_of_decl_compilation for
1324         duplicated static locals.
1325         (tsubst_decl): Set DECL_CONTEXT of local static from another
1326         function.
1327
1328 2016-05-23  Paolo Carlini  <paolo.carlini@oracle.com>
1329
1330         PR c++/70972
1331         * method.c (forward_parm): Use cp_build_reference_type.
1332
1333 2016-05-23  Paolo Carlini  <paolo.carlini@oracle.com>
1334
1335         PR c++/69095
1336         * parser.c (cp_parser_initializer): Use check_for_bare_parameter_packs.
1337
1338 2016-05-23  Paolo Carlini  <paolo.carlini@oracle.com>
1339
1340         * pt.c (check_for_bare_parameter_packs): Improve error message
1341         location for expressions.
1342
1343 2016-05-20  Nathan Sidwell  <nathan@acm.org>
1344
1345         * constexpr.c (cxx_bind_parameters_in_call): Avoid gratuitous if
1346         ... goto.
1347         (cxx_eval_call_expression): Fix comment grammar.
1348
1349 2016-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
1350
1351         PR c++/70572
1352         * decl.c (cp_finish_decl): Check do_auto_deduction return value
1353         and return immediately in case of erroneous code.
1354
1355 2016-05-19  Marek Polacek  <polacek@redhat.com>
1356
1357         PR c++/71075
1358         * pt.c (unify_template_argument_mismatch): Use %qE instead of %qD.
1359
1360 2016-05-19  Jason Merrill  <jason@redhat.com>
1361
1362         PR c++/10200
1363         * pt.c (fn_type_unification): Add outer template args if needed.
1364         (type_unification_real): Handle getting full args.
1365
1366 2016-05-19  David Malcolm  <dmalcolm@redhat.com>
1367
1368         PR c++/71184
1369         * parser.c (cp_parser_operator): For array new/delete, check that
1370         cp_parser_require returned a non-NULL token before dereferencing
1371         it.
1372
1373 2016-05-19  Bernd Edlinger  <bernd.edlinger@hotmail.de>
1374
1375         * decl.c (finish_enum_value_list): Use the specified mode.
1376
1377 2016-05-18  Jason Merrill  <jason@redhat.com>
1378
1379         * pt.c (value_dependent_expression_p): Tweak new cases to better
1380         match the wording in the standard.
1381
1382 2016-05-18  Paolo Carlini  <paolo.carlini@oracle.com>
1383
1384         PR c++/69793
1385         * parser.c (cp_parser_template_id): Don't call cp_lexer_peek_nth_token
1386         when the previous cp_lexer_peek_token returns CPP_EOF.
1387
1388 2016-05-18  Paolo Carlini  <paolo.carlini@oracle.com>
1389
1390         PR c++/70466
1391         * call.c (convert_like_real): Check that we are actually converting
1392         from an init list.
1393
1394 2016-05-16  Matthew Wahab  <matthew.wahab@arm.com>
1395
1396         * decl.c (grokdeclarator): Remove errmsg and use of
1397         targetm.invalid_return_type.
1398         (grokparms): Remove errmsg and use of
1399         targetm.invalid_parameter_type.
1400
1401 2016-05-13  Jason Merrill  <jason@redhat.com>
1402
1403         PR c++/10200
1404         PR c++/69753
1405         * pt.c (tsubst_decl): Use uses_template_parms.
1406         (instantiate_template_1): Handle non-dependent calls in templates.
1407         (value_dependent_expression_p): Handle BASELINK, FUNCTION_DECL.
1408         (type_dependent_expression_p): Only consider innermost template args.
1409         (dependent_template_arg_p): Check enclosing class of a template here.
1410         (dependent_template_p): Not here.
1411         (type_dependent_object_expression_p): New.
1412         * typeck.c (finish_class_member_access_expr): Use it.
1413         * parser.c (cp_parser_postfix_expression): Use it.
1414         (cp_parser_postfix_dot_deref_expression): Use it.  Use comptypes
1415         to detect the current instantiation.
1416         (cp_parser_lookup_name): Really implement DR 141.
1417         * search.c (lookup_field_r): Prefer a dependent using-declaration.
1418         (any_dependent_bases_p): Split out from...
1419         * name-lookup.c (do_class_using_decl): ...here.
1420         * call.c (build_new_method_call_1): Use it.
1421         * semantics.c (finish_call_expr): 'this' doesn't make a call dependent.
1422         * tree.c (non_static_member_function_p): Remove.
1423         * typeck2.c (build_x_arrow): Use dependent_scope_p.
1424
1425         * parser.c (cp_parser_postfix_dot_deref_expression): Use
1426         complete_type_or_else for unknown_type_node, too.
1427
1428 2016-05-12  Marek Polacek  <polacek@redhat.com>
1429
1430         PR c/70756
1431         * call.c (build_new_op_1): Pass LOC to cp_build_modify_expr.
1432         * cp-tree.h (cp_build_modify_expr): Update declaration.
1433         (cxx_incomplete_type_error, cxx_incomplete_type_diagnostic): New inline
1434         overloads.
1435         * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Pass INPUT_LOCATION to
1436         cp_build_modify_expr.
1437         * decl2.c (set_guard): Likewise.
1438         (handle_tls_init): Likewise.
1439         * init.c (perform_member_init): Likewise.
1440         (expand_virtual_init): Likewise.
1441         (build_new_1): Likewise.
1442         (build_vec_delete_1): Likewise.
1443         (get_temp_regvar): Likewise.
1444         (build_vec_init): Likewise.
1445         * method.c (do_build_copy_assign): Likewise.
1446         (assignable_expr): Likewise.
1447         * semantics.c (finish_omp_for): Likewise.
1448         * typeck.c (cp_build_binary_op): Pass LOCATION to pointer_diff and
1449         cp_pointer_int_sum.
1450         (cp_pointer_int_sum): Add location parameter.  Pass it down to
1451         pointer_int_sum.
1452         (pointer_diff): Add location parameter.  Use it.
1453         (build_modify_expr): Pass location down to cp_build_modify_expr.
1454         (cp_build_modify_expr): Add location parameter.  Use it.
1455         (build_x_modify_expr): Pass location down to cp_build_modify_expr.
1456         * typeck2.c (cxx_incomplete_type_diagnostic,
1457         cxx_incomplete_type_error): Add location parameter.
1458
1459 2016-05-11  Marek Polacek  <polacek@redhat.com>
1460
1461         PR c++/71024
1462         * decl.c (duplicate_decls): Call diagnose_mismatched_decls.
1463
1464 2016-05-05  Jakub Jelinek  <jakub@redhat.com>
1465
1466         * parser.c (cp_parser_selection_statement): For RID_SWITCH,
1467         pass if_p instead of NULL to cp_parser_implicitly_scoped_statement.
1468
1469 2016-05-04  Marek Polacek  <polacek@redhat.com>
1470
1471         * parser.c (cp_parser_selection_statement): Replace OPT_Wparentheses
1472         with OPT_Wdangling_else.
1473
1474 2016-05-03  Martin Sebor  <msebor@redhat.com>
1475
1476         PR c++/66561
1477         * tree.c (builtin_valid_in_constant_expr_p): Treat BUILT_IN_FILE,
1478         BUILT_IN_FUNCTION, and BUILT_IN_LINE as constant expressions.
1479
1480 2016-05-03  Marek Polacek  <polacek@redhat.com>
1481
1482         PR c/70859
1483         * call.c (build_cxx_call): Pass location and vNULL down to
1484         check_builtin_function_arguments.
1485
1486 2016-05-03  Richard Biener  <rguenther@suse.de>
1487
1488         * Make-lang.in (cc1plus-checksum.c): For stage-final re-use
1489         the checksum from the previous stage.
1490
1491 2016-05-02  David Malcolm  <dmalcolm@redhat.com>
1492
1493         PR c++/62314
1494         * typeck.c (finish_class_member_access_expr): When
1495         giving a hint about a possibly-misspelled member name,
1496         add a fix-it replacement hint.
1497
1498 2016-05-02  Cesar Philippidis  <cesar@codesourcery.com>
1499
1500         * cp-tree.h (finish_omp_clauses): Update prototype.
1501         * parser.c (cp_parser_oacc_all_clauses): Update call to
1502         finish_omp_clauses.
1503         (cp_parser_omp_all_clauses): Likewise.
1504         (cp_parser_omp_for_loop): Likewise.
1505         (cp_omp_split_clauses): Likewise.
1506         (cp_parser_oacc_cache): Likewise.
1507         (cp_parser_oacc_loop): Likewise.
1508         (cp_parser_omp_declare_target):
1509         (cp_parser_cilk_simd_all_clauses): Likewise.
1510         (cp_parser_cilk_for): Likewise.
1511         * pt.c (tsubst_omp_clauses): Replace allow_fields and declare_simd
1512         arguments with enum c_omp_region_type ort.
1513         (tsubst_omp_clauses): Update calls to finish_omp_clauses.
1514         (tsubst_omp_attribute): Update calls to tsubst_omp_clauses.
1515         (tsubst_omp_for_iterator): Update calls to finish_omp_clauses.
1516         (tsubst_expr): Update calls to tsubst_omp_clauses.
1517         * semantics.c (finish_omp_clauses): Replace bool arguments
1518         allow_fields, declare_simd, and is_cilk with bitmask ort.
1519         (finish_omp_for): Update call to finish_omp_clauses.
1520
1521 2016-05-02  David Malcolm  <dmalcolm@redhat.com>
1522
1523         PR c++/62314
1524         * parser.c (cp_parser_class_head): Capture the start location;
1525         use it to emit a fix-it insertion hint when complaining
1526         about missing "template <> " in explicit specializations.
1527
1528 2016-05-02  Richard Sandiford  <richard.sandiford@arm.com>
1529
1530         * init.c (build_new_1): Use shift operators instead of wi:: shifts.
1531
1532 2016-05-02  Richard Biener  <rguenther@suse.de>
1533
1534         * decl.c (grokdeclarator): Properly insert a DECL_EXPR for
1535         anonymous VLAs.
1536
1537 2016-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
1538
1539         PR c++/66644
1540         * class.c (check_field_decl): Remove final int* parameter, change
1541         the return type to bool; fix logic in order not to reject multiple
1542         initialized fields in anonymous struct.
1543         (check_field_decls): Adjust call.
1544
1545 2016-04-29  Cesar Philippidis  <cesar@codesourcery.com>
1546
1547         PR middle-end/70626
1548         * parser.c (cp_parser_oacc_loop): Don't augment mask with
1549         OACC_LOOP_CLAUSE_MASK.
1550         (cp_parser_oacc_kernels_parallel): Update call to
1551         c_oacc_split_loop_clauses.
1552
1553 2016-04-28  Jason Merrill  <jason@redhat.com>
1554
1555         Implement C++17 [[nodiscard]] attribute.
1556         PR c++/38172
1557         PR c++/54379
1558         * parser.c (cp_parser_std_attribute): Handle [[nodiscard]].
1559         * tree.c (handle_nodiscard_attribute): New.
1560         (cxx_attribute_table): Add [[nodiscard]].
1561         * cvt.c (cp_get_fndecl_from_callee, cp_get_callee_fndecl): New.
1562         (maybe_warn_nodiscard): New.
1563         (convert_to_void): Call it.
1564
1565         * cvt.c (cp_get_callee): New.
1566         * constexpr.c (get_function_named_in_call): Use it.
1567         * cxx-pretty-print.c (postfix_expression): Use it.
1568         * except.c (check_noexcept_r): Use it.
1569         * method.c (check_nontriv): Use it.
1570         * tree.c (build_aggr_init_expr): Use it.
1571         * cp-tree.h: Declare it.
1572
1573 2015-04-27  Ryan Burn  <contact@rnburn.com>
1574             Jeff Law  <law@redhat.com>
1575
1576         PR c++/69024
1577         PR c++/68997
1578         * cp-gimplify.c (cp_gimplify_expr): Call cilk_cp_detect_spawn_and_unwrap
1579         instead of cilk_detect_spawn_and_unwrap.
1580         * cp-cilkplus.c (is_conversion_operator_function_decl_p): New.
1581         (find_spawn): New.
1582         (cilk_cp_detect_spawn_and_unwrap): New.
1583         * lambda.c: Include cp-cilkplus.h.
1584         * parser.c: Include cp-cilkplus.h.
1585         * cp-tree.h (cpp_validate_cilk_plus_loop): Move prototype into...
1586         * cp-cilkpus.h: New file.
1587
1588 2016-04-27  Nathan Sidwell  <nathan@acm.org>
1589
1590         * constexpr.c (get_fundef_copy): Use the original function for
1591         non-recursive evaluations.
1592         (save_fundef_copy): Always expect a slot to be available.
1593
1594 2016-04-27  Bernd Schmidt  <bschmidt@redhat.com>
1595
1596         * parser.c (cp_parser_postfix_expression): Call
1597         warn_for_memset instead of warning directly here.
1598
1599 2016-04-26  Patrick Palka  <ppalka@gcc.gnu.org>
1600
1601         PR c++/70241
1602         * decl.c (build_enumerator): Set current_access_specifier when
1603         declaring an enumerator belonging to an in-class enumeration.
1604         * parser.c (cp_parser_check_access_in_redecleration): Also
1605         consider in-class enumerations.
1606
1607 2016-04-26  Marek Polacek  <polacek@redhat.com>
1608
1609         PR c++/70744
1610         * call.c (build_conditional_expr_1): Call cp_stabilize_reference
1611         instead of stabilize_reference.
1612         (build_over_call): Likewise.
1613         * cp-tree.h (cp_stabilize_reference): Declare.
1614         * tree.c (cp_stabilize_reference): New function.
1615         * typeck.c (cp_build_unary_op): Call cp_stabilize_reference instead of
1616         stabilize_reference.
1617         (unary_complex_lvalue): Likewise.
1618         (cp_build_modify_expr): Likewise.
1619
1620 2016-04-26  Jakub Jelinek  <jakub@redhat.com>
1621
1622         PR bootstrap/70704
1623         * pt.c (build_non_dependent_expr): Use flag_checking > 1 instead of
1624         just flag_checking.
1625
1626 2016-04-25  Jason Merrill  <jason@redhat.com>
1627
1628         * tree.c (std_attribute_table): New.
1629         (init_tree): Register it.
1630
1631 2016-04-22  Jason Merrill  <jason@redhat.com>
1632
1633         * parser.c (cp_parser_perform_range_for_lookup): Decay the array.
1634
1635 2016-04-21  Patrick Palka  <ppalka@gcc.gnu.org>
1636
1637         * name-lookup.c (free_saved_scope): New free list of saved_scope
1638         structures.
1639         (push_to_top_level): Attempt to reuse a saved_scope struct
1640         from free_saved_scope instead of allocating a new one each time.
1641         (pop_from_top_level_1): Chain the now-unused saved_scope structure
1642         onto free_saved_scope.
1643
1644 2016-04-21  Paolo Carlini  <paolo.carlini@oracle.com>
1645
1646         PR c++/70540
1647         * semantics.c (process_outer_var_ref): Unconditionally return
1648         error_mark_node when mark_used returns false.
1649
1650 2016-04-21  Marek Polacek  <polacek@redhat.com>
1651
1652         PR c++/70513
1653         * parser.c (cp_parser_enum_specifier): Check and possibly error for
1654         extra qualification.
1655
1656 2016-04-20  Nathan Sidwell  <nathan@acm.org>
1657
1658         PR c++/55635
1659         * init.c (build_vec_delete_1): Protect operator delete call in try
1660         finally.
1661         (build_delete): Likewise.
1662         * optimize.c (build_delete_destructor_body): Likewise.
1663
1664 2016-04-20  Ilya Verbin  <ilya.verbin@intel.com>
1665
1666         PR c++/69363
1667         * cp-tree.h (finish_omp_clauses): Add new default argument.
1668         * parser.c (cp_parser_cilk_simd_all_clauses): Use finish_omp_clauses
1669         instead of c_finish_cilk_clauses.
1670         * semantics.c (finish_omp_clauses): Add new argument.  Allow
1671         floating-point variables in the linear clause for Cilk Plus.
1672
1673 2016-04-20  Nathan Sidwell  <nathan@acm.org>
1674
1675         * semantics.c (finish_compound_lteral): Don't wrap VECTOR_TYPEs in a
1676         TARGET_EXPR.
1677
1678 2016-04-19  Jason Merrill  <jason@redhat.com>
1679
1680         PR c++/66543
1681         * expr.c (mark_exp_read): Handle NON_DEPENDENT_EXPR.
1682         * pt.c (make_pack_expansion): Call mark_exp_read.
1683         * semantics.c (finish_id_expression): Call mark_type_use in
1684         unevaluated context.
1685
1686         DR 2137
1687         * call.c (implicit_conversion): If we choose a copy constructor
1688         for list-initialization from the same type, the conversion is an
1689         exact match.
1690
1691         * constexpr.c (breaks): Handle EXIT_EXPR.
1692         (cxx_eval_loop_expr): Handle COMPOUND_EXPR body.
1693         (cxx_eval_constant_expression): Handle EXIT_EXPR, improve handling
1694         of COMPOUND_EXPR.
1695
1696         PR c++/68206
1697         PR c++/68530
1698         * constexpr.c (potential_constant_expression_1): Handle LOOP_EXPR
1699         and GOTO_EXPR.
1700
1701         * pt.c (tsubst_expr): Remove shadowing declaration.
1702         (tsubst_pack_expansion): Add assert.
1703
1704         * semantics.c (add_decl_expr): Use DECL_SOURCE_LOCATION.
1705
1706         PR c++/70522
1707         * name-lookup.c (qualified_lookup_using_namespace): Look through
1708         hidden names.
1709
1710 2016-04-18  Michael Matz  <matz@suse.de>
1711
1712         * class.c (build_vtable): Use SET_DECL_ALIGN and SET_TYPE_ALIGN.
1713         (layout_class_type): Ditto.
1714         (build_base_field): Use SET_DECL_ALIGN.
1715         (fixup_attribute_variants): Use SET_TYPE_ALIGN.
1716         * decl.c (duplicate_decls): Use SET_DECL_ALIGN.
1717         (record_unknown_type): Use SET_TYPE_ALIGN.
1718         (cxx_init_decl_processing): Ditto.
1719         (copy_type_enum): Ditto.
1720         (grokfndecl): Use SET_DECL_ALIGN.
1721         (copy_type_enum): Use SET_TYPE_ALIGN.
1722         * pt.c (instantiate_class_template_1): Use SET_TYPE_ALIGN.
1723         (tsubst): Ditto.
1724         * tree.c (cp_build_qualified_type_real): Use SET_TYPE_ALIGN.
1725         * lambda.c (maybe_add_lambda_conv_op): Use SET_DECL_ALIGN.
1726         * method.c (implicitly_declare_fn): Use SET_DECL_ALIGN.
1727         * rtti.c (emit_tinfo_decl): Ditto.
1728
1729 2016-04-18  Jason Merrill  <jason@redhat.com>
1730
1731         PR c++/70690
1732         PR c++/70528
1733         * class.c (type_maybe_constexpr_default_constructor): New.
1734         (type_has_constexpr_default_constructor): Revert.
1735
1736 2016-04-16  Sandra Loosemore  <sandra@codesourcery.com>
1737
1738         PR target/1078
1739
1740         * tree.c (cxx_attribute_table): Remove "com_interface" entry.
1741         (handle_com_interface_attribute): Delete.
1742
1743 2016-04-15  Jason Merrill  <jason@redhat.com>
1744
1745         PR c++/70685
1746         * constexpr.c (get_fundef_copy): Handle null *slot.
1747
1748         PR c++/70505
1749         * pt.c (tsubst_baselink): Give the new TEMPLATE_ID_EXPR
1750         unknown_type_node, too.
1751
1752 2016-04-15  Jason Merrill  <jason@redhat.com>
1753             Nathan Sidwell  <nathan@acm.org>
1754
1755         PR c++/70594
1756         * constexpr.c (constexpr_call_table): Preserve in GC.
1757         (struct fundef_copy, struct fundef_copies_table_t):     Delete.
1758         (fundef_copies_table): Preserve in GC. Change to pointer to
1759         tree->tree hash.
1760         (maybe_initialize_fundef_copies_table): Adjust.
1761         (get_fundef_copy): Return a TREE_LIST.  Use non-inserting search.
1762         (save_fundef_copy): Adjust for a TREE_LIST.
1763         (cxx_eval_call_expression): Adjust for a fundef_copy TREE_LIST.
1764         (fini_constexpr): New.
1765         * cp-tree.h (fini_constexpr): Declare.
1766         * decl2.c (c_parse_final_cleanups): Call fini_constexpr.
1767
1768 2016-04-15  Jakub Jelinek  <jakub@redhat.com>
1769
1770         PR c/70436
1771         * parser.c (cp_parser_pragma): Add IF_P argument, pass it down
1772         where needed.
1773         (cp_parser_declaration_seq_opt, cp_parser_member_specification_opt,
1774         cp_parser_objc_interstitial_code, cp_parser_omp_declare_simd,
1775         cp_parser_oacc_routine): Adjust cp_parser_pragma callers.
1776         (cp_parser_statement): Likewise.  Adjust cp_parser_cilk_for caller.
1777         (cp_parser_omp_structured_block): Add IF_P argument, pass it down to
1778         cp_parser_statement.
1779         (cp_parser_oacc_data, cp_parser_oacc_host_data, cp_parser_oacc_loop,
1780         cp_parser_oacc_kernels_parallel, cp_parser_omp_critical,
1781         cp_parser_omp_simd, cp_parser_omp_for, cp_parser_omp_master,
1782         cp_parser_omp_ordered, cp_parser_omp_parallel, cp_parser_omp_single,
1783         cp_parser_omp_task, cp_parser_omp_taskgroup, cp_parser_omp_distribute,
1784         cp_parser_omp_teams, cp_parser_omp_target_data, cp_parser_omp_target,
1785         cp_parser_omp_taskloop, cp_parser_omp_construct,
1786         cp_parser_cilk_grainsize, cp_parser_cilk_simd, cp_parser_cilk_for):
1787         Add IF_P argument, pass it down where needed.
1788         (cp_parser_omp_for_loop): Likewise.  Clear IF_P if nbraces.
1789         (cp_parser_omp_sections_scope): Adjust cp_parser_omp_structured_block
1790         calls.
1791
1792 2016-04-14  Jason Merrill  <jason@redhat.com>
1793
1794         PR c++/70494
1795         * decl.c (cxx_maybe_build_cleanup): Handle non-decls.
1796         * typeck2.c (split_nonconstant_init_1): Use it.
1797
1798         PR c++/70528
1799         * class.c (type_has_constexpr_default_constructor): Return true
1800         for an implicitly declared constructor.
1801
1802         PR c++/70622
1803         * parser.c (cp_parser_init_declarator): Add auto_result parm.
1804         (cp_parser_simple_declaration): Pass it.
1805         (strip_declarator_types): New.
1806
1807         PR c++/70543
1808         * pt.c (value_dependent_expression_p) [VAR_DECL]: A type-dependent
1809         initializer also makes the variable value-dependent.
1810
1811         PR c++/70648
1812         * constexpr.c (cxx_eval_store_expression): Also copy
1813         CONSTRUCTOR_NO_IMPLICIT_ZERO.
1814
1815 2016-04-14  Martin Sebor  <msebor@redhat.com>
1816
1817         PR c++/69517
1818         PR c++/70019
1819         PR c++/70588
1820         * cp-tree.h, decl.c, init.c, typeck2.c: Revert.
1821
1822 2016-04-14  Jason Merrill  <jason@redhat.com>
1823
1824         * call.c, decl.c, error.c, cp-tree.h, decl.c: Revert empty
1825         parameter ABI change.
1826
1827 2016-04-13  Martin Sebor  <msebor@redhat.com>
1828
1829         PR c++/69517
1830         PR c++/70019
1831         PR c++/70588
1832         * cp-tree.h (throw_bad_array_length, build_vla_check): Declare new
1833         functions.
1834         * decl.c (check_initializer, cp_finish_decl): Call them.
1835         (reshape_init_r): Reject incompletely braced intializer-lists
1836         for VLAs.
1837         * init.c (throw_bad_array_length, build_vla_check)
1838         (build_vla_size_check, build_vla_init_check): Define new functions.
1839         * typeck2.c (split_nonconstant_init_1): Use variably_modified_type_p()
1840         to detect a VLA.
1841         (store_init_value): Same.
1842
1843 2016-04-13  Jason Merrill  <jason@redhat.com>
1844
1845         Warn about empty parameter ABI with -Wabi=9.
1846         * call.c (empty_class_msg, mark_for_abi_warning)
1847         (warn_empty_class_abi): New.
1848         (build_call_a): Use them.
1849         * decl.c (store_parm_decls): Use mark_for_abi_warning.
1850         * error.c (pp_format_to_string): New.
1851
1852         Pass empty class parameters like C.
1853         * call.c (pass_as_empty_struct, empty_class_arg): New.
1854         (type_passed_as, build_x_va_arg): Use pass_as_empty_struct.
1855         (build_call_a): Use empty_class_arg.
1856         * cp-tree.h (CPTI_EMPTY_STRUCT, empty_struct_type): New.
1857         * decl.c (cxx_init_decl_processing): Create empty_struct_type.
1858
1859 2016-04-13  Jason Merrill  <jason@redhat.com>
1860
1861         PR c++/70627
1862         * decl.c (start_enum): Don't change an existing ENUM_UNDERLYING_TYPE.
1863
1864 2016-04-13  Paolo Carlini  <paolo.carlini@oracle.com>
1865
1866         PR c++/70635
1867         * pt.c (resolve_typename_type): Fix typos in infinite recursion
1868         avoidance mechanism.
1869
1870 2016-04-13  Jason Merrill  <jason@redhat.com>
1871
1872         PR c++/70634
1873         * pt.c (instantiation_dependent_uneval_expression_p): Split out
1874         from instantiation_dependent_expression_p.
1875         (value_dependent_expression_p): Use it for unevaluated operands.
1876         (instantiation_dependent_r): Don't check value-dependence.
1877         (instantiation_dependent_expression_p): Check
1878         value-dependence of the expression as a whole.
1879         * cp-tree.h: Declare instantiation_dependent_uneval_expression_p.
1880         * semantics.c (finish_decltype_type): Use it.
1881
1882         * constexpr.c (potential_nondependent_constant_expression): New.
1883         (potential_nondependent_static_init_expression): New.
1884         (maybe_constant_value_1, fold_non_dependent_expr)
1885         (maybe_constant_init): Use them.
1886         * pt.c (instantiate_non_dependent_expr_sfinae)
1887         (instantiate_non_dependent_or_null, convert_nontype_argument): Use
1888         them.
1889         * cp-tree.h: Declare them.
1890
1891 2016-04-13  Jakub Jelinek  <jakub@redhat.com>
1892
1893         PR c++/70594
1894         * decl.c (pop_labels_1): Removed.
1895         (note_label, sort_labels): New functions.
1896         (pop_labels): During named_labels traversal, just push the slot
1897         pointers into a vector, then qsort it by DECL_UID and only then
1898         call pop_label and chain it into BLOCK_VARS.
1899
1900 2016-04-13  Jason Merrill  <jason@redhat.com>
1901
1902         PR c++/70615
1903         * cp-gimplify.c (cp_genericize_r): Expand PTRMEM_CST here.
1904         (cp_gimplify_expr): Not here.
1905
1906 2016-04-12  Patrick Palka  <ppalka@gcc.gnu.org>
1907
1908         PR c++/70610
1909         * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Unconditionally
1910         recurse into it.
1911         * typeck.c (build_x_conditional_expr): Unconditionally remember
1912         that the result is an lvalue or xvalue.
1913
1914 2016-04-12  Jason Merrill  <jason@redhat.com>
1915
1916         * class.c (is_really_empty_class): A zero-length array is empty.
1917         An unnamed bit-field doesn't make a class non-empty.
1918
1919 2016-04-12  Paolo Carlini  <paolo.carlini@oracle.com>
1920
1921         PR c++/68722
1922         * parser.c (cp_parser_cache_defarg): When file ends in default
1923         argument simply return error_mark_node.
1924
1925 2016-04-12  Nathan Sidwell  <nathan@acm.org>
1926
1927         PR c++/70501
1928         * constexpr.c (cxx_eval_bare_aggregate): Handle VECTOR_TYPE
1929         similarly to PMF.
1930
1931 2016-04-11  Jason Merrill  <jason@redhat.com>
1932
1933         * mangle.c (decl_is_template_id): The template itself counts as a
1934         template-id.
1935
1936 2016-04-08  Patrick Palka  <ppalka@gcc.gnu.org>
1937
1938         PR c++/70590
1939         PR c++/70452
1940         * constexpr.c (cxx_eval_outermost_expression): Call unshare_expr
1941         on the result if it's not a CONSTRUCTOR.
1942
1943 2016-04-07  Patrick Palka  <ppalka@gcc.gnu.org>
1944
1945         PR c++/70452
1946         * constexpr.c (find_constructor): New function.
1947         (unshare_constructor): New function.
1948         (cxx_eval_call_expression): Use unshare_constructor instead of
1949         unshare_expr.
1950         (find_array_ctor_elt): Likewise.
1951         (cxx_eval_vec_init_1): Likewise.
1952         (cxx_eval_store_expression): Likewise.
1953         (cxx_eval_constant_expression): Likewise.
1954
1955 2016-04-06  Patrick Palka  <ppalka@gcc.gnu.org>
1956
1957         PR c/70436
1958         * cp-tree.h (FOR_EACH_CLONE): Restructure macro to avoid
1959         potentially generating a future -Wparentheses warning in its
1960         callers.
1961
1962 2016-04-06  Jason Merrill  <jason@redhat.com>
1963
1964         * class.c (check_abi_tags): Fix function template handling.
1965
1966 2016-04-05  Nathan Sidwell  <nathan@acm.org>
1967
1968         PR c++/70512
1969         * class.c (fixup_may_alias): New.
1970         (fixup_attribute_variants): Call it.
1971
1972 2016-04-05  Patrick Palka  <ppalka@gcc.gnu.org>
1973
1974         PR c++/70452
1975         * constexpr.c (struct fundef_copy): New struct.
1976         (struct fundef_copies_table_t): New struct.
1977         (fundef_copies_table): New static variable.
1978         (maybe_initialize_fundef_copies_table): New static function.
1979         (get_fundef_copy): New static function.
1980         (save_fundef_copy): New static function.
1981         (cxx_eval_call_expression): Use get_fundef_copy, and
1982         save_fundef_copy.
1983         (constexpr_call_table): Add "deletable" GTY marker.
1984
1985 2016-04-05  Patrick Palka  <ppalka@gcc.gnu.org>
1986
1987         PR c++/70452
1988         * cp-tree.h (class cache_map): Remove.
1989         * constexpr.c (cv_cache): Change type to
1990         GTY((deletable)) hash_map<tree, tree> *.
1991         (maybe_constant_value): Adjust following the change to cv_cache.
1992         (clear_cv_cache): New static function.
1993         (clear_cv_and_fold_caches): Use it.
1994         * cp-gimplify.c (fold_cache): Change type to
1995         GTY((deletable)) hash_map<tree, tree> *.
1996         (clear_fold_cache): Adjust following the change to fold_cache.
1997         (cp_fold): Likewise.
1998
1999 2016-04-02  Martin Sebor  <msebor@redhat.com>
2000
2001         PR c++/67376
2002         PR c++/70170
2003         PR c++/70172
2004         PR c++/70228
2005         * constexpr.c (diag_array_subscript): New function.
2006         (cxx_eval_array_reference): Detect out of bounds array indices.
2007
2008 2016-04-01  Jason Merrill  <jason@redhat.com>
2009
2010         PR c++/70449
2011         PR c++/70344
2012         * pt.c (instantiate_decl): A function isn't fully defined if
2013         DECL_INITIAL is error_mark_node.
2014         * constexpr.c (cxx_eval_call_expression): Likewise.
2015
2016 2016-04-01  Jakub Jelinek  <jakub@redhat.com>
2017             Marek Polacek  <polacek@redhat.com>
2018
2019         PR c++/70488
2020         * init.c (warn_placement_new_too_small): Test whether
2021         DECL_SIZE_UNIT or TYPE_SIZE_UNIT are integers that fit into uhwi.
2022
2023 2016-04-01  Nathan Sidwell  <nathan@acm.org>
2024
2025         PR c++/68475
2026         * decl.c (check_redeclaration_exception_specification): Check
2027         regardless of -fno-exceptions.
2028         * typeck2.c (merge_exception_specifiers): Relax assert by checking
2029         flag_exceptions too.
2030
2031 2016-03-31  Nathan Sidwell  <nathan@acm.org>
2032
2033         * decl.c (start_preparsed_function): Remove unnecessary bracing.
2034         (finish_destructor_body): Don't emit operator delete here.
2035
2036 2016-03-31  Nathan Sidwell  <nathan@acm.org>
2037
2038         PR c++/70393
2039         * constexpr.c (cxx_eval_store_expression): Keep CONSTRUCTOR
2040         elements in field order.
2041
2042 2016-03-31  Marek Polacek  <polacek@redhat.com>
2043
2044         PR c/70297
2045         * decl.c (duplicate_decls): Also set TYPE_ALIGN and TYPE_USER_ALIGN.
2046
2047 2016-03-31  Richard Biener  <rguenther@suse.de>
2048
2049         PR c++/70430
2050         * typeck.c (cp_build_binary_op): Fix operand order of vector
2051         conditional in truth op handling.
2052
2053 2016-03-29  Jason Merrill  <jason@redhat.com>
2054
2055         PR c++/70353
2056         * decl.c (make_rtl_for_nonlocal_decl): Don't defer local statics
2057         in constexpr functions.
2058
2059 2016-03-28  Jason Merrill  <jason@redhat.com>
2060
2061         PR c++/70422
2062         PR c++/64266
2063         PR c++/70353
2064         * decl.c, pt.c, constexpr.c: Revert last patch.
2065
2066 2016-03-25  Jason Merrill  <jason@redhat.com>
2067             Martin Liška  <mliska@suse.cz>
2068
2069         PR c++/64266
2070         PR c++/70353
2071         Core issue 1962
2072         * decl.c (cp_fname_init): Decay the initializer to pointer.
2073         (cp_make_fname_decl): Set DECL_DECLARED_CONSTEXPR_P,
2074         DECL_VALUE_EXPR, DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2075         Don't call cp_finish_decl.
2076         * pt.c (tsubst_expr) [DECL_EXPR]: Set DECL_VALUE_EXPR,
2077         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.  Don't call cp_finish_decl.
2078         * constexpr.c (cxx_eval_constant_expression) [VAR_DECL]:
2079         Handle DECL_VALUE_EXPR.
2080
2081 2016-03-24  Jason Merrill  <jason@redhat.com>
2082
2083         PR c++/70386
2084         * constexpr.c (cxx_eval_bare_aggregate): Handle PMFs.
2085
2086         PR c++/70323
2087         * constexpr.c (cxx_eval_call_expression): Don't cache result if
2088         *overflow_p.
2089
2090 2016-03-24  Patrick Palka  <ppalka@gcc.gnu.org>
2091
2092         PR c++/62212
2093         * tree.c (build_cplus_array_type): Determine type-dependentess
2094         with uses_template_parms instead of with dependent_type_p.
2095
2096 2016-03-23  Patrick Palka  <ppalka@gcc.gnu.org>
2097
2098         PR c++/70347
2099         * typeck.c (process_init_constructor_union): If the initializer
2100         is empty, use the union's NSDMI if it has one.
2101
2102 2016-03-23  Patrick Palka  <ppalka@gcc.gnu.org>
2103
2104         PR c++/70332
2105         * pt.c (tsubst_copy) [PARM_DECL]: Handle the use of 'this' in an
2106         NSDMI that's part of an aggregrate initialization.
2107
2108 2016-03-23  Jakub Jelinek  <jakub@redhat.com>
2109
2110         PR c++/70001
2111         * constexpr.c (cxx_eval_vec_init_1): Reuse CONSTRUCTOR initializers
2112         for 1..max even for multi-dimensional arrays.  Call unshare_expr
2113         on it.
2114
2115         PR c++/70323
2116         * constexpr.c (cxx_eval_constant_expression): Diagnose overflow
2117         on TREE_OVERFLOW constants.
2118
2119         PR c++/70376
2120         * cp-gimplify.c (genericize_omp_for_stmt): Don't walk OMP_FOR_CLAUSES
2121         for OMP_TASKLOOP here.
2122         (cp_genericize_r): Handle OMP_TASKLOOP like OMP_TASK, except do call
2123         genericize_omp_for_stmt instead of cp_walk_tree on OMP_BODY.
2124
2125 2016-03-23  Alexandre Oliva  <aoliva@redhat.com>
2126             Jason Merrill  <jason@redhat.com>
2127             Jakub Jelinek  <jakub@redhat.com>
2128
2129         PR c++/69315
2130         * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): Remove.
2131         * decl.c (defer_mark_used_calls, deferred_mark_used_calls): Remove.
2132         (finish_function): Don't set or test them.
2133         * decl2.c (mark_used): Don't handle defer_mark_used_calls.
2134
2135 2016-03-23  Jason Merrill  <jason@redhat.com>
2136
2137         PR c++/70344
2138         * constexpr.c (cxx_eval_call_expression): Catch invalid recursion.
2139
2140 2016-03-23  Marek Polacek  <polacek@redhat.com>
2141
2142         PR c++/69884
2143         * pt.c (canonicalize_type_argument): Use OPT_Wignored_attributes.
2144
2145 2016-03-22  Ilya Enkovich  <enkovich.gnu@gmail.com>
2146
2147         * call.c (build_conditional_expr_1): Always use original
2148         condition type for vector type checks and build.
2149
2150 2016-03-22  Patrick Palka  <ppalka@gcc.gnu.org>
2151
2152         PR c++/70096
2153         * pt.c (tsubst_decl): Clear the DECL_MODE of the new decl.
2154
2155 2016-03-22  Patrick Palka  <ppalka@gcc.gnu.org>
2156
2157         PR c++/70204
2158         * constexpr.c (non_const_var_error): Check
2159         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2160
2161 2016-03-21  Richard Henderson  <rth@redhat.com>
2162
2163         PR c++/70273
2164         * decl.c (notice_forced_label_r): New.
2165         (cp_finish_decl): Use it.
2166
2167 2016-03-21  Jason Merrill  <jason@redhat.com>
2168
2169         PR c++/70285
2170         * cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields.
2171
2172 2016-03-18  Jason Merrill  <jason@redhat.com>
2173
2174         PR c++/70139
2175         * constexpr.c (cxx_eval_call_expression): Fix trivial copy.
2176
2177         PR c++/70147
2178         * class.c (vptr_via_virtual_p): New.
2179         (most_primary_binfo): Factor out of build_rtti_vtbl_entries.
2180         * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Don't clear
2181         a vptr from any virtual base in a not-in-charge 'structor.
2182
2183         * decl.c (build_clobber_this): Factor out of
2184         start_preparsed_function and begin_destructor_body.  Handle
2185         virtual bases better.
2186
2187         * class.c (build_if_in_charge): Split out from build_base_path.
2188         * init.c (expand_virtual_init, expand_default_init): Use it.
2189         * call.c (build_special_member_call): Use it.
2190
2191 2016-03-18  Jakub Jelinek  <jakub@redhat.com>
2192
2193         PR c++/70267
2194         * init.c (build_new_1): Complain and return error_mark_node
2195         if alloc_fn is not _Jv_AllocObject function returning pointer.
2196
2197 2016-03-18  Patrick Palka  <ppalka@gcc.gnu.org>
2198
2199         PR c++/70205
2200         * search.c (adjust_result_of_qualified_name_lookup): Don't
2201         update the BASELINK_BINFO of DECL if the second call
2202         to lookup_base fails.
2203
2204 2016-03-18  Patrick Palka  <ppalka@gcc.gnu.org>
2205
2206         PR c++/70218
2207         * parser.c (cp_parser_lambda_expression): Move call to
2208         pop_deferring_access_checks ahead of the call to
2209         cp_parser_end_tentative_firewall.
2210
2211 2016-03-17  Jakub Jelinek  <jakub@redhat.com>
2212
2213         PR c++/70144
2214         * cp-tree.h (magic_varargs_p): Return int instead of bool.
2215         * call.c (magic_varargs_p): Return int instead of bool, return 2 for
2216         Cilk+ reductions, otherwise 1 for magic varargs and 0 for normal
2217         varargs.
2218         (build_over_call): If magic_varargs_p == 2, call reject_gcc_builtin,
2219         if magic_varargs_p == 1, call decay_conversion
2220         instead of mark_type_use.  Don't store error_mark_node arguments to
2221         argarray, instead return error_mark_node.
2222
2223         PR c++/70272
2224         * decl.c (begin_destructor_body): Don't insert clobber if
2225         is_empty_class (current_class_type).
2226
2227 2016-03-17  Marek Polacek  <polacek@redhat.com>
2228
2229         PR c++/70194
2230         * typeck.c (warn_for_null_address): New function.
2231         (cp_build_binary_op): Call it.
2232
2233 2016-03-16  Jason Merrill  <jason@redhat.com>
2234
2235         PR c++/70259
2236         * decl.c (start_preparsed_function): Don't clobber an empty base.
2237
2238 2016-03-16  Jakub Jelinek  <jakub@redhat.com>
2239
2240         PR c++/70147
2241         * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Conditionalize
2242         BINFO_VIRTUAL_P vtable clearing on current_in_charge_parm.
2243
2244         PR c++/70147
2245         * cp-ubsan.c (cp_ubsan_maybe_initialize_vtbl_ptrs): Temporarily
2246         set in_base_initializer.
2247
2248 2016-03-15  Marek Polacek  <polacek@redhat.com>
2249
2250         PR c++/70209
2251         * tree.c (strip_typedefs): Call strip_typedefs again on the
2252         DECL_ORIGINAL_TYPE result.
2253
2254 2016-03-15  Jason Merrill  <jason@redhat.com>
2255
2256         PR c++/70095
2257         * pt.c (instantiate_decl): Fix call to variable_template_p.
2258
2259         PR c++/70141
2260         * pt.c (for_each_template_parm_r): Always walk into TYPENAME_TYPE.
2261
2262 2016-03-14  Casey Carter  <casey@carter.net>
2263             Jason Merrill  <jason@redhat.com>
2264
2265         P0184R0: Generalizing the Range-Based For Loop
2266         * parser.c (cp_convert_range_for): Set the type of __end separately.
2267         (cp_parser_perform_range_for_lookup): Allow different begin/end
2268         types if they are comparable.
2269
2270 2016-03-12  Patrick Palka  <ppalka@gcc.gnu.org>
2271
2272         PR c++/70106
2273         * semantics.c (force_paren_expr): Just build a PAREN_EXPR when
2274         processing_template_decl and EXPR is a SCOPE_REF.
2275
2276 2016-03-10  Patrick Palka  <ppalka@gcc.gnu.org>
2277             Jakub Jelinek  <jakub@redhat.com>
2278
2279         PR c++/70001
2280         * constexpr.c (cxx_eval_vec_init_1): For pre_init case, reuse
2281         return value from cxx_eval_constant_expression from earlier
2282         elements if it is valid constant initializer requiring no
2283         relocations.
2284
2285 2016-03-10  Marek Polacek  <polacek@redhat.com>
2286
2287         PR c++/70153
2288         * cp-gimplify.c (cp_fold): Handle UNARY_PLUS_EXPR.
2289
2290 2016-03-09  Cesar Philippidis  <cesar@codesourcery.com>
2291
2292         * parser.c (cp_parser_oacc_loop): Update cclauses and clauses
2293         when calling c_finish_omp_clauses.
2294
2295 2016-03-08  Jason Merrill  <jason@redhat.com>
2296
2297         * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful
2298         diagnostic for use of "concept".
2299         (cp_parser_requires_clause_opt): And "requires".
2300         (cp_parser_type_parameter, cp_parser_late_return_type_opt)
2301         (cp_parser_explicit_template_declaration): Adjust.
2302         * Make-lang.in (check-c++-all): Add "concepts" to std list.
2303
2304         P0036R0: Unary Folds and Empty Parameter Packs
2305         * pt.c (expand_empty_fold): Remove special cases for *,+,&,|.
2306
2307 2016-03-08  Jakub Jelinek  <jakub@redhat.com>
2308
2309         PR c++/70135
2310         * constexpr.c (cxx_eval_loop_expr): Forget saved values of SAVE_EXPRs
2311         even after the last iteration of the loop.
2312
2313         * decl.c (duplicate_decls): Fix spelling - becuase -> because.
2314
2315 2016-03-07  Patrick Palka  <ppalka@gcc.gnu.org>
2316
2317         PR c++/66786
2318         * pt.c (get_template_info): Handle PARM_DECL.
2319         (template_class_depth): Check DECL_P instead of
2320         VAR_OR_FUNCTION_DECL_P.
2321
2322 2016-03-05  Jason Merrill  <jason@redhat.com>
2323
2324         PR c++/67364
2325         * constexpr.c (cxx_eval_store_expression): Replace
2326         CONSTRUCTOR_ELTS in nested CONSTRUCTORs, too.
2327
2328 2016-03-05  Patrick Palka  <ppalka@gcc.gnu.org>
2329
2330         PR c++/66786
2331         * pt.c (template_class_depth): Given a lambda type, iterate
2332         into its LAMBDA_TYPE_EXTRA_SCOPE field instead of its
2333         TYPE_CONTEXT.  Given a VAR_DECL, iterate into its
2334         CP_DECL_CONTEXT.
2335
2336 2016-03-04  Jason Merrill  <jason@redhat.com>
2337
2338         PR c++/69203
2339         * cp-tree.h (COND_EXPR_IS_VEC_DELETE): New.
2340         * init.c (build_vec_delete_1): Set it.
2341         * constexpr.c (potential_constant_expression_1) [COND_EXPR]: Check it.
2342
2343 2016-03-04  Jakub Jelinek  <jakub@redhat.com>
2344
2345         * decl.c (start_preparsed_function): Don't emit start clobber at the
2346         start of constructor clones.
2347
2348         PR c++/70035
2349         * cp-tree.h (cp_ubsan_maybe_initialize_vtbl_ptrs): New prototype.
2350         * decl.c (start_preparsed_function): Call
2351         cp_ubsan_maybe_initialize_vtbl_ptrs if needed.
2352         * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs,
2353         cp_ubsan_maybe_initialize_vtbl_ptrs): New functions.
2354
2355 2016-03-04  Jason Merrill  <jason@redhat.com>
2356
2357         PR c++/67364
2358         * constexpr.c (cxx_eval_component_reference): Further tweak.
2359
2360         * constexpr.c (struct constexpr_ctx): Add save_exprs field.
2361         (cxx_eval_loop_expr): Discard SAVE_EXPR values before looping.
2362         (cxx_eval_constant_expression) [SAVE_EXPR]: Add it to the set.
2363         (cxx_eval_outermost_constant_expr, is_sub_constant_expr): Initialize.
2364
2365         PR c++/70067
2366         * tree.c (strip_typedefs): Handle TYPENAME_TYPE lookup finding the
2367         same type.
2368
2369 2016-03-03  Jason Merrill  <jason@redhat.com>
2370
2371         * method.c (synthesized_method_walk): operator= can also be constexpr.
2372
2373         * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Get
2374         LAMBDA_EXPR_RETURN_TYPE from the instantiated closure.
2375
2376         PR c++/67164
2377         * pt.c (copy_template_args): New.
2378         (tsubst_pack_expansion): Use it.
2379
2380         * call.c (build_aggr_conv): Use get_nsdmi.
2381
2382         PR c++/51406
2383         * typeck.c (build_static_cast_1): Avoid folding back to lvalue.
2384
2385         PR c++/67364
2386         * constexpr.c (cxx_eval_component_reference): Just return an empty
2387         CONSTRUCTOR for an empty class.
2388
2389 2016-03-01  Jason Merrill  <jason@redhat.com>
2390
2391         PR c++/70036
2392         * parser.c (cp_parser_requires_clause): Call
2393         check_for_bare_parameter_packs.
2394
2395         PR c++/51489
2396         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
2397         the operands.
2398
2399         PR c++/69995
2400         * constexpr.c (cxx_eval_call_expression): Unshare arg.
2401         (cxx_eval_constant_expression) [DECL_EXPR]: Unshare init.
2402         [TARGET_EXPR]: Unshare init.
2403
2404 2016-03-01  Patrick Palka  <ppalka@gcc.gnu.org>
2405
2406         PR c++/68948
2407         PR c++/69961
2408         * pt.c (tsubst_baselink): Reinstate the check for an invalid
2409         constructor call.
2410
2411 2016-02-28  Jason Merrill  <jason@redhat.com>
2412
2413         PR c++/69995
2414         * constexpr.c (cxx_eval_store_expression): Unshare init.
2415
2416 2016-02-26  Jason Merrill  <jason@redhat.com>
2417
2418         PR c++/69958
2419         * pt.c (make_argument_pack): New.
2420         (tsubst_copy) [SIZEOF_EXPR]: Handle partial expansion.
2421         (tsubst_copy_and_build): Likewise.
2422
2423 2016-02-25  Jason Merrill  <jason@redhat.com>
2424
2425         PR c++/69889
2426         * cp-tree.h (AGGR_INIT_FROM_THUNK_P): New.
2427         * tree.c (build_aggr_init_expr): Set it.
2428         * semantics.c (simplify_aggr_init_expr): Check it.
2429         * cp-gimplify.c (cp_genericize_r): Don't walk into
2430         a call/aggr_init from a thunk.
2431
2432         PR c++/69842
2433         * method.c (forward_parm): Handle parameter packs.
2434         * lambda.c (maybe_add_lambda_conv_op): Use it for them.
2435
2436         PR c++/67364
2437         * constexpr.c (cxx_eval_component_reference): Don't complain about
2438         unevaluated empty classes.
2439
2440         PR c++/68049
2441         * tree.c (strip_typedefs): Use DECL_ORIGINAL_TYPE.
2442
2443 2016-02-25  Patrick Palka  <ppalka@gcc.gnu.org>
2444
2445         PR c++/69736
2446         * cp-tree.h (REF_PARENTHESIZED_P): Adjust documentation.
2447         (maybe_undo_parenthesized_ref): Declare.
2448         * semantics.c (maybe_undo_parenthesized_ref): Split out from
2449         check_return_expr.
2450         (finish_call_expr): Use it.
2451         * typeck.c (check_return_expr): Use it.
2452         * pt.c (tsubst_copy_and_build) [INDIRECT_REF]: Retain the
2453         REF_PARENTHESIZED_P flag.
2454
2455 2016-02-24  Jakub Jelinek  <jakub@redhat.com>
2456
2457         PR c++/69922
2458         * class.c (build_base_path): Set TREE_NO_WARNING on the null_test.
2459         Avoid folding it.
2460         * init.c (build_vec_delete_1, build_delete): Don't fold the non-NULL
2461         tests.
2462         * cp-gimplify.c (cp_fold): For TREE_NO_WARNING comparisons with NULL,
2463         unless they are folded into INTEGER_CST, error_mark_node or some
2464         comparison with NULL, avoid folding them and use either the original
2465         comparison or non-folded comparison of folded arguments.
2466         * cp-ubsan.c (cp_ubsan_instrument_vptr): Set TREE_NO_WARNING on the
2467         comparison, don't fold the comparison right away.
2468
2469 2016-02-24  Jason Merrill  <jason@redhat.com>
2470
2471         PR c++/69323
2472         * friend.c (make_friend_class): Likewise.
2473         * decl.c (lookup_and_check_tag): Diagnose invalid dependent friend.
2474
2475 2016-02-24  Jason Merrill  <jason@redhat.com>
2476
2477         PR c++/69323
2478         * pt.c (instantiate_class_template_1): Set
2479         processing_template_decl before substituting friend_type.
2480
2481 016-02-24  Martin Sebor  <msebor@redhat.com>
2482
2483         PR c++/69912
2484         * tree.c (build_ctor_subob_ref): Compare types' main variants
2485         instead of the types as they are.
2486
2487 2016-02-24  Jason Merrill  <jason@redhat.com>
2488
2489         * decl.c (start_preparsed_function): Condition ctor clobber on
2490         flag_lifetime_dse > 1.
2491
2492         * cp-gimplify.c (cp_fold): Don't fold constexpr calls if -fno-inline.
2493
2494 2016-02-19  Jason Merrill  <jason@redhat.com>
2495
2496         PR c++/69743
2497         * call.c (remaining_arguments): No longer static.
2498         * cp-tree.h: Declare it.
2499         * pt.c (more_specialized_fn): Use it.
2500
2501 2016-02-19  Jakub Jelinek  <jakub@redhat.com>
2502             Bernd Edlinger  <bernd.edlinger@hotmail.de>
2503
2504         * Make-lang.in: Invoke gperf with -L C++.
2505         * cfns.gperf: Remove prototypes for hash and libc_name_p
2506         inlines.
2507         * cfns.h: Regenerated.
2508         * except.c (nothrow_libfn_p): Adjust.
2509
2510 2016-02-19  Jakub Jelinek  <jakub@redhat.com>
2511
2512         PR c++/69850
2513         * rtti.c (ifnonnull): Set TREE_NO_WARNING on the condition, use
2514         NE_EXPR instead of EQ_EXPR and swap last two arguments on COND_EXPR.
2515
2516 2016-02-19  Patrick Palka  <ppalka@gcc.gnu.org>
2517
2518         PR c++/68948
2519         * pt.c (tsubst_baselink): Don't diagnose an invalid constructor
2520         call here.
2521         * semantics.c (finish_call_expr): Don't assume a constructor
2522         call is dependent if only the "this" pointer is dependent.  When
2523         building a constructor call, always use a dummy object.
2524
2525 2016-02-19  Jakub Jelinek  <jakub@redhat.com>
2526
2527         PR c++/69850
2528         * init.c (build_vec_delete_1): Set TREE_NO_WARNING on the NE_EXPR
2529         condition.
2530         * cp-gimplify.c (cp_fold): Propagate TREE_NO_WARNING from binary
2531         operators if folding preserved the binop, just with different
2532         arguments.
2533
2534         PR c++/67767
2535         * parser.c (cp_parser_std_attribute_spec_seq): Don't assume
2536         attr_spec is always single element chain, chain all the attributes
2537         properly together in the right order.
2538
2539 2016-02-18  Jason Merrill  <jason@redhat.com>
2540
2541         * mangle.c (maybe_check_abi_tags): Add for_decl parm.  Call
2542         mangle_decl.
2543         (mangle_decl): Call maybe_check_abi_tags for function scope.
2544         (mangle_guard_variable): Call maybe_check_abi_tags here.
2545         (write_guarded_var_name): Not here.
2546
2547 2016-02-17  Jason Merrill  <jason@redhat.com>
2548
2549         PR c++/65985
2550         * constexpr.c (build_constexpr_constructor_member_initializers):
2551         Handle an additional STATEMENT_LIST.
2552
2553         PR c++/68585
2554         * constexpr.c (cxx_eval_bare_aggregate): Fix 'changed' detection.
2555
2556         PR c++/68679
2557         * decl2.c (reset_type_linkage_2): Look through member templates.
2558
2559 2016-02-17  Jakub Jelinek  <jakub@redhat.com>
2560
2561         PR c++/69850
2562         * init.c (build_delete): Set TREE_NO_WARNING on ifexp.
2563
2564 2016-02-17  Jason Merrill  <jason@redhat.com>
2565
2566         PR c++/69842
2567         * method.c (forward_parm): Split out from...
2568         (add_one_base_init): ...here.
2569         * lambda.c (maybe_add_lambda_conv_op): Use it.
2570
2571 2016-02-16  Jason Merrill  <jason@redhat.com>
2572
2573         PR c++/10200
2574         PR c++/69753
2575         * call.c, cp-tree.h, name-lookup.c, pt.c, search.c, semantics.c,
2576         tree.c, typeck2.c: Revert earlier changes.
2577         * parser.c (cp_parser_lookup_name): Ignore namespace-scope
2578         non-type templates after -> or .
2579
2580 2016-02-16  Jakub Jelinek  <jakub@redhat.com>
2581
2582         PR c/69835
2583         * typeck.c (cp_build_binary_op): Revert 2015-09-09 change.
2584
2585 2016-02-16  Jason Merrill  <jason@redhat.com>
2586
2587         PR c++/69657
2588         * name-lookup.c (lookup_qualified_name): Add find_hidden parm.
2589         (set_decl_namespace): Pass it.  Complain about finding a hidden friend.
2590         * name-lookup.h: Adjust.
2591
2592 2016-02-16  James Norris  <jnorris@codesourcery.com>
2593
2594         * parser.c (cp_parser_oacc_data_clause_deviceptr): Remove checking.
2595         * semantics.c (finish_omp_clauses): Add deviceptr checking.
2596
2597 2016-02-15  Jakub Jelinek  <jakub@redhat.com>
2598
2599         PR c++/69658
2600         * init.c (expand_default_init): Only call reshape_init
2601         in the direct-initialization from an initializer list case.
2602
2603 2016-02-15  Jason Merrill  <jason@redhat.com>
2604
2605         PR c++/69753
2606         * semantics.c (finish_call_expr): Implicit 'this' does not make
2607         the call dependent.
2608         * search.c (any_dependent_bases_p): Split out...
2609         * name-lookup.c (do_class_using_decl): ...from here.
2610         * call.c (build_new_method_call_1): Don't complain about missing object
2611         if there are dependent bases.  Tweak error.
2612         * tree.c (non_static_member_function_p): Remove.
2613         * pt.c (type_dependent_expression_p): A member template of a
2614         dependent type is dependent.
2615         * cp-tree.h: Adjust.
2616
2617         PR c++/68890
2618         * constexpr.c (verify_ctor_sanity): Remove CONSTRUCTOR_NELTS check.
2619
2620 2016-02-12  Patrick Palka  <ppalka@gcc.gnu.org>
2621
2622         PR c++/69098
2623         * pt.c (lookup_and_finish_template_variable): New function,
2624         extracted from ...
2625         (tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: ... here.  Use it.
2626         (tsubst_qualified_id): Consider that EXPR might be a variable
2627         template.
2628         * typeck.c (check_template_keyword): Don't emit an error
2629         if DECL is a variable template.
2630
2631 2016-02-12  Jakub Jelinek  <jakub@redhat.com>
2632
2633         * error.c: Spelling fixes - behaviour -> behavior and
2634         neighbour -> neighbor.
2635         * decl.c: Likewise.
2636         * typeck.c (cp_build_binary_op): Fix up behavior spelling in
2637         diagnostics.
2638         * init.c (build_delete): Likewise.
2639
2640 2016-02-11  Jakub Jelinek  <jakub@redhat.com>
2641
2642         PR c/69768
2643         * typeck.c (cp_build_binary_op): cp_fully_fold integer_zerop
2644         arguments for -Waddress warning.  Fix up formatting.
2645
2646 2016-02-11  Paolo Carlini  <paolo.carlini@oracle.com>
2647
2648         PR c++/68726
2649         * pt.c (lookup_template_class_1): Check tsubst return value for
2650         error_mark_node.
2651
2652 2016-02-10  Jason Merrill  <jason@redhat.com>
2653
2654         PR c++/68926
2655         * pt.c (resolve_nondeduced_context): Add complain parm.
2656         (do_auto_deduction): Pass it.
2657         * cvt.c (convert_to_void): Likewise.
2658         * decl.c (cp_finish_decl): Likewise.
2659         * init.c (build_new): Likewise.
2660         * rtti.c (get_tinfo_decl_dynamic): Likewise.
2661         * semantics.c (finish_decltype_type): Likewise.
2662         * typeck.c (decay_conversion): Likewise.
2663         * cp-tree.h: Adjust declaration.
2664         * call.c (standard_conversion): Add complain parm, pass it along.
2665         (implicit_conversion): Pass it.
2666
2667         PR c++/69657
2668         * name-lookup.c (ambiguous_decl): Call remove_hidden_names.
2669         (lookup_name_real_1): Likewise.
2670         (remove_hidden_names): Handle non-functions too.
2671
2672         PR c++/10200
2673         * parser.c (cp_parser_lookup_name): When looking for a template
2674         after . or ->, only consider class templates.
2675         (cp_parser_postfix_dot_deref_expression): Handle the current
2676         instantiation.  Remember a dependent object expression.
2677         * typeck2.c (build_x_arrow): Handle the current instantiation.
2678
2679         * ptree.c (debug_tree): Implement for cp_expr.
2680
2681 2016-02-08  Patrick Palka  <ppalka@gcc.gnu.org>
2682
2683         PR c++/69139
2684         * parser.c (cp_parser_simple_type_specifier): Make the check
2685         for disambiguating between an 'auto' placeholder and an implicit
2686         template parameter more robust.
2687
2688 2016-02-08  Patrick Palka  <ppalka@gcc.gnu.org>
2689
2690         PR c++/69283
2691         PR c++/67835
2692         * decl2.c (mark_used): When given a TEMPLATE_DECL, return after
2693         setting its TREE_USED flag.
2694
2695 2016-02-08  Jason Merrill  <jason@redhat.com>
2696
2697         PR c++/69657
2698         * name-lookup.c (do_nonmember_using_decl): Leave anticipated
2699         built-ins alone.
2700
2701 2016-02-08  Jakub Jelinek  <jakub@redhat.com>
2702
2703         PR c++/59627
2704         * parser.c (cp_parser_omp_declare_reduction): Set assembler name
2705         of the DECL_OMP_DECLARE_REDUCTION_P decls.
2706
2707 2016-02-08  Marek Polacek  <polacek@redhat.com>
2708
2709         PR c++/69688
2710         * constexpr.c (clear_cv_and_fold_caches): Renamed from clear_cv_cache.
2711         Call clear_fold_cache.
2712         * cp-tree.h: Adjust declaration.
2713         * decl.c (finish_enum_value_list): Call clear_cv_and_fold_caches
2714         rather than clear_cv_cache and clear_fold_cache.
2715         * typeck2.c (store_init_value): Call clear_cv_and_fold_caches.
2716
2717 2016-02-08  Jason Merrill  <jason@redhat.com>
2718
2719         * cp-tree.h (CONV_FOLD, CONV_BACKEND_CONVERT): New.
2720         * cvt.c (convert): Pass CONV_BACKEND_CONVERT.
2721         (ocp_convert): Use *_maybe_fold.
2722         (cp_convert_to_pointer): Add dofold parameter.
2723         * cp-gimplify.c (cp_fold) [CONVERT_EXPR]: Call convert.
2724
2725 2016-02-05  Martin Sebor  <msebor@redhat.com>
2726
2727         PR c++/69662
2728         * init.c (find_field_init): New function.
2729         (warn_placement_new_too_small): Call it.  Handle one-element arrays
2730         at ends of structures special.
2731
2732 2016-02-05  Jason Merrill  <jason@redhat.com>
2733
2734         PR c++/68948
2735         * semantics.c (finish_expr_stmt): If expr is error_mark_node,
2736         make sure we've seen_error().
2737
2738 2016-02-05  Patrick Palka  <ppalka@gcc.gnu.org>
2739
2740         PR c++/68948
2741         * pt.c (tsubst_baselink): Diagnose an invalid constructor call
2742         if lookup_fnfields returns NULL_TREE and the name being looked
2743         up has the form A::A.
2744
2745 2016-02-04  Patrick Palka  <ppalka@gcc.gnu.org>
2746
2747         * constexpr.c (cxx_eval_binary_expression): Fold equality
2748         comparisons involving PTRMEM_CSTs.
2749
2750 2016-02-04  Jakub Jelinek  <jakub@redhat.com>
2751
2752         * class.c (find_flexarrays): Don't declare dom variable.
2753         (diagnose_flexarray): Likewise.
2754
2755 2016-02-02  Martain Sebor  <msebor@redhat.com>
2756
2757         PR c++/69251
2758         PR c++/69253
2759         PR c++/69290
2760         PR c++/69277
2761         PR c++/69349
2762         * class.c (walk_subobject_offsets): Avoid testing the upper bound
2763         of a flexible array member for equality to null.
2764         (find_flexarrays): Remove spurious whitespace introduced in r231665.
2765         (diagnose_flexarrays): Avoid checking the upper bound of arrays.
2766         (check_flexarrays): Same.
2767         * decl.c (compute_array_index_type): Avoid special case for flexible
2768         array members.
2769         (grokdeclarator): Avoid calling compute_array_index_type for flexible
2770         array members.
2771         * error.c (dump_type_suffix): Revert changes introduced in r231665
2772         and rendered unnecessary by the changes above.
2773         * pt.c (tsubst):  Same.
2774         * tree.c (build_ctor_subob_ref): Handle flexible array members.
2775         * typeck2.c (digest_init_r): Revert changes introduced in r231665.
2776         (process_init_constructor_array): Same.
2777         (process_init_constructor_record): Same.
2778
2779 2016-02-03  Patrick Palka  <ppalka@gcc.gnu.org>
2780
2781         PR c++/69056
2782         * pt.c (try_one_overload): Handle comparing argument packs so
2783         that there is no conflict if we deduced more arguments of an
2784         argument pack than were explicitly specified.
2785
2786 2016-01-31  Jakub Jelinek  <jakub@redhat.com>
2787             Jason Merrill  <jason@redhat.com>
2788
2789         PR c++/68763
2790         * tree.c (strip_typedefs) [FUNCTION_TYPE]: Avoid building a new
2791         function type if nothing is changing.
2792
2793 2016-01-31  Jason Merrill  <jason@redhat.com>
2794
2795         PR c++/69009
2796         * pt.c (partial_specialization_p, impartial_args): New.
2797         (instantiate_decl): Call impartial_args.
2798
2799         * mangle.c (maybe_check_abi_tags): New.
2800         (write_guarded_var_name): Call it.
2801         (mangle_ref_init_variable): Call check_abi_tags.
2802
2803         * pt.c (lookup_template_class_1): Don't share TYPE_ATTRIBUTES
2804         between template and instantiation.
2805
2806 2016-01-29  Jakub Jelinek  <jakub@redhat.com>
2807
2808         PR debug/66869
2809         * decl.c (wrapup_globals_for_namespace): Warn about unused static
2810         function declarations.
2811
2812 2016-01-29  Marek Polacek  <polacek@redhat.com>
2813
2814         PR c++/69509
2815         PR c++/69516
2816         * constexpr.c (cxx_eval_array_reference): Give the "array subscript
2817         out of bound" error earlier.
2818         * init.c (build_vec_init): Change NE_EXPR into GT_EXPR.  Update the
2819         commentary.
2820
2821 2016-01-29  Patrick Palka  <ppalka@gcc.gnu.org>
2822
2823         * name-lookup.c (begin_scope): After reusing a cp_binding_level
2824         structure, update free_binding_level before the structure's
2825         level_chain field gets cleared, not after.
2826
2827 2016-01-28  Jason Merrill  <jason@redhat.com>
2828
2829         PR c++/67407
2830         * search.c (dfs_walk_once, dfs_walk_once_r)
2831         (dfs_walk_once_accessible_r, dfs_walk_once_accessible): Use
2832         hash_set instead of BINFO_MARKED.
2833         (dfs_unmark_r): Remove.
2834
2835 2016-01-28  Patrick Palka  <ppalka@gcc.gnu.org>
2836
2837         PR c++/24208
2838         * parser.c (LEXER_DEBUGGING_ENABLED_P): New macro.
2839         (cp_lexer_debugging_p): Use it.
2840         (cp_lexer_start_debugging): Likewise.
2841         (cp_lexer_stop_debugging): Likewise.
2842
2843 2016-01-27  Marek Polacek  <polacek@redhat.com>
2844
2845         PR c/68062
2846         * typeck.c (cp_build_binary_op): Promote operand to unsigned, if
2847         needed.  Add -Wsign-compare warning.
2848
2849 2016-01-27  Ryan Burn  <contact@rnburn.com>
2850
2851         PR cilkplus/69267
2852         * cp-gimplify.c (cilk_cp_gimplify_call_params_in_spawned_fn): Removed
2853         superfluous post_p argument in call to
2854         cilk_gimplify_call_params_in_spawned_fn.
2855
2856 2016-01-27  Marek Polacek  <polacek@redhat.com>
2857
2858         PR c++/69379
2859         * constexpr.c (cxx_eval_constant_expression): Handle PTRMEM_CSTs
2860         wrapped in NOP_EXPRs.
2861
2862 2016-01-27  Martin Sebor  <msebor@redhat.com>
2863
2864         PR c++/69317
2865         * mangle.c (mangle_decl): Reference the correct (saved) version
2866         of the ABI in -Wabi diagnostics.
2867
2868 2016-01-27  Marek Polacek  <polacek@redhat.com>
2869
2870         PR c++/69496
2871         * constexpr.c (cxx_eval_array_reference): Evaluate the number of
2872         elements of the array.
2873
2874 2016-01-26  Jason Merrill  <jason@redhat.com>
2875
2876         PR c++/68949
2877         * constexpr.c (register_constexpr_fundef): Keep the un-massaged body.
2878         (cxx_eval_call_expression): Don't look through clones.
2879         * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE of the alias.
2880         * semantics.c (expand_or_defer_fn_1): Keep DECL_SAVED_TREE of
2881         maybe-in-charge *tor.
2882
2883 2016-01-26  Jason Merrill  <jason@redhat.com>
2884
2885         PR c++/68782
2886         * constexpr.c (cxx_eval_bare_aggregate): Update TREE_CONSTANT
2887         and TREE_SIDE_EFFECTS.
2888         (cxx_eval_constant_expression) [CONSTRUCTOR]: Call
2889         verify_constructor_flags.
2890
2891 2016-01-26  Jakub Jelinek  <jakub@redhat.com>
2892
2893         PR c++/68357
2894         * cp-gimplify.c (cp_fold): If some operand folds to error_mark_node,
2895         return error_mark_node instead of building trees with error_mark_node
2896         operands.
2897
2898 2016-01-26  David Malcolm  <dmalcolm@redhat.com>
2899
2900         PR other/69006
2901         * error.c (print_instantiation_partial_context_line): Add missing
2902         newlines from output for the t == NULL case.
2903         (print_instantiation_partial_context): Remove call to pp_newline.
2904
2905 2016-01-24  Patrick Palka  <ppalka@gcc.gnu.org>
2906
2907         Revert:
2908         2016-01-18  Patrick Palka  <ppalka@gcc.gnu.org>
2909
2910         PR c++/11858
2911         PR c++/24663
2912         PR c++/24664
2913         * decl.c (grokdeclarator): Don't decay array parameter type to
2914         a pointer type if it's dependent.
2915         (grokparms): Invoke strip_top_quals instead of directly invoking
2916         cp_build_qualified_type.
2917         * pt.c (decay_dependent_array_parm_type): New static function.
2918         (type_unification_real): Call decay_dependent_array_parm_type
2919         to decay a dependent array parameter type to its corresponding
2920         pointer type before unification.
2921         (more_specialized_fn): Likewise.
2922         (get_bindings): Likewise.
2923         * tree.c (cp_build_qualified_type): Trivial typofix in
2924         documentation.
2925
2926 2016-01-23  Martin Sebor  <msebor@redhat.com>
2927
2928         PR c++/58109
2929         PR c++/69022
2930         * decl2.c (is_late_template_attribute): Handle dependent argument
2931         to attribute align and attribute vector_size.
2932
2933 2016-01-21  Jason Merrill  <jason@redhat.com>
2934
2935         PR c++/69392
2936         * lambda.c (lambda_capture_field_type): Handle 'this' specially
2937         for init-capture, too.
2938
2939         PR c++/65687
2940         * decl.c (type_is_deprecated): Don't look into a typedef.
2941
2942         PR c++/40751
2943         PR c++/64987
2944         * decl.c (copy_type_enum): Respect TYPE_USER_ALIGN.
2945
2946         PR c++/43407
2947         * decl.c (start_enum): Add attributes parameter.
2948         * parser.c (cp_parser_enum_specifier): Pass it.
2949         * pt.c (lookup_template_class_1): Pass it.
2950         * cp-tree.h: Adjust.
2951
2952 2016-01-19  Jason Merrill  <jason@redhat.com>
2953
2954         PR c++/59759
2955         * pt.c (convert_template_argument): Handle VAR_DECL properly.
2956
2957 2016-01-19  Marek Polacek  <polacek@redhat.com>
2958
2959         PR c++/68586
2960         * constexpr.c (clear_cv_cache): New.
2961         * cp-gimplify.c (clear_fold_cache): New.
2962         * cp-tree.h (clear_cv_cache, clear_fold_cache): Declare.
2963         * decl.c (finish_enum_value_list): Call them.
2964
2965         PR c++/68965
2966         * pt.c (tsubst_copy): Mark elements in expanded vector as used.
2967
2968 2016-01-18  Patrick Palka  <ppalka@gcc.gnu.org>
2969
2970         PR c++/11858
2971         PR c++/24663
2972         PR c++/24664
2973         * decl.c (grokdeclarator): Don't decay array parameter type to
2974         a pointer type if it's dependent.
2975         (grokparms): Invoke strip_top_quals instead of directly invoking
2976         cp_build_qualified_type.
2977         * pt.c (decay_dependent_array_parm_type): New static function.
2978         (type_unification_real): Call decay_dependent_array_parm_type
2979         to decay a dependent array parameter type to its corresponding
2980         pointer type before unification.
2981         (more_specialized_fn): Likewise.
2982         (get_bindings): Likewise.
2983         * tree.c (cp_build_qualified_type): Trivial typofix in
2984         documentation.
2985
2986 2016-01-18  Jason Merrill  <jason@redhat.com>
2987
2988         * cp-gimplify.c (cp_fold) [CONSTRUCTOR]: Don't clobber the input.
2989
2990         * cp-gimplify.c (cp_fold): Remove unnecessary special cases.
2991
2992         PR c++/68767
2993         * cp-gimplify.c (cp_fold) [COND_EXPR]: Simplify.  Do fold COND_EXPR.
2994         (contains_label_1, contains_label_p): Remove.
2995
2996 2016-01-16  Patrick Palka  <ppalka@gcc.gnu.org>
2997
2998         PR c++/69091
2999         * pt.c (type_dependent_expression_p): For a function template
3000         specialization, a type is dependent iff any of its template
3001         arguments are.
3002
3003 2016-01-16  Patrick Palka  <ppalka@gcc.gnu.org>
3004
3005         * cp-array-notation.c (cp_expand_cond_array_notations): Return
3006         error_mark_node only if find_rank failed, not if it was
3007         successful.
3008
3009 2016-01-16  Patrick Palka  <ppalka@gcc.gnu.org>
3010
3011         PR c++/68936
3012         * tree.c (build_min_non_dep_call_vec): Don't retain the
3013         KOENIG_LOOKUP_P flag of the non-dependent expression that's
3014         been built.
3015         (build_min_non_dep_op_overload): Instead, do it here.
3016
3017 2016-01-15  Jakub Jelinek  <jakub@redhat.com>
3018
3019         PR bootstrap/68271
3020         * parser.h (cp_token): Remove pragma_kind field.  Add comment
3021         with number of unused bits.
3022         * parser.c (eof_token): Remove pragma_kind field initializer.
3023         (cp_lexer_get_preprocessor_token): Don't set pragma_kind
3024         field, don't clear CPP_PRAGMA u.value.
3025         (cp_parser_pragma_kind): New function.
3026         (cp_parser_omp_sections_scope, cp_parser_oacc_kernels_parallel,
3027         cp_parser_omp_construct, cp_parser_initial_pragma,
3028         cp_parser_pragma): Use cp_parser_pragma_kind instead of accessing
3029         pragma_kind field.
3030
3031 2016-01-15  Jason Merrill  <jason@redhat.com>
3032
3033         PR c++/68847
3034         * call.c (build_cxx_call): Use fold_non_dependent_expr.
3035
3036         * typeck2.c (cxx_incomplete_type_diagnostic): Use the location of
3037         value.
3038
3039         PR c++/69257
3040         * typeck.c (decay_conversion): Don't call mark_rvalue_use for
3041         array/function-to-pointer conversion.  Call
3042         complete_type_or_maybe_complain for lvalue-to-rvalue conversion.
3043         * call.c (convert_like_real): Print call context if
3044         decay_conversion errors.
3045
3046 2016-01-14  Tom de Vries  <tom@codesourcery.com>
3047
3048         PR tree-optimization/68773
3049         * parser.c (cp_parser_oacc_declare, cp_parser_omp_declare_target): Don't
3050         set force_output.
3051
3052 2016-01-14  Jason Merrill  <jason@redhat.com>
3053
3054         PR c++/69261
3055         * constexpr.c (find_array_ctor_elt): Handle splitting RANGE_EXPR.
3056
3057 2016-01-12  Marek Polacek  <polacek@redhat.com>
3058
3059         PR c++/68979
3060         * constexpr.c (cxx_eval_check_shift_p): Use permerror rather than
3061         error_at and adjust the return value.
3062
3063 2016-01-12  Jakub Jelinek  <jakub@redhat.com>
3064
3065         PR objc++/68511
3066         PR c++/69213
3067         * cp-gimplify.c (cp_gimplify_expr) <case INIT_EXPR>: Don't return
3068         GS_ERROR whenever seen_error (), only if *expr_p contains
3069         cilk spawn stmt, but cilk_detect_spawn_and_unwrap failed.
3070
3071         PR c++/66808
3072         PR c++/69000
3073         * pt.c (tsubst_decl): If not local_p, clear DECL_TEMPLATE_INFO.
3074
3075 2016-01-11  Jason Merrill  <jason@redhat.com>
3076
3077         PR c++/69131
3078         * method.c (walk_field_subobs): Add dtor_from_ctor parm.
3079         (process_subob_fn): Likewise.  Don't consider triviality if true.
3080         (synthesize_method_walk): Pass it.
3081
3082 2016-01-11  David Malcolm  <dmalcolm@redhat.com>
3083
3084         PR c++/68795
3085         * parser.c (cp_parser_postfix_expression): Initialize
3086         close_paren_loc to UNKNOWN_LOCATION; only use it if
3087         it has been written to by
3088         cp_parser_parenthesized_expression_list.
3089         (cp_parser_parenthesized_expression_list): Document the behavior
3090         with respect to the CLOSE_PAREN_LOC param.
3091
3092 2016-01-11  Jakub Jelinek  <jakub@redhat.com>
3093
3094         PR c++/69211
3095         * cp-gimplify.c (cp_fold): If COMPOUND_EXPR or MODIFY_EXPR
3096         folded operands have side-effects, but folding changed any of them,
3097         build a new tree with the folded operands instead of returning the
3098         unfolded tree.
3099
3100 2016-01-09  Marek Polacek  <polacek@redhat.com>
3101
3102         PR c++/69113
3103         * decl2.c (comdat_linkage): Only set DECL_COMDAT if TREE_PUBLIC is set.
3104
3105 2016-01-09  Jakub Jelinek  <jakub@redhat.com>
3106
3107         PR c++/69164
3108         * class.c (layout_class_type): Use copy_node to copy FIELD_DECLs.
3109
3110 2016-01-08  Jason Merrill  <jason@redhat.com>
3111
3112         PR c++/69158
3113         * constexpr.c (cxx_fold_indirect_ref): Handle array type differing
3114         in completion.
3115
3116 2016-01-08  Marek Polacek  <polacek@redhat.com>
3117
3118         PR c++/68449
3119         * constexpr.c (cxx_eval_constant_expression): Handle NULL initializer.
3120
3121 2016-01-08  Jason Merrill  <jason@redhat.com>
3122
3123         * constexpr.c (cxx_eval_call_expression): Remove convert_to_void
3124         workaround.
3125
3126         PR c++/68983
3127         PR c++/67557
3128         * cvt.c (convert_to_void): Don't strip a TARGET_EXPR of
3129         TREE_ADDRESSABLE type.
3130
3131         PR c++/68983
3132         PR c++/67557
3133         * call.c (unsafe_copy_elision_p): Look through COMPOUND_EXPR.
3134
3135 2016-01-05  Nathan Sidwell  <nathan@acm.org>
3136
3137         PR c++/58583
3138         * pt.c (build_non_dependent_expr): Don't try a checking fold when
3139         parsing an nsdmi.
3140
3141 2016-01-04  Jakub Jelinek  <jakub@redhat.com>
3142
3143         Update copyright years.
3144 \f
3145 Copyright (C) 2016 Free Software Foundation, Inc.
3146
3147 Copying and distribution of this file, with or without modification,
3148 are permitted in any medium without royalty provided the copyright
3149 notice and this notice are preserved.