gcc/cp/ChangeLog

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