gcc/cp/ChangeLog

   1 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
   2
   3         PR c++/58843
   4         * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
   5
   6 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
   7
   8         PR c++/58649
   9         * pt.c (lookup_template_class_1): Check start_enum return value
  10         for error_mark_node.
  11
  12 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
  13
  14         * decl.c (duplicate_decls, typename_hash, typename_compare):
  15         Use TYPE_IDENTIFIER.
  16         * error.c (dump_type): Likewise.
  17         * mangle.c (dump_substitution_candidates): Likewise.
  18
  19 2014-01-30  Jason Merrill  <jason@redhat.com>
  20
  21         PR c++/59633
  22         * decl2.c (attributes_naming_typedef_ok): New.
  23         * cp-tree.h: Declare it.
  24         * decl.c (grokdeclarator): Check it.
  25         * tree.c (no_linkage_check): Handle VECTOR_TYPE.
  26
  27 2014-01-29  Jason Merrill  <jason@redhat.com>
  28
  29         PR c++/59707
  30         * call.c (add_builtin_candidate): Catch dependent types.
  31
  32         PR c++/59989
  33         * pt.c (expand_template_argument_pack): Correct
  34         non_default_args_count calculation.
  35
  36         PR c++/58466
  37         * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
  38
  39         PR c++/59956
  40         * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
  41         have a friend template in a class template.
  42         * pt.c (tsubst_friend_function): Look through it.
  43         (push_template_decl_real): A friend member template is
  44         primary.
  45
  46 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
  47
  48         PR c++/58846
  49         * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
  50         == error_mark_node.
  51
  52 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
  53
  54         PR c++/58674
  55         * pt.c (instantiate_template_1): Check for error_mark_node the second
  56         argument too.
  57
  58 2014-01-29  Jason Merrill  <jason@redhat.com>
  59
  60         PR c++/59916
  61         * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
  62         cdtor_returns_this case.
  63
  64         PR c++/59315
  65         * decl.c (cxx_maybe_build_cleanup): Call mark_used.
  66
  67 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
  68
  69         PR c++/58702
  70         * semantics.c (finish_omp_reduction_clause): Check type for
  71         error_mark_node.
  72
  73 2014-01-28  Jason Merrill  <jason@redhat.com>
  74
  75         PR c++/59791
  76         * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
  77         (tsubst_copy): Use it if lookup fails.
  78
  79         PR c++/59818
  80         * pt.c (tsubst_function_type): Make sure we keep the same function
  81         quals.
  82
  83         PR c++/58701
  84         * semantics.c (build_anon_member_initialization): Stop walking
  85         when we run out of COMPONENT_REFs.
  86
  87         PR c++/58632
  88         * decl.c (lookup_and_check_tag): Ignore template parameters if
  89         scope == ts_current.
  90         * pt.c (check_template_shadow): Don't complain about the injected
  91         class name.
  92
  93         * decl.c (duplicate_decls): Tweak.
  94
  95         PR c++/53756
  96         * mangle.c (write_unqualified_name): Handle operator auto.
  97
  98 2014-01-27  Jason Merrill  <jason@redhat.com>
  99
 100         PR c++/59823
 101         Core DR 1138
 102         * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
 103         list-initialization.  A conversion to rvalue ref that involves
 104         an lvalue-rvalue conversion is bad.
 105         (convert_like_real): Give helpful error message.
 106
 107         PR c++/54652
 108         * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
 109
 110         PR c++/58504
 111         * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
 112         types.
 113
 114         PR c++/58606
 115         * pt.c (template_parm_to_arg): Call convert_from_reference.
 116         (tsubst_template_arg): Don't strip reference refs.
 117
 118         PR c++/58639
 119         * call.c (build_aggr_conv): Reject value-initialization of reference.
 120
 121         PR c++/58812
 122         PR c++/58651
 123         * call.c (convert_like_real): Give helpful error about excess braces
 124         for ck_rvalue of scalar type.
 125
 126         Core DR 1288
 127         * call.c (reference_binding): Only elide braces if the single
 128         element is reference-related.
 129
 130         PR c++/58814
 131         * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
 132         stabilizing.
 133
 134         PR c++/58837
 135         * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
 136         FUNCTION_DECL.
 137
 138         PR c++/59097
 139         * decl.c (compute_array_index_type): Don't call
 140         maybe_constant_value for a non-integral expression.
 141
 142 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 143
 144         * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
 145         flag_cilkplus.
 146         * cp-gimplify.c (cp_genericize): Likewise.
 147         * decl.c (grokfndecl): Likewise.
 148         * parser.c (cp_parser_postfix_expression): Likewise.
 149         (cp_parser_postfix_open_square_expression): Likewise.
 150         (cp_parser_direct_declarator): Likewise.
 151         (is_cilkplus_vector_p): Likewise.
 152         (cp_parser_omp_clause_name): Likewise.
 153         (cp_parser_omp_all_clauses): Likewise.
 154         * pt.c (apply_late_template_attributes): Likewise.
 155         * typeck.c (cp_build_array_ref): Likewise.
 156         (cp_build_compound_expr): Likewise.
 157         (check_return_expr): Likewise.
 158
 159 2014-01-24  Jason Merrill  <jason@redhat.com>
 160
 161         PR c++/58550
 162         * decl.c (grokdeclarator): Turn pedwarn about auto return type in
 163         c++11 into error.
 164
 165         PR c++/59886
 166         PR c++/59659
 167         * typeck2.c (process_init_constructor_array): Don't create
 168         RANGE_EXPR yet.
 169
 170 2014-01-24  Jakub Jelinek  <jakub@redhat.com>
 171
 172         * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
 173         handling for RANGE_ARRAY case.
 174
 175 2014-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
 176
 177         PR c++/57524
 178         * name-lookup.c (push_using_directive): Use timevar_cond_start.
 179
 180 2014-01-23  Marek Polacek  <polacek@redhat.com>
 181
 182         PR c/59846
 183         * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
 184
 185 2014-01-23  Marek Polacek  <polacek@redhat.com>
 186
 187         PR c/58346
 188         * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
 189         an empty aggregate.
 190
 191 2014-01-23  Jason Merrill  <jason@redhat.com>
 192
 193         PR c++/55189
 194         * cp-tree.h (struct language_function): Add infinite_loop and
 195         infinite_loops.
 196         (current_function_infinite_loop): New.
 197         * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
 198         (break_maybe_infinite_loop): New.
 199         (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
 200         (finish_do_stmt, finish_for_cond, finish_for_stmt)
 201         (begin_range_for_stmt): Use them.
 202         * decl.c (finish_function): Don't warn about missing return
 203         if current_function_infinite_loop.
 204         * pt.c (instantiate_decl): Copy current_function_infinite_loop.
 205         * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
 206
 207         * call.c (build_op_delete_call): Use make_tree_vector and
 208         release_tree_vector.
 209
 210 2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
 211
 212         PR c++/58980
 213         * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
 214         nested_name_specifier.
 215
 216 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 217
 218         * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
 219         see if there is an attribute after function decl.  If so, then
 220         parse them now.
 221         (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
 222         enabled function late parsing.
 223         (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
 224         attribute for a SIMD-enabled function.
 225         (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
 226         the function is used by SIMD-enabled function (indicated by NULL
 227         pragma token).   Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
 228         PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
 229         (cp_parser_cilk_simd_vectorlength): Modified this function to handle
 230         vectorlength clause in SIMD-enabled function and #pragma SIMD's
 231         vectorlength clause.  Added a new bool parameter to differentiate
 232         between the two.
 233         (cp_parser_cilk_simd_fn_vector_attrs): New function.
 234         (is_cilkplus_vector_p): Likewise.
 235         (cp_parser_late_parsing_elem_fn_info): Likewise.
 236         (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
 237         and "vectorlength" clauses when Cilk Plus is enabled.
 238         (cp_parser_omp_clause_linear): Added a new parameter of type bool
 239         and emit a sorry message when step size is a parameter.
 240         * parser.h (cp_parser::cilk_simd_fn_info): New field.
 241         * decl.c (grokfndecl): Added flag_enable_cilkplus along with
 242         flag_openmp.
 243         * pt.c (apply_late_template_attributes): Likewise.
 244
 245 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
 246
 247         PR middle-end/58809
 248         * semantics.c (finish_omp_reduction_clause): Reject
 249         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
 250
 251 2014-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
 252
 253         PR c++/59482
 254         * parser.c (cp_parser_class_head): Push the class before parsing
 255         the base-clause, pop after it.
 256
 257 2014-01-20  Eric Botcazou  <ebotcazou@adacore.com>
 258
 259         * decl2.c (cpp_check): Revert prototype change.
 260
 261 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 262
 263         PR c++/59270
 264         PR c++/58811
 265         * init.c (build_value_init_noctor): Don't pass error_mark_node to
 266         build_value_init.
 267
 268 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 269
 270         PR c++/59269
 271         * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
 272         only when errorcount == 0.
 273
 274 2014-01-17  Marek Polacek  <polacek@redhat.com>
 275
 276         PR c++/59838
 277         * cvt.c (ocp_convert): Don't segfault on non-existing
 278         ENUM_UNDERLYING_TYPE.
 279
 280 2014-01-16  Jason Merrill  <jason@redhat.com>
 281
 282         PR c++/59821
 283         * tree.c (bot_manip): Update the location of builtin_LINE and
 284         builtin_FILE calls.
 285
 286 2014-01-14  Jason Merrill  <jason@redhat.com>
 287
 288         PR c++/59659
 289         * typeck2.c (massage_init_elt): New.
 290         (process_init_constructor_record)
 291         (process_init_constructor_union): Use it.
 292         (process_init_constructor_array): Use it.  Use RANGE_EXPR.
 293         (split_nonconstant_init_1): Handle it.
 294         * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
 295
 296 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 297
 298         PR c++/59631
 299         * parser.c (cp_parser_postfix_expression): Added a new if-statement
 300         and replaced an existing if-statement with else-if statement.
 301         Changed an existing error message wording to match the one from the C
 302         parser.
 303
 304 2014-01-08  Jason Merrill  <jason@redhat.com>
 305
 306         PR c++/59614
 307         * class.c (abi_tag_data): Add tags field.
 308         (check_abi_tags): Initialize it.
 309         (find_abi_tags_r): Support collecting missing tags.
 310         (mark_type_abi_tags): Don't look at template args.
 311         (inherit_targ_abi_tags): New.
 312         (check_bases_and_members): Use it.
 313         * cp-tree.h (ABI_TAG_IMPLICIT): New.
 314         * mangle.c (write_abi_tags): Check it.
 315
 316 2014-01-07  Jason Merrill  <jason@redhat.com>
 317
 318         PR c++/58856
 319         * pt.c (num_innermost_template_parms): New.
 320         (get_underlying_template): Use it.
 321
 322         PR c++/58965
 323         * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
 324
 325 2014-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
 326
 327         * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
 328         the letter of 20.11.6 about Base and Derived naming the same
 329         class type modulo cv-qualifiers.
 330
 331 2014-01-06  Adam Butcher  <adam@jessamine.co.uk>
 332
 333         PR c++/59635
 334         * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
 335         function as unimplemented for generic lambdas with varargs.
 336
 337         PR c++/59636
 338         * parser.c (cp_parser_template_parameter): Early out with
 339         error_mark_node if parameter declaration was not parsed.
 340
 341         PR c++/59629
 342         * parser.c (cp_parser_lambda_expression): Save/reset/restore
 343         auto_is_implicit_function_template_parm_p around lambda body.
 344
 345         PR c++/59638
 346         * parser.c (cp_parser_init_declarator): Undo fully implicit
 347         template parameter list when declarator is not a function.
 348
 349 2014-01-03  Marc Glisse  <marc.glisse@inria.fr>
 350
 351         PR c++/58950
 352         * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
 353
 354 2014-01-03  Tobias Burnus  <burnus@net-b.de>
 355
 356         PR c++/58567
 357         * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
 358
 359 2014-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
 360
 361         Core DR 1442
 362         PR c++/59165
 363         * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
 364         as include_std to perform_koenig_lookup.
 365         (cp_parser_postfix_expression): Adjust.
 366         * pt.c (tsubst_copy_and_build): Likewise.
 367         * semantics.c (perform_koenig_lookup): Remove bool parameter.
 368         (omp_reduction_lookup): Adjust.
 369         * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
 370         (lookup_arg_dependent): Likewise.
 371         (lookup_function_nonclass): Adjust.
 372         * name-lookup.h: Adjust declaration.
 373         * cp-tree.h: Likewise.
 374
 375 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
 376
 377         PR c++/59087
 378         * parser.c (cp_parser_userdef_numeric_literal): Mention
 379         -fext-numeric-literals in the message.
 380
 381 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
 382
 383         PR c++/59641
 384         * call.c (build_conditional_expr_1): Check the return value of
 385         force_rvalue.
 386
 387 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
 388
 389         * call.c (convert_like_real): Check complain.
 390
 391 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
 392
 393         PR c++/59378
 394         * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
 395         in templates.
 396
 397 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 398
 399         Update copyright years
 400
 401 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 402
 403         * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
 404         the standard form for the copyright notice.
 405 \f
 406 Copyright (C) 2014 Free Software Foundation, Inc.
 407
 408 Copying and distribution of this file, with or without modification,
 409 are permitted in any medium without royalty provided the copyright
 410 notice and this notice are preserved.