gcc/cp/ChangeLog

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