gcc/cp/ChangeLog

   1 2018-04-12  David Malcolm  <dmalcolm@redhat.com>
   2
   3         PR c++/85385
   4         * name-lookup.c (macro_use_before_def::maybe_make): New function,
   5         checking that the use is indeed before the definition.
   6         (macro_use_before_def::macro_use_before_def): Make private.
   7         (macro_use_before_def::~macro_use_before_def): Make private.  Move
   8         check for UNKNOWN_LOCATION to macro_use_before_def::maybe_make.
   9         (lookup_name_fuzzy): Call macro_use_before_def::maybe_make rather
  10         than using new directly.
  11
  12 2018-04-12  Jason Merrill  <jason@redhat.com>
  13
  14         PR c++/85356 - ICE with pointer to member function.
  15         * pt.c (maybe_instantiate_noexcept): Do instantiate in templates if
  16         flag_noexcept_type.  Build the new spec within the function context.
  17         * except.c (build_noexcept_spec): Do get constant value in templates
  18         if flag_noexcept_type.
  19         * decl.c (check_redeclaration_exception_specification): Don't
  20         instantiate noexcept on a dependent declaration.
  21
  22 2018-04-12  Marek Polacek  <polacek@redhat.com>
  23
  24         PR c++/85258
  25         * constexpr.c (reduced_constant_expression_p): Return false for null
  26         trees.
  27
  28 2018-04-11  Marek Polacek  <polacek@redhat.com>
  29
  30         PR c++/85032
  31         * constexpr.c (potential_constant_expression_1): Consider conversions
  32         from classes to literal types potentially constant.
  33
  34 2018-04-10  Paolo Carlini  <paolo.carlini@oracle.com>
  35
  36         PR c++/70808
  37         * init.c (build_zero_init_1): Handle NULLPTR_TYPE_P being true of
  38         the type like TYPE_PTR_OR_PTRMEM_P.
  39
  40 2018-04-10  Jason Merrill  <jason@redhat.com>
  41
  42         PR debug/65821 - wrong location for main().
  43         * call.c (clear_location_r, convert_default_arg): Revert.
  44         * tree.c (break_out_target_exprs): Add clear_location parm.
  45         (struct bot_data): New.
  46         (bot_manip): Clear location if requested.
  47         * init.c (get_nsdmi): Pass clear_location.
  48
  49 2018-04-10  David Malcolm  <dmalcolm@redhat.com>
  50
  51         PR c++/85110
  52         * call.c (get_fndecl_argument_location): Make non-static.
  53         * cp-tree.h (get_fndecl_argument_location): New decl.
  54         * typeck.c (convert_for_assignment): When complaining due to
  55         conversions for an argument, show the location of the parameter
  56         within the decl.
  57
  58 2018-04-10  Jakub Jelinek  <jakub@redhat.com>
  59
  60         PR c++/85312 - P0962 cleanup
  61         * parser.c (cp_parser_perform_range_for_lookup): Remove unreachable
  62         diagnostics.
  63
  64 2018-04-10  Jason Merrill  <jason@redhat.com>
  65
  66         PR debug/65821 - wrong location for main().
  67         * call.c (clear_location_r): New.
  68         (convert_default_arg): Use it.
  69         * tree.c (bot_manip): Remove builtin_LINE/FILE handling.
  70
  71         PR c++/85285 - ICE with flexible array after substitution.
  72         * pt.c (instantiate_class_template_1): Check for flexible array in
  73         union.
  74
  75 2018-04-09  Paolo Carlini  <paolo.carlini@oracle.com>
  76
  77         PR c++/85227
  78         * decl.c (cp_finish_decomp): In a template, if the type is incomplete
  79         issue a pedwarn and defer trying to do bindings.
  80
  81 2018-04-09  Jason Merrill  <jason@redhat.com>
  82
  83         PR c++/85279 - dump_expr doesn't understand decltype.
  84         * error.c (dump_expr): Handle DECLTYPE_TYPE.
  85
  86         PR c++/85262 - ICE with redundant qualification on constructor.
  87         * call.c (build_new_method_call_1): Move make_args_non_dependent
  88         after A::A() handling.
  89
  90         PR c++/85277 - ICE with invalid offsetof.
  91         * semantics.c (finish_offsetof): Avoid passing non-DECL to %qD.
  92         Adjust -Winvalid-offsetof diagnostic to say conditionally supported.
  93
  94         PR c++/85264 - ICE with excess template-parameter-list.
  95         * parser.c (cp_parser_check_template_parameters): Add template_id_p
  96         parameter.  Don't allow an extra template header if true.
  97         (cp_parser_class_head): Pass template_id_p.
  98         (cp_parser_elaborated_type_specifier): Likewise.
  99         (cp_parser_alias_declaration): Likewise.
 100         (cp_parser_check_declarator_template_parameters): Likewise.
 101
 102 2018-04-09  Jakub Jelinek  <jakub@redhat.com>
 103
 104         PR c++/85194
 105         * parser.c (cp_parser_simple_declaration): For structured bindings,
 106         if *maybe_range_for_decl is NULL after parsing it, set it to
 107         error_mark_node.
 108
 109 2018-04-09  Jason Merrill  <jason@redhat.com>
 110
 111         PR c++/85256 - ICE capturing pointer to VLA.
 112         * lambda.c (add_capture): Distinguish between variable-size and
 113         variably-modified types.
 114
 115 2018-04-06  Jason Merrill  <jason@redhat.com>
 116
 117         PR c++/85214 - ICE with alias, generic lambda, constexpr if.
 118         * pt.c (extract_locals_r): Remember local typedefs.
 119
 120 2018-04-06  David Malcolm  <dmalcolm@redhat.com>
 121
 122         PR c++/84269
 123         * name-lookup.c (struct std_name_hint): Move out of
 124         get_std_name_hint; add field "min_dialect".
 125         (get_std_name_hint): Add min_dialect values to all initializers.
 126         Add <any>, <atomic>, <bitset>, <condition_variable>, <functional>,
 127         <future>, <istream>, <iterator>, <ostream>, <mutex>, <optional>,
 128         <shared_mutex>, <string_view>, <thread>, and <variant>.
 129         Add fstream, ifstream, and ofstream to <fstream>.
 130         Add istringstream, ostringstream, and stringstream to <sstream>.
 131         Add basic_string to <string>.
 132         Add tuple_element and tuple_size to <tuple>.
 133         Add declval to <utility>.
 134         Fix ordering of <queue> and <tuple>.
 135         Return a std_name_hint, rather than a const char *.
 136         (get_cxx_dialect_name): New function.
 137         (maybe_suggest_missing_std_header): Detect names that aren't yet
 138         available in the current dialect, and instead of suggesting a
 139         missing #include, warn about the dialect.
 140
 141 2018-04-06  Jakub Jelinek  <jakub@redhat.com>
 142
 143         PR c++/85210
 144         * pt.c (tsubst_decomp_names): Return error_mark_node and assert
 145         errorcount is set if tsubst doesn't return a VAR_DECL.
 146
 147 2018-04-06  David Malcolm  <dmalcolm@redhat.com>
 148
 149         PR c++/85021
 150         * name-lookup.c (using_directives_contain_std_p): New function.
 151         (has_using_namespace_std_directive_p): New function.
 152         (suggest_alternatives_for): Simplify if/else logic using early
 153         returns.  If no candidates were found, and there's a
 154         "using namespace std;" directive, call
 155         maybe_suggest_missing_std_header.
 156         (maybe_suggest_missing_header): Split later part of the function
 157         into..
 158         (maybe_suggest_missing_std_header): New.
 159
 160 2018-04-06  Jason Merrill  <jason@redhat.com>
 161
 162         PR c++/85242 - ICE with class definition in template parm.
 163         * cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): False if
 164         processing_template_parmlist.
 165
 166         PR c++/85240 - LTO ICE with using of undeduced auto fn.
 167         * cp-gimplify.c (cp_genericize_r): Discard using of undeduced auto.
 168
 169 2018-04-05  Jakub Jelinek  <jakub@redhat.com>
 170
 171         PR c++/85209
 172         * pt.c (tsubst_decomp_names): Don't fail or ICE if DECL_CHAIN (decl3)
 173         is not prev, if prev == decl.
 174
 175         PR c++/85208
 176         * decl.c (start_decl): For DECL_DECOMPOSITION_P decls, don't call
 177         maybe_apply_pragma_weak here...
 178         (cp_maybe_mangle_decomp): ... but call it here instead.
 179
 180 2018-04-05  Jason Merrill  <jason@redhat.com>
 181
 182         PR c++/85136 - ICE with designated init in template.
 183         * decl.c (maybe_deduce_size_from_array_init): Handle dependent
 184         designated initializer.
 185         (check_array_designated_initializer): Update ce->index with the
 186         constant value.
 187
 188         PR c++/83808 - ICE with VLA initialization.
 189         * typeck2.c (process_init_constructor_array): Don't require a VLA
 190         initializer to have VLA type.
 191
 192 2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>
 193
 194         PR c++/80956
 195         * call.c (convert_like_real): Fail gracefully for a broken
 196         std::initializer_list, missing a definition.
 197
 198         * name-lookup.c (do_pushtag): Tweak message, use %< and %>.
 199
 200 2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>
 201
 202         PR c++/84792
 203         * decl.c (grokdeclarator): Fix diagnostic about typedef name used
 204         as nested-name-specifier, keep type and TREE_TYPE (decl) in sync.
 205
 206 2018-04-05  Jason Merrill  <jason@redhat.com>
 207
 208         PR c++/82152 - ICE with class deduction and inherited ctor.
 209         * pt.c (do_class_deduction): Ignore inherited ctors.
 210
 211         PR c++/84665 - ICE with array of empty class.
 212         * decl2.c (cp_check_const_attributes): Use fold_non_dependent_expr.
 213
 214         PR c++/85228 - ICE with lambda in enumerator in template.
 215         * pt.c (bt_instantiate_type_proc): Don't assume
 216         CLASSTYPE_TEMPLATE_INFO is non-null.
 217
 218 2018-04-05  Ville Voutilainen  <ville.voutilainen@gmail.com>
 219
 220         Implement P0969
 221         * decl.c (find_decomp_class_base): Check accessibility instead
 222         of declared access, adjust diagnostic.
 223
 224 2018-04-05  Ville Voutilainen  <ville.voutilainen@gmail.com>
 225
 226         Implement P0961
 227         * decl.c (get_tuple_decomp_init): Check the templatedness
 228         of a member get.
 229
 230 2018-04-05  Jason Merrill  <jason@redhat.com>
 231
 232         PR c++/85200 - ICE with constexpr if in generic lambda.
 233         * pt.c (extract_locals_r): Don't record the local specs of variables
 234         declared within the pattern.
 235
 236 2018-04-05  Alexandre Oliva <aoliva@redhat.com>
 237
 238         PR c++/84979
 239         * pt.c (check_auto_in_tmpl_args): New.
 240         (tsubst_qualified_id): Use it to reject template args
 241         referencing auto for non-type templates.
 242         * parser.c (cp_parser_template_id): Likewise.
 243         * cp-tree.h (check_auto_in_tmpl_args): Declare.
 244         * typeck2.c (build_functional_cast): Report correct location
 245         for invalid use of auto.
 246
 247 2018-04-04  Jason Merrill  <jason@redhat.com>
 248
 249         PR c++/85215 - ICE with copy-init from conversion.
 250         * call.c (merge_conversion_sequences): Fix type of direct binding
 251         sequence.
 252
 253         PR c++/84938 - ICE with division by ~-1.
 254         * call.c (set_up_extended_ref_temp): Call cp_fully_fold.
 255
 256         PR c++/84936 - ICE with unexpanded pack in mem-initializer.
 257         * parser.c (cp_parser_mem_initializer_list): Call
 258         check_for_bare_parameter_packs.
 259
 260 2018-04-04  Jakub Jelinek  <jakub@redhat.com>
 261
 262         PR inline-asm/85172
 263         * constexpr.c (cxx_eval_builtin_function_call): For calls to
 264         builtin_valid_in_constant_expr_p functions, don't call
 265         cxx_eval_constant_expression if argument is not
 266         potential_constant_expression.
 267
 268         PR c++/85146
 269         * cp-tree.h (calculate_bases, calculate_direct_bases): Add complain
 270         argument.
 271         * semantics.c (calculate_bases): Add complain argument.  Use
 272         complete_type_or_maybe_complain instead of just complete_type and
 273         return an empty vector if it fails.  Move make_tree_vector () call
 274         after early return.  Formatting fixes.
 275         (calculate_direct_bases): Likewise.  Call release_tree_vector at the
 276         end.
 277         (dfs_calculate_bases_post, calculate_bases_helper): Formatting fixes.
 278         * pt.c (tsubst_pack_expansion): Adjust calculate_bases and
 279         calculate_direct_bases callers, formatting fixes.
 280
 281 2018-04-04  Jason Merrill  <jason@redhat.com>
 282
 283         PR c++/85006 - -fconcepts ICE with A<auto...> return type
 284         * pt.c (tsubst_pack_expansion): Allow unsubstituted auto pack.
 285
 286         PR c++/85200 - ICE with constexpr if in generic lambda.
 287         * tree.c (cp_walk_subtrees): Walk into DECL_EXPR in templates.
 288
 289         PR c++/84221 - bogus -Wunused with attribute and template.
 290         * decl2.c (is_late_template_attribute): Handle unused and used
 291         normally on non-TYPE_DECL.
 292
 293         PR c++/85135 - ICE with omitted template arguments.
 294         * decl.c (grokdeclarator): Catch deduced class type in trailing
 295         return type.
 296
 297         PR c++/85133 - ICE with missing concept initializer.
 298         * decl.c (cp_finish_decl): If a concept initializer is missing, use
 299         true.
 300
 301         PR c++/85118 - wrong error with generic lambda and std::bind.
 302         * call.c (add_template_conv_candidate): Disable if there are any
 303         call operators.
 304
 305         PR c++/85141 - ICE with compound assignment and static member fn.
 306         * typeck.c (cp_build_modify_expr): Call decay_conversion for RHS of
 307         compound assignment.
 308
 309         PR c++/85148 - ICE with 'this' in array NSDMI.
 310         * tree.c (replace_placeholders_r): Use handled_component_p.
 311
 312 2018-04-04  Ville Voutilainen  <ville.voutilainen@gmail.com>
 313
 314         PR c++/65923
 315         * decl.c (grokfndecl): Handle standard UDL diagnostics here..
 316         * parser.c (cp_parser_unqualified_id): ..not here.
 317
 318 2018-04-04  Alexandre Oliva <aoliva@redhat.com>
 319
 320         PR c++/84943
 321         * typeck.c (cp_build_addr_expr_1): Mark FUNCTION_DECL as
 322         used.
 323         * decl2.c (mark_used): Return without effects if tf_conv.
 324
 325 2018-04-03  Jason Merrill  <jason@redhat.com>
 326
 327         PR c++/85092 - C++17 ICE with unused list constructor.
 328         * call.c (conv_binds_ref_to_prvalue): Also count ck_identity
 329         from a TARGET_EXPR.
 330
 331         PR c++/85113 - ICE with constexpr and __builtin_constant_p.
 332         * constexpr.c (cxx_eval_builtin_function_call): Only defer
 333         __builtin_constant_p if ctx->quiet.
 334
 335 2018-04-03  Paolo Carlini  <paolo.carlini@oracle.com>
 336
 337         PR c++/84768
 338         * pt.c (rewrite_template_parm): If the first argument is
 339         error_mark_node return it immediately.
 340         (build_deduction_guide): Check the return value of the
 341         latter for error_mark_node.
 342         (do_class_deduction): Check the return value of the latter.
 343
 344 2018-04-03  Jason Merrill  <jason@redhat.com>
 345
 346         * semantics.c (finish_if_stmt_cond): Use
 347         instantiation_dependent_expression_p.
 348
 349         PR c++/85149 - generic lambda and constexpr if.
 350         * pt.c (build_extra_args, add_extra_args): Split from
 351         tsubst_pack_expansion.
 352         (tsubst_expr) [IF_STMT]: Use them.
 353         * cp-tree.h (IF_STMT_EXTRA_ARGS): New.
 354
 355         * typeck.c (merge_types): Limit matching attribute shortcut to
 356         the default case.
 357
 358 2018-04-03  Jakub Jelinek  <jakub@redhat.com>
 359
 360         PR c++/85147
 361         * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node.
 362
 363         PR c++/85140
 364         * name-lookup.c (handle_namespace_attrs): Return early if attributes
 365         is error_mark_node.
 366
 367         PR c++/85134
 368         * decl.c (cp_finish_decl): If ensure_literal_type_for_constexpr_object
 369         fails, after clearing DECL_DECLARED_CONSTEXPR_P don't return early,
 370         instead for static data members clear init and set DECL_EXTERNAL.
 371
 372 2018-04-02  Jason Merrill  <jason@redhat.com>
 373
 374         PR c++/64095 - auto... parameter pack.
 375         * parser.c (cp_parser_parameter_declaration): Handle turning autos
 376         into packs here.
 377         (cp_parser_parameter_declaration_list): Not here.
 378
 379 2018-03-31  Alexandre Oliva <aoliva@redhat.com>
 380
 381         PR c++/85027
 382         * class.c (instantiate_type): Peel off SAVE_EXPR before
 383         BASELINK.
 384
 385 2018-03-30  Jason Merrill  <jason@redhat.com>
 386
 387         * typeck2.c (process_init_constructor_record): Use
 388         init_list_type_node for the CONSTRUCTOR around an anonymous union
 389         designated initializer.
 390
 391 2018-03-30  Jakub Jelinek  <jakub@redhat.com>
 392
 393         PR c++/84791
 394         * semantics.c (finish_omp_reduction_clause): If
 395         OMP_CLAUSE_REDUCTION_PLACEHOLDER is error_mark_node, return true
 396         even if processing_template_decl.
 397
 398 2018-03-29  David Malcolm  <dmalcolm@redhat.com>
 399
 400         PR c++/84269
 401         * name-lookup.c (get_std_name_hint): Add names from <memory>,
 402         <tuple>, and <utility>.
 403
 404 2018-03-29  Jason Merrill  <jason@redhat.com>
 405
 406         PR c++/85093 - too many template args with pack expansion.
 407         * pt.c (coerce_template_parms): Keep pack expansion args that will
 408         need to be empty.
 409
 410 2018-03-29  Jason Merrill  <jason@redhat.com>
 411
 412         * pt.c (build_non_dependent_expr): Propagate expr location.
 413
 414 2018-03-27  Jason Merrill  <jason@redhat.com>
 415
 416         PR c++/85060 - wrong-code with call to base member in template.
 417         * search.c (any_dependent_bases_p): Check uses_template_parms
 418         rather than processing_template_decl.
 419
 420 2018-03-29  David Malcolm  <dmalcolm@redhat.com>
 421
 422         PR c++/85110
 423         * typeck.c (convert_for_assignment): When complaining due to
 424         conversions for an argument, attempt to use the location of the
 425         argument.
 426
 427 2018-03-28  Paolo Carlini  <paolo.carlini@oracle.com>
 428
 429         PR c++/85028
 430         * pt.c (tsubst_default_argument): Early return if the type of the
 431         parameter is erroneous.
 432
 433 2018-03-28  Alexandre Oliva <aoliva@redhat.com>
 434
 435         PR c++/84973
 436         * decl2.c (note_vague_linkage_fn): Don't defer uninstantiated
 437         templates.
 438
 439         PR c++/84968
 440         * tree.c (strip_typedefs_expr): Reject STATEMENT_LISTs.
 441
 442 2018-03-27  Paolo Carlini  <paolo.carlini@oracle.com>
 443
 444         PR c++/85067
 445         * method.c (defaulted_late_check): Partially revert r253321 changes,
 446         do not early return upon error.
 447
 448 2018-03-27  Jakub Jelinek  <jakub@redhat.com>
 449
 450         PR c++/85077
 451         * cp-gimplify.c (cp_fold) <case CONSTRUCTOR>: For ctors with vector
 452         type call fold to generate VECTOR_CSTs when possible.
 453
 454         PR c++/85076
 455         * tree.c (cp_build_reference_type): If to_type is error_mark_node,
 456         return it right away.
 457
 458 2018-03-27  Volker Reichelt  <v.reichelt@netcologne.de>
 459
 460         * search.c (check_final_overrider): Use inform instead of error
 461         for the diagnostics of the overridden functions.  Tweak wording.
 462
 463 2018-03-27  Jakub Jelinek  <jakub@redhat.com>
 464
 465         PR c++/85068
 466         * class.c (update_vtable_entry_for_fn): Don't ICE if base_binfo
 467         is NULL.  Assert if thunk_binfo is NULL then errorcount is non-zero.
 468
 469 2018-03-27  Paolo Carlini  <paolo.carlini@oracle.com>
 470             Jason Merrill  <jason@redhat.com>
 471
 472         PR c++/84632
 473         * init.c (build_aggr_init): When initializing from array,
 474         reject anything but CONSTRUCTORs and TARGET_EXPRs.
 475         (build_vec_init): Handle separately ARRAY_TYPEs.
 476
 477 2018-03-26  Jason Merrill  <jason@redhat.com>
 478
 479         PR c++/85062 - ICE with alignas in wrong place.
 480         * decl.c (grokdeclarator): Ignore attributes on type-specifiers
 481         here.
 482
 483         PR c++/85049 - ICE with __integer_pack.
 484         * pt.c (unify_pack_expansion): Don't try to deduce generated packs.
 485         * cp-tree.h (TEMPLATE_PARM_P): New.
 486
 487 2018-03-23  Jason Merrill  <jason@redhat.com>
 488
 489         PR c++/78489 - wrong SFINAE behavior.
 490
 491         PR c++/84489
 492         * pt.c (type_unification_real): Don't defer substitution failure.
 493
 494 2018-03-23  Jakub Jelinek  <jakub@redhat.com>
 495
 496         PR c++/85015
 497         * decl.c (compute_array_index_type): Set osize to mark_rvalue_use
 498         result.
 499
 500         PR c++/84942
 501         * pt.c (tsubst_copy_and_build) <case FIX_TRUNC_EXPR>: Replace
 502         cp_build_unary_op call with gcc_unreachable ().
 503
 504 2018-03-23  Marek Polacek  <polacek@redhat.com>
 505
 506         PR c++/85045
 507         * cxx-pretty-print.c (cxx_pretty_printer::multiplicative_expression):
 508         Handle EXACT_DIV_EXPR and RDIV_EXPR.  Tweak condition.
 509         (cxx_pretty_printer::expression): Handle EXACT_DIV_EXPR and RDIV_EXPR.
 510
 511 2018-03-23  Ville Voutilainen  <ville.voutilainen@gmail.com>
 512
 513         Implement P0962
 514         * parser.c (cp_parser_perform_range_for_lookup): Change
 515         the condition for deciding whether to use members.
 516
 517 2018-03-23  Marek Polacek  <polacek@redhat.com>
 518
 519         PR c++/85033
 520         * semantics.c (finish_offsetof): Don't allow CONST_DECLs.
 521
 522 2018-03-23  Alexandre Oliva <aoliva@redhat.com>
 523
 524         PR c++/71251
 525         * parser.c (cp_parser_alias_declaration): Call
 526         parser_check_template_parameters.
 527
 528         PR c++/84789
 529         * pt.c (resolve_typename_type): Drop assert that stopped
 530         simplification to template-independent types.  Add assert to
 531         verify the initial scope is template dependent.
 532         * parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
 533         Reparse the id expression as a type-name, not a declarator.
 534
 535         PR c++/84729
 536         * init.c (build_vec_init): Error at parenthesized array init.
 537
 538         PR c++/84610
 539         PR c++/84642
 540         PR c++/84942
 541         * cp-tree.h (temp_override): New template class, generalizing
 542         a cleanup that was only used...
 543         * parser.c (cp_parser_parameter_declaration_clause):
 544         ... here for auto_is_implicit_function_template_parm_p.
 545         (cp_parser_gnu_attributes_opt): Use it here as well.
 546         (cp_parser_std_attribute): Likewise.
 547
 548 2018-03-22  Marek Polacek  <polacek@redhat.com>
 549
 550         PR c++/84854
 551         * semantics.c (finish_if_stmt_cond): Check if the type of the condition
 552         is boolean.
 553
 554 2018-03-21  Jason Merrill  <jason@redhat.com>
 555
 556         PR c++/81311 - wrong C++17 overload resolution.
 557         * call.c (build_user_type_conversion_1): Remove C++17 code.
 558         (conv_binds_ref_to_prvalue): New.
 559         (build_over_call): Handle C++17 copy elision.
 560         (build_special_member_call): Only do C++17 copy elision here if the
 561         argument is already the right type.
 562
 563 2018-03-21  Alexandre Oliva <aoliva@redhat.com>
 564
 565         PR c++/71965
 566         * init.c (build_vec_init): Silence error, former sorry,
 567         without tf_error.
 568
 569         PR c++/84610
 570         PR c++/84642
 571         * parser.c (abort_fully_implicit_template_p): New.
 572         (cp_parser_skip_to_end_of_statement): Use it.
 573         (cp_parser_skip_to_end_of_block_or_statement): Likewise.
 574         (finish_fully_implicit_template_p): Clear
 575         implicit_template_parms and implicit_template_scope.
 576
 577 2018-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
 578
 579         PR c++/84972
 580         * decl.c (maybe_deduce_size_from_array_init): Set TREE_TYPE to
 581         error_mark_node when check_array_designated_initializer fails.
 582
 583 2018-03-21  Jakub Jelinek  <jakub@redhat.com>
 584
 585         PR c++/84961
 586         * cp-tree.h (genericize_compound_lvalue): Declare.
 587         * typeck.c (genericize_compound_lvalue): New function.
 588         (unary_complex_lvalue, cp_build_modify_expr): Use it.
 589         * semantics.c (finish_asm_stmt): Replace MODIFY_EXPR, PREINCREMENT_EXPR
 590         and PREDECREMENT_EXPR in output and "m" constrained input operands with
 591         COMPOUND_EXPR.  Call cxx_mark_addressable on the rightmost
 592         COMPOUND_EXPR operand.
 593
 594 2018-03-21  Nathan Sidwell  <nathan@acm.org>
 595
 596         PR c++/85008
 597         * tree.c (decl_linkage): Use DECL_CLONED_FUNCTION_P.
 598         * decl2.c (vague_linkage_p): Likewise.
 599
 600 2018-03-21  David Malcolm  <dmalcolm@redhat.com>
 601
 602         PR c++/84994
 603         * constexpr.c (constexpr_fn_retval): Make non-"static".
 604         * cp-tree.h (constexpr_fn_retval): New decl.
 605         * search.c (direct_accessor_p): Update leading comment.
 606         (reference_accessor_p): Likewise.
 607         (field_accessor_p): Replace check that function body is a
 608         RETURN_EXPR with a call to constexpr_fn_retval.  Fix
 609         indentation of "field_type" decl.
 610
 611 2018-03-21  Nathan Sidwell  <nathan@acm.org>
 612
 613         PR c++/84804
 614         * name-lookup.c (do_pushtag): Permit lambdas to be pushed into
 615         complete classes.
 616
 617 2018-03-21  Martin Sebor  <msebor@redhat.com>
 618
 619         PR c++/84850
 620         * call.c (first_non_public_field): New template and function.
 621         (first_non_trivial_field): New function.
 622         (maybe_warn_class_memaccess): Call them.
 623
 624 2018-03-21  David Malcolm  <dmalcolm@redhat.com>
 625
 626         PR c++/84892
 627         * search.c (field_accessor_p): Use class_of_this_parm rather than
 628         type_of_this_parm, to check that "this" is a "const T *", rather
 629         than a "T *const".
 630
 631 2018-03-21  Nathan Sidwell  <nathan@acm.org>
 632
 633         * class.c (finish_struct_anon_r): Refactor, deprecate anything
 634         other than public non-static data members.
 635         * parser.c (cp_parser_init_declarator): Deprecate attributes after
 636         parenthesized initializer.
 637
 638         PR c++/84836
 639         * name-lookup.c (update_binding): Correct logic for local binding
 640         update.
 641
 642 2018-03-21  Marek Polacek  <polacek@redhat.com>
 643
 644         PR c++/71638, ICE with NSDMI and reference.
 645         * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
 646         even when we replace an element.
 647
 648 2018-03-20  Marek Polacek  <polacek@redhat.com>
 649
 650         PR c++/84978, ICE with NRVO.
 651         * constexpr.c (cxx_eval_constant_expression): Handle the case when
 652         a RESULT_DECL isn't in the hash map.
 653
 654 2018-03-20  Jason Merrill  <jason@redhat.com>
 655
 656         PR c++/84978, ICE with NRVO.
 657         * cvt.c (cp_get_fndecl_from_callee): Add fold parameter.
 658         (cp_get_callee_fndecl_nofold): New.
 659         * cp-gimplify.c (cp_genericize_r): Use it instead.
 660         * call.c (check_self_delegation): Likewise.
 661
 662 2018-03-20  Nathan Sidwell  <nathan@acm.org>
 663
 664         PR c++/84962
 665         * name-lookup.c (pushdecl_class_level): Push anon-struct's
 666         member_vec, if there is one.
 667
 668         PR c++/84970
 669         * cp-tree.h (lookup_list_keep): Declare.
 670         * tree.c (lookup_list_keep): New, broken out of ...
 671         (build_min): ... here.  Call it.
 672         * decl.c (cp_finish_decl): Call lookup_list_keep.
 673
 674 2018-03-19  Jason Merrill  <jason@redhat.com>
 675
 676         PR c++/84937 - ICE with class deduction and auto.
 677         * pt.c (rewrite_template_parm): Fix auto handling.
 678
 679 2018-03-19  Marek Polacek  <polacek@redhat.com>
 680
 681         PR c++/84925
 682         * pt.c (enclosing_instantiation_of): Check if fn is null.
 683
 684         PR c++/84927
 685         * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
 686         as we evaluate the elements.
 687         (cxx_eval_constant_expression): Verify constructor's flags
 688         unconditionally.
 689
 690 2018-03-19  Jason Merrill  <jason@redhat.com>
 691
 692         PR c++/71834 - template-id with too few arguments.
 693         * pt.c (coerce_template_parms): Check fixed_parameter_pack_p.
 694
 695 2018-03-19  Nathan Sidwell  <nathan@acm.org>
 696
 697         PR c++/84835
 698         * lambda.c (maybe_add_lambda_conv_op): Force C++ linkage.
 699         * pt.c (build_template_decl): Propagate language linkage.
 700
 701         PR c++/84812
 702         * name-lookup.c (set_local_extern_decl_linkage): Defend against
 703         ambiguous lookups.
 704
 705 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
 706
 707         PR c/84910
 708         * parser.c (cp_parser_lambda_introducer): Remove trailing space from
 709         diagnostics.
 710         * method.c (synthesize_method): Likewise.
 711         * pt.c (convert_nontype_argument): Likewise.
 712
 713 2018-03-16  Jason Merrill  <jason@redhat.com>
 714
 715         PR c++/84720 - ICE with rvalue ref non-type argument.
 716         * pt.c (invalid_nontype_parm_type_p): Prohibit rvalue reference.
 717         (convert_nontype_argument): Revert earlier change.
 718
 719         PR c++/80227 - SFINAE and negative array size.
 720         * decl.c (compute_array_index_type): Use
 721         build_converted_constant_expr and valid_constant_size_p.
 722
 723         PR c++/84906 - silent wrong code with ambiguous conversion.
 724         * call.c (build_user_type_conversion_1): Set need_temporary_p on
 725         ambiguous conversion.
 726         (convert_like_real): Check it.
 727
 728         PR c++/83937 - wrong C++17 handling of init-list ctor argument.
 729         * call.c (build_special_member_call): Don't convert an init-list
 730         argument directly to the class type.
 731
 732 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
 733
 734         PR c++/79937
 735         PR c++/82410
 736         * cp-tree.h (CONSTRUCTOR_PLACEHOLDER_BOUNDARY): Define.
 737         (find_placeholder): Declare.
 738         * tree.c (struct replace_placeholders_t): Add exp member.
 739         (replace_placeholders_r): Don't walk into ctors with
 740         CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag set, unless they are equal to
 741         d->exp.  Replace PLACEHOLDER_EXPR with unshare_expr (x) rather than x.
 742         (replace_placeholders): Initialize data.exp.
 743         (find_placeholders_r, find_placeholders): New functions.
 744         * typeck2.c (process_init_constructor_record,
 745         process_init_constructor_union): Set CONSTRUCTOR_PLACEHOLDER_BOUNDARY
 746         if adding NSDMI on which find_placeholder returns true.
 747         * call.c (build_over_call): Don't call replace_placeholders here.
 748         * cp-gimplify.c (cp_genericize_r): Set TARGET_EXPR_NO_ELIDE on
 749         TARGET_EXPRs with CONSTRUCTOR_PLACEHOLDER_BOUNDARY set on
 750         TARGET_EXPR_INITIAL.
 751         (cp_fold): Copy over CONSTRUCTOR_PLACEHOLDER_BOUNDARY bit to new
 752         ctor.
 753
 754 2018-03-16  Jason Merrill  <jason@redhat.com>
 755
 756         PR c++/83911 - ICE with multiversioned constructor.
 757         * cp-gimplify.c (cp_genericize_r): Replace versioned function with
 758         dispatchere here.
 759         * call.c (build_over_call): Not here.
 760
 761 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
 762
 763         PR c++/84874
 764         * decl.c (reshape_init_class): Don't assert d->cur->index == field
 765         if d->cur->index is a FIELD_DECL, instead set field to d->cur->index.
 766
 767 2018-03-15  Jakub Jelinek  <jakub@redhat.com>
 768
 769         PR c++/84222
 770         * cp-tree.h (cp_warn_deprecated_use): Declare.
 771         * tree.c (cp_warn_deprecated_use): New function.
 772         * typeck2.c (build_functional_cast): Use it.
 773         * decl.c (grokparms): Likewise.
 774         (grokdeclarator): Likewise.  Temporarily push nested class scope
 775         around grokparms call for out of class member definitions.
 776
 777 2018-03-14  Jason Merrill  <jason@redhat.com>
 778
 779         PR c++/84820 - no error for invalid qualified-id.
 780         * parser.c (cp_parser_make_indirect_declarator): Don't wrap
 781         cp_error_declarator.
 782
 783         PR c++/84801 - ICE with unexpanded pack in lambda.
 784         * pt.c (check_for_bare_parameter_packs): Don't return early for a
 785         lambda in non-template context.
 786
 787         PR c++/81236 - auto variable and auto function
 788         * pt.c (tsubst_baselink): Update the type of the BASELINK after
 789         mark_used.
 790
 791 2018-03-14  Jason Merrill  <jason@redhat.com>
 792
 793         PR c++/83916 - ICE with template template parameters.
 794         * pt.c (convert_template_argument): Don't substitute into type of
 795         non-type parameter if we don't have enough arg levels.
 796         (unify): Likewise.
 797
 798 2018-03-14  Marek Polacek  <polacek@redhat.com>
 799
 800         PR c++/84596
 801         * semantics.c (finish_static_assert): Check
 802         instantiation_dependent_expression_p instead of
 803         {type,value}_dependent_expression_p.
 804
 805 2018-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
 806             Jason Merrill  <jason@redhat.com>
 807
 808         PR c++/82336 - link error with list-init default argument.
 809         * decl.c (check_default_argument): Unshare an initializer list.
 810
 811 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 812
 813         PR c++/84843
 814         * decl.c (duplicate_decls): For redefinition of built-in, use error
 815         and return error_mark_node.  For redeclaration, return error_mark_node
 816         rather than olddecl if !flag_permissive.
 817
 818 2018-03-13  Jason Merrill  <jason@redhat.com>
 819
 820         PR c++/82565 - ICE with concepts and generic lambda.
 821         * pt.c (instantiate_decl): Clear fn_context for lambdas.
 822
 823 2018-03-13  Jason Merrill  <jason@redhat.com>
 824
 825         PR c++/84720 - ICE with rvalue ref non-type argument.
 826         * pt.c (convert_nontype_argument): Handle rvalue references.
 827
 828         PR c++/84839 - ICE with decltype of parameter pack.
 829         * pt.c (tsubst_pack_expansion): Set cp_unevaluated_operand while
 830         instantiating dummy parms.
 831
 832         * parser.c (cp_parser_simple_type_specifier): Pedwarn about auto
 833         parameter even without -Wpedantic.
 834
 835         PR c++/84798 - ICE with auto in abstract function declarator.
 836         * parser.c (cp_parser_parameter_declaration_clause): Check
 837         parser->default_arg_ok_p.
 838
 839 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 840
 841         PR c++/84808
 842         * constexpr.c (find_array_ctor_elt): Don't use elt reference after
 843         first potential CONSTRUCTOR_ELTS reallocation.  Convert dindex to
 844         sizetype.  Formatting fixes.
 845
 846 2018-03-12  Jason Merrill  <jason@redhat.com>
 847
 848         PR c++/84355 - ICE with deduction for member class template.
 849         * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
 850         CLASS_PLACEHOLDER_TEMPLATE.
 851
 852         PR c++/84802 - ICE capturing uninstantiated class.
 853         * lambda.c (build_capture_proxy): Call complete_type.
 854
 855 2018-03-09  Jason Merrill  <jason@redhat.com>
 856
 857         PR c++/84770 - ICE with typedef and parameter pack.
 858         * pt.c (verify_unstripped_args_1): Split out from
 859         verify_unstripped_args.
 860
 861         PR c++/84785 - ICE with alias template and default targs.
 862         * pt.c (type_unification_real): Set processing_template_decl if
 863         saw_undeduced == 1.
 864
 865         PR c++/84752 - ICE with capture of constexpr array.
 866         * call.c (standard_conversion): Set rvaluedness_matches_p on the
 867         identity conversion under ck_lvalue.
 868
 869 2018-03-09  Jason Merrill  <jason@redhat.com>
 870             Paolo Carlini  <paolo.carlini@oracle.com>
 871
 872         PR c++/71169
 873         PR c++/71832
 874         * pt.c (any_erroneous_template_args_p): New.
 875         * cp-tree.h (any_erroneous_template_args_p): Declare it.
 876         * parser.c (cp_parser_class_specifier_1): Use it.
 877
 878 2018-03-09  Jason Merrill  <jason@redhat.com>
 879
 880         PR c++/84726 - unnecessary capture of constant vars.
 881         * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
 882         (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
 883         * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
 884         * lambda.c (is_constant_capture_proxy)
 885         (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
 886         (prune_lambda_captures): New.
 887         (finish_lambda_function): Call prune_lambda_captures.
 888
 889 2018-03-09  Jason Merrill  <jason@redhat.com>
 890             Jakub Jelinek  <jakub@redhat.com>
 891
 892         PR c++/84076
 893         * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
 894         build ADDR_EXPR with REFERENCE_TYPE.
 895         (build_over_call): For purposes of check_function_arguments, if
 896         argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
 897         its operand rather than the argument itself.
 898
 899 2018-03-09  Jakub Jelinek  <jakub@redhat.com>
 900
 901         PR c++/84724
 902         * decl.c (duplicate_decls): Don't override __* prefixed builtins
 903         except for __[^b]*_chk, instead issue permerror and for -fpermissive
 904         also a note and return olddecl.
 905
 906 2018-03-09  Nathan Sidwell  <nathan@acm.org>
 907
 908         PR c++/84733
 909         * name-lookup.c (do_pushdecl_with_scope): Only clear
 910         current_function_decl when pushing a non-class (i.e. namespace)
 911         scope.
 912
 913 2018-03-08  Jason Merrill  <jason@redhat.com>
 914             Jakub Jelinek  <jakub@redhat.com>
 915
 916         PR c++/80598
 917         * call.c (build_over_call): In templates set TREE_USED (first_fn) when
 918         not calling mark_used for the benefit of -Wunused-function warning.
 919
 920 2018-03-06  Jason Merrill  <jason@redhat.com>
 921
 922         * lambda.c (is_capture_proxy_with_ref): Remove.
 923         * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
 924
 925 2018-03-06  Marek Polacek  <polacek@redhat.com>
 926
 927         PR c++/84684
 928         * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
 929         arguments.
 930
 931 2018-03-06  Alexandre Oliva <aoliva@redhat.com>
 932
 933         PR c++/84231
 934         * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
 935         only while processing template decls.
 936         * typeck.c (build_x_conditional_expr): Move wrapping of
 937         reference type around type...
 938         * call.c (build_conditional_expr_1): ... here.  Rename
 939         is_lvalue to is_glvalue.
 940         * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
 941         INDIRECT_REF of COND_EXPR too.
 942
 943         PR c++/84593
 944         * init.c (build_zero_init_1): Zero-initialize references.
 945
 946         PR c++/84492
 947         * semantics.c (finish_stmt_expr_expr): Reject unresolved
 948         overloads used as stmt expr values.
 949
 950 2018-03-05  Jason Merrill  <jason@redhat.com>
 951
 952         PR c++/84708 - ICE with lambda in local class NSDMI.
 953         * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
 954         context.
 955
 956 2018-03-05  Jakub Jelinek  <jakub@redhat.com>
 957
 958         PR c++/84684
 959         * constexpr.c (constexpr_call_hasher::equal): Return false if
 960         lhs->hash != rhs->hash.  Change return 1 to return true and
 961         return 0 to return false.
 962
 963 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 964
 965         PR c++/84702
 966         * pt.c (process_template_arg): Mark lookup_keep on a default arg.
 967
 968 2018-03-05  Marek Polacek  <polacek@redhat.com>
 969
 970         PR c++/84707
 971         * decl.c (duplicate_decls): Check DECL_NAME before accessing
 972         UDLIT_OPER_P.
 973
 974 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 975
 976         PR c++/84694
 977         * friend.c (do_friend): Restore check for identifier_p inside
 978         TEMPLATE_ID_EXPR.
 979
 980 2018-03-05  Paolo Carlini  <paolo.carlini@oracle.com>
 981
 982         PR c++/84618
 983         * parser.c (cp_parser_lambda_introducer): Reject any capture not
 984         involving a VAR_DECL or a PARM_DECL.
 985
 986 2018-03-05  Pádraig Brady  <P@draigBrady.com>
 987             Jason  Merrill  <jason@redhat.com>
 988             Nathan Sidwell  <nathan@acm.org>
 989
 990         PR c++/84497
 991         * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
 992
 993 2018-03-03  Jason Merrill  <jason@redhat.com>
 994
 995         PR c++/84686 - missing volatile loads.
 996         * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
 997
 998 2018-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 999
1000         PR c++/71464
1001         * optimize.c (maybe_thunk_body): Bail out immediately if either
1002         fns[0] or fns[1] is null.
1003
1004 2018-03-02  Marek Polacek  <polacek@redhat.com>
1005
1006         PR c++/84578
1007         * constexpr.c (get_array_or_vector_nelts): New.
1008         (cxx_eval_array_reference): Use it.
1009         (cxx_eval_vec_init_1): Likewise.
1010         (cxx_eval_store_expression): Likewise.
1011
1012 2018-03-02  Jason Merrill  <jason@redhat.com>
1013
1014         * semantics.c (force_paren_expr): Remove redundant test.
1015
1016 2018-03-02  Marek Polacek  <polacek@redhat.com>
1017
1018         PR c++/84663
1019         * decl.c (cp_complete_array_type): Check error_mark_node.
1020
1021         PR c++/84664
1022         * typeck.c (cp_perform_integral_promotions): Check the result of
1023         mark_rvalue_use.
1024
1025 2018-03-02  Jakub Jelinek  <jakub@redhat.com>
1026
1027         PR c++/84662
1028         * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
1029         RETURN instead of return.
1030         <case POINTER_PLUS_EXPR>: Likewise.
1031         <case CONVERT_EXPR>: If op0 is error_mark_node, just return
1032         it instead of wrapping it into CONVERT_EXPR.
1033
1034 2018-03-02  Jason Merrill  <jason@redhat.com>
1035
1036         Fix MIPS16 ICE.
1037         * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
1038
1039 2018-03-02  Marek Polacek  <polacek@redhat.com>
1040
1041         PR c++/84590
1042         * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
1043         wrapped in VIEW_CONVERT_EXPR.
1044
1045 2018-03-01  Martin Sebor  <msebor@redhat.com>
1046
1047         PR c++/84294
1048         * decl.c (check_redeclaration_no_default_args): Merge attributes
1049         specified on redeclarations of the same function template.
1050         Remove dead code.
1051
1052 2018-03-01  Marek Polacek  <polacek@redhat.com>
1053             Jason Merrill  <jason@redhat.com>
1054
1055         PR c++/84582
1056         * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
1057         a template.
1058         (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
1059         * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
1060         of instantiate_non_dependent_expr.
1061         * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
1062
1063 2018-03-01  Nathan Sidwell  <nathan@acm.org>
1064
1065         PR c++/84434
1066         * name-lookup.c (member_vec_dedup): Remove manually peeled
1067         iteration.  Ignore dependent ctor inheritance.
1068
1069 2018-03-01  Jason Merrill  <jason@redhat.com>
1070
1071         PR c++/71569 - decltype of template.
1072         * parser.c (cp_parser_decltype_expr): Handle missing template args.
1073
1074 2018-03-01  Marek Polacek  <polacek@redhat.com>
1075
1076         PR c++/84596
1077         * constexpr.c (require_rvalue_constant_expression): New function.
1078         * cp-tree.h: Declare it.
1079         * semantics.c (finish_static_assert): Use it instead of
1080         require_potential_rvalue_constant_expression.
1081
1082 2018-03-01  Jason Merrill  <jason@redhat.com>
1083             Alexandre Oliva <aoliva@redhat.com>
1084
1085         PR c++/71569 - ICE with redundant args on member variable template.
1086         * decl.c (start_decl): Handle partial specialization of member
1087         variable template.
1088         * pt.c (determine_specialization): Allow partial specialization
1089         of member variable template without specializing enclosing class.
1090         (process_partial_specialization): Improve error message.
1091
1092 2018-02-28  Jason Merrill  <jason@redhat.com>
1093
1094         PR c++/71784 - ICE with ref-qualifier and explicit specialization.
1095         * pt.c (determine_specialization): Check ref-qualifier.
1096
1097 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
1098
1099         PR c++/84609
1100         * parser.c (cp_parser_attributes_opt): Formatting fix.
1101         (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
1102         cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
1103         New functions.
1104         (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
1105         instead of tentative parse to peek over optional attribute tokens
1106         to check for CPP_COLON after them.
1107
1108         PR c++/83871
1109         PR c++/83503
1110         * pt.c (INCLUDE_STRING): Remove define.
1111         (warn_spec_missing_attributes): Use pretty_printer instead of
1112         std::string.  Fix up inform call so that the list of attributes
1113         is in %s argument.
1114
1115 2018-02-28  Martin Sebor  <msebor@redhat.com>
1116
1117         PR testsuite/84617
1118         * decl.c (duplicate_decls): Fully merge attributes const, pure,
1119         and malloc.
1120
1121 2018-02-28  Nathan Sidwell  <nathan@acm.org>
1122
1123         PR c++/84602
1124         * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
1125         * name-lookup.c (fields_linear_search): Look in an anon-aggr
1126         regardless of want_type.
1127         (search_anon_aggr): Just use get_class_binding_direct.
1128
1129 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
1130
1131         * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
1132         inform_n.
1133
1134 2018-02-27  Martin Sebor  <msebor@redhat.com>
1135
1136         * pt.c: Avoid including <string> directly.
1137
1138 2018-02-27  Martin Sebor  <msebor@redhat.com>
1139
1140         PR c++/83871
1141         PR c++/83503
1142         * cp-tree.h (warn_spec_missing_attributes): New function.
1143         ((check_explicit_specialization): Add an argument.  Call the above
1144         function.
1145         * decl.c (duplicate_decls): Avoid applying primary function template's
1146         attributes to its explicit specializations.
1147         cp/pt.c (warn_spec_missing_attributes): Define.
1148
1149 2018-02-27  Håkon Sandsmark  <hsandsmark@gmail.com>
1150
1151         PR c++/71546 - lambda init-capture with qualified-id.
1152         * parser.c (cp_parser_lambda_introducer): Clear scope after
1153         each lambda capture.
1154
1155 2018-02-27  Nathan Sidwell  <nathan@acm.org>
1156
1157         PR c++/84426
1158         * name-lookup.h (get_member_slot): Rename ...
1159         (find_member_slot): ... here.
1160         (add_member_slot): New.
1161         * name-lookup.c (member_vec_linear_search): No need to check for
1162         NULL slot.
1163         (get_member_slot): Rename ...
1164         (find_member_slot): ... here.  Don't add slot for incomplete class.
1165         (add_member_slot): New.
1166         * class.c (add_method): Adjust get_member_slot rename.  Bail out
1167         if push_class_level_binding fails.  Create slot and grok
1168         properties once we're committed to insertion.
1169
1170 2018-02-27  Jason Merrill  <jason@redhat.com>
1171
1172         PR c++/84489 - dependent default template argument
1173         * pt.c (type_unification_real): Handle early substitution failure.
1174
1175 2018-02-26  Jason Merrill  <jason@redhat.com>
1176
1177         PR c++/84560 - ICE capturing multi-dimensional VLA.
1178         * tree.c (array_of_runtime_bound_p): False if the element is
1179         variably-modified.
1180
1181         PR c++/84441 - ICE with base initialized from ?:
1182         * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
1183
1184         PR c++/84520 - ICE with generic lambda in NSDMI.
1185         * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
1186         'this' in a generic lambda instantiation.
1187
1188         PR c++/84559 - ICE with constexpr VLA.
1189         * constexpr.c (ensure_literal_type_for_constexpr_object): Check
1190         for constexpr variable with VLA type.
1191
1192 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
1193
1194         PR c++/84558
1195         * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
1196         a valid constant initializer.  Formatting fixes.
1197
1198 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
1199
1200         PR c++/84540
1201         * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
1202         returning NULL_TREE.
1203         (apply_late_template_attributes): Likewise.
1204
1205 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
1206
1207         PR c++/84557
1208         * parser.c (cp_parser_omp_var_list_no_open): Only call
1209         cp_parser_lookup_name_simple on names satisfying identifier_p.
1210         (cp_parser_oacc_routine): Likewise.
1211
1212 2018-02-26  Jason Merrill  <jason@redhat.com>
1213
1214         PR c++/84551 - ICE with concepts and -g.
1215         * parser.c (add_debug_begin_stmt): Do nothing in a concept.
1216
1217 2018-02-26  Marek Polacek  <polacek@redhat.com>
1218
1219         PR c++/84325
1220         * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
1221         non-types.
1222
1223 2018-02-26  Jason Merrill  <jason@redhat.com>
1224
1225         PR c++/84447 - ICE with deleted inherited ctor with default arg.
1226         * call.c (build_over_call): Handle deleted functions in one place.
1227
1228 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
1229
1230         PR c++/84533
1231         * decl.c (redeclaration_error_message): Don't try to use
1232         DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
1233
1234 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
1235
1236         * lambda.c (build_capture_proxy): Define static.
1237         * cp-tree.h (build_capture_proxy): Remove.
1238
1239 2018-02-26  Marek Polacek  <polacek@redhat.com>
1240
1241         PR c++/84537
1242         * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
1243         if name is error node.
1244
1245 2018-02-25  Jason Merrill  <jason@redhat.com>
1246
1247         PR c++/84015 - ICE with class deduction and auto template parm.
1248         * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
1249
1250 2018-02-24  Marek Polacek  <polacek@redhat.com>
1251
1252         PR c++/83692
1253         * constexpr.c (maybe_constant_init_1): New function.
1254         (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
1255         (cxx_constant_init): New function.
1256         * cp-tree.h (cxx_constant_init): Declare.
1257         * typeck2.c (store_init_value): Call cxx_constant_init instead of
1258         cxx_constant_value.  Move the maybe_constant_init call under an 'else'.
1259
1260 2018-02-22  Jason Merrill  <jason@redhat.com>
1261
1262         PR c++/70468 - ICE with constructor delegation via typedef.
1263         * pt.c (tsubst_initializer_list): Check for other mem-initializers
1264         with constructor delegation.
1265
1266 2018-02-22  Jason Merrill  <jason@redhat.com>
1267
1268         PR c++/84424 - ICE with constexpr and __builtin_shuffle.
1269         * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
1270         VECTOR_TYPE.
1271
1272 2018-02-22  Marek Polacek  <polacek@redhat.com>
1273
1274         PR c++/84493
1275         * parser.c (cp_parser_braced_list): Use require_open instead of
1276         consume_open.
1277
1278 2018-02-21  Jason Merrill  <jason@redhat.com>
1279
1280         PR c++/84454 - ICE with pack expansion in signature.
1281         * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
1282
1283 2018-02-20  Siddhesh Poyarekar  <siddhesh@sourceware.org>
1284
1285         * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
1286         IF_STMT.
1287
1288 2018-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
1289
1290         PR c++/84446
1291         * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
1292         on error_mark_node.
1293
1294 2018-02-20  Jakub Jelinek  <jakub@redhat.com>
1295
1296         PR c++/84445
1297         * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
1298         TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
1299
1300         PR c++/84449
1301         * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
1302         returns error_mark_node, return it immediately.
1303         (break_out_target_exprs): If cp_walk_tree with bot_manip returns
1304         error_mark_node, return error_mark_node.
1305
1306         PR c++/84455
1307         * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
1308         function_depth to avoid GC during finish_lambda_function.
1309
1310 2018-02-19  Jason Merrill  <jason@redhat.com>
1311
1312         PR c++/84429 - ICE capturing VLA.
1313         * lambda.c (build_capture_proxy): Handle reference refs.
1314
1315 2018-02-19  Jakub Jelinek  <jakub@redhat.com>
1316
1317         PR c++/84448
1318         * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
1319         either operand is error_mark_node, set current.lhs to that instead of
1320         creating a binary op with error_mark_node operands.
1321
1322         PR c++/84430
1323         * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
1324
1325 2018-02-19  Paolo Carlini  <paolo.carlini@oracle.com>
1326
1327         PR c++/84348
1328         * decl.c (grokdeclarator): Early return error_mark_node upon
1329         ill-formed friend declaration.
1330
1331 2018-02-16  Marek Polacek  <polacek@redhat.com>
1332             Jakub Jelinek  <jakub@redhat.com>
1333
1334         PR c++/84192
1335         * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
1336         set *jump_target to anything if jump_target is NULL.
1337
1338 2018-02-16  Jason Merrill  <jason@redhat.com>
1339
1340         PR c++/84151 - unnecessary volatile load with static member.
1341         * call.c (build_new_method_call_1): Avoid loading from a volatile
1342         lvalue used as the object argument for a static member function.
1343
1344         PR c++/81853 - using-directive and constexpr.
1345         * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
1346
1347         PR c++/84420 - ICE with structured binding in lambda.
1348         * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
1349
1350         PR c++/83835 - C++17 error with constructor ctors.
1351         * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
1352
1353         PR c++/82664 - ICE with reference to function template parm.
1354         * pt.c (convert_nontype_argument_function): Avoid obfuscationg
1355         NOP_EXPRs.
1356
1357         PR c++/82764 - C++17 ICE with empty base
1358         * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
1359
1360 2018-02-16  Jason Merrill  <jason@redhat.com>
1361
1362         PR c++/84421 - type-dependent if constexpr
1363         * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
1364
1365 2018-02-16  Nathan Sidwell  <nathan@acm.org>
1366
1367         Deprecate -ffriend-injection.
1368         * decl.c (cxx_init_decl_processing): Emit warning on option.
1369         * name-lookup.c (do_pushdecl): Emit warning if we push a visible
1370         friend.
1371
1372 2018-02-16  Paolo Carlini  <paolo.carlini@oracle.com>
1373
1374         PR c++/82468
1375         * decl.c (check_special_function_return_type): Reject template
1376         template parameter in deduction guide.
1377
1378 2018-02-16  Nathan Sidwell  <nathan@acm.org>
1379
1380         PR c++/84375
1381         * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
1382
1383 2018-02-15  Jason Merrill  <jason@redhat.com>
1384
1385         PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
1386         * call.c (convert_like_real): Don't use the copy-list-initialization
1387         shortcut for ck_base.
1388
1389         PR c++/84045 - ICE with typedef and noexcept.
1390         * except.c (build_noexcept_spec): Use strip_typedefs_expr.
1391
1392         PR c++/84376 - ICE with omitted template arguments.
1393         * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
1394
1395         PR c++/84368 - wrong error with local variable in variadic lambda.
1396         * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
1397         local_specializations.
1398
1399 2018-02-15  Paolo Carlini  <paolo.carlini@oracle.com>
1400
1401         PR c++/84330
1402         * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
1403         as first argument.
1404
1405 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
1406
1407         PR c++/84350
1408         * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
1409         init, early return.
1410
1411 2018-02-14  Nathan Sidwell  <nathan@acm.org>
1412
1413         * decl2.c (mark_vtable_entries): Set input_location to decl's.
1414         (c_parse_final_cleanups): Restore input_location after emitting
1415         vtables.
1416
1417 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
1418
1419         * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
1420         (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
1421         auto_deduction_context, tree, int): Add defaults.
1422         * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
1423         (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
1424         tsubst_flags_t argument.
1425         * init.c (build_new): Likewise.
1426
1427 2018-02-13  Jakub Jelinek  <jakub@redhat.com>
1428
1429         PR c++/84364
1430         * typeck.c (check_return_expr): Don't emit -Weffc++ warning
1431         about return other than *this in assignment operators if
1432         retval is type dependent expression.
1433
1434 2018-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1435
1436         PR c++/84333
1437         * call.c (build_conditional_expr_1): Use cp_save_expr instead of
1438         save_expr for the G++ extension.
1439
1440 2018-02-13  Jason Merrill  <jason@redhat.com>
1441
1442         PR c++/84080 - ICE with return type deduction and specialization.
1443         * pt.c (determine_specialization): Check uses_template_parms.
1444
1445         Fix more variadic capture issues.
1446         * pt.c (find_parameter_packs_r): Also look at explicit captures.
1447         (check_for_bare_parameter_packs): Check current_class_type for
1448         lambda context.
1449         (extract_locals_r): Handle seeing a full instantiation of a pack.
1450         (tsubst_pack_expansion): Likewise.  Force lambda capture.
1451         * parser.c (cp_parser_lambda_introducer): Don't
1452         check_for_bare_parameter_packs.
1453
1454         PR c++/84338 - wrong variadic sizeof.
1455         * pt.c (argument_pack_select_arg): Like the macro, but look through
1456         a pack expansion.
1457         (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
1458         (extract_fnparm_pack): Do make_pack_expansion.
1459         (extract_locals_r): Do strip a pack expansion.
1460         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
1461
1462 2018-02-12  Jakub Jelinek  <jakub@redhat.com>
1463
1464         PR c++/84341
1465         * parser.c (cp_parser_binary_expression): Use build_min instead of
1466         build2_loc to build the no_toplevel_fold_p toplevel binary expression.
1467
1468 2018-02-12  Nathan Sidwell  <nathan@acm.org>
1469
1470         PR c++/84263
1471         * parser.c (cp_parser_decltype): Push and pop
1472         deferring_access_checks.  Reorganize to avoid goto.
1473
1474 2018-02-12  Richard Biener  <rguenther@suse.de>
1475
1476         PR c++/84281
1477         * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
1478         uniform constructors and delay allocating them fully.
1479
1480 2018-02-09  Jason Merrill  <jason@redhat.com>
1481
1482         PR c++/84036 - ICE with variadic capture.
1483         Handle variadic capture proxies more like non-variadic.
1484         * lambda.c (build_capture_proxy): Remove workaround.
1485         * pt.c (find_parameter_packs_r): The proxy is a pack.
1486         (instantiate_class_template_1): Remove dead lambda code.
1487         (extract_fnparm_pack): Don't make_pack_expansion.
1488         (extract_locals_r): Don't strip a pack expansion.
1489         (tsubst_pack_expansion): Handle proxy packs.  Use
1490         PACK_EXPANSION_EXTRA_ARGS less.
1491         (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
1492         (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
1493         [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
1494         (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
1495         (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
1496
1497 2018-02-10  Jakub Jelinek  <jakub@redhat.com>
1498
1499         PR sanitizer/83987
1500         * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
1501
1502 2018-02-09  Jason Merrill  <jason@redhat.com>
1503
1504         PR c++/81917 - ICE with void_t and partial specialization.
1505         * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
1506         calling most_specialized_partial_spec.
1507
1508 2018-02-09  Nathan Sidwell  <nathan@acm.org>
1509
1510         PR c/84293
1511         * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
1512         Pass expr location to strict_aliasing_warning.
1513
1514 2018-02-09  Jason Merrill  <jason@redhat.com>
1515
1516         PR c++/84296 - ICE with qualified-id in template.
1517         PR c++/83714
1518         * pt.c (unknown_base_ref_p): New.
1519         (instantiation_dependent_scope_ref_p): Use it instead of
1520         any_dependent_bases_p.
1521
1522 2018-02-09  Marek Polacek  <polacek@redhat.com>
1523             Jakub Jelinek  <jakub@redhat.com>
1524
1525         PR c++/83659
1526         * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
1527         fold_indirect_ref_1, including poly_*int64.  Verify first that
1528         tree_fits_poly_int64_p (op01).  Formatting fixes.
1529
1530 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
1531
1532         * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
1533         * lambda.c (build_capture_proxy): Likewise.
1534         * search.c (field_access_p): Likewise.
1535         * semantics.c (omp_clause_decl, omp_privatize_field,
1536         finish_omp_clauses): Likewise.
1537
1538 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
1539
1540         PR c++/83806
1541         * typeck.c (decay_conversion): Use mark_rvalue_use for the special
1542         case of nullptr too.
1543
1544 2018-02-08  Nathan Sidwell  <nathan@acm.org>
1545
1546         * class.c (finish_struct): Fix std:initializer_list diagnostic
1547         formatting.
1548
1549 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
1550
1551         PR c++/83204
1552         * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
1553
1554 2018-02-07  Jakub Jelinek  <jakub@redhat.com>
1555
1556         PR c++/84082
1557         * parser.c (cp_parser_dot_deref_incomplete): New function.
1558         (cp_parser_postfix_dot_deref_expression): Use it.
1559
1560 2018-02-07  David Malcolm  <dmalcolm@redhat.com>
1561
1562         PR c++/81610
1563         PR c++/80567
1564         * name-lookup.c (suggest_rid_p): New function.
1565         (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
1566         suggest_rid_p.
1567
1568 2018-02-07  Jason Merrill  <jason@redhat.com>
1569
1570         PR c++/84182 - ICE with captured lambda
1571         PR c++/84181
1572         * pt.c (extract_locals_r, extract_local_specs): New.
1573         (tsubst_pack_expansion): Use them.
1574
1575 2018-02-07  Martin Liska  <mliska@suse.cz>
1576
1577         PR c++/84059.
1578         * class.c (add_method): Append argument value.
1579         * cp-tree.h (maybe_version_functions): Add new argument.
1580         * decl.c (decls_match): Call it if a declaration does not
1581         have DECL_FUNCTION_VERSIONED.
1582         (maybe_version_functions): record argument is added.
1583
1584 2018-02-05  Marek Polacek  <polacek@redhat.com>
1585
1586         * class.c: Remove unused global variables.
1587         (build_primary_vtable): Don't gather statistics.
1588         (print_class_statistics): Remove.
1589         * cp-tree.h (print_class_statistics): Remove.
1590         * tree.c (cxx_print_statistics): Don't call print_class_statistics.
1591
1592 2018-02-02  Paolo Carlini  <paolo.carlini@oracle.com>
1593
1594         * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
1595         * constexpr.c (cx_check_missing_mem_inits): Likewise.
1596         * decl.c (next_initializable_field, find_decomp_class_base,
1597         cp_finish_decomp): Likewise.
1598         * typeck2.c (process_init_constructor_record): Likewise.
1599
1600 2018-02-02  Jason Merrill  <jason@redhat.com>
1601
1602         PR c++/84181 - ICE with lambda parm in template argument.
1603         * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
1604
1605 2018-02-01  Jason Merrill  <jason@redhat.com>
1606
1607         PR c++/84160 - ICE with nested variadic capture.
1608         * lambda.c (is_capture_proxy_with_ref): New.
1609         (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
1610         COMPONENT_REF.
1611         * expr.c (mark_use): Use is_capture_proxy_with_ref.
1612         * constexpr.c (potential_constant_expression_1): Likewise.
1613         * semantics.c (process_outer_var_ref): Likewise.
1614
1615 2018-02-01  Marek Polacek  <polacek@redhat.com>
1616
1617         PR c++/84125
1618         * typeck.c (build_address): Relax the assert when
1619         processing_template_decl.
1620
1621 2018-02-01  Jason Merrill  <jason@redhat.com>
1622
1623         PR c++/84126 - ICE with variadic generic lambda
1624         PR c++/84036
1625         PR c++/82249
1626         * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
1627         PACK_EXPANSION_EXTRA_ARGS.
1628
1629 2018-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1630
1631         PR c++/83796
1632         * call.c (convert_like_real): If w're initializing from {} explicitly
1633         call abstract_virtuals_error_sfinae.
1634
1635 2018-01-31  Jason Merrill  <jason@redhat.com>
1636             Jakub Jelinek  <jakub@redhat.com>
1637
1638         PR c++/83993
1639         * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
1640         around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
1641         on ADDR_EXPR.
1642
1643 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
1644
1645         PR c++/83993
1646         * constexpr.c (diag_array_subscript): Emit different diagnostics
1647         if TYPE_DOMAIN (arraytype) is NULL.
1648         (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
1649         with NULL TYPE_DOMAIN use size_zero_node as nelts.
1650
1651 2018-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
1652
1653         PR c++/84092
1654         * semantics.c (finish_qualified_id_expr): When handling an
1655         UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
1656
1657 2018-01-31  Marek Polacek  <polacek@redhat.com>
1658
1659         PR c++/84138
1660         * cp-gimplify.c (cp_fold): Check if X is an error node before
1661         calling useless_type_conversion_p.
1662
1663 2018-01-30  Jason Merrill  <jason@redhat.com>
1664
1665         PR c++/84091 - ICE with local class in lambda in template.
1666         * decl2.c (determine_visibility): Look for outer containing template
1667         instantiation.
1668
1669         PR c++/84098 - ICE with lambda in template NSDMI.
1670         * pt.c (instantiate_class_template_1): Ignore more lambdas.
1671
1672 2018-01-29  Jason Merrill  <jason@redhat.com>
1673
1674         PR c++/68810 - wrong location for reinterpret_cast error.
1675         * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
1676         !dofold.
1677
1678 2018-01-29  Marek Polacek  <polacek@redhat.com>
1679
1680         PR c++/83996
1681         * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
1682         => fooarray[1] in offset_int.
1683
1684 2018-01-29  Jason Merrill  <jason@redhat.com>
1685
1686         PR c++/83942 - wrong unused warning with static_cast.
1687         * cvt.c (ocp_convert): Call mark_rvalue_use.
1688
1689 2018-01-26  Jason Merrill  <jason@redhat.com>
1690
1691         PR c++/83956 - wrong dtor error with anonymous union
1692         * method.c (walk_field_subobs): Variant members only affect
1693         deletedness.
1694         (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
1695
1696         PR c++/84036 - ICE with variadic capture.
1697         PR c++/82249
1698         * pt.c (tsubst_pack_expansion): When optimizing a simple
1699         substitution, pull a single pack expansion out of its pack.
1700
1701         PR c++/82514 - ICE with local class in generic lambda.
1702         * pt.c (regenerated_lambda_fn_p): Remove.
1703         (enclosing_instantiation_of): Don't use it.
1704         (tsubst_function_decl): Call enclosing_instantiation_of.
1705
1706         * pt.c (lookup_template_class_1): Add sanity check.
1707         * name-lookup.c (do_pushtag): Don't add closures to local_classes.
1708
1709 2018-01-25  Jakub Jelinek  <jakub@redhat.com>
1710
1711         PR c++/84031
1712         * decl.c (find_decomp_class_base): Ignore unnamed bitfields.  Ignore
1713         recursive calls that return ret.
1714         (cp_finish_decomp): Ignore unnamed bitfields.
1715
1716 2018-01-23  Jason Merrill  <jason@redhat.com>
1717
1718         PR c++/82249 - wrong mismatched pack length error.
1719         * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
1720         unsubstituted function parameter pack.
1721
1722 2018-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1723
1724         PR c++/83921
1725         * decl.c (check_for_uninitialized_const_var): Not static; add
1726         bool and tsubst_flags_t parameters; adjust to be used both in
1727         constexpr context and not.
1728         * constexpr.c (potential_constant_expression_1): Use the above.
1729         * cp-tree.h (check_for_uninitialized_const_var): Declare.
1730
1731 2018-01-23  Jason Merrill  <jason@redhat.com>
1732
1733         PR c++/83947 - ICE with auto declarations.
1734         * pt.c (do_auto_deduction): Don't deduce from an auto decl.
1735         * decl.c (undeduced_auto_decl): Limit to vars and fns.
1736
1737 2018-01-23  David Malcolm  <dmalcolm@redhat.com>
1738
1739         PR c++/83974
1740         * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
1741         for pointer to member function types.
1742
1743 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1744
1745         PR sanitizer/83987
1746         * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
1747         DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
1748
1749 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1750
1751         PR c++/83988
1752         * pt.c (tsubst_baselink): Remove optype assert.
1753         * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
1754
1755 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1756
1757         PR c++/83958
1758         * decl.c (cp_finish_decomp): Diagnose if reference structure binding
1759         refers to incomplete type.
1760
1761 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1762
1763         Deprecate ARM-era for scope handling
1764         * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
1765         (cxx_init_decl_processing): Deprecate flag_new_for_scope being
1766         cleared.
1767         * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
1768         cleanup handling.
1769         * semantics.c (begin_for_scope): Flag_new_for_scope is
1770         boolean-like.
1771         (finish_for_stmt, begin_range_for_stmt): Likewise.
1772
1773 2018-01-22  Jason Merrill  <jason@redhat.com>
1774
1775         PR c++/83720
1776         * decl2.c (determine_visibility): Fix template_decl handling
1777         instead of blocking it.
1778
1779         PR c++/83720 - ICE with lambda and LTO.
1780         * decl2.c (determine_visibility): Clear template_decl for
1781         function-scope decls.  Propagate anonymous linkage from containing
1782         function.
1783
1784 2018-01-22  Marek Polacek  <polacek@redhat.com>
1785
1786         PR c++/81933
1787         * typeck2.c (split_nonconstant_init_1): Return false if we didn't
1788         split out anything.
1789
1790 2018-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
1791
1792         PR c++/83895
1793         * decl.c (grokdeclarator): Don't diagnose extra parens
1794         on typedefs.
1795
1796 2018-01-19  Jakub Jelinek  <jakub@redhat.com>
1797
1798         PR c++/81167
1799         * call.c (joust): Use TREE_TYPE (source) if source is
1800         a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
1801
1802         PR c++/83919
1803         * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
1804         for direct enum init.
1805         * decl.c (reshape_init): Likewise.
1806
1807 2018-01-19  Marek Polacek  <polacek@redhat.com>
1808
1809         * constexpr.c (fold_simple): Simplify.
1810
1811 2018-01-18  Jason Merrill  <jason@redhat.com>
1812
1813         PR c++/83714
1814         * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
1815         * pt.c (instantiation_dependent_scope_ref_p): True if
1816         any_dependent_bases_p.
1817
1818 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1819
1820         * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
1821         vs DECL_NONTRIVIALLY_INITIALIZED_P).
1822
1823 2018-01-18  Jason Merrill  <jason@redhat.com>
1824
1825         PR c++/82461 - constexpr list-initialized member
1826         * constexpr.c (potential_constant_expression_1): Check
1827         TARGET_EXPR_DIRECT_INIT_P.
1828
1829 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1830
1831         PR c++/81013
1832         * decl.c (xref_basetypes): Early return upon error about derived
1833         union.
1834
1835 2018-01-18  Nathan Sidwell  <nathan@acm.org>
1836
1837         PR c++/83160
1838         * cp-tree.h (mark_use): Declare.
1839         * expr.c (mark_use): Make extern.
1840         * call.c (direct_reference_binding): Set inner conv's
1841         rvaluedness_matches_p, if it is an identity.
1842         (convert_like_real): Mark lvalue or rvalue use for identity as
1843         rvaledness_matches_p demands.
1844
1845 2018-01-18  Jakub Jelinek  <jakub@redhat.com>
1846
1847         PR c++/83824
1848         * parser.c (attr_chainon): New function.
1849         (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
1850         cp_parser_namespace_definition, cp_parser_init_declarator,
1851         cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
1852         cp_parser_gnu_attributes_opt): Use it.
1853         (cp_parser_member_declaration, cp_parser_objc_class_ivars,
1854         cp_parser_objc_struct_declaration): Likewise.  Don't reset
1855         prefix_attributes if attributes is error_mark_node.
1856
1857 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1858
1859         PR c++/78344
1860         * decl.c (grokdeclarator): Do not append the error_mark_node
1861         due to an erroneous optional attribute-specifier-seq.
1862
1863 2018-01-17  Jakub Jelinek  <jakub@redhat.com>
1864
1865         PR c++/83897
1866         * cp-gimplify.c (cp_maybe_instrument_return): Handle
1867         CLEANUP_POINT_EXPR.
1868
1869 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1870
1871         PR c++/81054
1872         * constexpr.c (ensure_literal_type_for_constexpr_object): Return
1873         error_mark_node when we give an error.
1874         * decl.c (cp_finish_decl): Use the latter.
1875
1876 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1877
1878         PR c++/83287
1879         * init.c (build_raw_new_expr): Scan list for lookups to keep.
1880
1881 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1882
1883         PR c++/83814
1884         * expr.c (fold_for_warn): Move from c-common.c, reducing to just
1885         the C++ part.  If processing a template, call
1886         fold_non_dependent_expr rather than fully folding.
1887
1888 2018-01-17  Jason Merrill  <jason@redhat.com>
1889
1890         PR c++/81067 - redundant NULL warning.
1891         * call.c (convert_like_real): Restore null_node handling.
1892
1893 2018-01-17  Jason Merrill  <jason@redhat.com>
1894
1895         PR c++/81843 - ICE with variadic member template.
1896         PR c++/72801
1897         * pt.c (unify_pack_expansion): Don't try to deduce enclosing
1898         template args.
1899
1900 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1901
1902         PR c++/83799
1903         * pt.c (type_dependent_expression_p): Strip any location wrapper
1904         before testing tree codes.
1905         (selftest::test_type_dependent_expression_p): New function.
1906         (selftest::cp_pt_c_tests): Call it.
1907
1908 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1909
1910         PR c++/83739
1911         * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
1912         this not a final instantiation.
1913
1914 2018-01-16  Jason Merrill  <jason@redhat.com>
1915
1916         PR c++/83714 - ICE checking return in template.
1917         * typeck.c (check_return_expr): Call build_non_dependent_expr.
1918
1919 2018-01-16  Jakub Jelinek  <jakub@redhat.com>
1920
1921         PR c++/83817
1922         * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
1923         is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
1924         instead of CALL_FROM_THUNK_P.
1925
1926         PR c++/83825
1927         * name-lookup.c (member_vec_dedup): Return early if len is 0.
1928         (resort_type_member_vec, set_class_bindings,
1929         insert_late_enum_def_bindings): Use vec qsort method instead of
1930         calling qsort directly.
1931
1932 2018-01-15  Martin Sebor  <msebor@redhat.com>
1933
1934         PR c++/83588
1935         * class.c (find_flexarrays): Make a record of multiple flexible array
1936         members.
1937
1938 2018-01-12  Jason Merrill  <jason@redhat.com>
1939
1940         PR c++/83186 - ICE with static_cast of list-initialized temporary.
1941         * typeck.c (build_static_cast): Use build_non_dependent_expr.
1942
1943 2018-01-12  Nathan Sidwell  <nathan@acm.org>
1944
1945         * cp-tree.h (mark_rvalue_use): Add parm name.
1946         * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
1947         mark_rvalue_use.
1948         * call.c (convert_like_real): Fix formatting.
1949
1950 2018-01-11  Jason Merrill  <jason@redhat.com>
1951
1952         PR c++/82728 - wrong -Wunused-but-set-variable
1953         PR c++/82799
1954         PR c++/83690
1955         * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
1956         * decl.c (case_conversion): Likewise.
1957         * semantics.c (finish_static_assert): Call
1958         perform_implicit_conversion_flags.
1959
1960 2018-01-11  Nathan Sidwell  <nathan@acm.org>
1961
1962         * method.c (enum mangling_flags): Delete long-dead enum.
1963
1964 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
1965
1966         * parser.c (cp_parser_std_attribute_spec): When
1967         token_pair::require_open / require_close return false simply
1968         return error_mark_node, avoid duplicate cp_parser_error about
1969         expected '(' / ')', respectively.
1970
1971 2018-01-10  David Malcolm  <dmalcolm@redhat.com>
1972
1973         PR c++/43486
1974         * call.c (null_ptr_cst_p): Strip location wrappers when
1975         converting from '0' to a pointer type in C++11 onwards.
1976         (conversion_null_warnings): Replace comparison with null_node with
1977         call to null_node_p.
1978         (build_over_call): Likewise.
1979         * cp-gimplify.c (cp_fold): Remove the early bailout when
1980         processing_template_decl.
1981         * cp-lang.c (selftest::run_cp_tests): Call
1982         selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
1983         * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
1984         (selftest::run_cp_tests): Move decl to bottom of file.
1985         (null_node_p): New inline function.
1986         (selftest::cp_pt_c_tests): New decl.
1987         (selftest::cp_tree_c_tests): New decl.
1988         * cvt.c (build_expr_type_conversion): Replace comparison with
1989         null_node with call to null_node_p.
1990         * error.c (args_to_string): Likewise.
1991         * except.c (build_throw): Likewise.
1992         * mangle.c (write_expression): Skip location wrapper nodes.
1993         * parser.c (literal_integer_zerop): New function.
1994         (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
1995         the result for RID_TYPEID. Pass true for new "wrap_locations_p"
1996         param of cp_parser_parenthesized_expression_list.  When calling
1997         warn_for_memset, replace integer_zerop calls with
1998         literal_integer_zerop, eliminating the double logical negation
1999         cast to bool.  Eliminate the special-casing for CONST_DECL in
2000         favor of the fold_for_warn within warn_for_memset.
2001         (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
2002         param, defaulting to false.  Convert "expr" to a cp_expr, and call
2003         maybe_add_location_wrapper on it when wrap_locations_p is true.
2004         (cp_parser_unary_expression): Call maybe_add_location_wrapper on
2005         the result for RID_ALIGNOF and RID_SIZEOF.
2006         (cp_parser_builtin_offsetof): Likewise.
2007         * pt.c: Include "selftest.h".
2008         (tsubst_copy): Handle location wrappers.
2009         (tsubst_copy_and_build): Likewise.
2010         (build_non_dependent_expr): Likewise.
2011         (selftest::test_build_non_dependent_expr): New function.
2012         (selftest::cp_pt_c_tests): New function.
2013         * tree.c: Include "selftest.h".
2014         (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
2015         (selftest::test_lvalue_kind): New function.
2016         (selftest::cp_tree_c_tests): New function.
2017         * typeck.c (string_conv_p): Strip any location wrapper from "exp".
2018         (cp_build_binary_op): Replace comparison with null_node with call
2019         to null_node_p.
2020         (build_address): Use location of operand when building address
2021         expression.
2022
2023 2018-01-10  Marek Polacek  <polacek@redhat.com>
2024
2025         PR c++/82541
2026         * call.c (build_conditional_expr_1): Check complain before warning.
2027         * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
2028         -Wduplicated-branches.
2029
2030 2018-01-10  Jakub Jelinek  <jakub@redhat.com>
2031
2032         PR c++/81327
2033         * call.c (maybe_warn_class_memaccess): Add forward declaration.
2034         Change last argument from tree * to const vec<tree, va_gc> *, adjust
2035         args uses and check number of operands too.  Don't strip away any
2036         nops.  Use maybe_constant_value when looking for INTEGER_CST args.
2037         Deal with src argument not having pointer type.  Check
2038         tree_fits_uhwi_p before calling tree_to_uhwi.  Remove useless
2039         test.
2040         (build_over_call): Call maybe_warn_class_memaccess here on the
2041         original arguments.
2042         (build_cxx_call): Rather than here on converted arguments.
2043
2044 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
2045
2046         PR c++/81055
2047         * init.c (build_vec_init): Avoid building an INIT_EXPR with
2048         error_mark_node as second argument.
2049
2050 2018-01-09  Jakub Jelinek  <jakub@redhat.com>
2051
2052         PR c++/83734
2053         * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
2054         in STATEMENT_LIST.  Remove unneeded assert.
2055
2056 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2057             Alan Hayward  <alan.hayward@arm.com>
2058             David Sherwood  <david.sherwood@arm.com>
2059
2060         * constexpr.c (cxx_eval_array_reference): Handle polynomial
2061         VECTOR_CST_NELTS.
2062         (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
2063         * call.c (build_conditional_expr_1): Likewise.
2064         * decl.c (cp_finish_decomp): Likewise.
2065         * mangle.c (write_type): Likewise.
2066         * typeck.c (structural_comptypes): Likewise.
2067         (cp_build_binary_op): Likewise.
2068         * typeck2.c (process_init_constructor_array): Likewise.
2069
2070 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
2071
2072         PR c++/83555
2073         * typeck.c (build_static_cast_1): For static casts to reference types,
2074         call build_base_path with flag_delete_null_pointer_checks as nonnull
2075         instead of always false.  When -fsanitize=null, call
2076         ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
2077         * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
2078         call if the first argument is INTEGER_CST with REFERENCE_TYPE.
2079
2080 2018-01-03  Nathan Sidwell  <nathan@acm.org>
2081
2082         PR c++/83667
2083         * method.c (make_alias_for): Copy DECL_CONTEXT.
2084
2085 2018-01-03  Marek Polacek  <polacek@redhat.com>
2086
2087         PR c++/83592
2088         * decl.c (grokdeclarator): Don't warn about MVP in typename context.
2089
2090 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
2091
2092         PR preprocessor/83602
2093         * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
2094         for builtin macros.
2095
2096         PR c++/83634
2097         * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
2098         error_mark_node, return error_mark_node.
2099
2100         Update copyright years.
2101
2102 2018-01-02  Jakub Jelinek  <jakub@redhat.com>
2103
2104         PR c++/83556
2105         * tree.c (replace_placeholders_r): Pass NULL as last argument to
2106         cp_walk_tree instead of d->pset.  If non-TREE_CONSTANT and
2107         non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
2108         to false and return.
2109         (replace_placeholders): Pass NULL instead of &pset as last argument
2110         to cp_walk_tree.
2111
2112 2018-01-02  Nathan Sidwell  <nathan@acm.org>
2113
2114         * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
2115         lval var.
2116 \f
2117 Copyright (C) 2018 Free Software Foundation, Inc.
2118
2119 Copying and distribution of this file, with or without modification,
2120 are permitted in any medium without royalty provided the copyright
2121 notice and this notice are preserved.