gcc/cp/ChangeLog

   1 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
   2
   3         PR c++/64970
   4         * decl.c (make_typename_type): Pass tsubst_flags_t argument
   5         to lookup_template_class.
   6
   7 2015-02-13  Jakub Jelinek  <jakub@redhat.com>
   8
   9         PR ipa/65034
  10         * decl.c (start_preparsed_function): Use void_type_node instead
  11         of NULL_TREE as LABEL_DECL type.
  12
  13 2015-02-12  Jason Merrill  <jason@redhat.com>
  14
  15         PR c++/64898
  16         * mangle.c (write_mangled_name): Fix test for variable template
  17         instantiation.
  18
  19         * decl.c (begin_destructor_body): Condition clobber on
  20         -flifetime-dse.
  21
  22 2015-02-12 Andrea Azzarone <azzaronea@gmail.com>
  23
  24         PR c++/64959
  25         * parser.c (lookup_literal_operator): Return all candidates.
  26         (cp_parser_userdef_char_literal): Simplify error handling.
  27         (cp_parser_userdef_numeric_literal):  Pass tf_warning_or_error.
  28         (cp_parser_userdef_string_literal): Pass tf_warning_or_error.
  29         Also give higher priority to standard string UDL operator.
  30
  31 2015-02-12  Jakub Jelinek  <jakub@redhat.com>
  32
  33         PR debug/55541
  34         * cp-tree.h (BLOCK_OUTER_CURLY_BRACE_P): Define.
  35         * decl.c (poplevel): If functionbody, try not to create an extra
  36         BLOCK for function body and use subblocks as that, if it is non-NULL
  37         and doesn't have siblings.  Set BLOCK_OUTER_CURLY_BRACE_P flag.
  38         (outer_curly_brace_block): Use BLOCK_OUTER_CURLY_BRACE_P flag.
  39
  40         PR sanitizer/64984
  41         * except.c (check_noexcept_r): Return NULL for internal
  42         calls.
  43
  44 2015-02-10  Jason Merrill  <jason@redhat.com>
  45
  46         PR c++/64994
  47         * constexpr.c (cxx_eval_call_expression): Walk the clone list.
  48
  49 2015-02-10  Jan Hubicka  <hubicka@ucw.cz>
  50
  51         PR ipa/64982
  52         * method.c (use_thunk): Do not check for stdarg thunks.
  53
  54 2015-02-06  Jason Merrill  <jason@redhat.com>
  55
  56         PR c++/64899
  57         * init.c (build_vec_init): Handle default-initialized array with
  58         constexpr default constructor.
  59
  60 2015-02-04  Jakub Jelinek  <jakub@redhat.com>
  61
  62         PR c/64824
  63         PR c/64868
  64         * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
  65
  66 2015-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
  67
  68         PR c++/64877
  69         * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings
  70         for generated expressions.
  71
  72 2015-02-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
  73
  74         PR c++/64901
  75         * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and
  76         DECL_OVERRIDE_P.
  77
  78 2015-02-02  Jason Merrill  <jason@redhat.com>
  79
  80         * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments.
  81
  82 2015-01-30  Joseph Myers  <joseph@codesourcery.com>
  83
  84         * class.c, except.c, parser.c, pt.c: All callers of fatal_error
  85         changed to pass input_location as first argument.
  86
  87 2015-01-29  Jakub Jelinek  <jakub@redhat.com>
  88
  89         PR c++/64717
  90         * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr
  91         into SAVE_EXPR.
  92
  93 2015-01-29  Jason Merrill  <jason@redhat.com>
  94
  95         PR c++/49508
  96         * semantics.c (finish_return_stmt): Suppress -Wreturn-type on
  97         erroneous return statement.
  98
  99         PR c++/64521
 100         * repo.c (repo_emit_p): It's OK for a clone to be extern at this
 101         point.
 102
 103 2015-01-27  Caroline Tice  <cmtice@google.com>
 104
 105         Committing VTV Cywin/Ming patch for Patrick Wollgast
 106         * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add
 107         check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks.
 108
 109 2015-01-27  Jason Merrill  <jason@redhat.com>
 110
 111         PR c++/58597
 112         * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than
 113         current_function_decl.
 114
 115         PR c++/63889
 116         * pt.c (finish_template_variable): Move from semantics.c.
 117         Handle multiple template arg levels.  Handle coercion here.
 118         (lookup_template_variable): Not here.
 119
 120 2015-01-23  Jason Merrill  <jason@redhat.com>
 121
 122         PR c++/64314
 123         PR c++/57510
 124         * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR
 125         that has been completely split out.
 126
 127         PR c++/64701
 128         * constexpr.c (cxx_eval_constant_expression): Don't crash on C++
 129         statement codes.
 130
 131         PR c++/64727
 132         * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use
 133         of CONST_DECL.
 134
 135 2015-01-21  Jason Merrill  <jason@redhat.com>
 136
 137         PR c++/64603
 138         * constexpr.c (cxx_eval_constant_expression): Only shortcut
 139         constant CONSTRUCTORs.
 140
 141         PR c++/64647
 142         * constexpr.c (ensure_literal_type_for_constexpr_object): Don't
 143         give a hard error in a template instantiation.
 144
 145 2015-01-21  Richard Biener  <rguenther@suse.de>
 146
 147         PR middle-end/64313
 148         * decl.c (duplicate_decls): Call set_builtin_decl_declared_p
 149         for builtins the user declared correctly.
 150
 151 2015-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
 152
 153         PR c++/58614
 154         * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle
 155         TREE_TYPE (elt) == error_mark_node.
 156
 157 2015-01-15  Jan Hubicka  <hubicka@ucw.cz>
 158
 159         PR tree-optimization/62053
 160         * tree.c (build_cplus_array_type): Layout type after variants are set.
 161
 162 2015-01-15  Jakub Jelinek  <jakub@redhat.com>
 163
 164         * cp-gimplify.c (cp_genericize_r): Call
 165         cp_ubsan_maybe_instrument_member_call for member calls.
 166         (cp_ubsan_check_member_access_r): New function.
 167         (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses.
 168         * cp-tree.h (cp_ubsan_maybe_instrument_member_call,
 169         cp_ubsan_instrument_member_accesses,
 170         cp_ubsan_maybe_instrument_downcast,
 171         cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes.
 172         * cp-ubsan.c: New file.
 173         * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o.
 174         * constexpr.c (cxx_eval_call_expression): Return void_node
 175         for IFN_UBSAN_VPTR.
 176         (potential_constant_expression_1): Return true for
 177         UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls.
 178         * typeck.c (build_class_member_access_expr): Provide locus
 179         for COMPONENT_REFs.
 180         (build_static_cast_1): Instrument downcasts.
 181         * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p
 182         add ubsan instrumentation for virtual_access.
 183         * call.c: Include internal-fn.h.
 184         (set_flags_from_callee): Handle internal calls.
 185
 186 2015-01-15  Momchil Velikov  <momchil.velikov@gmail.com>
 187
 188         PR c++/59366
 189         * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions
 190         and function templates, declared only in the class.
 191         * decl.c (duplicate_decls): Reveal hidden friend functions or
 192         function templates, if they are redeclared outside the class.
 193
 194 2015-01-15  Jason Merrill  <jason@redhat.com>
 195
 196         PR c++/64356
 197         * constexpr.c (cxx_eval_binary_expression): Fix pasto.
 198
 199         PR c++/63283
 200         * constexpr.c (potential_constant_expression_1): Handle reference
 201         args in templates.
 202
 203 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
 204             James Norris  <jnorris@codesourcery.com>
 205             Cesar Philippidis  <cesar@codesourcery.com>
 206             Ilmir Usmanov  <i.usmanov@samsung.com>
 207             Jakub Jelinek  <jakub@redhat.com>
 208
 209         * parser.c: Include "gomp-constants.h".
 210         (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
 211         omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
 212         Use OMP_CLAUSE_SET_MAP_KIND.
 213         (cp_parser_omp_construct, cp_parser_pragma): Handle
 214         PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA,
 215         PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL,
 216         PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT.
 217         (cp_parser_omp_clause_name): Handle "async", "copy", "copyout",
 218         "create", "delete", "deviceptr", "host", "num_gangs",
 219         "num_workers", "present", "present_or_copy", "pcopy",
 220         "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
 221         "present_or_create", "pcreate", "vector_length", "wait".
 222         (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK)
 223         (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
 224         (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
 225         (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
 226         (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_.
 227         (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr)
 228         (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list)
 229         (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs)
 230         (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async)
 231         (cp_parser_oacc_all_clauses, cp_parser_oacc_cache)
 232         (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data)
 233         (cp_parser_oacc_kernels, cp_parser_oacc_loop)
 234         (cp_parser_oacc_parallel, cp_parser_oacc_update)
 235         (cp_parser_oacc_wait): New functions.
 236         * cp-tree.h (finish_oacc_data, finish_oacc_kernels)
 237         (finish_oacc_parallel): New prototypes.
 238         * semantics.c: Include "gomp-constants.h".
 239         (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
 240         GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
 241         OMP_CLAUSE_SET_MAP_KIND.
 242         (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC,
 243         OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_.
 244         Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
 245         (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New
 246         functions.
 247
 248 2015-01-14  Paolo Carlini  <paolo.carlini@oracle.com>
 249
 250         PR c++/58671
 251         * decl2.c (var_defined_without_dynamic_init): Handle gracefully
 252         self-initialization.
 253
 254 2015-01-13  Jason Merrill  <jason@redhat.com>
 255
 256         PR c++/64356
 257         PR libstdc++/58777
 258         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
 259         pointer expressions.
 260         (cxx_eval_increment_expression): Likewise.
 261
 262         PR c++/64514
 263         * pt.c (coerce_template_parameter_pack): Return NULL for a
 264         zero-length fixed parameter pack with a pack expansion arg.
 265
 266         PR c++/64520
 267         * pt.c (unify): Don't try to deduce to std::initializer_list<T...>.
 268
 269 2015-01-12  Jason Merrill  <jason@redhat.com>
 270
 271         PR c++/64547
 272         * constexpr.c (cxx_eval_call_expression): A call to a void
 273         function doesn't need to return a value.
 274
 275 2015-01-09  Michael Collison  <michael.collison@linaro.org>
 276
 277         * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h,
 278         input.h, alias.h, symtab.h, options.h, fold-const.h,
 279         wide-int.h, and inchash.h due to flattening of tree.h.
 280         * class.c: Ditto.
 281         * constexpr.c: Ditto.
 282         * cp-array-notation.c: Ditto.
 283         * cp-gimplify.c: Ditto.
 284         * cp-lang.c: Ditto.
 285         * cp-objcp-common.c: Ditto.
 286         * cvt.c: Ditto.
 287         * decl2.c: Ditto.
 288         * decl.c: Ditto.
 289         * dump.c: Ditto.
 290         * error.c: Ditto.
 291         * except.c: Ditto.
 292         * expr.c: Ditto.
 293         * friend.c: Ditto.
 294         * init.c: Ditto.
 295         * lambda.c: Ditto.
 296         * lex.c: Ditto.
 297         * mangle.c: Ditto.
 298         * name-lookup.c: Ditto.
 299         * optimize.c: Ditto.
 300         * parser.c: Ditto.
 301         * pt.c: Ditto.
 302         * ptree.c: Ditto.
 303         * repo.c: Ditto.
 304         * rtti.c: Ditto.
 305         * search.c: Ditto.
 306         * semantics.c: Ditto.
 307         * tree.c: Ditto.
 308         * typeck2.c: Ditto.
 309         * typeck.c: Ditto.
 310
 311 2015-01-08  Jason Merrill  <jason@redhat.com>
 312
 313         * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function.
 314         * decl.c (compute_array_index_type): Likewise.
 315         * init.c (build_vec_init): Likewise.
 316         * typeck.c (cp_build_binary_op): Likewise.
 317
 318 2015-01-08  Jason Merrill  <jason@redhat.com>
 319
 320         * init.c (build_vec_init): Call ubsan_instrument_bounds to check
 321         whether an initializer-list is too big for a VLA.
 322         (throw_bad_array_length): Remove.
 323         * cp-tree.h: Remove prototype.
 324
 325 2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
 326
 327         PR c++/60753
 328         * decl.c (grokfndecl): Add bool parameter.
 329         (grokdeclarator): Adjust calls.
 330         (start_decl): Don't set DECL_DELETED_FN here.
 331
 332 2015-01-06  Jason Merrill  <jason@redhat.com>
 333
 334         * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid
 335         template-ids.
 336
 337         PR c++/64455
 338         * pt.c (type_dependent_expression_p): Handle variable templates.
 339         * constexpr.c (potential_constant_expression_1): Use it.
 340
 341         PR c++/64487
 342         * semantics.c (finish_offsetof): Handle templates here.
 343         * parser.c (cp_parser_builtin_offsetof): Not here.
 344
 345         PR c++/64496
 346         * semantics.c (process_outer_var_ref): Diagnose lambda in local
 347         class NSDMI.
 348
 349 2015-01-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
 350
 351         PR c++/64489
 352         * class.c (check_field_decls): Make copy assignment operators
 353         complex only in c++98 mode.
 354
 355 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
 356
 357         PR c++/31397
 358         * class.c (check_for_override): Warn when a virtual function is an
 359         override not marked override.
 360
 361 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
 362
 363         * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to
 364         hold base_fndecls.
 365         (get_basefndecls): Adjust.
 366
 367 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
 368
 369         Update copyright years.
 370
 371 2015-01-05  Marek Polacek  <polacek@redhat.com>
 372
 373         PR c/64423
 374         * typeck.c (cp_build_array_ref): Pass loc down to
 375         warn_array_subscript_with_type_char.
 376
 377 \f
 378 Copyright (C) 2015 Free Software Foundation, Inc.
 379
 380 Copying and distribution of this file, with or without modification,
 381 are permitted in any medium without royalty provided the copyright
 382 notice and this notice are preserved.