gcc/cp/ChangeLog

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