gcc/cp/ChangeLog

   1 2012-09-04  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/54437
   4         PR c++/51213
   5         * pt.c (fn_type_unification): Call coerce_template_parms before
   6         entering substitution context.
   7
   8 2012-08-31  Paolo Carlini  <paolo.carlini@oracle.com>
   9             Jason Merrill  <jason@redhat.com>
  10
  11         PR c++/18747
  12         * pt.c (check_template_variable): New.
  13         (num_template_headers_for_class): Split out...
  14         * decl.c (grokdeclarator): ...from here.
  15         (start_decl): Remove redundant diagnostic.
  16         * cp-tree.h: Declare them
  17         * parser.c (cp_parser_single_declaration): Call check_template_variable.
  18
  19 2012-08-31  Ollie Wild  <aaw@google.com>
  20
  21         PR c++/54197
  22         * call.c (extend_ref_init_temps_1): Handle COMPOUND_EXPR trees.
  23
  24 2012-08-30  Jason Merrill  <jason@redhat.com>
  25
  26         PR c++/50545
  27         PR c++/51222
  28         * pt.c (instantiation_dependent_r): New.
  29         (instantiation_dependent_expression_p): New.
  30         (value_dependent_expression_p): Use it.  SCOPE_REF is always dependent.
  31         * semantics.c (finish_decltype_type): Use it.
  32         * cp-tree.h: Declare it.
  33
  34         * semantics.c (finish_qualified_id_expr): Handle building up a
  35         non-dependent SCOPE_REF here.
  36         (finish_id_expression): Not here.
  37         * error.c (dump_decl) [SCOPE_REF]: Only pass TFF_UNQUALIFIED_NAME.
  38
  39         * friend.c (make_friend_class): Handle template template parameters.
  40         * parser.c (cp_parser_template_declaration_after_export): Likewise.
  41         * pt.c (tsubst_friend_class): Likewise.
  42         (instantiate_class_template_1): Likewise
  43         * decl.c (check_elaborated_type_specifier): Likewise.
  44         (lookup_and_check_tag): Likewise.
  45
  46         * pt.c (get_class_bindings): Call coerce_template_parms.  Add
  47         main_tmpl parameter.
  48         (more_specialized_class): Add main_tmpl parameter.
  49         (most_specialized_class): Adjust calls.
  50
  51         * decl.c (cp_finish_decl): Check for invalid multiple initializers
  52         even if the initializer is dependent.
  53
  54         * pt.c (instantiate_template_1): Keep processing_template_decl set
  55         if there are dependent args.
  56
  57 2012-08-25  Paolo Carlini  <paolo.carlini@oracle.com>
  58
  59         PR c++/51421
  60         * decl2.c (mark_used): Consistently return false after errors
  61         about uses before deduction of auto.
  62         * semantics.c (finish_id_expression): Check mark_used return
  63         value and return error_mark_node in case of failure.
  64
  65 2012-08-24  Jason Merrill  <jason@redhat.com>
  66
  67         PR c++/51213 (again)
  68         * pt.c (deduction_tsubst_fntype): Remove.
  69         (fn_type_unification): Check deduction depth and call
  70         instantiate_template here.  Handle default argument access checks.
  71         (determine_specialization): Suppress access control.
  72         (tsubst_decl): Check for excessive deduction depth.
  73         (recheck_decl_substitution): Make sure access control is on.
  74         (type_unification_real): Don't mess with access deferring here.
  75         (get_bindings): Adjust for fn_type_unification return type.
  76         * call.c (enum rejection_reason_code): Drop rr_template_instantiation.
  77         (template_instantiation_rejection): Remove.
  78         (struct rejection_reason): Change targs to num_targs.
  79         (template_unification_rejection, print_z_candidate): Adjust.
  80         (add_template_candidate_real): Adjust for fn_type_unification change.
  81         * class.c (resolve_address_of_overloaded_function): Likewise.
  82         * cp-tree.h: Adjust declaration.
  83
  84         * pt.c (tsubst_default_argument): Indicate where the default
  85         argument is being instantiated for.
  86         (tsubst_expr): Restore previous location.
  87         (tsubst_copy_and_build): Set and restore location.
  88         * call.c (build_new_method_call_1): Remember location of call.
  89         * semantics.c (finish_call_expr): Here too.
  90         * parser.c (cp_parser_omp_for_loop): Remember the location of the
  91         increment expression.
  92
  93         * pt.c (resolve_overloaded_unification): Use coerce_template_parms
  94         instead of get_bindings.
  95         (resolve_nondeduced_context): Likewise.
  96
  97         * pt.c (register_specialization): Correct argument to
  98         check_specialization_namespace.
  99         (determine_specialization): Don't consider members of
 100         unspecialized types.
 101
 102 2012-08-23  Jason Merrill  <jason@redhat.com>
 103
 104         * decl.c (compute_array_index_type): Use type_dependent_expression_p.
 105
 106 2012-08-23  Paolo Carlini  <paolo.carlini@oracle.com>
 107
 108         PR c++/20420
 109         * name-lookup.c (supplement_binding_1): Handle specially enums
 110         only in class templates.
 111         (validate_nonmember_using_decl): Enforce 7.3.3/10 about duplicate
 112         using declarations at function scope.
 113
 114 2012-08-21  Richard Guenther  <rguenther@suse.de>
 115
 116         * cp-tree.h (TREE_INDIRECT_USING): Use TREE_LANG_FLAG_0 accessor.
 117         (ATTR_IS_DEPENDENT): Likewise.
 118         (ARGUMENT_PACK_INCOMPLETE_P): Use TREE_ADDRESSABLE instead of
 119         TREE_LANG_FLAG_0 on TREE_VECs.
 120
 121 2012-08-20  Paolo Carlini  <paolo.carlini@oracle.com>
 122
 123         PR c++/10416
 124         * decl.c (poplevel): Check TYPE_HAS_NONTRIVIAL_DESTRUCTOR for
 125         Wunused_variable too.
 126
 127 2012-08-20  Diego Novillo  <dnovillo@google.com>
 128
 129         * decl.c (poplevel): Start TV_NAME_LOOKUP conditionally.
 130
 131 2012-08-20  Richard Guenther  <rguenther@suse.de>
 132
 133         * name-lookup.c (store_binding_p): New predicate, split out from ...
 134         (store_binding): ... here.  Always store binding and require
 135         target vector with enough space.
 136         (store_bindings): Collect to store bindings and reserve space
 137         for them, then store them.
 138         (store_class_bindings): Likewise.
 139
 140 2012-08-19  Mikael Morin  <mikael@gcc.gnu.org>
 141
 142         * Make-lang.in: Fix typo.
 143
 144 2012-08-17  Jakub Jelinek  <jakub@redhat.com>
 145
 146         * cp-tree.def (SIZEOF_EXPR): Move to c-common.def.
 147
 148 2012-08-14   Diego Novillo  <dnovillo@google.com>
 149
 150         Merge from cxx-conversion branch.  Re-write VEC in C++.
 151
 152         * call.c (add_function_candidate): Remove const qualifier
 153         from call to VEC_index.
 154
 155 2012-08-10  Richard Guenther  <rguenther@suse.de>
 156
 157         * error.c (dump_expr): Handle anonymous SSA names.
 158
 159 2012-08-07  Steven Bosscher  <steven@gcc.gnu.org>
 160
 161         * error.c (print_instantiation_context): Pretty-print a newline before
 162         diagnostic_flush_buffer.
 163         * cxx-pretty-print.c (pp_cxx_function_definition): Use
 164         pp_newline_and_flush instead of separate pp_newline and pp_flush.
 165
 166 2012-08-06  Dodji Seketeli  <dodji@redhat.com>
 167
 168         Avoid crashing on erroneous static_assert usage
 169         * semantics.c (finish_static_assert): Don't crash on erroneous
 170         message or condition.
 171
 172 2012-08-06  Marc Glisse  <marc.glisse@inria.fr>
 173             Paolo Carlini  <paolo.carlini@oracle.com>
 174
 175         PR c++/54165
 176         * typeck.c (build_static_cast_1): Move the conversion to void case
 177         before the perform_direct_initialization_if_possible call.
 178
 179 2012-08-03  Marc Glisse  <marc.glisse@inria.fr>
 180
 181         * pt.c (tsubst_copy_and_build): Handle VECTOR_TYPE like scalars.
 182         * cp-tree.h (scalarish_type_p): Declare.
 183         * tree.c (scalarish_type_p): Make non-static.
 184
 185 2012-08-02  Jason Merrill  <jason@redhat.com>
 186             Paolo Carlini  <paolo.carlini@oracle.com>
 187
 188         PR c++/51213 (again)
 189         * pt.c (type_unification_real): Call push_deferring_access_checks /
 190         pop_deferring_access_checks around the substitution of default
 191         template args.
 192         (instantiate_template_1): When the specialization returned by
 193         retrieve_specialization has FNDECL_HAS_ACCESS_ERRORS set and we
 194         are in a SFINAE context, simply return error_mark_node.
 195         * cp-tree.h (FNDECL_RECHECK_ACCESS_P): Rename FNDECL_HAS_ACCESS_ERRORS.
 196
 197 2012-07-31  Paolo Carlini  <paolo.carlini@oracle.com>
 198
 199         * pt.c (check_default_tmpl_args): Change is_primary and is_partial
 200         parameters to bool type, adjust.
 201         (push_template_decl_real): Tidy.
 202         * parser.c (cp_parser_init_declarator): Adjust.
 203         * decl.c (redeclaration_error_message): Likewise.
 204         * cp-tree.h (check_default_tmpl_args): Update prototype.
 205
 206 2012-07-31  Paolo Carlini  <paolo.carlini@oracle.com>
 207
 208         PR c++/53624
 209         * pt.c (check_default_tmpl_args): Don't check local types.
 210
 211 2012-07-25  Sandra Loosemore  <sandra@codesourcery.com>
 212             Paul Brook  <paul@codesourcery.com>
 213
 214         PR target/53633
 215         * decl.c (finish_function): Check targetm.warn_func_return.
 216
 217 2012-07-25  Jason Merrill  <jason@redhat.com>
 218
 219         PR c++/54086
 220         * decl.c (grokdeclarator): Allow const and constexpr together.
 221
 222         PR c++/54020
 223         * semantics.c (potential_constant_expression_1) [COND_EXPR]: Call
 224         maybe_constant_value.
 225
 226         * cp-tree.h (tsubst_flags): Remove tf_no_access_control.
 227         * call.c (standard_conversion): Don't set it.
 228         * class.c (resolve_address_of_overloaded_function): Don't check it.
 229         * decl.c (check_default_argument): Call
 230         perform_implicit_conversion_flags.
 231
 232         * pt.c (print_candidates_1): Use inform instead of error.
 233
 234 2012-07-24  Paolo Carlini  <paolo.carlini@oracle.com>
 235
 236         * pt.c (convert_template_argument, tsubst): Simplify fourth argument
 237         to make_typename_type (complain & tf_error -> complain).
 238
 239 2012-07-24  Steven Bosscher  <steven@gcc.gnu.org>
 240
 241         * class.c (n_vtables, n_vtable_entries, n_vtable_searches,
 242         n_vtable_elems, n_convert_harshness, n_compute_conversion_costs,
 243         n_inner_fields_searched): Always define.
 244         (build_primary_vtable): Convert #ifdef GATHER_STATISTICS to if-code.
 245         (print_class_statistics): Convert #ifdef GATHER_STATISTICS to if-code.
 246         * tree.c (depth_reached): Always define global.
 247         (cxx_print_statistics): Convert #ifdef GATHER_STATISTICS to if-code.
 248         * pt.c (depth_reached): Always define.
 249         (push_tinst_level): Convert #ifdef GATHER_STATISTICS to if-code.
 250         * search.c (n_fields_searched, n_calls_lookup_field,
 251         n_calls_lookup_field_1, n_calls_lookup_fnfields,
 252         n_calls_lookup_fnfields_1, n_calls_get_base_type,
 253         n_outer_fields_searched, n_contexts_saved): Always define.
 254         (lookup_field_1): Convert #ifdef GATHER_STATISTICS to if-code.
 255         (lookup_member): Likewise.
 256         (lookup_fnfields_idx_nolazy): Likewise.
 257         (print_search_statistics): Likewise.
 258         (reinit_search_statistics): Unconditionally re-set counters.
 259         * lex.c (retrofit_lang_decl): Convert #ifdef GATHER_STATISTICS
 260         to if-code.
 261         (cxx_dup_lang_specific_decl): Likewise.
 262         (copy_lang_type): Likewise.
 263         (cxx_make_type): Likewise.
 264
 265 2012-07-20  Jason Merrill  <jason@redhat.com>
 266
 267         PR c++/54038
 268         * tree.c (build_cplus_array_type): Use build_cplus_array_type to build
 269         canonical array type rather than mess with its TYPE_*_VARIANT.
 270
 271 2012-07-19  Jason Merrill  <jason@redhat.com>
 272
 273         PR c++/54026
 274         * typeck.c (cp_apply_type_quals_to_decl): Check COMPLETE_TYPE_P.
 275
 276         PR c++/54021
 277         * call.c (build_cxx_call): Set optimize when folding
 278         __builtin_constant_p in a constexpr function.
 279
 280 2012-07-18  Jason Merrill  <jason@redhat.com>
 281
 282         * pt.c (instantiate_decl): Don't recheck substitutions.
 283
 284 2012-07-18  Paolo Carlini  <paolo.carlini@oracle.com>
 285             Jason Merrill  <jason@redhat.com>
 286
 287         DR 1170
 288         PR c++/51213
 289         * semantics.c (perform_access_checks): Add complain parm, return bool.
 290         (perform_deferred_access_checks): Likewise.
 291         (perform_or_defer_access_check): Likewise.
 292         (speculative_access_check): Remove.
 293         * call.c (enforce_access): Add complain parm, return bool.
 294         * decl.c, friend.c, class.c, init.c, parser.c: Adjust callers.
 295         * search.c: Adjust callers.
 296         * cp-tree.h (TINFO_RECHECK_ACCESS_P): New macro.
 297         (FNDECL_RECHECK_ACCESS_P): New macro.
 298         * method.c (synthesized_method_walk): Stop deferring access checks.
 299         * pt.c (recheck_decl_substitution): New.
 300         (instantiate_template_1): Set and check FNDECL_RECHECK_ACCESS_P.
 301
 302 2012-07-18  Jason Merrill  <jason@redhat.com>
 303
 304         * method.c (process_subob_fn): Make sure no_implicit_p is non-null
 305         before trying to store through it.
 306
 307 2012-07-17  Jason Merrill  <jason@redhat.com>
 308
 309         PR c++/53995
 310         * decl.c (finish_enum_value_list): Only call
 311         insert_late_enum_def_into_classtype_sorted_fields in class scope.
 312
 313         PR c++/53989
 314         * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
 315         to the list of variants.
 316
 317         * decl.c (xref_basetypes): Complain about incomplete template base.
 318         * class.c (finish_struct): Adjust variants in templates, too.
 319
 320         PR c++/53549
 321         * parser.c (cp_parser_class_head): Call xref_basetypes here.
 322         (cp_parser_class_specifier_1): Not here.
 323         * pt.c (tsubst_decl) [USING_DECL]: Check uses_template_parms
 324         as well as DECL_DEPENDENT_P.
 325
 326 2012-07-16  Jason Merrill  <jason@redhat.com>
 327
 328         * cp-tree.h (struct deferred_access_check): Add location.
 329         * semantics.c (perform_access_checks): Use it.
 330         (perform_or_defer_access_check): Store it.
 331
 332 2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>
 333
 334         * dump.c (dump_stmt): Moved here from c-dump.c.
 335         * optimize.c: Include dumpfile.h instead of tree-dump.h.
 336         * class.c: Likewise.
 337         * decl2.c: Likewise.
 338         * Make-lang.in: Fix dependencies.
 339
 340 2012-07-13  Jason Merrill  <jason@redhat.com>
 341
 342         PR c++/53953
 343         * method.c (synthesized_method_walk): Initialize no_implicit_p sooner.
 344
 345 2012-07-12  Jason Merrill  <jason@redhat.com>
 346
 347         * pt.c (instantiate_decl): Check typedefs access here.
 348         (instantiate_template_1): Not here.
 349
 350         * pt.c (deduction_tsubst_fntype): Just suppress access checking.
 351         (instantiate_template_1): Set DECL_TI_TEMPLATE before access checking.
 352         (push_deduction_access_scope, pop_deduction_access_scope): Remove.
 353
 354 2012-07-11  Jason Merrill  <jason@redhat.com>
 355
 356         DR 1402
 357         * method.c (synthesized_method_walk): Replace uses of msg with diag.
 358         Correct handling of virtual bases with move operations.
 359         (process_subob_fn, walk_field_subobs): Replace uses of msg with diag.
 360
 361 2012-07-11  Steven Bosscher  <steven@gcc.gnu.org>
 362
 363         * method.c: Do not include tree-pass.h.
 364
 365 2012-07-10  Jason Merrill  <jason@redhat.com>
 366
 367         DR 1402
 368         PR c++/53733
 369         * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
 370         (struct lang_decl_fn): Add suppress_implicit_decl field.
 371         * method.c (implicitly_declare_fn): Check it.
 372         (process_subob_fn): Add no_implicit_p parm.
 373         (walk_field_subobs, synthesized_method_walk): Likewise.
 374         (maybe_explain_implicit_delete): Adjust.
 375         (explain_implicit_non_constexpr): Adjust.
 376
 377         * method.c (synthesized_method_walk): Avoid changing
 378         EH spec based on cleanups in other places, too.
 379
 380 2012-07-09  Sterling Augustine  <saugustine@google.com>
 381
 382         * error.c (lang_decl_name): Use TFF_UNQUALIFIED_NAME flag.
 383
 384 2012-07-08  Steven Bosscher  <steven@gcc.gnu.org>
 385
 386         * decl.c (cp_finish_decl): Add FIXME at add_local_decl call site.
 387
 388 2012-07-06  Jason Merrill  <jason@redhat.com>
 389
 390         PR c++/53862
 391         * pt.c (tsubst_arg_types): Add "end" parameter.
 392         (check_undeduced_parms): Use it.
 393
 394         * cp-tree.h (DECL_DECLARES_TYPE_P): Check DECL_TYPE_TEMPLATE_P.
 395
 396         PR c++/53858
 397         * name-lookup.c (ambiguous_decl): Use DECL_TYPE_TEMPLATE_P.
 398
 399 2012-07-05  Jason Merrill  <jason@redhat.com>
 400
 401         PR c++/53039
 402         * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
 403         cp_tree_equal.
 404
 405         * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
 406         (struct template_parm_index_s): Remove num_siblings.
 407         * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
 408         (fixup_template_type_parm_type): Remove.
 409         (build_template_parm_index): Remove num_siblings parm.
 410         (process_template_parm): Likewise.
 411         * parser.c (cp_parser_template_parameter_list): Adjust.
 412         * tree.c (cp_tree_equal): Don't compare num_siblings.
 413         * typeck.c (comp_template_parms_position): Likewise.
 414
 415         PR c++/50852
 416         PR c++/53039
 417         * tree.c (strip_typedefs_expr): New.
 418         * cp-tree.h: Declare it.
 419         * pt.c (convert_template_argument, unify): Use it.
 420         * parser.c (cp_parser_template_declaration_after_export): Don't call
 421         fixup_template_parms.
 422
 423 2012-07-04  Jason Merrill  <jason@redhat.com>
 424
 425         PR c++/53848
 426         PR c++/53524
 427         * decl.c (build_enumerator): Don't use build_lang_decl_loc.
 428
 429 2012-07-03  Jakub Jelinek  <jakub@redhat.com>
 430
 431         PR c++/53812
 432         * semantics.c (finish_goto_stmt): Surround computed goto argument
 433         with CLEANUP_POINT_EXPR if needed.
 434
 435 2012-07-02  Jason Merrill  <jason@redhat.com>
 436
 437         PR c++/53619
 438         * pt.c (in_template_function): New.
 439         * cp-tree.h: Declare it.
 440         * class.c (build_base_path, resolves_to_fixed_type_p): Use it.
 441
 442         PR c++/53783
 443         * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Use tsubst
 444         for LAMBDA_EXPR_EXTRA_SCOPE.
 445
 446         PR c++/53788
 447         * pt.c (build_non_dependent_expr): Don't wrap a dummy object.
 448
 449         PR c++/53816
 450         * class.c (resolves_to_fixed_type_p): Check uses_template_parms
 451         (current_function_decl) instead of processing_template_decl.
 452
 453         PR c++/53821
 454         * semantics.c (maybe_add_lambda_conv_op): Don't set
 455         DECL_INTERFACE_KNOWN.
 456
 457         PR c++/53524
 458         * call.c (build_conditional_expr_1): Don't warn about comparison of
 459         two enumerators before their enumeration is complete.
 460         (build_new_op_1): Call decay_conversion before warn_logical_operator.
 461         * decl.c (build_enumerator): Set DECL_CONTEXT of an enumerator to
 462         its enumeration.
 463         * decl2.c (mark_used): Call used_types_insert for enums.
 464         * semantics.c (finish_id_expression): Don't decay CONST_DECL.
 465         (finish_member_declaration): Don't change DECL_CONTEXT of enumerators.
 466         * class.c (check_field_decls): Don't change DECL_CONTEXT of enums.
 467         * typeck.c (convert_for_assignment): Don't decay CONST_DECL.
 468         (build_class_member_access_expr): Look through unscoped enums.
 469         * search.c (context_for_name_lookup): Look through unscoped enums.
 470         * pt.c (tsubst_copy_and_build): Don't decay CONST_DECL.
 471         (tsubst_copy): Use DECL_CONTEXT to find the enumeration.
 472         * tree.c (decl_linkage): Likewise.
 473         * cvt.c (ocp_convert): Check decayed expr for enum range warning.
 474
 475 2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>
 476
 477         * Make-lang.in: Remove tree-mudflap.o from CXX_AND_OBJCXX_OBJS.
 478
 479 2012-06-27  Jason Merrill  <jason@redhat.com>
 480
 481         * parser.c (cp_parser_check_for_invalid_template_id): tag_type parm.
 482         (cp_parser_simple_type_specifier, cp_parser_class_head): Adjust.
 483         (cp_parser_elaborated_type_specifier): Adjust.
 484         * decl.c (duplicate_decls): Return error_mark_node on template
 485         mismatch.
 486
 487         PR c++/53563
 488         * parser.c (cp_parser_template_id): Add tag_type parm.
 489         (cp_parser_template_name): Likewise.
 490         (cp_parser_id_expression, cp_parser_unqualified_id): Adjust.
 491         (cp_parser_pseudo_destructor_name, cp_parser_type_name): Adjust.
 492         (cp_parser_simple_type_specifier, cp_parser_class_name): Adjust.
 493         (cp_parser_elaborated_type_specifier, cp_parser_class_head): Adjust.
 494
 495 2012-06-27  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
 496
 497         PR C++/51033
 498         * semantics.c (constexpr_call): Fix typo in comment.
 499         (cxx_eval_vec_perm_expr): New.
 500         (cxx_eval_constant_expression): Fold VEC_PERM_EXPRs.
 501
 502 2012-06-26  Richard Guenther  <rguenther@suse.de>
 503
 504         PR c++/53752
 505         * mangle.c (write_array_type): Truncate the number-of-elements
 506         result.
 507
 508 2012-06-25  Jason Merrill  <jason@redhat.com>
 509
 510         PR c++/53498
 511         PR c++/53305
 512         * pt.c (tsubst_decl) [PARM_DECL]: Don't recurse into DECL_CHAIN
 513         if cp_unevaluated_operand is set.
 514         (tsubst_copy) [PARM_DECL]: Don't copy before tsubsting.
 515
 516         PR c++/52988
 517         * typeck.c (decay_conversion): Don't discard side-effects from
 518         expressions of nullptr_t.
 519
 520 2012-06-25  Florian Weimer  <fweimer@redhat.com>
 521
 522         * init.c (build_new_1): Warn about (T[N]) for variable N, and
 523         reject T[M][N].
 524
 525         * parser.c (cp_parser_direct_new_declarator): Accept non-constant
 526         expressions.  Handled now in build_new_1.
 527
 528 2012-06-25  Jason Merrill  <jason@redhat.com>
 529
 530         PR c++/53202
 531         * semantics.c (build_data_member_initialization): Always keep
 532         initializer for empty base.
 533         (cxx_eval_bare_aggregate): Discard it here.
 534
 535         PR c++/53565
 536         * pt.c (tsubst_omp_for_iterator): Simplify DECL_EXPR handling.
 537         (tsubst_expr) [OMP_FOR]: Here, too.
 538
 539 2012-06-25  Jakub Jelinek  <jakub@redhat.com>
 540
 541         PR c++/53594
 542         * class.c (check_bases_and_members): Avoid -Wuninitialized
 543         diagnostics for non-static const members or references if they
 544         use NSDMI.
 545
 546 2012-06-16  Ville Voutilainen  <ville.voutilainen@gmail.com>
 547
 548         * parser.c (cp_parser_direct_declarator): Move virt-specifier
 549         parsing after late-specified return type parsing.
 550
 551 2012-06-14  Jason Merrill  <jason@redhat.com>
 552
 553         PR c++/53651
 554         * name-lookup.c (constructor_name_p): Don't try to look at the
 555         name of a DECLTYPE_TYPE.
 556
 557 2012-06-18  Lawrence Crowl  <crowl@google.com>
 558
 559         * decl2.c (cp_write_global_declarations): Rename use of TV_PHASE_CGRAPH
 560         to TV_PHASE_OPT_GEN.
 561
 562 2012-06-18  Steven Bosscher  <steven@gcc.gnu.org>
 563
 564         * decl.c (finish_function): Remove code conditional on VMS_TARGET.
 565
 566 2012-06-15  Marc Glisse  <marc.glisse@inria.fr>
 567
 568         PR c++/51033
 569         * semantics.c (literal_type_p): Handle VECTOR_TYPE.
 570         (potential_constant_expression_1): Handle VEC_PERM_EXPR.
 571         * parser.c (cp_parser_postfix_expression): Handle RID_BUILTIN_SHUFFLE.
 572
 573 2012-06-09  Jason Merrill  <jason@redhat.com>
 574
 575         * pt.c (tsubst_expr) [TAG_DEFN]: Instantiate local class.
 576         * class.c (finish_struct): Don't add a TAG_DEFN for a lambda.
 577         * decl2.c (finish_static_data_member_decl): Avoid redundant error.
 578
 579         PR c++/53599
 580         * name-lookup.c (pushtag_1): Add a DECL_EXPR for a local class.
 581         * semantics.c (finish_cond): Build a COMPOUND_EXPR.
 582         * pt.c (tsubst_expr) [COMPOUND_EXPR]: Handle.
 583         [DECL_EXPR]: Don't call cp_finish_decl for an implicit typedef.
 584         Don't return the decl.
 585
 586 2012-06-11  Richard Guenther  <rguenther@suse.de>
 587
 588         PR c++/53605
 589         * mangle.c (write_array_type): Use double-ints for array domain
 590         arithmetic.
 591
 592 2012-06-07  Fabien Chêne  <fabien@gcc.gnu.org>
 593
 594         PR c++/51214
 595         * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
 596         Declare.
 597         * class.c (insert_into_classtype_sorted_fields): New.
 598         (add_enum_fields_to_record_type): New.
 599         (count_fields): Adjust the comment.
 600         (add_fields_to_record_type): Likewise.
 601         (finish_struct_1): Move the code that inserts the fields for the
 602         sorted case, into insert_into_classtype_sorted_fields, and call
 603         it.
 604         (insert_late_enum_def_into_classtype_sorted_fields): Define.
 605         * decl.c (finish_enum_value_list): Call
 606         insert_late_enum_def_into_classtype_sorted_fields if a late enum
 607         definition is encountered.
 608
 609 2012-06-06  Paolo Carlini  <paolo.carlini@oracle.com>
 610
 611         PR c++/53567
 612         * typeck.c (cp_perform_integral_promotions): New, like
 613         perform_integral_promotions but also takes a tsubst_flags_t parameter.
 614         (pointer_diff): Add tsubst_flags_t parameter.
 615         (decay_conversion, cp_default_conversion, cp_build_array_ref,
 616         cp_build_binary_op, cp_build_unary_op, build_static_cast_1,
 617         build_reinterpret_cast_1, cp_build_modify_expr,
 618         convert_for_assignment): Adjust.
 619         * optimize.c (build_delete_destructor_body): Adjust.
 620         * init.c (expand_virtual_init, expand_default_init, build_new_1,
 621         build_new, build_vec_delete_1, build_vec_init, build_delete): Adjust.
 622         (construct_virtual_base): Adjust LOOKUP_COMPLAIN -> 0.
 623         * class.c (build_base_path): Adjust.
 624         * decl.c (compute_array_index_type, finish_destructor_body): Likewise.
 625         * method.c (synthesized_method_walk): Adjust flag and complain.
 626         * rtti.c (ifnonnull): Add tsubst_flags_t parameter.
 627         (build_typeid, build_dynamic_cast_1): Adjust.
 628         * except.c (initialize_handler_parm): Likewise.
 629         * typeck2.c (process_init_constructor_record): Likewise.
 630         * pt.c (tsubst_friend_class): Don't change flags.
 631         * semantics.c (finish_goto_stmt, handle_omp_for_class_iterator,
 632         finish_static_assert): Likewise.
 633         * parser.c (cp_parser_lookup_name): Just pass 0 as flags to
 634         lookup_name_real.
 635         * call.c (build_op_delete_call): Add tsubst_flags_t parameter.
 636         (convert_like_real, convert_arg_to_ellipsis, convert_for_arg_passing):
 637         Adjust.
 638         (standard_conversion): Adjust LOOKUP_COMPLAIN -> 0.
 639         (implicit_conversion): Mask out tf_error with a FIXME.
 640         (build_user_type_conversion_1, build_new_op_1, build_over_call): Use
 641         complain & tf_error instead of flags & LOOKUP_COMPLAIN.
 642         * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
 643         build_up_reference, convert_to_reference, cp_convert,
 644         cp_convert_and_check, ocp_convert, convert_force): Add tsubst_flags_t
 645         parameter.
 646         (convert_to_reference, ocp_convert): Use complain & tf_error instead
 647         of flags & LOOKUP_COMPLAIN.
 648         (convert_force): Adjust LOOKUP_COMPLAIN -> 0.
 649         * name-lookup.c (identifier_type_value_1, lookup_qualified_name,
 650         lookup_name_real, lookup_function_nonclass, lookup_name,
 651         lookup_name_prefer_type): Adjust LOOKUP_COMPLAIN -> 0.
 652         * cp-tree.h: Adjust prototypes; remove LOOKUP_COMPLAIN.
 653
 654 2012-06-06  Steven Bosscher  <steven@gcc.gnu.org>
 655
 656         * decl.c: Do not include output.h.
 657         (start_decl): Remove code for flag_conserve_space.
 658
 659 2012-06-06  Fabien Chêne  <fabien@gcc.gnu.org>
 660
 661         PR c++/52841
 662         * parser.c (cp_parser_alias_declaration): Return earlier
 663         if an error occured.
 664
 665 2012-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
 666
 667         PR c++/53524
 668         * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
 669         to control enumeral mismatch in conditional expression too.
 670
 671 2012-06-04   Sterling Augustine  <saugustine@google.com>
 672
 673         * cp-tree.h: Declare decl_as_dwarf_string, lang_decl_dwarf_name.
 674         * cp-lang.c (cxx_dwarf_name): Call them.
 675
 676 2012-06-04  Steven Bosscher  <steven@gcc.gnu.org>
 677
 678         * semantics.c: Do not include output.h.
 679         * decl2.c: Likewise.
 680         * friend.c: Likewise.
 681         * typeck.c: Likewise.
 682         * typeck2.c: Likewise.
 683         * Make-lang.in: Fix dependencies.
 684
 685 2012-06-01  Jason Merrill  <jason@redhat.com>
 686
 687         PR c++/52973
 688         * parser.c (cp_parser_class_head): Apply attributes here.
 689         * semantics.c (begin_class_definition): Not here.
 690         * cp-tree.h: Adjust.
 691
 692         PR c++/52725
 693         * parser.c (cp_parser_binary_expression): Bail early if we're parsing
 694         tentatively and the LHS has a parse error.
 695
 696         PR c++/53137
 697         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
 698         (instantiate_decl): Don't push_to_top_level for local class methods.
 699         (instantiate_class_template_1): Or for local classes.
 700
 701         PR c++/53484
 702         * pt.c (do_auto_deduction): Don't try to deduce from a
 703         type-dependent initializer.
 704
 705 2012-06-01  Paolo Carlini  <paolo.carlini@oracle.com>
 706
 707         PR c++/26155
 708         * name-lookup.c (push_namespace): When error recovery is
 709         impossible just error out in duplicate_decls.
 710
 711 2012-05-31  Steven Bosscher  <steven@gcc.gnu.org>
 712
 713         * call.c: Do not include output.h.
 714         * class.c: Likewise.
 715         * except.c: Likewise.
 716         * friend.c: Likewise.
 717         * init.c: Likewise.
 718         * lex.c: Likewise.
 719         * method.c: Likewise.
 720         * parser.c: Likewise.
 721         * pt.c: Likewise.
 722         * rtti.c: Likewise.
 723         * search.c: Likewise.
 724
 725 2012-05-30  Jason Merrill  <jason@redhat.com>
 726
 727         PR c++/53356
 728         * tree.c (stabilize_init): Handle stabilizing a TARGET_EXPR
 729         representing a bitwise copy of a glvalue.
 730
 731         * tree.c (stabilize_expr): Tweak logic.
 732
 733         PR c++/53356
 734         * tree.c (stabilize_init): Side effects make the init unstable.
 735
 736 2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>
 737
 738         PR c++/53503
 739         * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
 740
 741 2012-05-26  Paolo Carlini  <paolo.carlini@oracle.com>
 742
 743         PR c++/53491
 744         * tree.c (stabilize_expr): Handle exp of void type.
 745
 746 2012-05-26  Jason Merrill  <jason@redhat.com>
 747
 748         PR c++/53220
 749         * call.c (convert_like_real) [ck_list]: Take array address directly.
 750         * typeck.c (decay_conversion): Reject decay of an array compound
 751         literal.
 752
 753 2012-05-25  Paolo Carlini  <paolo.carlini@oracle.com>
 754
 755         PR c++/32054
 756         * parser.c (cp_parser_member_declaration): A storage class is not
 757         allowed in a declaration of an anonymous aggregate in a class scope.
 758
 759 2012-05-24  Uros Bizjak  <ubizjak@gmail.com>
 760
 761         PR obj-c++/53441
 762         * decl.c (grokdeclarator): Check that current_class_type is non-NULL
 763         before calling constructor_name_p.
 764
 765 2012-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
 766
 767         PR c++/32080
 768         * parser.c (cp_parser_ctor_initializer_opt_and_function_body,
 769         cp_parser_function_body): Add a bool parameter, true when parsing
 770         a function-try-block.
 771         (cp_parser_function_try_block): Pass true to the above.
 772         (cp_parser_function_definition_after_declarator,
 773         cp_parser_function_transaction): Adjust.
 774
 775 2012-05-23  Paolo Carlini  <paolo.carlini@oracle.com>
 776
 777         PR c++/29185
 778         * decl2.c (delete_sanity): Extend 'deleting array' warning to
 779         any array type.
 780
 781 2012-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
 782
 783         PR c++/51184
 784         * decl.c (grokdeclarator): Diagnose functions returning abstract
 785         class types as TYPENAME.
 786         * cp-tree.h (ABSTRACT_CLASS_TYPE_P): Add.
 787         * except.c (is_admissible_throw_operand_or_catch_parameter): Use it.
 788         * pt.c (tsubst): Likewise.
 789         * semantics.c (trait_expr_value): Likewise.
 790
 791 2012-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
 792
 793         PR c++/40821
 794         * parser.c (cp_parser_attributes_opt): Enforce error checking of
 795         unbalanced parentheses in the presence of tentative parsing.
 796
 797 2012-05-17  Paolo Carlini  <paolo.carlini@oracle.com>
 798
 799         PR c++/39681
 800         * parser.c (cp_parser_new_type_id): Early return error_mark_node
 801         if the cp_parser_type_specifier_seq call has type_specifier_seq.type
 802         error_mark_node; tidy.
 803         (cp_parser_new_expression): Always initialize nelts to NULL_TREE to
 804         avoid uninitialized warnings.
 805         (cp_parser_init_declarator, cp_parser_late_parse_one_default_arg):
 806         Call cp_parser_skip_to_end_of_statement if cp_parser_initializer
 807         returns error_mark_node.
 808
 809 2012-05-17  Paolo Carlini  <paolo.carlini@oracle.com>
 810
 811         PR c++/53371
 812         * except.c (is_admissible_throw_operand): Rename to
 813         is_admissible_throw_operand_or_catch_parameter and handle
 814         catch parameter too.
 815         (expand_start_catch_block): Use it.
 816         (build_throw): Adjust.
 817
 818 2012-05-17  Paolo Carlini  <paolo.carlini@oracle.com>
 819
 820         PR c++/44516
 821         * typeck.c (build_x_array_ref, build_x_conditional_expr,
 822         build_x_compound_expr, build_x_modify_expr): Add location_t parameter.
 823         (finish_class_member_access_expr, build_x_indirect_ref,
 824         build_x_binary_op, build_x_compound_expr_from_list,
 825         build_x_compound_expr_from_vec): Adjust callers.
 826         * tree.c (build_min_nt_loc): New.
 827         (build_min_nt): Remove.
 828         * typeck2.c (build_x_arrow): Adjust callers.
 829         * pt.c (tsubst_qualified_id, tsubst_omp_for_iterator,
 830         tsubst_copy_and_build): Likewise.
 831         * semantics.c (finish_mem_initializers, handle_omp_for_class_iterator,
 832          finish_omp_atomic): Likewise.
 833         * decl2.c (grok_array_decl, build_anon_union_vars): Adjust.
 834         * parser.c (cp_parser_question_colon_clause,
 835         cp_parser_assignment_expression, cp_parser_expression,
 836         cp_parser_template_id, cp_parser_omp_for_loop): Likewise.
 837         * cp-tree.h: Update.
 838
 839 2012-05-16  Dodji Seketeli  <dodji@redhat.com>
 840
 841         PR preprocessor/7263
 842         * cp-tree.h (enum cp_decl_spec): Add new enumerators to cover all
 843         the possible declarator specifiers so far.
 844         (struct cp_decl_specifier_seq::locations): Declare new member.
 845         (cp_decl_specifier_seq::{specs, type_location}): Remove.
 846         (decl_spec_seq_has_spec_p): Declare new function.
 847         * parser.c (cp_parser_check_decl_spec): Remove.
 848         (set_and_check_decl_spec_loc): Define new static function.
 849         (decl_spec_seq_has_spec_p): Define new public function.
 850         (cp_parser_decl_specifier_seq, cp_parser_function_specifier_opt)
 851         (cp_parser_type_specifier, cp_parser_simple_type_specifier)
 852         (cp_parser_set_storage_class, cp_parser_set_decl_spec_type)
 853         (cp_parser_alias_declaration): Set the locations for each
 854         declspec, using set_and_check_decl_spec_loc.
 855         (cp_parser_explicit_instantiation, cp_parser_init_declarator)
 856         (cp_parser_member_declaration, cp_parser_init_declarator): Use the
 857         new declspec location for specifiers.  Use the new
 858         decl_spec_seq_has_spec_p.
 859         (cp_parser_type_specifier_seq): Use the new
 860         set_and_check_decl_spec_loc.  Stop using
 861         cp_parser_check_decl_spec.  Use the new decl_spec_seq_has_spec_p.
 862         (, cp_parser_init_declarator): Use the new
 863         set_and_check_decl_spec_loc.
 864         (cp_parser_single_declaration, cp_parser_friend_p)
 865         (cp_parser_objc_class_ivars, cp_parser_objc_struct_declaration):
 866         Use the new decl_spec_seq_has_spec_p.
 867         * decl.c (check_tag_decl): Use new decl_spec_seq_has_spec_p.  Use
 868         the more precise ds_redefined_builtin_type_spec location for
 869         diagnostics about re-declaring C++ built-in types.
 870         (start_decl, grokvardecl, grokdeclarator): Use the new
 871         decl_spec_seq_has_spec_p.
 872
 873 2012-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
 874
 875         PR c++/11856
 876         * pt.c (tsubst_copy_and_build): Increase / decrease
 877         c_inhibit_evaluation_warnings around build_x_binary_op call.
 878
 879 2012-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
 880
 881         * cp-tree.h (TYPE_PTRMEM_P): Rename to TYPE_PTRDATAMEM_P.
 882         (TYPE_PTR_TO_MEMBER_P): Rename to TYPE_PTRMEM_P.
 883         (TYPE_PTR_OR_PTRMEM_P): Add.
 884         * typeck.c (composite_pointer_type_r, composite_pointer_type,
 885         common_pointer_type, cp_build_indirect_ref, cp_build_binary_op,
 886         cp_truthvalue_conversion, convert_ptrmem, build_static_cast_1,
 887         build_reinterpret_cast_1, build_const_cast_1, comp_ptr_ttypes_real,
 888         casts_away_constness_r, casts_away_constness): Adjust.
 889         * init.c (build_zero_init_1): Adjust.
 890         * class.c (check_field_decls): Likewise.
 891         * decl.c (check_default_argument): Likewise.
 892         * rtti.c (target_incomplete_p): Likewise.
 893         * tree.c (zero_init_p): Likewise.
 894         * cxx-pretty-print.c (pp_cxx_ptr_operator,
 895         pp_cxx_abstract_declarator): Likewise.
 896         * typeck2.c (build_m_component_ref): Likewise.
 897         * pt.c (convert_nontype_argument, invalid_nontype_parm_type_p,
 898         dependent_type_p_r): Likewise.
 899         * call.c (null_member_pointer_value_p, standard_conversion,
 900         add_builtin_candidate, build_conditional_expr_1, compare_ics):
 901         Likewise.
 902         * cp-objcp-common.c (cp_var_mod_type_p): Likewise.
 903         * cvt.c (cp_convert_to_pointer, ocp_convert,
 904         perform_qualification_conversions): Likewise.
 905         * mangle.c (write_type): Likewise.
 906         * name-lookup.c (arg_assoc_type): Likewise.
 907
 908 2012-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
 909
 910         * parser.c (struct cp_parser_expression_stack_entry): Add location_t
 911         field.
 912         (cp_parser_binary_expression): Rework to always update at the same
 913         time tree_type and loc.
 914         * call.c (print_z_candidate): Add location_t parameter.
 915         (print_z_candidates, convert_like_real, joust): Adjust.
 916
 917 2012-05-11  Alexandre Oliva  <aoliva@redhat.com>
 918
 919         PR c++/53209
 920         * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
 921
 922 2012-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
 923
 924         PR c++/53305
 925         * pt.c (tsubst_copy: case PARM_DECL): Return error_mark_node if
 926         tsubst_decl returns NULL_TREE.
 927         * cxx-pretty-print.c (pp_cxx_simple_type_specifier): Handle
 928         BOUND_TEMPLATE_TEMPLATE_PARM.
 929
 930 2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>
 931
 932         PR c++/53158
 933         * cvt.c (ocp_convert): Error out early for void -> bool conversions.
 934         * typeck.c (decay_conversion): Use error_at.
 935         * call.c (build_integral_nontype_arg_conv, convert_like_real,
 936         convert_arg_to_ellipsis, perform_implicit_conversion_flags,
 937         initialize_reference): Likewise.
 938         * cvt.c (warn_ref_binding): Add location_t parameter.
 939         (cp_convert_to_pointer, convert_to_reference, ocp_convert,
 940         convert_to_void, ): Use error_at and warning_at.
 941
 942 2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>
 943
 944         PR c++/53301
 945         * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
 946         instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
 947
 948 2012-05-06  Paolo Carlini  <paolo.carlini@oracle.com>
 949
 950         PR c++/53152
 951         * call.c (op_error, build_new_op_1, build_new_op): Add location_t
 952         parameter.
 953         (build_conditional_expr_1): Adjust.
 954         * typeck.c (build_x_indirect_ref, build_x_binary_op,
 955         build_x_unary_op): Add location_t parameter.
 956         (rationalize_conditional_expr, build_x_array_ref,
 957         build_x_compound_expr, cp_build_modify_expr, build_x_modify_expr):
 958         Adjust.
 959         * typeck2.c (build_x_arrow): Add location_t parameter.
 960         * semantics.c (finish_unary_op_expr): Likewise.
 961         (finish_increment_expr, handle_omp_for_class_iterator): Adjust.
 962         * decl2.c (grok_array_decl): Add location_t parameter.
 963         * parser.c (cp_parser_postfix_open_square_expression,
 964         cp_parser_postfix_dot_deref_expression, cp_parser_unary_expression,
 965         cp_parser_binary_expression, cp_parser_builtin_offsetof,
 966         do_range_for_auto_deduction, cp_convert_range_for,
 967         cp_parser_template_argument, cp_parser_omp_for_cond): Pass the
 968         location, adjust.
 969         * pt.c (tsubst_copy_and_build): Adjust.
 970         * tree.c (maybe_dummy_object): Likewise.
 971         * cp-tree.h: Update declarations.
 972
 973 2012-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
 974
 975         * semantics.c (cxx_eval_constant_expression, case CONVERT_EXPR): Tidy.
 976
 977 2012-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
 978
 979         PR c++/53166
 980         * pt.c (instantiate_class_template_1): Increase / decrease
 981         c_inhibit_evaluation_warnings around the tsubst_expr call
 982         for STATIC_ASSERT_CONDITION.
 983         (tsubst_expr, case STATIC_ASSERT): Likewise.
 984         * typeck.c (cp_build_binary_op, case EQ_EXPR/NE_EXPR): Check
 985         c_inhibit_evaluation_warnings in the OPT_Waddress warnings.
 986
 987 2012-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
 988
 989         PR c++/53186
 990         * call.c (build_over_call): Handle final member functions
 991         and class types.
 992         (build_new_method_call_1): Do not handle here.
 993
 994 2012-05-02  Richard Guenther  <rguenther@suse.de>
 995
 996         * decl.c (grokdeclarator): Properly check for sizes that
 997         cover more than half of the address-space.
 998
 999 2012-04-30  Marc Glisse  <marc.glisse@inria.fr>
