gcc/cp/ChangeLog

   1 2015-05-05  David Malcolm  <dmalcolm@redhat.com>
   2
   3         * parser.c (cp_parser_asm_definition): Only test for
   4         error_mark_node if "outputs" was just set.  Likewise for "inputs".
   5
   6 2015-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
   7             Jakub Jelinek  <jakub@redhat.com>
   8
   9         PR c++/66007
  10         * typeck2.c (check_narrowing): Check by-hand that the pedwarn didn't
  11         result in an actual error.
  12
  13 2015-05-01  Paolo Carlini  <paolo.carlini@oracle.com>
  14             Prathamesh Kulharni  <prathamesh.kulkarni@linaro.org>
  15
  16         PR c++/65858
  17         * typeck2.c (check_narrowing): Set ok = true when pedwarn returns
  18         false.
  19
  20 2015-04-30  David Malcolm  <dmalcolm@redhat.com>
  21
  22         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove spurious
  23         trailing semicolon.
  24
  25 2015-04-29  Jason Merrill  <jason@redhat.com>
  26
  27         PR c++/50800
  28         * tree.c (apply_identity_attributes): Fix handling of classes.
  29
  30 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
  31
  32         * parser.c (cp_parser_oacc_enter_exit_data): Use
  33         OMP_STANDALONE_CLAUSES.
  34
  35 2015-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
  36
  37         PR c++/64667
  38         * init.c (perform_member_init): Handle references for -Winit-self.
  39
  40 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
  41
  42         * pt.c (tsubst_expr) <OMP_TARGET_UPDATE>: Use
  43         OMP_TARGET_UPDATE_CLAUSES instead of OMP_CLAUSES.
  44
  45 2015-04-28  Jason Merrill  <jason@redhat.com>
  46
  47         PR c++/65896
  48         * constexpr.c (cxx_eval_store_expression): Don't try to actually
  49         store an empty class.
  50
  51         PR c++/65656
  52         * constexpr.c (cxx_eval_builtin_function_call): Fix
  53         __builtin_constant_p.
  54
  55         PR c++/50800
  56         * tree.c (strip_typedefs): Add remove_attributes parm.
  57         (strip_typedefs_expr): Likewise.
  58         (apply_identity_attributes): New subroutine of strip_typedefs.
  59         * pt.c (canonicalize_type_argument): Let strip_typedefs handle attrs.
  60         (convert_nontype_argument, unify): Likewise.
  61         * cp-tree.h: Adjust.
  62
  63         PR c++/65734
  64         * class.c (fixup_attribute_variants): Respect TYPE_USER_ALIGN.
  65
  66 2015-04-27  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>
  67
  68         * class.c (layout_class_type): Remove check if
  69         PCC_BITFIELD_TYPE_MATTERS is defined.
  70
  71 2015-04-27  Jim Wilson  <jim.wilson@linaro.org>
  72
  73         * Make-lang.in (c++.mostlyclean): Remove xg++, g++-cross, and cc1plus.
  74
  75 2015-04-24  Jason Merrill  <jason@redhat.com>
  76
  77         PR c++/50800
  78         * typeck.c (structural_comptypes): Don't check TYPE_REF_CAN_ALIAS_ALL.
  79
  80         * constexpr.c (potential_constant_expression_1) [MINUS_EXPR]:
  81         Remove obsolete code.
  82         [NE_EXPR]: Likewise.
  83
  84 2015-04-23  Jason Merrill  <jason@redhat.com>
  85
  86         PR c++/65646
  87         * pt.c (check_explicit_specialization): Don't
  88         SET_DECL_TEMPLATE_SPECIALIZATION for a variable with no template
  89         headers.
  90         * decl.c (grokvardecl): Revert earlier fix.
  91
  92 2015-04-20  Paolo Carlini  <paolo.carlini@oracle.com>
  93
  94         PR c++/65801
  95         * typeck2.c (check_narrowing): In C++11 mode too, -Wno-narrowing
  96         suppresses the diagnostic.
  97
  98 2015-04-20  Ville Voutilainen  <ville.voutilainen@gmail.com>
  99
 100         Reject trailing return type for an operator auto().
 101         * decl.c (grokdeclarator): Reject trailing return types for
 102         all conversion operators, don't handle conversion operators
 103         in the previous checks that deal with auto.
 104
 105 2015-04-20  Ilya Verbin  <ilya.verbin@intel.com>
 106
 107         * parser.c (cp_parser_omp_target_update): Add missed %> to error_at ().
 108
 109 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
 110
 111         * class.c (resolve_address_of_overloaded_function, instantiate_type):
 112         Rename tsubst_flags_t parameter flags -> complain.
 113
 114 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
 115
 116         * call.c (build_op_delete_call, build_over_call): Check mark_used
 117         return value.
 118         * class.c (resolve_address_of_overloaded_function): Likewise.
 119         * decl.c (cxx_maybe_build_cleanup): Likewise.
 120         * pt.c (gen_elem_of_pack_expansion_instantiation, tsubst_baselink,
 121         tsubst_qualified_id, tsubst_copy, tsubst_copy_and_build): Likewise.
 122         * rtti.c (build_dynamic_cast_1): Likewise.
 123         * semantics.c (process_outer_var_ref): Likewise.
 124         * typeck.c (build_class_member_access_expr,
 125         cp_build_function_call_vec, cp_build_addr_expr_1): Likewise.
 126
 127 2015-04-15  Jason Merrill  <jason@redhat.com>
 128
 129         * constexpr.c (cxx_eval_store_expression): Ignore clobbers.
 130         (build_constexpr_constructor_member_initializers): Loop to find
 131         the BIND_EXPR.
 132         * decl.c (start_preparsed_function): Clobber the object at the
 133         beginning of a constructor.
 134
 135         * decl.c (grokmethod): Only set DECL_COMDAT if TREE_PUBLIC is set.
 136         * method.c (implicitly_declare_fn): Likewise.
 137         * decl2.c (vague_linkage_p): Check TREE_PUBLIC first.
 138
 139         * decl2.c (determine_visibility): Use get_template_info.
 140
 141 2015-04-15  Jason Merrill  <jason@redhat.com>
 142             Marek Polacek  <polacek@redhat.com>
 143
 144         PR c++/65727
 145         * lambda.c (lambda_expr_this_capture): In unevaluated context go
 146         through the normal loop, just don't capture.
 147         (maybe_resolve_dummy): Handle null return.
 148
 149 2015-04-15  Paolo Carlini  <paolo.carlini@oracle.com>
 150
 151         * call.c (enforce_access): Emit error + inform.
 152
 153 2015-04-15  Marek Polacek  <polacek@redhat.com>
 154
 155         * constexpr.c (use_new_call): Remove #define.
 156         (lookup_parameter_binding): Remove function.
 157         (cxx_bind_parameters_in_call): Remove unused code.
 158         (cxx_eval_call_expression): Likewise.
 159         (cxx_eval_constant_expression): Likewise.
 160
 161 2015-04-14  Mikhail Maltsev  <maltsevm@gmail.com>
 162
 163         * tree.c (replace_placeholders_t): Remove unused type.
 164         (replace_placeholders): Remove unused pset.
 165
 166 2015-04-14  Jason Merrill  <jason@redhat.com>
 167
 168         * pt.c (lookup_template_class_1): Use coerce_innermost_template_parms.
 169
 170         PR c++/65695
 171         * cvt.c (cp_fold_convert): Avoid wrapping PTRMEM_CST in NOP_EXPR.
 172
 173         PR c++/65721
 174         * name-lookup.c (do_class_using_decl): Complain about specifying
 175         the current class even if there are dependent bases.
 176
 177 2015-04-14  David Krauss  <david_work@me.com>
 178
 179         PR c++/59766
 180         * decl.c (grokdeclarator): Do not flag friends with deduced return.
 181
 182 2015-04-14  Momchil Velikov  <momchil.velikov@gmail.com>
 183             Jason Merrill  <jason@redhat.com>
 184
 185         PR c++/60994
 186         * parser.c (cp_parser_class_name): Add enum_ok parameter.
 187         (cp_parser_qualifying_entity): Use it instead of cp_parser_type_name.
 188         (cp_parser_diagnose_invalid_type_name): Don't assume a template is
 189         a class template.
 190
 191 2015-04-12  Jakub Jelinek  <jakub@redhat.com>
 192
 193         PR c++/65736
 194         * constexpr.c (cxx_eval_pointer_plus_expression): Don't fold for VLAs,
 195         don't fold if op01 isn't divisible by TYPE_SIZE_UNIT.  Convert
 196         the expression to the original type at the end.
 197
 198 2015-04-09  Jakub Jelinek  <jakub@redhat.com>
 199
 200         PR c++/65690
 201         * tree.c (cp_build_qualified_type_real): Copy TYPE_ALIGN and
 202         TYPE_USER_ALIGN.
 203
 204         PR c++/65690
 205         * tree.c (build_cplus_array_type): Layout type before variants are
 206         set, but copy over TYPE_SIZE and TYPE_SIZE_UNIT from the main
 207         variant.
 208
 209 2015-04-03  Paolo Carlini  <paolo.carlini@oracle.com>
 210
 211         PR c++/64085
 212         * lambda.c (add_capture): Use dependent_type_p for capture by
 213         reference too.
 214
 215 2015-04-02  Marek Polacek  <polacek@redhat.com>
 216
 217         PR c++/65642
 218         * constexpr.c (cxx_eval_pointer_plus_expression): Call
 219         cxx_eval_constant_expression on the first operand.
 220
 221 2015-04-01  Jason Merrill  <jason@redhat.com>
 222
 223         PR c++/65625
 224         * decl.c (make_typename_type): Handle seeing a variable template.
 225
 226 2015-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
 227
 228         PR c++/56100
 229         * pt.c (instantiating_current_function_p): New.
 230         * name-lookup.c (pushdecl_maybe_friend_1): Use it.
 231         * cp-tree.h (instantiating_current_function_p): Declare.
 232
 233 2015-04-01  Jason Merrill  <jason@redhat.com>
 234
 235         PR c++/65646
 236         * decl.c (grokvardecl): Don't call check_explicit_specialization
 237         for non-template members of a class template.
 238
 239 2015-04-01  Marek Polacek  <polacek@redhat.com>
 240
 241         PR c++/65554
 242         * class.c (finish_struct): Require that the second field of a
 243         user-defined initializer_list be of size type.
 244
 245 2015-03-31  Marek Polacek  <polacek@redhat.com>
 246
 247         PR c++/65390
 248         * tree.c (build_cplus_array_type): Use dependent_type_p rather than
 249         checking for constness.
 250
 251 2015-03-30  Marek Polacek  <polacek@redhat.com>
 252
 253         PR c++/65398
 254         * constexpr.c (cxx_fold_indirect_ref): Don't perform the
 255          *(&A[i] p+ j) => A[i + j] transformation here.
 256         (cxx_eval_pointer_plus_expression): New function.
 257         (cxx_eval_constant_expression): Use it here.
 258
 259 2015-03-27  Tobias Burnus  <burnus@net-b.de>
 260
 261         PR c/65586
 262         * parser.c (cp_parser_omp_for, cp_parser_omp_parallel,
 263         cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target,
 264         cp_parser_omp_declare): Don't show error for skipped omp pragmas with
 265         -fopenmp-simd.
 266
 267 2015-03-27  Marek Polacek  <polacek@redhat.com>
 268
 269         PR c++/65556
 270         * semantics.c (finish_switch_cond): If the unlowered type is not an
 271         enum, use the type of the condition.
 272
 273 2015-03-27  Jason Merrill  <jason@redhat.com>
 274
 275         PR c++/65509
 276         * decl.c (make_rtl_for_nonlocal_decl): Don't defer static
 277         constants.
 278
 279 2015-03-26  Mikhail Maltsev  <maltsevm@gmail.com>
 280
 281         PR c++/65154
 282         * init.c (build_vec_init): Fix initializing aggregates
 283         with empty init list.
 284
 285 2015-03-26  Jason Merrill  <jason@redhat.com>
 286
 287         PR c++/65525
 288         * constexpr.c (potential_constant_expression_1): Handle MEM_REF.
 289
 290 2015-03-25  Marek Polacek  <polacek@redhat.com>
 291
 292         PR c++/65558
 293         * name-lookup.c (handle_namespace_attrs): Ignore abi_tag attribute
 294         on an anonymous namespace.
 295
 296 2015-03-25  Marek Polacek  <polacek@redhat.com>
 297
 298         PR c++/61670
 299         * class.c (remove_zero_width_bit_fields): Check for null DECL_SIZE.
 300
 301 2015-03-24  Jason Merrill  <jason@redhat.com>
 302
 303         PR c++/65046
 304         * cp-tree.h (NAMESPACE_IS_INLINE): Remove.
 305         * parser.c (cp_parser_namespace_definition): Don't set it.
 306         * name-lookup.c (handle_namespace_attrs): Check
 307         DECL_NAMESPACE_ASSOCIATIONS instead.
 308
 309         PR c++/65498
 310         * pt.c (get_mostly_instantiated_function_type): Just return the
 311         type of the partially instantiated template in DECL_TI_TEMPLATE.
 312
 313 2015-03-20  Marek Polacek  <polacek@redhat.com>
 314
 315         PR c++/65398
 316         * constexpr.c (cxx_fold_indirect_ref): Transform *(&A[i] p+ j) into
 317         A[i + j].
 318
 319 2015-03-20  Marek Polacek  <polacek@redhat.com>
 320
 321         PR c++/65072
 322         * typeck.c (lookup_anon_field): Make sure we're dealing with the main
 323         variant.
 324
 325 2015-03-19  Jason Merrill  <jason@redhat.com>
 326
 327         PR c++/65046
 328         Automatically propagate ABI tags to variables and functions
 329         from their (return) type.
 330         * class.c (check_tag): Handle variables and functions.
 331         (mark_or_check_attr_tags): Split out from find_abi_tags_r.
 332         (mark_or_check_tags): Likewise.
 333         (mark_abi_tags): Use it.  Rename from mark_type_abi_tags.
 334         (check_abi_tags): Add single argument overload for decls.
 335         Handle inheriting tags for decls.
 336         * mangle.c (write_mangled_name): Call it.
 337         (mangle_return_type_p): Split out from write_encoding.
 338         (unmangled_name_p): Split out from write_mangled_name.
 339         (write_mangled_name): Ignore abi_tag on namespace.
 340         * cp-tree.h (NAMESPACE_IS_INLINE): Replace NAMESPACE_ABI_TAG.
 341         * parser.c (cp_parser_namespace_definition): Set it.
 342         * name-lookup.c (handle_namespace_attrs): Use arguments. Warn
 343         about abi_tag attribute on non-inline namespace.
 344         * tree.c (check_abi_tag_args): Split out from handle_abi_tag_attribute.
 345         (handle_abi_tag_attribute): Allow tags on variables.
 346
 347 2015-03-19  Jakub Jelinek  <jakub@redhat.com>
 348
 349         * decl2.c (cplus_decl_attributes): Also add "omp declare target"
 350         attribute for DECL_EXTERNAL VAR_DECLs.
 351
 352 2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 353
 354         PR c++/65340
 355         * call.c (build_over_call): Pass the tsubst_flags_t argument to
 356         mark_used.
 357         * decl2.c (mark_used): Inline the require_deduced_type call and
 358         guard the error call.
 359
 360 2015-03-16  Jason Merrill  <jason@redhat.com>
 361
 362         PR c++/65061
 363         * parser.c (cp_parser_template_name): Call strip_using_decl.
 364
 365 2015-03-16  Marek Polacek  <polacek@redhat.com>
 366
 367         DR 1688
 368         PR c++/65327
 369         * decl.c (grokdeclarator): Allow volatile and constexpr together.
 370
 371 2015-03-12  Paolo Carlini  <paolo.carlini@oracle.com>
 372
 373         PR c++/65323
 374         * decl.c (check_default_argument): Don't call
 375         maybe_warn_zero_as_null_pointer_constant.
 376
 377 2015-03-11  Aldy Hernandez  <aldyh@redhat.com>
 378
 379         * cp-gimplify.c (simple_empty_class_p): New.
 380         * cp-gimplify.c (cp_gimplify_expr): Handle RETURN_EXPR.  Abstract
 381         the code for empty class copies into simple_empty_class_p, and
 382         adapt it to handle COMPOUND_EXPRs.
 383
 384 2015-03-10  Paolo Carlini  <paolo.carlini@oracle.com>
 385
 386         PR c++/65370
 387         * decl.c (duplicate_decls): Call check_redeclaration_no_default_args
 388         only if the location of newdecl doesn't match the location of olddecl.
 389
 390 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
 391
 392         PR c++/65127
 393         * parser.c (parsing_nsdmi): Don't return true if current_class_ptr
 394         is not a PARM_DECL.
 395
 396 2015-03-10  Jason Merrill  <jason@redhat.com>
 397
 398         PR c++/65333
 399         DR 1558
 400         * pt.c (dependent_type_p_r): Check both class and alias template args.
 401
 402 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
 403
 404         PR c/65120
 405         * parser.c (cp_parser_binary_expression): Check for tcc_comparison
 406         before preparing arguments to warn_logical_not_parentheses.
 407         Use maybe_constant_value on rhs.
 408
 409 2015-03-09  Jason Merrill  <jason@redhat.com>
 410
 411         PR c++/65339
 412         * call.c: Don't call maybe_resolve_dummy when calling a constructor.
 413
 414 2015-03-09  Jakub Jelinek  <jakub@redhat.com>
 415
 416         PR c/65120
 417         * parser.c (cp_parser_binary_expression): Don't warn for
 418         !!x == y or !b == y where b is bool.
 419
 420 2015-03-06  Aldy Hernandez  <aldyh@redhat.com>
 421
 422         * ptree.c (cxx_print_lambda_node): New.
 423         (cxx_print_xnode): Handle LAMBDA_EXPR.
 424
 425 2015-03-03  Aldy Hernandez  <aldyh@redhat.com>
 426
 427         PR c++/65295
 428         * constexpr.c (cxx_eval_constant_expression): Remove assert in
 429         RESULT_DECL handling.
 430
 431 2015-02-26  Marek Polacek  <polacek@redhat.com>
 432
 433         PR c++/65202
 434         * constexpr.c (cxx_eval_constant_expression): Don't evaluate
 435         a RETURN_EXPR if its operand is null.
 436
 437 2015-02-25  Jason Merrill  <jason@redhat.com>
 438
 439         PR c++/65209
 440         * decl2.c (constrain_visibility) [VISIBILITY_ANON]: Clear
 441         DECL_COMDAT.
 442         (constrain_visibility_for_template): Handle reference arguments.
 443
 444         PR debug/58315
 445         * decl.c (start_preparsed_function): Use create_artificial_label
 446         for cdtor_label.
 447
 448 2015-02-17  Paolo Carlini  <paolo.carlini@oracle.com>
 449             Jakub Jelinek  <jakub@redhat.com>
 450
 451         PR c++/65075
 452         * constexpr.c (check_constexpr_bind_expr_vars): Allow
 453         implicit typedefs for lambda types.
 454
 455 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 456
 457         PR c++/60894
 458         * decl.c (lookup_and_check_tag): Use strip_using_decl.
 459
 460 2015-02-13  Jason Merrill  <jason@redhat.com>
 461
 462         PR c++/65054
 463         * pt.c (template_args_equal): Look through conversions here.
 464         * tree.c (cp_tree_equal): Not here.
 465
 466 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 467
 468         PR c++/60211
 469         * parser.c (cp_parser_pragma): Diagnose PRAGMA_IVDEP at
 470         pragma_external context.
 471
 472 2015-02-13  Jason Merrill  <jason@redhat.com>
 473
 474         PR c++/65051
 475         * call.c (reference_binding): Don't look for bad conversion
 476         if TO is incomplete.
 477
 478 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 479
 480         PR c++/64970
 481         * decl.c (make_typename_type): Pass tsubst_flags_t argument
 482         to lookup_template_class.
 483
 484 2015-02-13  Jakub Jelinek  <jakub@redhat.com>
 485
 486         PR ipa/65034
 487         * decl.c (start_preparsed_function): Use void_type_node instead
 488         of NULL_TREE as LABEL_DECL type.
 489
 490 2015-02-12  Jason Merrill  <jason@redhat.com>
 491
 492         PR c++/64898
 493         * mangle.c (write_mangled_name): Fix test for variable template
 494         instantiation.
 495
 496         * decl.c (begin_destructor_body): Condition clobber on
 497         -flifetime-dse.
 498
 499 2015-02-12 Andrea Azzarone <azzaronea@gmail.com>
 500
 501         PR c++/64959
 502         * parser.c (lookup_literal_operator): Return all candidates.
 503         (cp_parser_userdef_char_literal): Simplify error handling.
 504         (cp_parser_userdef_numeric_literal):  Pass tf_warning_or_error.
 505         (cp_parser_userdef_string_literal): Pass tf_warning_or_error.
 506         Also give higher priority to standard string UDL operator.
 507
 508 2015-02-12  Jakub Jelinek  <jakub@redhat.com>
 509
 510         PR debug/55541
 511         * cp-tree.h (BLOCK_OUTER_CURLY_BRACE_P): Define.
 512         * decl.c (poplevel): If functionbody, try not to create an extra
 513         BLOCK for function body and use subblocks as that, if it is non-NULL
 514         and doesn't have siblings.  Set BLOCK_OUTER_CURLY_BRACE_P flag.
 515         (outer_curly_brace_block): Use BLOCK_OUTER_CURLY_BRACE_P flag.
 516
 517         PR sanitizer/64984
 518         * except.c (check_noexcept_r): Return NULL for internal
 519         calls.
 520
 521 2015-02-10  Jason Merrill  <jason@redhat.com>
 522
 523         PR c++/64994
 524         * constexpr.c (cxx_eval_call_expression): Walk the clone list.
 525
 526 2015-02-10  Jan Hubicka  <hubicka@ucw.cz>
 527
 528         PR ipa/64982
 529         * method.c (use_thunk): Do not check for stdarg thunks.
 530
 531 2015-02-06  Jason Merrill  <jason@redhat.com>
 532
 533         PR c++/64899
 534         * init.c (build_vec_init): Handle default-initialized array with
 535         constexpr default constructor.
 536
 537 2015-02-04  Jakub Jelinek  <jakub@redhat.com>
 538
 539         PR c/64824
 540         PR c/64868
 541         * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
 542
 543 2015-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
 544
 545         PR c++/64877
 546         * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings
 547         for generated expressions.
 548
 549 2015-02-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
 550
 551         PR c++/64901
 552         * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and
 553         DECL_OVERRIDE_P.
 554
 555 2015-02-02  Jason Merrill  <jason@redhat.com>
 556
 557         * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments.
 558
 559 2015-01-30  Joseph Myers  <joseph@codesourcery.com>
 560
 561         * class.c, except.c, parser.c, pt.c: All callers of fatal_error
 562         changed to pass input_location as first argument.
 563
 564 2015-01-29  Jakub Jelinek  <jakub@redhat.com>
 565
 566         PR c++/64717
 567         * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr
 568         into SAVE_EXPR.
 569
 570 2015-01-29  Jason Merrill  <jason@redhat.com>
 571
 572         PR c++/49508
 573         * semantics.c (finish_return_stmt): Suppress -Wreturn-type on
 574         erroneous return statement.
 575
 576         PR c++/64521
 577         * repo.c (repo_emit_p): It's OK for a clone to be extern at this
 578         point.
 579
 580 2015-01-27  Caroline Tice  <cmtice@google.com>
 581
 582         Committing VTV Cywin/Ming patch for Patrick Wollgast
 583         * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add
 584         check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks.
 585
 586 2015-01-27  Jason Merrill  <jason@redhat.com>
 587
 588         PR c++/58597
 589         * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than
 590         current_function_decl.
 591
 592         PR c++/63889
 593         * pt.c (finish_template_variable): Move from semantics.c.
 594         Handle multiple template arg levels.  Handle coercion here.
 595         (lookup_template_variable): Not here.
 596
 597 2015-01-23  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/64314
 600         PR c++/57510
 601         * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR
 602         that has been completely split out.
 603
 604         PR c++/64701
 605         * constexpr.c (cxx_eval_constant_expression): Don't crash on C++
 606         statement codes.
 607
 608         PR c++/64727
 609         * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use
 610         of CONST_DECL.
 611
 612 2015-01-21  Jason Merrill  <jason@redhat.com>
 613
 614         PR c++/64603
 615         * constexpr.c (cxx_eval_constant_expression): Only shortcut
 616         constant CONSTRUCTORs.
 617
 618         PR c++/64647
 619         * constexpr.c (ensure_literal_type_for_constexpr_object): Don't
 620         give a hard error in a template instantiation.
 621
 622 2015-01-21  Richard Biener  <rguenther@suse.de>
 623
 624         PR middle-end/64313
 625         * decl.c (duplicate_decls): Call set_builtin_decl_declared_p
 626         for builtins the user declared correctly.
 627
 628 2015-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
 629
 630         PR c++/58614
 631         * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle
 632         TREE_TYPE (elt) == error_mark_node.
 633
 634 2015-01-15  Jan Hubicka  <hubicka@ucw.cz>
 635
 636         PR tree-optimization/62053
 637         * tree.c (build_cplus_array_type): Layout type after variants are set.
 638
 639 2015-01-15  Jakub Jelinek  <jakub@redhat.com>
 640
 641         * cp-gimplify.c (cp_genericize_r): Call
 642         cp_ubsan_maybe_instrument_member_call for member calls.
 643         (cp_ubsan_check_member_access_r): New function.
 644         (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses.
 645         * cp-tree.h (cp_ubsan_maybe_instrument_member_call,
 646         cp_ubsan_instrument_member_accesses,
 647         cp_ubsan_maybe_instrument_downcast,
 648         cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes.
 649         * cp-ubsan.c: New file.
 650         * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o.
 651         * constexpr.c (cxx_eval_call_expression): Return void_node
 652         for IFN_UBSAN_VPTR.
 653         (potential_constant_expression_1): Return true for
 654         UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls.
 655         * typeck.c (build_class_member_access_expr): Provide locus
 656         for COMPONENT_REFs.
 657         (build_static_cast_1): Instrument downcasts.
 658         * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p
 659         add ubsan instrumentation for virtual_access.
 660         * call.c: Include internal-fn.h.
 661         (set_flags_from_callee): Handle internal calls.
 662
 663 2015-01-15  Momchil Velikov  <momchil.velikov@gmail.com>
 664
 665         PR c++/59366
 666         * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions
 667         and function templates, declared only in the class.
 668         * decl.c (duplicate_decls): Reveal hidden friend functions or
 669         function templates, if they are redeclared outside the class.
 670
 671 2015-01-15  Jason Merrill  <jason@redhat.com>
 672
 673         PR c++/64356
 674         * constexpr.c (cxx_eval_binary_expression): Fix pasto.
 675
 676         PR c++/63283
 677         * constexpr.c (potential_constant_expression_1): Handle reference
 678         args in templates.
 679
 680 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
 681             James Norris  <jnorris@codesourcery.com>
 682             Cesar Philippidis  <cesar@codesourcery.com>
 683             Ilmir Usmanov  <i.usmanov@samsung.com>
 684             Jakub Jelinek  <jakub@redhat.com>
 685
 686         * parser.c: Include "gomp-constants.h".
 687         (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
 688         omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
 689         Use OMP_CLAUSE_SET_MAP_KIND.
 690         (cp_parser_omp_construct, cp_parser_pragma): Handle
 691         PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA,
 692         PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL,
 693         PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT.
 694         (cp_parser_omp_clause_name): Handle "async", "copy", "copyout",
 695         "create", "delete", "deviceptr", "host", "num_gangs",
 696         "num_workers", "present", "present_or_copy", "pcopy",
 697         "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
 698         "present_or_create", "pcreate", "vector_length", "wait".
 699         (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK)
 700         (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
 701         (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
 702         (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
 703         (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_.
 704         (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr)
 705         (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list)
 706         (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs)
 707         (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async)
 708         (cp_parser_oacc_all_clauses, cp_parser_oacc_cache)
 709         (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data)
 710         (cp_parser_oacc_kernels, cp_parser_oacc_loop)
 711         (cp_parser_oacc_parallel, cp_parser_oacc_update)
 712         (cp_parser_oacc_wait): New functions.
 713         * cp-tree.h (finish_oacc_data, finish_oacc_kernels)
 714         (finish_oacc_parallel): New prototypes.
 715         * semantics.c: Include "gomp-constants.h".
 716         (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
 717         GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
 718         OMP_CLAUSE_SET_MAP_KIND.
 719         (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC,
 720         OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_.
 721         Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
 722         (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New
 723         functions.
 724
 725 2015-01-14  Paolo Carlini  <paolo.carlini@oracle.com>
 726
 727         PR c++/58671
 728         * decl2.c (var_defined_without_dynamic_init): Handle gracefully
 729         self-initialization.
 730
 731 2015-01-13  Jason Merrill  <jason@redhat.com>
 732
 733         PR c++/64356
 734         PR libstdc++/58777
 735         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
 736         pointer expressions.
 737         (cxx_eval_increment_expression): Likewise.
 738
 739         PR c++/64514
 740         * pt.c (coerce_template_parameter_pack): Return NULL for a
 741         zero-length fixed parameter pack with a pack expansion arg.
 742
 743         PR c++/64520
 744         * pt.c (unify): Don't try to deduce to std::initializer_list<T...>.
 745
 746 2015-01-12  Jason Merrill  <jason@redhat.com>
 747
 748         PR c++/64547
 749         * constexpr.c (cxx_eval_call_expression): A call to a void
 750         function doesn't need to return a value.
 751
 752 2015-01-09  Michael Collison  <michael.collison@linaro.org>
 753
 754         * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h,
 755         input.h, alias.h, symtab.h, options.h, fold-const.h,
 756         wide-int.h, and inchash.h due to flattening of tree.h.
 757         * class.c: Ditto.
 758         * constexpr.c: Ditto.
 759         * cp-array-notation.c: Ditto.
 760         * cp-gimplify.c: Ditto.
 761         * cp-lang.c: Ditto.
 762         * cp-objcp-common.c: Ditto.
 763         * cvt.c: Ditto.
 764         * decl2.c: Ditto.
 765         * decl.c: Ditto.
 766         * dump.c: Ditto.
 767         * error.c: Ditto.
 768         * except.c: Ditto.
 769         * expr.c: Ditto.
 770         * friend.c: Ditto.
 771         * init.c: Ditto.
 772         * lambda.c: Ditto.
 773         * lex.c: Ditto.
 774         * mangle.c: Ditto.
 775         * name-lookup.c: Ditto.
 776         * optimize.c: Ditto.
 777         * parser.c: Ditto.
 778         * pt.c: Ditto.
 779         * ptree.c: Ditto.
 780         * repo.c: Ditto.
 781         * rtti.c: Ditto.
 782         * search.c: Ditto.
 783         * semantics.c: Ditto.
 784         * tree.c: Ditto.
 785         * typeck2.c: Ditto.
 786         * typeck.c: Ditto.
 787
 788 2015-01-08  Jason Merrill  <jason@redhat.com>
 789
 790         * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function.
 791         * decl.c (compute_array_index_type): Likewise.
 792         * init.c (build_vec_init): Likewise.
 793         * typeck.c (cp_build_binary_op): Likewise.
 794
 795 2015-01-08  Jason Merrill  <jason@redhat.com>
 796
 797         * init.c (build_vec_init): Call ubsan_instrument_bounds to check
 798         whether an initializer-list is too big for a VLA.
 799         (throw_bad_array_length): Remove.
 800         * cp-tree.h: Remove prototype.
 801
 802 2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
 803
 804         PR c++/60753
 805         * decl.c (grokfndecl): Add bool parameter.
 806         (grokdeclarator): Adjust calls.
 807         (start_decl): Don't set DECL_DELETED_FN here.
 808
 809 2015-01-06  Jason Merrill  <jason@redhat.com>
 810
 811         * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid
 812         template-ids.
 813
 814         PR c++/64455
 815         * pt.c (type_dependent_expression_p): Handle variable templates.
 816         * constexpr.c (potential_constant_expression_1): Use it.
 817
 818         PR c++/64487
 819         * semantics.c (finish_offsetof): Handle templates here.
 820         * parser.c (cp_parser_builtin_offsetof): Not here.
 821
 822         PR c++/64496
 823         * semantics.c (process_outer_var_ref): Diagnose lambda in local
 824         class NSDMI.
 825
 826 2015-01-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
 827
 828         PR c++/64489
 829         * class.c (check_field_decls): Make copy assignment operators
 830         complex only in c++98 mode.
 831
 832 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
 833
 834         PR c++/31397
 835         * class.c (check_for_override): Warn when a virtual function is an
 836         override not marked override.
 837
 838 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
 839
 840         * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to
 841         hold base_fndecls.
 842         (get_basefndecls): Adjust.
 843
 844 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
 845
 846         Update copyright years.
 847
 848 2015-01-05  Marek Polacek  <polacek@redhat.com>
 849
 850         PR c/64423
 851         * typeck.c (cp_build_array_ref): Pass loc down to
 852         warn_array_subscript_with_type_char.
 853
 854 \f
 855 Copyright (C) 2015 Free Software Foundation, Inc.
 856
 857 Copying and distribution of this file, with or without modification,
 858 are permitted in any medium without royalty provided the copyright
 859 notice and this notice are preserved.