gcc/cp/ChangeLog

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