1000
1001         PR c++/51033
1002         * typeck.c (cp_build_array_ref): Handle VECTOR_TYPE.
1003         * decl2.c (grok_array_decl): Likewise.
1004
1005         PR c++/51314
1006         * parser.c (cp_parser_sizeof_operand): Require parentheses for
1007         sizeof...
1008
1009 2012-04-30  Dodji Seketeli  <dodji@redhat.com>
1010
1011         Fix location for static class members
1012         * decl.c (grokdeclarator): Use the location carried by the
1013         declarator for the DECL of the static class member.
1014
1015         Fix va_arg type location
1016         * cp-tree.h (build_x_va_arg): Take an additional location
1017         parameter.
1018         * call.c (build_x_va_arg): Take a loc parameter for the location
1019         of the type of the va_arg expression.
1020         * parser.c (cp_parser_primary_expression): Pass the type of the
1021         type in the va_arg expression to build_x_va_arg.
1022         * pt.c (tsubst_copy): Adjust calls to build_x_va_arg.
1023
1024         Make conversion warnings work on NULL with -ftrack-macro-expansion
1025         * call.c (conversion_null_warnings): Use the new
1026         expansion_point_location_if_in_system_header.
1027         * cvt.c (build_expr_type_conversion): Likewise.
1028         * typeck.c (cp_build_binary_op): Likewise.
1029
1030 2012-04-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1031
1032         * typeck.c (convert_for_assignment):  Replace
1033         Wmissing-format-attribute with Wsuggest-attribute=format.
1034         * call.c (convert_for_arg_passing): Likewise.
1035
1036 2012-04-26  Paolo Carlini  <paolo.carlini@oracle.com>
1037
1038         PR c++/53096
1039         * class.c (check_bases_and_members): Implement core/1333, do not
1040         disallow defaulted in the class body non-const ref special members.
1041
1042 2012-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
1043
1044         PR c++/52363
1045         * call.c (tourney, perform_overload_resolution,
1046         build_operator_new_call, build_user_type_conversion_1,
1047         build_user_type_conversion, perform_overload_resolution,
1048         add_template_candidate, add_template_candidate_real,
1049         add_template_conv_candidate, add_builtin_candidates,
1050         add_builtin_candidate, build_builtin_candidate,
1051         add_conv_candidate, add_function_candidate, implicit_conversion,
1052         reference_binding, build_list_conv, conditional_conversion,
1053         add_candidates, can_convert_array, build_aggr_conv,
1054         build_array_conv, build_complex_conv, conditional_conversion):
1055         Add tsubst_flags_t parameter.
1056         (joust): Likewise, use it to handle SFINAE as if pedantic.
1057         (add_list_candidates, build_integral_nontype_arg_conv,
1058         perform_overload_resolution, build_new_function_call,
1059         build_operator_new_call, build_op_call_1,
1060         build_conditional_expr_1, build_new_op_1, convert_like_real,
1061         convert_arg_to_ellipsis, convert_default_arg,
1062         convert_for_arg_passing, build_over_call,
1063         build_new_method_call_1, can_convert_arg, can_convert_arg_bad,
1064         perform_implicit_conversion_flags,
1065         perform_direct_initialization_if_possible,
1066         initialize_reference): Adjust.
1067         * typeck.c (casts_away_constness, casts_away_constness_r):
1068         Add tsubst_flags_t parameter.
1069         (convert_arguments, check_for_casting_away_constness,
1070         build_static_cast_1, build_ptrmemfunc, convert_for_assignment):
1071         Adjust.
1072         * decl.c (reshape_init_r, check_default_argument): Likewise.
1073         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
1074         * pt.c (convert_nontype_argument, check_non_deducible_conversion):
1075         Likewise.
1076         * init.c (build_new_1): Likewise.
1077         * cvt.c (convert_to_reference, ocp_convert, build_type_conversion,
1078         build_expr_type_conversion, ): Likewise.
1079         * search.c (check_final_overrider): Likewise.
1080         * cp-tree.h (build_user_type_conversion,
1081         build_operator_new_call, can_convert, can_convert_arg,
1082         can_convert_arg_bad, convert_default_arg,
1083         convert_arg_to_ellipsis, convert_for_arg_passing):
1084         Adjust declaration.
1085
1086 2012-04-22  Jan Hubicka  <jh@suse.cz>
1087
1088         * decl2.c (maybe_make_one_only): Mark keyed COMDATs as USED so they
1089         gets finalized.
1090
1091 2012-04-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1092
1093         PR c/44774
1094         * typeck.c (composite_pointer_type): Likewise.
1095         (cxx_sizeof_or_alignof_type): Likewise.
1096         (cp_build_array_ref): Likewise.
1097         (cp_build_function_call_vec): Likewise.
1098         (cp_build_addr_expr_1): Likewise.
1099         (convert_member_func_to_ptr): Likewise.
1100         * decl.c (check_tag_decl): Likewise.
1101         (check_static_variable_definition): Likewise.
1102         (compute_array_index_type): Likewise.
1103         (create_array_type_for_decl): Likewise.
1104         (grokdeclarator): Likewise.
1105         (grok_op_properties): Likewise.
1106         * error.c (maybe_warn_cpp0x): Likewise.
1107         * pt.c (maybe_process_partial_specialization): Likewise.
1108         (convert_template_argument): Likewise.
1109         (do_decl_instantiation): Likewise.
1110         (do_type_instantiation): Likewise.
1111         * parser.c (cp_parser_primary_expression): Likewise.
1112         (cp_parser_postfix_expression): Likewise.
1113         (cp_parser_unary_expression): Likewise.
1114         (cp_parser_question_colon_clause): Likewise.
1115         (cp_parser_lambda_introducer): Likewise.
1116         (cp_parser_lambda_declarator_opt): Likewise.
1117         (cp_parser_compound_statement): Likewise.
1118         (cp_parser_jump_statement): Likewise.
1119         (cp_parser_declaration_seq_opt): Likewise.
1120         (cp_parser_enum_specifier): Likewise.
1121         (cp_parser_enumerator_list): Likewise.
1122         (cp_parser_initializer_list): Likewise.
1123         (cp_parser_member_declaration): Likewise.
1124         * call.c (build_conditional_expr_1): Likewise.
1125         * friend.c (make_friend_class): Likewise.
1126         * name-lookup.c (pushdecl_maybe_friend_1): Likewise.
1127
1128 2012-04-21  Jan Hubicka  <jh@suse.cz>
1129
1130         * method.c (make_alias_for): Do not set TREE_SYMBOL_REFERENCED.
1131         * decl2.c (mark_needed): Likewise.
1132         (decl_needed_p): Do not test TREE_SYMBOL_REFERENCED.
1133
1134         * decl2.c (cxx_callgraph_analyze_expr): Remove.
1135         * cp-objcp-common.h (LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR): Remove.
1136         * cp-tree.h (cxx_callgraph_analyze_expr): Remove.
1137
1138 2012-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1139
1140         PR 35441
1141         * typeck.c (cp_build_function_call_vec): Do not pretty-print
1142         expressions when caret is enabled.
1143
1144 2012-04-20  Jan Hubicka  <jh@suse.cz>
1145
1146         PR target/53042
1147         * decl2.c (maybe_emit_vtables): Do not initialize same_comdat_group
1148         list when target has no support for it.
1149
1150 2012-04-20  Michael Matz  <matz@suse.de>
1151
1152         * error.c (pedwarn_cxx98): Move va_end call after user
1153         of the va_list.
1154
1155 2012-04-18  Paolo Carlini  <paolo.carlini@oracle.com>
1156
1157         PR c++/52422
1158         * cp-tree.h (build_addr_func, decay_conversion,
1159         get_member_function_from_ptrfunc,
1160         build_m_component_ref, convert_member_func_to_ptr):
1161         Add tsubst_flags_t parameter.
1162         * typeck.c (cp_default_conversion): Add.
1163         (decay_conversion, default_conversion,
1164         get_member_function_from_ptrfunc, convert_member_func_to_ptr):
1165         Add tsubst_flags_t parameter and use it throughout.
1166         (cp_build_indirect_ref, cp_build_array_ref,
1167         cp_build_function_call_vec, convert_arguments, build_x_binary_op,
1168         cp_build_binary_op, cp_build_unary_op, build_reinterpret_cast_1,
1169         build_const_cast_1, expand_ptrmemfunc_cst,
1170         convert_for_initialization): Adjust.
1171         * init.c (build_vec_init): Adjust.
1172         * decl.c (grok_reference_init, get_atexit_node): Likewise.
1173         * rtti.c (build_dynamic_cast_1, tinfo_base_init): Likewise.
1174         * except.c (build_throw): Likewise.
1175         * typeck2.c (build_x_arrow): Likewise.
1176         (build_m_component_ref): Add tsubst_flags_t parameter and
1177         use it throughout.
1178         * pt.c (convert_nontype_argument): Adjust.
1179         * semantics.c (finish_asm_stmt, maybe_add_lambda_conv_op): Likewise.
1180         * decl2.c (build_offset_ref_call_from_tree): Likewise.
1181         * call.c (build_addr_func): Add tsubst_flags_t parameter and
1182         use it throughout.
1183         (build_call_a, build_conditional_expr_1, build_new_op_1,
1184         convert_like_real, convert_arg_to_ellipsis, build_over_call,
1185         build_special_member_call): Adjust.
1186         * cvt.c (cp_convert_to_pointer, force_rvalue,
1187         build_expr_type_conversion): Likewise.
1188
1189 2012-04-17  Tom de Vries  <tom@codesourcery.com>
1190
1191         * cp-gimplify.c (begin_bc_block): Add location parameter and use as
1192         location argument to create_artificial_label.
1193         (finish_bc_block): Change return type to void.  Remove body_seq
1194         parameter, and add block parameter.  Append label to STMT_LIST and
1195         return in block.
1196         (gimplify_cp_loop, gimplify_for_stmt, gimplify_while_stmt)
1197         (gimplify_do_stmt, gimplify_switch_stmt): Remove function.
1198         (genericize_cp_loop, genericize_for_stmt, genericize_while_stmt)
1199         (genericize_do_stmt, genericize_switch_stmt, genericize_continue_stmt)
1200         (genericize_break_stmt, genericize_omp_for_stmt): New function.
1201         (cp_gimplify_omp_for): Remove bc_continue processing.
1202         (cp_gimplify_expr): Genericize VEC_INIT_EXPR.
1203         (cp_gimplify_expr): Mark FOR_STMT, WHILE_STMT, DO_STMT, SWITCH_STMT,
1204         CONTINUE_STMT, and BREAK_STMT as unreachable.
1205         (cp_genericize_r): Genericize FOR_STMT, WHILE_STMT, DO_STMT,
1206         SWITCH_STMT, CONTINUE_STMT, BREAK_STMT and OMP_FOR.
1207         (cp_genericize_tree): New function, factored out of ...
1208         (cp_genericize): ... this function.
1209
1210 2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>
1211
1212         PR c++/52599
1213         * semantics.c (build_constexpr_constructor_member_initializers):
1214         Check for function-try-block as function-body.
1215
1216 2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>
1217
1218         PR c++/53003
1219         * parser.c (cp_parser_member_declaration): Check that
1220         initializer_token_start is non null before dereferencing it.
1221
1222 2012-04-16  Jason Merrill  <jason@redhat.com>
1223
1224         PR c++/38543
1225         * pt.c (determine_specialization): Instead of comparing the number
1226         of parms, check that tsubst gives the right answer.
1227
1228         PR c++/52008
1229         * pt.c (process_partial_specialization): Complain about a partial
1230         specialization with fewer args than primary template parms.
1231
1232         PR c++/50830
1233         * pt.c (convert_template_argument): Handle template template
1234         argument packs.
1235
1236         PR c++/50303
1237         * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
1238         template parameters.
1239
1240 2012-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
1241
1242         PR c++/49152
1243         * call.c (op_error): Print types; when flag_diagnostics_show_caret
1244         is false print expressions too.
1245         (op_error_string): Add.
1246
1247 2012-04-16  Jason Merrill  <jason@redhat.com>
1248
1249         PR c++/51148
1250         * friend.c (make_friend_class): Call check_for_bare_parameter_packs.
1251
1252 2012-04-16  Jan Hubicka  <jh@suse.cz>
1253
1254         * decl2.c (collect_candidates_for_java_method_alias): Use FOR_EACH
1255         walkers to walk cgraph and varpool.
1256
1257 2012-04-15  Jason Merrill  <jason@redhat.com>
1258
1259         PR c++/47220
1260         * pt.c (coerce_template_parameter_pack): Check for error_mark_node.
1261
1262         PR c++/52292
1263         PR c++/52380
1264         * pt.c (coerce_template_parms): Even if we aren't converting we
1265         want to expand argument packs.
1266
1267         PR c++/52706
1268         * mangle.c (write_type): nullptr_t is a builtin type.
1269
1270 2012-04-14  Jan Hubicka  <jh@suse.cz>
1271
1272         * tree.c: Update field referenced for new cgraph/varpool layout.
1273         * decl2.c: Likewise.
1274
1275 2012-04-13  Jason Merrill  <jason@redhat.com>
1276
1277         PR c++/52824
1278         * pt.c (any_pack_expanson_args_p): New.
1279         (coerce_template_parms): Use it.
1280
1281         PR c++/52905
1282         * call.c (joust): Handle comparing list and non-list ctors.
1283
1284         PR c++/52915
1285         * decl2.c (finish_anon_union): Use cp_finish_decl.
1286         * error.c (dump_function_name): Avoid showing anonymous "name".
1287
1288 2012-04-11  Fabien Chêne  <fabien@gcc.gnu.org>
1289
1290         PR c++/52465
1291         * parser.c (cp_parser_class_name): Call strip_using_decl and
1292         return the target decl.
1293         * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
1294         to be stripped is NULL_TREE.
1295         (qualify_lookup): Call strip_using_decl and perform some checks on
1296         the target decl.
1297
1298 2012-04-11  Jason Merrill  <jason@redhat.com>
1299
1300         PR debug/45088
1301         * decl.c (grokdeclarator): Strip the injected-class-name typedef
1302         if we are building a declaration or compound type.
1303
1304         PR c++/52906
1305         * decl.c (check_tag_decl): Don't complain about attributes if we
1306         don't even have a type.
1307
1308 2012-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1309
1310         * cvt.c (convert_to_void): Update comment.
1311
1312 2012-04-05  Jason Merrill  <jason@redhat.com>
1313
1314         PR c++/52596
1315         * semantics.c (finish_non_static_data_member): In templates, pass
1316         the decl to build_qualified_name.
1317         * tree.c (lvalue_kind) [SCOPE_REF]: Handle FIELD_DECL.
1318
1319 2012-04-04  Jason Merrill  <jason@redhat.com>
1320
1321         PR c++/52845
1322         * decl.c (finish_function): Update fntype after deducing return type.
1323
1324 2012-04-03  Jason Merrill  <jason@redhat.com>
1325
1326         PR c++/52796
1327         * pt.c (tsubst_initializer_list): A pack expansion with no elements
1328         means value-initialization.
1329
1330 2012-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
1331
1332         PR c++/50043
1333         * class.c (deduce_noexcept_on_destructor,
1334         deduce_noexcept_on_destructors): New.
1335         (check_bases_and_members): Call the latter.
1336         * decl.c (grokfndecl): Call the former.
1337         * method.c (implicitly_declare_fn): Not static.
1338         * cp-tree.h (deduce_noexcept_on_destructor, implicitly_declare_fn):
1339         Declare
1340
1341 2012-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
1342
1343         PR c++/52718
1344         * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
1345         warn for a zero as null pointer constant default argument.
1346
1347 2012-03-29  Jason Merrill  <jason@redhat.com>
1348
1349         PR c++/52685
1350         * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
1351
1352 2012-03-29  Jakub Jelinek  <jakub@redhat.com>
1353
1354         PR c++/52759
1355         * decl.c (start_decl): Don't call maybe_apply_pragma_weak
1356         if processing_template_decl.
1357
1358 2012-03-29  Jason Merrill  <jason@redhat.com>
1359
1360         PR c++/52743
1361         * call.c (compare_ics): Handle ck_aggr like ck_list.
1362
1363 2012-03-28  Jason Merrill  <jason@redhat.com>
1364
1365         PR c++/52746
1366         * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
1367         we didn't get an explicit scope.
1368         * pt.c (tsubst_baselink): Likewise.
1369
1370 2012-03-28  Richard Guenther  <rguenther@suse.de>
1371
1372         * typeck2.c (process_init_constructor_array): Use the proper
1373         type for computing the array length.
1374
1375 2012-03-27  Meador Inge  <meadori@codesourcery.com>
1376
1377         PR c++/52672
1378         * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
1379         stripped child trees that are not pointer types.
1380
1381 2012-03-21  Jason Merrill  <jason@redhat.com>
1382
1383         Implement return type deduction for normal functions with -std=c++1y.
1384         * cp-tree.h (FNDECL_USED_AUTO): New macro.
1385         (LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): Remove.
1386         (dependent_lambda_return_type_node): Remove.
1387         (CPTI_DEPENDENT_LAMBDA_RETURN_TYPE): Remove.
1388         (struct language_function): Add x_auto_return_pattern field.
1389         (current_function_auto_return_pattern): New.
1390         (enum tsubst_flags): Add tf_partial.
1391         * decl.c (decls_match): Handle auto return comparison.
1392         (duplicate_decls): Adjust error message for auto return.
1393         (cxx_init_decl_processing): Remove dependent_lambda_return_type_node.
1394         (cp_finish_decl): Don't do auto deduction for functions.
1395         (grokdeclarator): Allow auto return without trailing return type in
1396         C++1y mode.
1397         (check_function_type): Defer checking of deduced return type.
1398         (start_preparsed_function): Set current_function_auto_return_pattern.
1399         (finish_function): Set deduced return type to void if not previously
1400         deduced.
1401         * decl2.c (change_return_type): Handle error_mark_node.
1402         (mark_used): Always instantiate functions with deduced return type.
1403         Complain about use if deduction isn't done.
1404         * parser.c (cp_parser_lambda_declarator_opt): Use 'auto' for
1405         initial return type.
1406         (cp_parser_lambda_body): Don't deduce return type in a template.
1407         (cp_parser_conversion_type_id): Allow auto in C++1y.
1408         * pt.c (instantiate_class_template_1): Don't mess with
1409         LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P.
1410         (tsubst_copy_and_build): Likewise.
1411         (fn_type_unification, tsubst): Don't reduce the template parm level
1412         of 'auto' during deduction.
1413         (unify): Compare 'auto' specially.
1414         (get_bindings): Change test.
1415         (always_instantiate_p): Always instantiate functions with deduced
1416         return type.
1417         (do_auto_deduction): Handle error_mark_node and lambda context.
1418         Don't check for use in initializer.
1419         (contains_auto_r): Remove.
1420         * search.c (lookup_conversions_r): Handle auto conversion function.
1421         * semantics.c (lambda_return_type): Handle null return.  Don't mess
1422         with dependent_lambda_return_type_node.
1423         (apply_deduced_return_type): Rename from apply_lambda_return_type.
1424         * typeck.c (merge_types): Handle auto.
1425         (check_return_expr): Do auto deduction.
1426         * typeck2.c (add_exception_specifier): Fix complain check.
1427
1428 2012-03-22  Paolo Carlini  <paolo.carlini@oracle.com>
1429
1430         PR c++/52487
1431         * class.c (check_field_decls): Call literal_type_p only
1432         on complete types.
1433
1434 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
1435
1436         PR c++/52671
1437         * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
1438         on CLASS_TYPE_P types.
1439
1440 2012-03-20  Jason Merrill  <jason@redhat.com>
1441
1442         * lex.c (init_reswords): Use >= for cxx_dialect test.
1443         * parser.c (cp_parser_exception_specification_opt): Likewise.
1444
1445         * mangle.c (write_type): Handle 'auto'.
1446         * init.c (build_new): Don't do auto deduction where it might
1447         affect template mangling.
1448
1449         PR c++/52510
1450         * decl.c (reshape_init_class): Handle repeated reshaping.
1451         * search.c (lookup_field_1): Add sanity check.
1452
1453 2012-03-19  Paolo Carlini  <paolo.carlini@oracle.com>
1454
1455         PR c++/14710
1456         * cp-tree.h (xvalue_p, maybe_warn_about_useless_cast): Declare.
1457         * tree.c (xvalue_p): Define.
1458         * typeck.c (maybe_warn_about_useless_cast): Define.
1459         (build_reinterpret_cast, build_const_cast,
1460         build_static_cast, cp_build_c_cast): Use maybe_warn_about_useless_cast.
1461         * rtti.c (build_dynamic_cast): Likewise.
1462         * pt.c (tsubst_copy_and_build, case CAST_EXPR): Increment/decrement
1463         c_inhibit_evaluation_warnings before/after the build_* calls.
1464
1465 2012-03-15  Jason Merrill  <jason@redhat.com>
1466
1467         PR c++/52582
1468         * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
1469
1470 2012-03-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1471
1472         PR c++/44783
1473         * error.c (print_instantiation_partial_context): Use
1474         template_backtrace_limit.
1475
1476 2012-03-14  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1477
1478         * Make-lang.in (doc/g++.1): Remove IRIX 6.5 reference.
1479
1480 2012-03-14  Jakub Jelinek  <jakub@redhat.com>
1481
1482         PR c++/52521
1483         * parser.c (lookup_literal_operator): Return fn only if
1484         processed all arguments from args vector and argtypes is
1485         void_list_node.
1486
1487 2012-01-30  Dodji Seketeli  <dodji@redhat.com>
1488
1489         PR c++/51641
1490         * cp-tree.h (template_type_parameter_p): Declare new function.
1491         (parameter_of_template_p): Remove.
1492         * pt.c (template_type_parameter_p): Define new function.
1493         (parameter_of_template_p): Remove.
1494         * name-lookup.c (binding_to_template_parms_of_scope_p): Don't rely
1495         on parameter_of_template_p anymore.  Compare the level of the
1496         template parameter to the depth of the template.
1497
1498 2011-12-15  Dodji Seketeli  <dodji@redhat.com>
1499
1500         * call.c (standard_conversion, build_integral_nontype_arg_conv)
1501         (build_new_op_1, convert_like_real, is_subseq)
1502         (maybe_handle_implicit_object, maybe_handle_ref_bind, compare_ics)
1503         (joust): Use next_conversion instead of accessing fields of struct
1504         conversion directly.
1505
1506 2012-03-12  Paolo Carlini  <paolo.carlini@oracle.com>
1507
1508         PR c++/52299
1509         * pt.c (tsubst_copy_and_build, case COND_EXPR): Avoid bogus
1510         division by zero warnings.
1511
1512 2012-03-08  Paolo Carlini  <paolo.carlini@oracle.com>
1513
1514         * typeck.c (build_array_ref, cp_build_addr_expr_1, convert_ptrmem,
1515         build_ptrmemfunc): Consistently forward the tsubst_flags_t
1516         parameter.
1517         * call.c (resolve_args): Likewise.
1518
1519 2012-03-07  Jason Merrill  <jason@redhat.com>
1520
1521         PR c++/52521
1522         * mangle.c (write_literal_operator_name): The length comes after the
1523         operator prefix.
1524
1525 2012-03-05  Jakub Jelinek  <jakub@redhat.com>
1526
1527         * pt.c (local_specializations): Change from htab_t into
1528         struct pointer_map_t *.
1529         (retrieve_local_specializations, register_local_specialization,
1530         tsubst_pack_expansion, instantiate_decl): Adjust users.
1531         (eq_local_specializations, hash_local_specialization): Remove.
1532
1533 2012-03-05  Jason Merrill  <jason@redhat.com>
1534
1535         PR c++/51930
1536         * decl2.c (determine_visibility): Correct calculation of class
1537         args depth.
1538         * decl.c (check_tag_decl): Adjust warning.
1539
1540         * method.c (synthesized_method_walk): Cleanups don't affect the EH
1541         spec either.
1542
1543 2012-03-03  Jason Merrill  <jason@redhat.com>
1544
1545         * init.c (perform_member_init): Cope with uninstantiated NSDMI.
1546
1547         Core 1270
1548         * call.c (build_aggr_conv): Call reshape_init.
1549         (convert_like_real): Likewise.
1550         * typeck2.c (process_init_constructor): Clear TREE_CONSTANT if
1551         not all constant.
1552
1553         * mangle.c (write_nested_name): Use decl_mangling_context.
1554         (write_prefix, write_template_prefix): Likewise.
1555
1556         PR c++/36797
1557         * mangle.c (write_expression): Improve diagnostic for TRAIT_EXPR.
1558
1559         * class.c (add_method): Always build an OVERLOAD for using-decls.
1560         * search.c (lookup_member): Handle getting an OVERLOAD for a
1561         single function.
1562
1563 2012-03-02  Paolo Carlini  <paolo.carlini@oracle.com>
1564
1565         PR c++/51989
1566         * typeck2.c (build_x_arrow): Take a tsubst_flags_t argument and
1567         propagate it.
1568         * cp-tree.h (build_x_arrow): Adjust prototype.
1569         * pt.c (tsubst_copy_and_build): Adjust call.
1570         * parser.c (cp_parser_postfix_dot_deref_expression): Likewise.
1571
1572 2012-03-02  Paolo Carlini  <paolo.carlini@oracle.com>
1573
1574         * name-lookup.c (binding_to_template_parms_of_scope_p): Clean up.
1575
1576 2012-02-29  Jason Merrill  <jason@redhat.com>
1577
1578         PR c++/51930
1579         * decl.c (check_tag_decl): Move warning for misplaced attributes here.
1580         (shadow_tag): From here.
1581         * parser.c (cp_parser_explicit_instantiation): Don't warn here.
1582
1583 2012-02-21  Jakub Jelinek  <jakub@redhat.com>
1584
1585         PR c++/52312
1586         * typeck.c (check_literal_operator_args): Initialize *long_double_p
1587         and *long_long_unsigned_p even if processing_template_decl.
1588
1589 2012-02-16  Jason Merrill  <jason@redhat.com>
1590
1591         PR c++/52248
1592         * decl.c (define_label): Use timevar_cond_start/stop.
1593
1594 2012-02-16  Fabien Chêne  <fabien@gcc.gnu.org>
1595
1596         PR c++/52126
1597         * decl.c (xref_basetypes): call dependent_scope_p instead of
1598         dependent_type_p.
1599
1600 2012-02-16  Jason Merrill  <jason@redhat.com>
1601
1602         PR c++/51415
1603         * error.c (dump_expr): Handle lambda closures specifically.
1604
1605 2012-02-14  Jason Merrill  <jason@redhat.com>
1606
1607         * parser.c (cp_parser_explicit_instantiation): Give a warning
1608         for ignored attributes on explicit class instantiation.
1609
1610 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
1611
1612         PR c++/52247
1613         * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
1614         lookup_label on label's name and set TREE_USED.
1615
1616 2012-02-14  Jason Merrill  <jason@redhat.com>
1617
1618         PR c++/39055
1619         * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
1620
1621 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
1622
1623         PR c/52181
1624         * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
1625         newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
1626
1627 2012-02-07  Jason Merrill  <jason@redhat.com>
1628
1629         PR c++/51675
1630         * semantics.c (cx_check_missing_mem_inits): Handle unions.
1631         Fix constexpr default constructor logic.
1632
1633         PR c++/52035
1634         * pt.c (tsubst): Strip uninstantiated typedef.
1635
1636 2012-02-06  Jason Merrill  <jason@redhat.com>
1637
1638         PR c++/52088
1639         * cvt.c (build_expr_type_conversion): Check for template conversion.
1640
1641 2012-01-31  Jason Merrill  <jason@redhat.com>
1642
1643         PR c++/52043
1644         * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
1645         * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
1646         (tsubst_pack_expansion): Check it.
1647
1648 2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1649
1650         PR c++/51327
1651         * class.c (explain_non_literal_class): Correctly handle implicitly
1652         deleted constructors.
1653
1654 2012-01-27  Jakub Jelinek  <jakub@redhat.com>
1655
1656         PR c++/51852
1657         * pt.c (tsubst_pack_expansion): Delete and restore
1658         local_specialization whenever need_local_specialization, not just
1659         when saved_local_specializations is non-NULL.
1660
1661 2012-01-26  Paolo Carlini  <paolo.carlini@oracle.com>
1662
1663         PR c++/51370
1664         * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
1665         as TREE_OPERAND (t, 1).
1666
1667 2012-01-24  Jason Merrill  <jason@redhat.com>
1668
1669         PR c++/51917
1670         * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
1671
1672         PR c++/51973
1673         * tree.c (called_fns_equal): Check template args.
1674         (cp_tree_equal): Call it.
1675
1676 2012-01-24  Aldy Hernandez  <aldyh@redhat.com>
1677             Patrick Marlier  <patrick.marlier@gmail.com>
1678
1679         PR c++/51928
1680         * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
1681         thunk for set_one_vmethod_tm_attributes.
1682
1683 2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
1684
1685         PR c++/51223
1686         * call.c (build_over_call): Check for error_mark_node as
1687         TREE_VALUE when default arguments are processed.
1688
1689 2012-01-23  Jason Merrill  <jason@redhat.com>
1690
1691         PR c++/51930
1692         * decl2.c (determine_visibility): Check for visibility attribute
1693         on template specialization.
1694
1695 2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1696
1697         PR c++/51398
1698         * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
1699
1700 2012-01-23  Jason Merrill  <jason@redhat.com>
1701
1702         PR c++/51925
1703         * class.c (add_method): Set OVL_USED for using-decls.
1704         * tree.c (ovl_scope): New.
1705         * cp-tree.h: Declare it.
1706         * parser.c (cp_parser_template_name): Use it.
1707         * semantics.c (baselink_for_fns): Likewise.
1708         * name-lookup.c (set_inherited_value_binding_p): Likewise.
1709
1710 2012-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
1711
1712         PR c++/51402
1713         * pt.c (lookup_template_class_1): Check context returned by
1714         tsubst for error_mark_node.
1715
1716 2012-01-19  Kai Tietz  <ktietz@redhat.com>
1717
1718         PR c++/51344
1719         * decl2.c (save_template_attributes): Use merge_attributes
1720         instead of chaining up via TREE_CHAIN.
1721
1722 2012-01-19  Jason Merrill  <jason@redhat.com>
1723
1724         PR c++/51889
1725         * class.c (finish_struct): Call add_method here for function usings.
1726         * semantics.c (finish_member_declaration): Not here.
1727
1728 2012-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1729
1730         PR c++/51225
1731         * typeck2.c (store_init_value): Within a template guard
1732         cxx_constant_value with require_potential_constant_expression.
1733         * pt.c (convert_nontype_argument): Likewise.
1734
1735 2012-01-16  Jakub Jelinek  <jakub@redhat.com>
1736
1737         PR c++/51854
1738         * mangle.c (write_template_arg_literal): Handle complex.
1739
1740 2012-01-16  Jason Merrill  <jason@redhat.com>
1741
1742         PR c++/51827
1743         * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
1744
1745         PR c++/51868
1746         * typeck.c (build_static_cast_1): Handle bit-fields properly.
1747
1748 2012-01-13  Ian Lance Taylor  <iant@google.com>
1749
1750         PR c++/50012
1751         * typeck.c (enum_cast_to_int): New static function.
1752         (cp_build_binary_op): When handling warn_sign_compare, don't test
1753         for TREE_NO_WARNING.  Do call enum_cast_to_int.
1754         * call.c (avoid_sign_compare_warnings): Remove static function.
1755         (build_new_op_1): Don't call avoid_sign_compare_warnings.
1756
1757 2012-01-13  Steven Bosscher  <steven@gcc.gnu.org>
1758
1759         * decl2.c: Do not include tree-mudflap.h
1760         * semantics.c: Likewise.
1761
1762 2012-01-13  Jason Merrill  <jason@redhat.com>
1763
1764         PR c++/20681
1765         * semantics.c (finish_break_stmt): Avoid adding an unreachable
1766         BREAK_STMT.
1767
1768         PR c++/51813
1769         * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
1770         when reducing the visibility.
1771
1772         PR c++/51620
1773         * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
1774
1775 2012-01-12  Jason Merrill  <jason@redhat.com>
1776
1777         PR c++/51714
1778         * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
1779         value-dependent.
1780
1781 2012-01-13  Dodji Seketeli  <dodji@redhat.com>
1782
1783         PR c++/51633
1784         * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
1785         Set the pointer to the last block of the constructor to the
1786         current statement.
1787         (build_constexpr_constructor_member_initializers): Get
1788         build_data_member_initialization a chance to deal with more
1789         statements before we choke.
1790
1791 2012-01-12  Jason Merrill  <jason@redhat.com>
1792
1793         PR c++/48051
1794         * mangle.c (write_expression): Mangle BASELINK scope if
1795         BASELINK_QUALIFIED_P.
1796         * search.c (adjust_result_of_qualified_name_lookup): Set
1797         BASELINK_QUALIFIED_P.
1798         * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
1799         * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
1800         adjust_result_of_qualified_name_lookup for non-qualified names.
1801
1802         PR c++/51403
1803         * pt.c (unify): Handle error_mark_node.
1804
1805 2012-01-11  Jason Merrill  <jason@redhat.com>
1806
1807         PR c++/51565
1808         * call.c (standard_conversion): For ptrmemfuncs, compare the
1809         static_fn_types.
1810
1811         PR c++/51818
1812         * mangle.c (find_substitution): A type is only a substitution
1813         match if we're looking for a type.
1814         (write_nested_name): Use decl_mangling_context.
1815
1816         * decl.c (decls_match): Assert that the arguments are decls.
1817
1818         PR c++/51613
1819         * pt.c (resolve_overloaded_unification): Compare types with
1820         same_type_p, not decls_match.
1821
1822 2012-01-10  Jason Merrill  <jason@redhat.com>
1823
1824         PR c++/51614
1825         * class.c (build_base_path): Diagnose ambiguous base.
1826
1827         PR c++/51433
1828         * semantics.c (cxx_eval_call_expression): Always retry previously
1829         non-constant expressions.
1830
1831 2012-01-06  Jason Merrill  <jason@redhat.com>
1832
1833         DR 686
1834         PR c++/47450
1835         * parser.c (cp_parser_new_expression): Set
1836         type_definition_forbidden_message.
1837
1838         PR c++/6057
1839         PR c++/48051
1840         PR c++/50855
1841         PR c++/51322
1842         * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
1843         THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
1844         PREDECREMENT_EXPR.
1845         (write_template_arg): Fix mangling of class-scope functions and
1846         argument packs.
1847         (mangle_decl): Update suggested -fabi-version argument.
1848         * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
1849         DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
1850         * tree.c (dependent_name): No longer static.
1851         * cp-tree.h: Declare it.
1852         * pt.c (unify): Defer handling of unconverted functions.
1853
1854         * mangle.c (mangle_decl): Don't generate mangling aliases
1855         for maybe-in-charge [cd]tors.
1856
1857         * error.c (dump_expr): Print type of CONSTRUCTOR.
1858
1859 2012-01-05  Dodji Seketeli  <dodji@redhat.com>
1860
1861         PR c++/51541
1862         * parser.c (cp_parser_alias_declaration): Get out early upon
1863         errors in the identifier or the attributes.
1864
1865 2012-01-04  Paolo Carlini  <paolo.carlini@oracle.com>
1866
1867         PR c++/51064
1868         * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
1869         the tree returned by build_x_binary_op.
1870
1871 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1872
1873         PR c++/51738
1874         * parser.c (cp_parser_postfix_open_square_expression): Handle
1875         postfix-expression [ braced-init-list ].
1876
1877 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1878
1879         PR c++/29273
1880         * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
1881         call decay_conversion on v.
1882
1883 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1884
1885         PR c++/15867
1886         * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
1887         declaration followed by specialization.
1888
1889 2012-01-03  Jakub Jelinek  <jakub@redhat.com>
1890
1891         PR c++/51669
1892         * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
1893         on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
1894
1895 2012-01-02  Jason Merrill  <jason@redhat.com>
1896
1897         DR 1359
1898         PR c++/51675
1899         * method.c (walk_field_subobs): Don't check for uninitialized
1900         fields in a union.
1901         (synthesized_method_walk): Check here.
1902
1903         DR 325
1904         PR c++/51666
1905         * parser.c (cp_parser_cache_defarg): Split out...
1906         (cp_parser_parameter_declaration): ...from here.
1907         (cp_parser_save_nsdmi): Use it.
1908         (cp_parser_cache_group): Remove CPP_COMMA support.
1909
1910 2012-01-02  Dodji Seketeli  <dodji@redhat.com>
1911
1912         PR c++/51462
1913         * semantics.c (cx_check_missing_mem_inits): Don't assert in case
1914         of error.
1915
1916 2012-01-02  Paolo Carlini  <paolo.carlini@oracle.com>
1917
1918         PR c++/20140
1919         * typeck2.c (digest_init_r): Use copy_init when initializing
1920         an array of chars.
1921
1922 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1923
1924         PR c++/16603
1925         * decl.c (build_enumerator): Don't call perform_integral_promotions
1926         on the value.
1927
1928 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1929
1930         PR c++/51379
1931         * typeck.c (build_reinterpret_cast_1): Implement resolution of
1932         DR 799.
1933
1934 2012-01-01  Fabien Chêne  <fabien@gcc.gnu.org>
1935
1936         * parser.c (cp_parser_using_declaration): Add a warning about
1937         deprecated access declarations when no errors were encountered
1938         while parsing the access declaration. Save the first token in
1939         order to emit the warning at the right place.
1940 \f
1941 Copyright (C) 2012 Free Software Foundation, Inc.
1942
1943 Copying and distribution of this file, with or without modification,
1944 are permitted in any medium without royalty provided the copyright
1945 notice and this notice are preserved.