gcc/cp/ChangeLog

   1 2018-01-22  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/83720
   4         * decl2.c (determine_visibility): Fix template_decl handling
   5         instead of blocking it.
   6
   7         PR c++/83720 - ICE with lambda and LTO.
   8         * decl2.c (determine_visibility): Clear template_decl for
   9         function-scope decls.  Propagate anonymous linkage from containing
  10         function.
  11
  12 2018-01-22  Marek Polacek  <polacek@redhat.com>
  13
  14         PR c++/81933
  15         * typeck2.c (split_nonconstant_init_1): Return false if we didn't
  16         split out anything.
  17
  18 2018-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
  19
  20         PR c++/83895
  21         * decl.c (grokdeclarator): Don't diagnose extra parens
  22         on typedefs.
  23
  24 2018-01-19  Jakub Jelinek  <jakub@redhat.com>
  25
  26         PR c++/81167
  27         * call.c (joust): Use TREE_TYPE (source) if source is
  28         a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
  29
  30         PR c++/83919
  31         * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
  32         for direct enum init.
  33         * decl.c (reshape_init): Likewise.
  34
  35 2018-01-19  Marek Polacek  <polacek@redhat.com>
  36
  37         * constexpr.c (fold_simple): Simplify.
  38
  39 2018-01-18  Jason Merrill  <jason@redhat.com>
  40
  41         PR c++/83714
  42         * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
  43         * pt.c (instantiation_dependent_scope_ref_p): True if
  44         any_dependent_bases_p.
  45
  46 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
  47
  48         * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
  49         vs DECL_NONTRIVIALLY_INITIALIZED_P).
  50
  51 2018-01-18  Jason Merrill  <jason@redhat.com>
  52
  53         PR c++/82461 - constexpr list-initialized member
  54         * constexpr.c (potential_constant_expression_1): Check
  55         TARGET_EXPR_DIRECT_INIT_P.
  56
  57 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
  58
  59         PR c++/81013
  60         * decl.c (xref_basetypes): Early return upon error about derived
  61         union.
  62
  63 2018-01-18  Nathan Sidwell  <nathan@acm.org>
  64
  65         PR c++/83160
  66         * cp-tree.h (mark_use): Declare.
  67         * expr.c (mark_use): Make extern.
  68         * call.c (direct_reference_binding): Set inner conv's
  69         rvaluedness_matches_p, if it is an identity.
  70         (convert_like_real): Mark lvalue or rvalue use for identity as
  71         rvaledness_matches_p demands.
  72
  73 2018-01-18  Jakub Jelinek  <jakub@redhat.com>
  74
  75         PR c++/83824
  76         * parser.c (attr_chainon): New function.
  77         (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
  78         cp_parser_namespace_definition, cp_parser_init_declarator,
  79         cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
  80         cp_parser_gnu_attributes_opt): Use it.
  81         (cp_parser_member_declaration, cp_parser_objc_class_ivars,
  82         cp_parser_objc_struct_declaration): Likewise.  Don't reset
  83         prefix_attributes if attributes is error_mark_node.
  84
  85 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
  86
  87         PR c++/78344
  88         * decl.c (grokdeclarator): Do not append the error_mark_node
  89         due to an erroneous optional attribute-specifier-seq.
  90
  91 2018-01-17  Jakub Jelinek  <jakub@redhat.com>
  92
  93         PR c++/83897
  94         * cp-gimplify.c (cp_maybe_instrument_return): Handle
  95         CLEANUP_POINT_EXPR.
  96
  97 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
  98
  99         PR c++/81054
 100         * constexpr.c (ensure_literal_type_for_constexpr_object): Return
 101         error_mark_node when we give an error.
 102         * decl.c (cp_finish_decl): Use the latter.
 103
 104 2018-01-17  Nathan Sidwell  <nathan@acm.org>
 105
 106         PR c++/83287
 107         * init.c (build_raw_new_expr): Scan list for lookups to keep.
 108
 109 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
 110
 111         PR c++/83814
 112         * expr.c (fold_for_warn): Move from c-common.c, reducing to just
 113         the C++ part.  If processing a template, call
 114         fold_non_dependent_expr rather than fully folding.
 115
 116 2018-01-17  Jason Merrill  <jason@redhat.com>
 117
 118         PR c++/81067 - redundant NULL warning.
 119         * call.c (convert_like_real): Restore null_node handling.
 120
 121 2018-01-17  Jason Merrill  <jason@redhat.com>
 122
 123         PR c++/81843 - ICE with variadic member template.
 124         PR c++/72801
 125         * pt.c (unify_pack_expansion): Don't try to deduce enclosing
 126         template args.
 127
 128 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
 129
 130         PR c++/83799
 131         * pt.c (type_dependent_expression_p): Strip any location wrapper
 132         before testing tree codes.
 133         (selftest::test_type_dependent_expression_p): New function.
 134         (selftest::cp_pt_c_tests): Call it.
 135
 136 2018-01-17  Nathan Sidwell  <nathan@acm.org>
 137
 138         PR c++/83739
 139         * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
 140         this not a final instantiation.
 141
 142 2018-01-16  Jason Merrill  <jason@redhat.com>
 143
 144         PR c++/83714 - ICE checking return in template.
 145         * typeck.c (check_return_expr): Call build_non_dependent_expr.
 146
 147 2018-01-16  Jakub Jelinek  <jakub@redhat.com>
 148
 149         PR c++/83817
 150         * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
 151         is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
 152         instead of CALL_FROM_THUNK_P.
 153
 154         PR c++/83825
 155         * name-lookup.c (member_vec_dedup): Return early if len is 0.
 156         (resort_type_member_vec, set_class_bindings,
 157         insert_late_enum_def_bindings): Use vec qsort method instead of
 158         calling qsort directly.
 159
 160 2018-01-15  Martin Sebor  <msebor@redhat.com>
 161
 162         PR c++/83588
 163         * class.c (find_flexarrays): Make a record of multiple flexible array
 164         members.
 165
 166 2018-01-12  Jason Merrill  <jason@redhat.com>
 167
 168         PR c++/83186 - ICE with static_cast of list-initialized temporary.
 169         * typeck.c (build_static_cast): Use build_non_dependent_expr.
 170
 171 2018-01-12  Nathan Sidwell  <nathan@acm.org>
 172
 173         * cp-tree.h (mark_rvalue_use): Add parm name.
 174         * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
 175         mark_rvalue_use.
 176         * call.c (convert_like_real): Fix formatting.
 177
 178 2018-01-11  Jason Merrill  <jason@redhat.com>
 179
 180         PR c++/82728 - wrong -Wunused-but-set-variable
 181         PR c++/82799
 182         PR c++/83690
 183         * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
 184         * decl.c (case_conversion): Likewise.
 185         * semantics.c (finish_static_assert): Call
 186         perform_implicit_conversion_flags.
 187
 188 2018-01-11  Nathan Sidwell  <nathan@acm.org>
 189
 190         * method.c (enum mangling_flags): Delete long-dead enum.
 191
 192 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
 193
 194         * parser.c (cp_parser_std_attribute_spec): When
 195         token_pair::require_open / require_close return false simply
 196         return error_mark_node, avoid duplicate cp_parser_error about
 197         expected '(' / ')', respectively.
 198
 199 2018-01-10  David Malcolm  <dmalcolm@redhat.com>
 200
 201         PR c++/43486
 202         * call.c (null_ptr_cst_p): Strip location wrappers when
 203         converting from '0' to a pointer type in C++11 onwards.
 204         (conversion_null_warnings): Replace comparison with null_node with
 205         call to null_node_p.
 206         (build_over_call): Likewise.
 207         * cp-gimplify.c (cp_fold): Remove the early bailout when
 208         processing_template_decl.
 209         * cp-lang.c (selftest::run_cp_tests): Call
 210         selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
 211         * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
 212         (selftest::run_cp_tests): Move decl to bottom of file.
 213         (null_node_p): New inline function.
 214         (selftest::cp_pt_c_tests): New decl.
 215         (selftest::cp_tree_c_tests): New decl.
 216         * cvt.c (build_expr_type_conversion): Replace comparison with
 217         null_node with call to null_node_p.
 218         * error.c (args_to_string): Likewise.
 219         * except.c (build_throw): Likewise.
 220         * mangle.c (write_expression): Skip location wrapper nodes.
 221         * parser.c (literal_integer_zerop): New function.
 222         (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
 223         the result for RID_TYPEID. Pass true for new "wrap_locations_p"
 224         param of cp_parser_parenthesized_expression_list.  When calling
 225         warn_for_memset, replace integer_zerop calls with
 226         literal_integer_zerop, eliminating the double logical negation
 227         cast to bool.  Eliminate the special-casing for CONST_DECL in
 228         favor of the fold_for_warn within warn_for_memset.
 229         (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
 230         param, defaulting to false.  Convert "expr" to a cp_expr, and call
 231         maybe_add_location_wrapper on it when wrap_locations_p is true.
 232         (cp_parser_unary_expression): Call maybe_add_location_wrapper on
 233         the result for RID_ALIGNOF and RID_SIZEOF.
 234         (cp_parser_builtin_offsetof): Likewise.
 235         * pt.c: Include "selftest.h".
 236         (tsubst_copy): Handle location wrappers.
 237         (tsubst_copy_and_build): Likewise.
 238         (build_non_dependent_expr): Likewise.
 239         (selftest::test_build_non_dependent_expr): New function.
 240         (selftest::cp_pt_c_tests): New function.
 241         * tree.c: Include "selftest.h".
 242         (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
 243         (selftest::test_lvalue_kind): New function.
 244         (selftest::cp_tree_c_tests): New function.
 245         * typeck.c (string_conv_p): Strip any location wrapper from "exp".
 246         (cp_build_binary_op): Replace comparison with null_node with call
 247         to null_node_p.
 248         (build_address): Use location of operand when building address
 249         expression.
 250
 251 2018-01-10  Marek Polacek  <polacek@redhat.com>
 252
 253         PR c++/82541
 254         * call.c (build_conditional_expr_1): Check complain before warning.
 255         * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
 256         -Wduplicated-branches.
 257
 258 2018-01-10  Jakub Jelinek  <jakub@redhat.com>
 259
 260         PR c++/81327
 261         * call.c (maybe_warn_class_memaccess): Add forward declaration.
 262         Change last argument from tree * to const vec<tree, va_gc> *, adjust
 263         args uses and check number of operands too.  Don't strip away any
 264         nops.  Use maybe_constant_value when looking for INTEGER_CST args.
 265         Deal with src argument not having pointer type.  Check
 266         tree_fits_uhwi_p before calling tree_to_uhwi.  Remove useless
 267         test.
 268         (build_over_call): Call maybe_warn_class_memaccess here on the
 269         original arguments.
 270         (build_cxx_call): Rather than here on converted arguments.
 271
 272 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
 273
 274         PR c++/81055
 275         * init.c (build_vec_init): Avoid building an INIT_EXPR with
 276         error_mark_node as second argument.
 277
 278 2018-01-09  Jakub Jelinek  <jakub@redhat.com>
 279
 280         PR c++/83734
 281         * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
 282         in STATEMENT_LIST.  Remove unneeded assert.
 283
 284 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 285             Alan Hayward  <alan.hayward@arm.com>
 286             David Sherwood  <david.sherwood@arm.com>
 287
 288         * constexpr.c (cxx_eval_array_reference): Handle polynomial
 289         VECTOR_CST_NELTS.
 290         (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
 291         * call.c (build_conditional_expr_1): Likewise.
 292         * decl.c (cp_finish_decomp): Likewise.
 293         * mangle.c (write_type): Likewise.
 294         * typeck.c (structural_comptypes): Likewise.
 295         (cp_build_binary_op): Likewise.
 296         * typeck2.c (process_init_constructor_array): Likewise.
 297
 298 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 299
 300         PR c++/83555
 301         * typeck.c (build_static_cast_1): For static casts to reference types,
 302         call build_base_path with flag_delete_null_pointer_checks as nonnull
 303         instead of always false.  When -fsanitize=null, call
 304         ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
 305         * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
 306         call if the first argument is INTEGER_CST with REFERENCE_TYPE.
 307
 308 2018-01-03  Nathan Sidwell  <nathan@acm.org>
 309
 310         PR c++/83667
 311         * method.c (make_alias_for): Copy DECL_CONTEXT.
 312
 313 2018-01-03  Marek Polacek  <polacek@redhat.com>
 314
 315         PR c++/83592
 316         * decl.c (grokdeclarator): Don't warn about MVP in typename context.
 317
 318 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 319
 320         PR preprocessor/83602
 321         * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
 322         for builtin macros.
 323
 324         PR c++/83634
 325         * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
 326         error_mark_node, return error_mark_node.
 327
 328         Update copyright years.
 329
 330 2018-01-02  Jakub Jelinek  <jakub@redhat.com>
 331
 332         PR c++/83556
 333         * tree.c (replace_placeholders_r): Pass NULL as last argument to
 334         cp_walk_tree instead of d->pset.  If non-TREE_CONSTANT and
 335         non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
 336         to false and return.
 337         (replace_placeholders): Pass NULL instead of &pset as last argument
 338         to cp_walk_tree.
 339
 340 2018-01-02  Nathan Sidwell  <nathan@acm.org>
 341
 342         * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
 343         lval var.
 344 \f
 345 Copyright (C) 2018 Free Software Foundation, Inc.
 346
 347 Copying and distribution of this file, with or without modification,
 348 are permitted in any medium without royalty provided the copyright
 349 notice and this notice are preserved.