gcc/cp/ChangeLog

   1 2009-07-21  Jason Merrill  <jason@redhat.com>
   2
   3         Core issue 934
   4         * call.c (reference_binding): Implement binding to { }.
   5         (initialize_reference): Binding temporary to non-const && is fine.
   6         * decl.c (grok_reference_init): Remove error for CONSTRUCTOR.
   7
   8 2009-07-17  Richard Guenther  <rguenther@suse.de>
   9
  10         PR c/40401
  11         * decl.c (finish_function): Do not emit unused result warnings
  12         from here.
  13         * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use
  14         c_warn_unused_result_pass.
  15         * semantics.c (expand_or_defer_fn): Adjust assertion about IL status.
  16         * optimize.c (clone_body): Clone in GENERIC.
  17         (maybe_clone_body): Do not clear DECL_SAVED_TREE.
  18         * decl2.c (cp_write_global_declarations): Fix body test.
  19         Do not call cgraph_optimize.
  20         * Make-lang.in (optimize.o): Add tree-iterator.h dependency.
  21         * method.c (use_thunk): Register thunk with
  22         cgraph_finalize_function.
  23         * error.c (function_category): Guard access of DECL_LANG_SPECIFIC.
  24
  25 2009-07-17  Richard Guenther  <rguenther@suse.de>
  26
  27         * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the
  28         temporary pointer.
  29
  30 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
  31             Manuel López-Ibáñez  <manu@gcc.gnu.org>
  32
  33         PR 40435
  34         * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c,
  35         tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c,
  36         call.c, cvt.c, mangle.c: Add location argument to
  37         fold_{unary,binary,ternary}, fold_build[123], build_call_expr,
  38         build_size_arg, build_fold_addr_expr, build_call_array,
  39         non_lvalue, size_diffop, fold_build1_initializer,
  40         fold_build2_initializer, fold_build3_initializer,
  41         fold_build_call_array, fold_build_call_array_initializer,
  42         fold_single_bit_test, omit_one_operand, omit_two_operands,
  43         invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref,
  44         fold_indirect_ref, combine_comparisons, fold_builtin_*,
  45         fold_call_expr, build_range_check, maybe_fold_offset_to_address,
  46         round_up, round_down.
  47
  48 2009-07-16  Jason Merrill  <jason@redhat.com>
  49
  50         PR libstdc++/37907
  51         Split POD into "standard-layout" and "trivial" as per N2230,
  52         Support std::is_standard_layout and std::is_trivial traits.
  53         * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT,
  54         CPTK_IS_TRIVIAL.
  55         (struct lang_type_class): Add non_std_layout.
  56         (CLASSTYPE_NON_STD_LAYOUT): New.
  57         * class.c (check_bases): Set it.
  58         (check_field_decls): Likewise.
  59         (check_bases_and_members): Likewise.
  60         * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT,
  61         RID_IS_TRIVIAL.
  62         (cp_parser_trait_expr): Likewise.
  63         * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT,
  64         CPTK_IS_TRIVIAL.
  65         (finish_trait_expr): Likewise.
  66         * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New.
  67         (pod_type_p): Use them.
  68         (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New.
  69
  70         Adjust bits of the language that no longer refer to POD types.
  71         * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init
  72         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
  73         (build_x_va_arg): Likewise.
  74         (call_builtin_trap): Remove.
  75         * decl.c (declare_local_label): Use type_has_nontrivial_default_init
  76         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
  77         (cp_finish_decl): Likewise.
  78         (check_previous_goto_1, check_goto): Adjust error.
  79         * typeck.c (build_class_member_access_expr): Check
  80         CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P.
  81
  82 2009-07-14  Taras Glek  <tglek@mozilla.com>
  83             Rafael Espindola  <espindola@google.com>
  84
  85         * Make-lang.in: Added CP_PLUGIN_HEADERS and
  86         c.install-target to export cp-tree.h cxx-pretty-print.h
  87         name-lookup.h headers for plugins.
  88
  89 2009-07-14  Jason Merrill  <jason@redhat.com>
  90
  91         PR c++/37276
  92         * decl.c (decls_match): A non-extern-C declaration doesn't match
  93         a builtin extern-C declaration.
  94
  95         PR c++/40746
  96         * name-lookup.c (qualified_lookup_using_namespace): Don't stop
  97         looking in used namespaces just because we found something on
  98         another branch.
  99
 100         PR c++/40740
 101         * semantics.c (perform_koenig_lookup): Handle empty template args.
 102
 103         * call.c (build_over_call): Use can_trust_pointer_alignment.
 104
 105 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
 106
 107         PR debug/40705
 108         PR c++/403057
 109         * decl2.c (grokfield): Don't call set_underlying_type on typedef
 110         decls that are type names.
 111
 112 2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 113
 114         PR C++/22154
 115         * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
 116         front of qualified names.
 117
 118 2009-07-12  Jason Merrill  <jason@redhat.com>
 119
 120         PR c++/36628
 121         * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
 122
 123         PR c++/37206
 124         * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
 125         * tree.c (lvalue_p_1): Return it.  Remove
 126         treat_class_rvalues_as_lvalues parm.
 127         (real_lvalue_p): Disallow pseudo-lvalues here.
 128         (lvalue_or_rvalue_with_address_p): New fn.
 129         * call.c (initialize_reference): Use it instead of real_lvalue_p.
 130
 131         PR c++/40689
 132         * init.c (build_new_1): Handle initializer list as array initializer.
 133         (build_vec_init): Likewise.
 134         * typeck.c (cp_build_modify_expr): Likewise.
 135         * typeck2.c (process_init_constructor_array): Error rather than abort
 136         if too many initializers.
 137
 138 2009-07-10  Jakub Jelinek  <jakub@redhat.com>
 139
 140         PR c++/40502
 141         * error.c (cp_print_error_function): Check for NULL block.
 142
 143 2008-07-09  Simon Martin  <simartin@users.sourceforge.net>
 144             Jason Merrill  <jason@redhat.com>
 145
 146         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
 147         append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
 148
 149 2009-07-09  Dodji Seketeli  <dodji@redhat.com>
 150
 151         PR c++/40684
 152         * pt.c (type_unification_real): Use tsubst_template_arg instead
 153         of tsubst to substitute default template arguments.
 154
 155 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 156
 157         PR c++/31246
 158         * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
 159         code.
 160         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
 161
 162
 163 2009-07-07  Jason Merrill  <jason@redhat.com>
 164
 165         PR c++/35828
 166         * pt.c (tsubst_decl): Don't abort if we didn't change anything
 167         in a TEMPLATE_DECL's args.
 168
 169 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 170
 171         * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
 172         EXPR_LOCATION.
 173
 174 2009-07-07  Jason Merrill  <jason@redhat.com>
 175
 176         PR c++/37816
 177         * decl.c (build_enumerator): Don't add enumerators for a
 178         scoped enum to the enclosing class.
 179
 180         PR c++/40639
 181         * decl.c (start_enum): Allow dependent underlying type.
 182
 183         PR c++/40633
 184         * decl.c (finish_enum): Finish scope even in a template.
 185
 186 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 187
 188         * init.c: Replace %J by an explicit location. Update all calls.
 189         * decl.c: Likewise.
 190         * typeck2.c: Likewise.
 191         * pt.c: Likewise.
 192         * name-lookup.c: Likewise.
 193
 194 2009-07-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 195
 196         * decl.c: Replace %H by an explicit location. Update all calls.
 197         * except.c: Likewise.
 198         * semantics.c: Likewise.
 199         * parser.c: Likewise.
 200
 201 2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
 202
 203         PR c++/40557
 204         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
 205         append_type_to_template_for_access_check_1): Use
 206         RECORD_OR_UNION_CODE_P.
 207
 208 2009-07-04  Jason Merrill  <jason@redhat.com>
 209
 210         * pt.c (retrieve_specialization): Don't get confused by a
 211         using-declaration that brings in another instance of this template
 212         from a base class.
 213
 214         * ptree.c (cxx_print_type): Fix logic.
 215
 216         * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version.
 217
 218         PR c++/40619
 219         * cp-tree.h (struct lang_decl_parm): New.
 220         (struct lang_decl): Add it.
 221         (LANG_DECL_PARM_CHECK): New.
 222         (DECL_PARM_INDEX): New.
 223         * decl2.c (parm_index): Remove.
 224         * lex.c (retrofit_lang_decl): Handle parms.
 225         (cxx_dup_lang_specific_decl): Likewise.
 226         * mangle.c (write_expression): Adjust.
 227         * tree.c (cp_tree_equal): Adjust.
 228         (decl_linkage): Only check DECL_COMDAT for functions and variables.
 229         * parser.c (cp_parser_parameter_declaration_list): Set
 230         DECL_PARM_INDEX.
 231         * pt.c (iterative_hash_template_arg): Hash it.
 232
 233 2009-07-03  Jason Merrill  <jason@redhat.com>
 234
 235         * cp-tree.h (struct lang_decl): Overhaul.
 236         (struct lang_decl_flags): Remove.
 237         (struct lang_decl_base): New.
 238         (struct lang_decl_min): New.
 239         (struct lang_decl_fn): New.
 240         (struct lang_decl_ns): New.
 241         (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN.
 242         (LANG_DECL_MIN_CHECK): New.
 243         (LANG_DECL_FN_CHECK): New.
 244         (LANG_DECL_NS_CHECK): New.
 245         (STRIP_TEMPLATE): New.
 246         (NON_THUNK_FUNCTION_CHECK): Remove.
 247         (DECL_DECLARES_FUNCTION_P): New.
 248         (lots): Adjust.
 249         * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust.
 250         * decl.c (push_local_name, duplicate_decls): Adjust.
 251         * decl2.c (start_objects): Don't set u2sel.
 252         * semantics.c (finish_omp_threadprivate): Adjust.
 253         * class.c (build_clone): Don't do much on TEMPLATE_DECLs.
 254         (decl_cloned_function_p): Out-of-line implementation of macros.
 255         (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P.
 256         * mangle.c (write_unqualified_name): Don't check function flags
 257         on non-functions.
 258         * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION.
 259         * pt.c (build_template_decl): Don't set function flags.
 260         (check_default_tmpl_args): Check that it's a function.
 261         (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the
 262         cloned template.
 263
 264         * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst
 265         DECL_CLONED_FUNCTION.
 266
 267         * cp-tree.h (struct lang_type_class): Move sorted_fields here.
 268         * class.c (finish_struct_1): Adjust.
 269         * ptree.c (cxx_print_decl, cxx_print_type): Adjust.
 270         * search.c (lookup_field_1): Adjust.
 271
 272         * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove.
 273         * decl.c (finish_method): Don't add to it.
 274         * class.c (fixup_pending_inline): Remove.
 275         (fixup_inline_methods): Remove.
 276         (finish_struct_1): Don't call it.
 277
 278         * error.c (dump_function_name): Handle null name.
 279
 280 2009-07-02  Mark Mitchell  <mark@codesourcery.com>
 281
 282         * typeck.c (cp_build_binary_op): Move warnings about use of NULL
 283         in arithmetic earlier and allow comparisions of NULL with
 284         pointers-to-members.
 285
 286 2009-07-02  Jason Merrill  <jason@redhat.com>
 287
 288         Use hash tables for template specialization lookup.
 289         * pt.c (struct spec_entry): New type.
 290         (decl_specializations, type_specializations): New hash tables.
 291         (register_specialization, retrieve_specialization): Use them.
 292         (reregister_specialization, lookup_template_class): Use them.
 293         (eq_specializations, hash_tmpl_and_args, hash_specialization): New.
 294         (iterative_hash_template_arg): New.
 295         (init_template_processing): New
 296         (process_partial_specialization): Don't look to see if we already
 297         have this partial specialization.
 298         (maybe_process_partial_specialization): Handle reassigning
 299         full specializations when we get an explicit specialization
 300         of the partial instantiation.
 301         (tsubst_friend_function): Adjust specialization reassignment code.
 302         (instantiate_template): Only do one lookup.
 303         (instantiate_decl): Don't do any lookup.
 304         * cp-tree.h: Declare init_template_processing.
 305         * decl.c (duplicate_decls): Pass args to reregister_specialization.
 306
 307 2009-07-01  Jason Merrill  <jason@redhat.com>
 308
 309         * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P.
 310
 311         * pt.c (register_specialization): Use duplicate_decls to merge
 312         the argument with a previous specialization.
 313         (check_explicit_specialization): Call register_specialization to
 314         merge the TEMPLATE_DECL with a previous version.
 315         (determine_specialization): Return the args even if fn is a template.
 316
 317 2009-07-01  Ian Lance Taylor  <iant@google.com>
 318
 319         * g++spec.c (lang_specific_driver): Bump num_args by 1.
 320
 321 2009-06-30  Jason Merrill  <jason@redhat.com>
 322
 323         PR c++/40595
 324         * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an
 325         EXPR_PACK_EXPANSION.
 326
 327 2009-06-29  Jason Merrill  <jason@redhat.com>
 328
 329         PR c++/40274
 330         * error.c (dump_template_parms): Pass all args to
 331         count_non_default_template_args.
 332         (count_non_default_template_args): Pull out the inner ones.
 333
 334 2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>
 335
 336         * decl.c (duplicate_decls): Re-indent.
 337
 338 2009-06-25  Ian Lance Taylor  <iant@google.com>
 339
 340         * call.c (avoid_sign_compare_warnings): New static function.
 341         (build_new_op): Call it.
 342         * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
 343         TREE_NO_WARNING is set on either operand.
 344
 345 2009-06-25  Ian Lance Taylor  <iant@google.com>
 346
 347         * g++spec.c (SKIPOPT): define.
 348         (lang_specific_driver): Handle -static-libstdc++.  Only add
 349         LIBSTDCXX_STATIC if we add LIBSTDCXX.
 350
 351 2009-06-25  Ian Lance Taylor  <iant@google.com>
 352
 353         * cvt.c (convert_to_void): Only warn about COND_EXPR if neither
 354         the second nor third operand has side effects.
 355
 356 2009-06-25  Ian Lance Taylor  <iant@google.com>
 357
 358         * parser.c (cp_parser_binary_expression): Increment
 359         c_inhibit_evaluation_warnings while parsing the right hand side of
 360         "true || x" or "false && x".
 361         * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
 362         if c_inhibit_evaluation_warnings is zero.
 363
 364 2009-06-24  Jason Merrill  <jason@redhat.com>
 365
 366         * error.c (dump_decl): Do say "typedef" for the injected class name.
 367
 368         * pt.c (lookup_template_class): Use currently_open_class,
 369         compare template args later.
 370
 371         PR c++/40342
 372         * decl.c (decls_match): Check DECL_TI_TEMPLATE too.
 373         * class.c (resolve_address_of_overloaded_function): Fix typo.
 374
 375 2009-06-18  Aldy Hernandez  <aldyh@redhat.com>
 376
 377         * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl.
 378         * decl.c (finish_decl): Remove.
 379         (declare_global_var): Replace finish_decl with cp_finish_decl.
 380         (start_method): Same.
 381         * rtti.c (emit_tinfo_decl): Same.
 382         * pt.c (tsubst_expr): Same.
 383         (instantiate_decl): Same.
 384         * decl2.c (grokbitfield): Same.
 385         * name-lookup.c (pushdecl_top_level_1): Same.
 386         * cp-tree.h: Remove finish_decl.
 387
 388 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
 389
 390         * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL.
 391         (lang_specific_driver): Always allocate extra argument.
 392         Add LIBSTDCXX_STATIC to arglist if defined and linking
 393         statically.
 394
 395 2009-06-16  Ian Lance Taylor  <iant@google.com>
 396
 397         * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h.
 398         (cp/semantics.o): Depend upon gt-cp-semantics.h.
 399
 400 2009-06-16  Ian Lance Taylor  <iant@google.com>
 401
 402         * parser.c (cp_unevaluated_operand): Define global variable.
 403         (cp_parser_question_colon_clause): Increment
 404         c_inhibit_evaluation_warnings when evaluating an expression which
 405         will never be executed.
 406         (cp_parser_decltype): Increment cp_unevaluated_operand and
 407         c_inhibit_evaluation_warnings, not skip_evaluation.
 408         (cp_parser_sizeof_operand): Likewise.
 409         (cp_parser_enclosed_template_argument_list): Save
 410         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
 411         skip_evaluation.
 412         * cp-tree.h (struct saved_scope): Remove skip_evaluation field.
 413         Add unevaluated_operand and inhibit_evaluation_warnings fields.
 414         (cp_unevaluated_operand): Declare.
 415         * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand
 416         and c_inhibit_evaluation_warnings rather than skip_evaluation.
 417         (pop_from_top_level): Restore cp_unevaluated_operand and
 418         c_inhibit_evaluation_warnings rather than skip_evaluation.
 419         * class.c (build_base_path): Check cp_unevaluated_operand rather
 420         than skip_evaluation.
 421         * typeck.c (build_class_member_access_expr): Likewise.
 422         (cp_build_binary_op): Don't warn about bad shift counts if
 423         c_inhibit_evaluation_warnings is non-zero.
 424         * pt.c (coerce_template_parms): Save state of
 425         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
 426         skip_evaluation.
 427         (tsubst_aggr_type): Likewise.
 428         (tsubst_pack_expansion): Check cp_unevaluated_operand rather than
 429         skip_evaluation.
 430         (tsubst_copy): Likewise.
 431         (tsubst): Set cp_unevaluated_operand and
 432         c_inhibit_evaluation_warnings, not skip_evaluation.
 433         (tsubst_copy_and_build): Likewise.
 434         * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand
 435         rather than skip_evaluation.
 436         * decl2.c (mark_used): Likewise.
 437         * semantics.c (finish_non_static_data_member): Likewise.
 438         * cvt.c (cp_convert_and_check): Check
 439         c_inhibit_evaluation_warnings rather than skip_evaluation.
 440         * mangle.c (write_type): Set cp_unevaluated_operand rather than
 441         skip_evaluation.
 442
 443 2009-06-15  Ian Lance Taylor  <iant@google.com>
 444
 445         * parser.c (cp_parser_direct_declarator): Add braces around
 446         variables declared before label.
 447
 448 2009-06-15  Rafael Avila de Espindola  <espindola@google.com>
 449
 450         * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove.
 451         * cp-tree.h (cxx_comdat_group): Change signature.
 452         * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP.
 453         (cxx_comdat_group): Change signature.
 454         * decl2.c (comdat_linkage, maybe_make_one_only): Update call to
 455         make_decl_one_only.
 456         (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP.
 457         * method.c (use_thunk): Update call to make_decl_one_only.
 458         * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP
 459
 460 2009-06-12  Aldy Hernandez  <aldyh@redhat.com>
 461
 462         * typeck.c (cp_build_binary_op): Pass location to overflow_warning.
 463         (build_modify_expr): New arg.
 464         * semantics.c (finish_unary_op_expr): Pass location to
 465         overflow_warning.
 466         (handle_omp_for_class_iterator): Pass location to build_modify_expr.
 467         * typeck.c (cxx_sizeof_or_alignof_type): Pass location to
 468         c_sizeof_or_alignof_type.
 469         (build_array_ref): New argument.
 470         (build_compound_expr): Same.
 471         (build_const_cast): Same.
 472         (build_ptrmemfunc): Pass location to build_c_cast.
 473         * init.c (avoid_placement_new_aliasing): Pass location to
 474         build_stmt.
 475         (build_vec_delete_1): Pass location to cp_build_modify_expr,
 476         build_compound_expr.
 477         * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
 478         * decl.c (poplevel): Pass location to c_build_bind_expr.
 479         (finish_case_label): Pass location to build_case_label.
 480         (finish_constructor_body): Same.
 481         (finish_destructor_body): Pass location to build_stmt.
 482         (cxx_maybe_build_cleanup): Same, but to build_compound_expr.
 483         * call.c (build_new_op): Pass location to build_array_ref.
 484         (build_x_va_arg): Pass location to build_va_arg.
 485         * except.c (expand_end_catch_block): Pass location to
 486         build_stmt.
 487         * cp-tree.h (build_array_ref): New argument.
 488         (build_compound_expr): Same.
 489         (build_c_cast): Same.
 490         * cp-gimplify.c (gimplify_if_stmt): Pass location on down.
 491         (gimplify_switch_stmt): Same.
 492         * typeck2.c (split_nonconstant_init_1): Same.
 493         * pt.c (tsubst_copy): Same.
 494         * semantics.c (add_decl_expr): Same.
 495         (do_poplevel): Same.
 496         (push_cleanup): Same.
 497         (finish_goto_stmt): Same.
 498         (finish_expr_stmt): Same.
 499         (begin_if_stmt): Same.
 500         (begin_while_stmt): Same.
 501         (begin_do_stmt): Same.
 502         (finish_return_stmt): Same.
 503         (begin_for_stmt): Same.
 504         (finish_break_stmt): Same.
 505         (finish_continue_stmt): Same.
 506         (begin_switch_stmt): Same.
 507         (begin_try_block): Same.
 508         (begin_handler): Same.
 509         (finish_asm_stmt): Same.
 510         (finish_label_stmt): Same.
 511         (finish_stmt_expr_expr): Same.
 512         (finalize_nrv_r): Same.
 513         (finish_omp_atomic): Same.
 514         * name-lookup.c (do_using_directive): Same.
 515         * decl2.c (grok_array_decl): Same.
 516         * parser.c (cp_parser_cast_expression): Same.
 517         (cp_parser_selection_statement): Same.
 518         (cp_parser_implicitly_scoped_statement): Same.
 519         (cp_parser_objc_selector_expression): Same.
 520         (cp_parser_objc_synchronized_statement): Same.
 521         (cp_parser_objc_throw_statement): Same.
 522         (cp_parser_omp_critical): Same.
 523         (cp_parser_omp_master): Same.
 524         * typeck.c (build_function_call): Add location argument.
 525         * init.c: Add location argument to all build_decl calls.
 526         * class.c: Same.
 527         * method.c: Same.
 528         * rtti.c: Same.
 529         * tree.c: Same.
 530         * pt.c: Same.
 531         * semantics.c: Same.
 532         * lex.c: Same.
 533         * decl2.c: Same.
 534         * cp-gimplify.c: Same.
 535         * decl.c: Same.
 536         (cp_make_fname_decl): Add location argument.  Pass location ot
 537         build_decl.
 538         (finish_case_label): Same.
 539         * cp-tree.h (finish_case_label): Add location argument.
 540         * parser.c (cp_parser_label_for_labeled_statement): Pass location to
 541         finish_case_label.
 542
 543 2009-06-09  Jason Merrill  <jason@redhat.com>
 544
 545         PR c++/40381
 546         * decl2.c (mark_used): Return after complaining about deleted fn.
 547
 548 2009-06-08  Jason Merrill  <jason@redhat.com>
 549
 550         * parser.c (cp_parser_type_id_1): 'auto' type is ok with a
 551         late-specified return type.
 552
 553 2009-06-08  Jakub Jelinek  <jakub@redhat.com>
 554
 555         PR c++/40373
 556         * call.c (check_dtor_name): Return false even if
 557         get_type_value (name) is error_mark_node.
 558
 559         PR c++/40370
 560         PR c++/40372
 561         * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS
 562         on error_mark_node.  Check for VLAs outside of function context
 563         before check whether to wrap bounds into a NOP_EXPR with
 564         TREE_SIDE_EFFECTS.
 565
 566 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
 567
 568         * repo.c (get_base_filename): Use aux_base_name rather than
 569         alternate temporary file during second compare debug compilation.
 570         (finish_repo): Skip during -fcompare-debug-second.
 571
 572 2009-06-06  Ian Lance Taylor  <iant@google.com>
 573
 574         * parser.c (cp_parser_label_for_labeled_statement): Support
 575         attribute on labels if immediately followed by semicolon.
 576         * semantics.c (finish_label_stmt): Return new label.
 577         * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR.
 578
 579 2009-06-03  Ian Lance Taylor  <iant@google.com>
 580
 581         * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
 582         $(SYSTEM_H).
 583
 584 2009-06-02  Mark Mitchell  <mark@codesourcery.com>
 585
 586         * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
 587
 588 2009-06-02  Jason Merrill  <jason@redhat.com>
 589
 590         PR c++/40308
 591         PR c++/40311
 592         * typeck.c (cp_build_modify_expr): Always pass init-lists to the
 593         conversion code.
 594         * call.c (implicit_conversion): Allow init-list conversion to scalar
 595         during direct-initialization, too.  Mark the conversion bad if it
 596         has too many levels of braces.
 597         (convert_like_real): And give a helpful error.
 598
 599         PR c++/40306
 600         PR c++/40307
 601         * decl.c (cp_finish_decl): Handle auto deduction from ().
 602         * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
 603         with dependent type that is known to be a pointer.
 604
 605 2009-06-02  Simon Martin  <simartin@users.sourceforge.net>
 606
 607         PR c++/38089
 608         * pt.c (register_specialization): Properly setup DECL_CONTEXT for
 609         specializations in an invalid namespace.
 610
 611 2009-06-01  Aldy Hernandez  <aldyh@redhat.com>
 612
 613         * error.c (print_instantiation_partial_context): Print column
 614         numbers.
 615
 616 2009-05-29  Ian Lance Taylor  <iant@google.com>
 617
 618         * error.c (cp_printer): Don't use va_arg with enum type.
 619
 620 2009-05-28  Dodji Seketeli  <dodji@redhat.com>
 621
 622         PR c++/39754
 623         * cp-tree.h (canonical_type_variant): Remove this function declaration.
 624         (strip_typedefs): New function declaration.
 625         * tree.c (strip_typedefs): New function definition.
 626         (canonical_type_variant): Remove function definition.
 627         * cvt.c (convert_from_reference): No need to use
 628         canonical_type_variant.
 629         * typeck.c (cp_build_indirect_ref): Likewise.
 630         * error.c (dump_template_bindings): Use strip_typedefs instead of
 631         canonical_type_variant.
 632         * pt.c (convert_template_argument, unify): Likewise.
 633         * mangle.c (canonicalize_for_substitution): Don't use
 634         canonical_type_variant.
 635
 636 2009-05-27  Jason Merrill  <jason@redhat.com>
 637
 638         * call.c (implicit_conversion): Handle conversion from
 639         initializer-list to scalar.
 640         (convert_like_real): Likewise.  Avoid crashing on list
 641         initialization with bad conversions.
 642         (can_convert): Use LOOKUP_EXPLICIT.
 643         (can_convert_arg_bad): Add flags parm.
 644         * cp-tree.h: Adjust.
 645         * typeck.c (convert_for_assignment): Pass flags.
 646
 647 2009-05-27  Ian Lance Taylor  <iant@google.com>
 648
 649         * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER).
 650         (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise.
 651
 652 2009-05-26  Ian Lance Taylor  <iant@google.com>
 653
 654         * Make-lang.in (g++spec.o): Use $(COMPILER).
 655         (g++$(exeext), cc1plus-dummy$(exeext)): Likewise.
 656         (cc1plus$(exeext)): Likewise.
 657
 658 2009-05-26  Dodji Seketeli  <dodji@redhat.com>
 659
 660         PR c++/40007
 661         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor.
 662         (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor.
 663         (get_types_needing_access_check): Declare new entry point.
 664         * pt.c (append_type_to_template_for_access_check_1,
 665         get_types_needing_access_check): New functions.
 666         (perform_typedefs_access_check): Accept FUNCTION_DECLs and
 667         RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new
 668         get_types_needing_access_check, no more
 669         MEMBER_TYPES_NEEDING_ACCESS_CHECK.
 670         (instantiate_class_template): Set input_location to the source
 671         location of the most specialized template definition.
 672         Perform access check using the RECORD_TYPE of the template, not its
 673         associated most generic TEMPLATE_DECL.
 674         (append_type_to_template_for_access_check): Augment function
 675         comments. Use the new get_types_needing_access_check, not
 676         MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new
 677         append_type_to_template_for_access_check_1 subroutine.
 678
 679 2009-05-22  Jason Merrill  <jason@redhat.com>
 680
 681         PR c++/38064
 682         * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in
 683         arithmetic comparisons.
 684         (cp_common_type): Handle scoped enums.
 685
 686         * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P.
 687         (add_builtin_candidate, add_builtin_candidates): Likewise.
 688         (convert_like_real): Likewise.
 689         * class.c (check_bitfield_decl): Likewise.
 690         * decl.c (check_static_variable_definition): Likewise.
 691         (compute_array_index_type): Likewise.
 692         * decl2.c (grokbitfield): Likewise.
 693         * init.c (build_new_1): Likewise.
 694         * pt.c (convert_nontype_argument): Likewise.
 695         (current_instantiation): Likewise.
 696         * tree.c (pod_type_p): Likewise.
 697         * typeck.c (build_static_cast_1): Likewise.
 698         (build_reinterpret_cast_1): Likewise.
 699
 700 2009-05-22  Richard Guenther  <rguenther@suse.de>
 701
 702         PR middle-end/38964
 703         * init.c (avoid_placement_new_aliasing): Remove.
 704         (build_new_1): Do not call it.
 705
 706 2009-05-22  Mark Mitchell  <mark@codesourcery.com>
 707
 708         * decl2.c (decl_needed_p): Consider dllexport'd functions needed.
 709         * semantics.c (expand_or_defer_fn): Similarly.
 710
 711 2009-05-20  Ian Lance Taylor  <iant@google.com>
 712
 713         * parser.c (cp_parser_postfix_expression): Change args to a vec.
 714         Release it when done.
 715         (tree_vector): Define typedef.  Define VEC functions.
 716         (cp_parser_parenthesized_expression_list): Change return type to
 717         vec.  Change all callers.
 718         (cp_parser_new_expression): Change placement and initializer to
 719         vecs.  Release them when done.
 720         (cp_parser_new_placement): Change return type to vec.  Change all
 721         callers.
 722         (cp_parser_new_initializer): Likewise.
 723         * typeck.c (build_function_call_vec): Just call
 724         cp_build_function_call_vec.
 725         (cp_build_function_call): Just build a vec and call
 726         cp_build_function_call_vec.
 727         (cp_build_function_call_vec): New function based on old
 728         cp_build_function_call.
 729         (convert_arguments): Remove nargs and argarray parameters.  Change
 730         values to a vec.  Change caller.
 731         (build_x_compound_expr_from_vec): New function.
 732         (cp_build_modify_expr): Build vec to pass to
 733         build_special_member_call.
 734         * call.c (struct z_candidate): Add first_arg field.  Change args
 735         field to vec.
 736         (convert_class_to_reference): Handle first argument separately.
 737         (add_candidate): Add first_arg parameter.  Change args parameter
 738         to vec.  Change all callers.
 739         (add_function_candidate, add_conv_candidate): Likewise.
 740         (add_template_candidate_real, add_template_candidate): Likewise.
 741         (add_template_conv_candidate): Likewise.
 742         (build_user_type_conversion_1): Handle first argument separately.
 743         (resolve_args): Change return type and parameter type to vecs.
 744         Change all callers.
 745         (perform_overload_resolution): Change args parameter to vec.
 746         Change all callers.
 747         (build_new_function_call, build_operator_new_call): Likewise.
 748         (add_candidates): Likewise.
 749         (build_op_call): New globally visible function, built from and
 750         replacing static function build_object_call.
 751         (build_new_op): Don't handle CALL_EXPR.  Build vec, not tree_list,
 752         of arguments.
 753         (build_op_delete_call): Build vec to pass to
 754         cp_build_function_call_vec.
 755         (build_temp): Build vec to pass to build_special_member_call.
 756         (convert_like_real): Likewise.
 757         (perform_direct_initialization_if_possible): Likewise.
 758         (build_over_call): Handle first_arg field.  Use build_call_array
 759         rather than build_call_list.
 760         (build_special_member_call): Change args parameter to vec.  Change
 761         all callers.
 762         (build_new_method_call): Likewise.
 763         * init.c (expand_default_init): Change parms to vec.
 764         (build_raw_new_expr): Change placement and init to vecs.  Change
 765         all callers.
 766         (build_new_1, build_new): Likewise.
 767         * class.c (resolve_address_of_overloaded_function): Build array to
 768         pass to fn_type_unification.
 769         * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to
 770         build_new.  For CALL_EXPR create a vec rather than a tree_list;
 771         expand a pack if necessary.
 772         (fn_type_unification): Change args parameter to const tree *.  Add
 773         nargs parameter.  Change all callers.
 774         (type_unification_real): Likewise.
 775         (unify): Build array to pass to type_unification_real.
 776         (get_bindings): Build array to pass to fn_type_unification.
 777         (any_type_dependent_arguments_p): Change args parameter to a vec.
 778         Change all callers.
 779         (make_args_non_dependent): Renamed from build_non_dependent_args.
 780         Change return type to void.  Change parameter type to vec.  Change
 781         all callers.
 782         (do_auto_deduction): Pass an array to type_unification_real.
 783         * semantics.c (perform_koenig_lookup): Change args to vec.  Change
 784         all callers.
 785         (finish_call_expr): Change args to vec.  Change all callers.  Call
 786         build_op_call instead of passing CALL_EXPR to build_new_op.
 787         (cxx_omp_create_clause_info): Allocate vec to pass to
 788         build_special_member_call.
 789         * decl2.c (build_offset_ref_call_from_tree): Change args parameter
 790         to vec.  Change all callers.
 791         * name-lookup.c (lookup_function_nonclass): Likewise.
 792         (struct arg_lookup): Change args to vec.
 793         (arg_assoc_namespace): Handle args as a vec.
 794         (arg_assoc_args_vec): New static function.
 795         (lookup_arg_dependent): Change args parameter to vec.  Change all
 796         callers.
 797         * method.c (do_build_assign_ref): Allocate vec to pass to
 798         build_special_member_call.
 799         * except.c (build_throw): Likewise.
 800         * typeck2.c (build_functional_cast): Likewise.
 801         * cvt.c (ocp_convert): Likewise.
 802         * tree.c (build_min_non_dep_call_vec): Change last parameter to
 803         vec.  Change all callers.
 804         * cp-tree.h: Update declarations.
 805         * name-lookup.h: Update declarations.
 806
 807 2009-05-20  Sandra Loosemore  <sandra@codesourcery.com>
 808
 809         * typeck.c (default_conversion): Check targetm.promoted_type.
 810         * decl.c (grokdeclarator): Check targetm.invalid_return_type.
 811         (grokparms): Check targetm.invalid_parameter_type.
 812         * cvt.c (ocp_convert): Check targetm.convert_to_type.
 813         (build_expr_type_conversion): Check targetm.promoted_type.
 814
 815 2009-05-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 816
 817         * typeck.c (build_binary_op): Allow % on integal vectors.
 818
 819 2009-05-18  Jason Merrill  <jason@redhat.com>
 820
 821         Implement explicit conversions ops as specified in N2437.
 822         * decl.c (grokdeclarator): Handle explicit conversion ops.
 823         (check_initializer): Pass flags to store_init_value.
 824         * decl2.c (maybe_emit_vtables): Likewise.
 825         * init.c (expand_aggr_init_1): Likewise.
 826         * call.c (convert_class_to_reference): Take flags parm,
 827         check DECL_NONCONVERTING_P.
 828         (build_user_type_conversion_1): Check DECL_NONCONVERTING_P.
 829         (add_builtin_candidates): Simplify getting type of conversion.
 830         (build_object_call): Likewise.  Check DECL_NONCONVERTING_P.
 831         (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING.
 832         (reference_binding): Take flags parm.  Direct-initialize copy parm.
 833         (add_function_candidate): Direct-initialize the copy parm.
 834         (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL.
 835         (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING.
 836         (conditional_conversion): Likewise.
 837         (convert_like_real): Only complain about DECL_NONCONVERTING_P
 838         constructors.
 839         (perform_implicit_conversion_flags): Add flags parm to
 840         perform_implicit_conversion.  Improve diagnostics.
 841         * cp-tree.h (LOOKUP_IMPLICIT): New macro.
 842         (LOOKUP_COPY_PARM): New bit macro.
 843         * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P.
 844         * typeck.c (convert_for_assignment): Take flags parm, pass it to
 845         perform_implicit_conversion_flags.
 846         (cp_build_modify_expr): Pass flags to convert_for_assignment.
 847         (convert_for_initialization): Likewise.
 848         * typeck2.c (store_init_value): Take flags parm, pass to
 849         digest_init_flags.
 850         (digest_init_flags): Add flags parm to digest_init.
 851         (digest_init_r): Take flags parm, pass to convert_for_initialization.
 852         (process_init_constructor_array): Pass it.
 853         (process_init_constructor_record): Likewise.
 854         (process_init_constructor_union): Likewise.
 855
 856 2009-05-16  Jason Merrill  <jason@redhat.com>
 857
 858         PR c++/40139
 859         * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing
 860         with a dependent type.  Actually look up the destructor.
 861         * semantics.c (finish_id_expression): Fix logic.
 862         (finish_qualified_id_expr): Don't try to use 'this' if we aren't in
 863         a function.
 864         * typeck.c (build_x_unary_op): Diagnose taking the address of a
 865         constructor or destructor.
 866         * tree.c (get_first_fn): Handle OFFSET_REF.
 867
 868 2009-05-17  Joseph Myers  <joseph@codesourcery.com>
 869
 870         * tree.c (cxx_printable_name_internal): Allow consecutive
 871         translated and untranslated cached copies of the name of the
 872         current function.
 873
 874 2009-05-15  Ian Lance Taylor  <iant@google.com>
 875
 876         * cp-tree.h (enum cp_lvalue_kind_flags): Rename from
 877         cp_lvalue_kind.  Change all uses.
 878         (enum base_access_flags): Rename from enum base_access.  Change
 879         all uses.
 880         * parser.c (enum cp_parser_flags): Remove enum tag.
 881
 882 2009-05-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 883
 884         PR 16302
 885         * call.c (build_new_op): Update calls to warn_logical_operator.
 886
 887 2009-05-14  Ian Lance Taylor  <iant@google.com>
 888
 889         * class.c (layout_class_type): Change itk to unsigned int.
 890         * decl.c (finish_enum): Change itk to unsigned int.
 891         * parser.c (cp_parser_check_decl_spec): Change ds to int.  Remove
 892         casts.
 893
 894 2009-05-13  David Mandelin <dmandelin@mozilla.com>:
 895
 896         * decl.c (duplicate_decls): Preserve parameter attributes.
 897
 898 2009-05-10  Jan Hubicka  <jh@suse.cz>
 899
 900         * decl2.c (cxx_callgraph_analyze_expr): Use
 901         cgraph_mark_address_taken.
 902
 903 2009-05-10  Joseph Myers  <joseph@codesourcery.com>
 904
 905         * call.c (name_as_c_string): Call type_as_string_translate.
 906         Translate identifiers to locale character set.
 907         * cp-tree.h (lang_decl_name): Update prototype.
 908         (type_as_string_translate, decl_as_string_translate,
 909         cxx_printable_name_translate): Declare.
 910         * cxx-pretty-print.c (M_): Define.
 911         (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark
 912         English fragments for conditional translation with M_.
 913         * decl.c (grokdeclarator): Translate identifiers to locale
 914         character set for diagnostics.
 915         * error.c (M_): Define.
 916         (dump_template_bindings, dump_type, dump_aggr_type,
 917         dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl,
 918         dump_function_decl, dump_template_parms, dump_expr,
 919         dump_binary_op, op_to_string, assop_to_string): Mark English
 920         fragments for conditional translation with M_.
 921         (type_as_string): Disable translation of identifiers.
 922         (type_as_string_translate): New.
 923         (expr_as_string): Disable translation of identifiers.
 924         (decl_as_string): Disable translation of identifiers.
 925         (decl_as_string_translate): New.
 926         (lang_decl_name): Add parameter translate.
 927         (args_to_string): Call type_as_string_translate.
 928         (cp_print_error_function): Call cxx_printable_name_translate.
 929         (print_instantiation_full_context,
 930         print_instantiation_partial_context): Call
 931         decl_as_string_translate.
 932         * parser.c (cp_lexer_get_preprocessor_token): Use %qE for
 933         identifier in diagnostic.
 934         * tree.c (cxx_printable_name): Change to
 935         cxx_printable_name_internal.  Add parameter translate.
 936         (cxx_printable_name, cxx_printable_name_translate): New wrappers
 937         round cxx_printable_name_internal.
 938
 939 2009-05-08  H.J. Lu  <hongjiu.lu@intel.com>
 940
 941         PR c/36892
 942         * call.c (build_call_a): Updated warn_deprecated_use call.
 943         (build_over_call): Likewise.
 944         * decl.c (grokdeclarator): Likewise.
 945         (grokparms): Likewise.
 946         * semantics.c (finish_id_expression): Likewise.
 947         * typeck.c (build_class_member_access_expr): Likewise.
 948         (finish_class_member_access_expr): Likewise.
 949
 950 2009-05-06  Dodji Seketeli  <dodji@redhat.com>
 951
 952         PR c++/17395
 953         * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
 954         whole list of PARM_DECLs, just the current one.
 955
 956 2009-05-05  Shujing Zhao  <pearly.zhao@oracle.com>
 957
 958         * cp-tree.h:
 959         (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook,
 960         mangle_compound_literal): Remove unused declarations.
 961         (build_vfield_ref, cxx_print_statistics, clone_function_decl,
 962         adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name,
 963         pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish,
 964         check_for_out_of_scope_variable, print_other_binding_stack,
 965         maybe_push_decl, cxx_mark_addressable, force_target_expr,
 966         build_target_expr_with_type, finish_case_label,
 967         cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block,
 968         check_template_keyword, cxx_omp_predetermined_sharing,
 969         cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
 970         cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause,
 971         cxx_omp_privatize_by_reference): Rearrange the declarations line to
 972         match the comment that indicates the .c file which the functions are
 973         defined.
 974         (cxx_print_xnode, cxx_print_decl, cxx_print_type,
 975         cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment.
 976
 977 2009-05-05  Nathan Sidwell  <nathan@codesourcery.com>
 978
 979         * typeck.c (cp_build_compound_expr): Require RHS to have a known
 980         type.
 981         * class.c (resolve_address_of_overloaded_function): Use
 982         OVL_CURRENT for error message.
 983         (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing
 984         with them.  Do not copy the node.
 985
 986 2009-05-05  Jakub Jelinek  <jakub@redhat.com>
 987
 988         PR c++/40013
 989         * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type,
 990         set it from its operand's type after tsubst_expr.
 991
 992 2009-05-04  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 993
 994         PR c++/28152
 995         * parser.c (cp_lexer_get_preprocessor_token):  Do not store the
 996         canonical spelling for keywords.
 997         (cp_parser_attribute_list): Use the canonical spelling for
 998         keywords in attributes.
 999
1000 2009-05-01  Joseph Myers  <joseph@codesourcery.com>
1001
1002         * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id,
1003         pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression,
1004         pp_cxx_new_expression, pp_cxx_delete_expression,
1005         pp_cxx_unary_expression, pp_cxx_assignment_operator,
1006         pp_cxx_assignment_expression, pp_cxx_expression,
1007         pp_cxx_function_specifier, pp_cxx_decl_specifier_seq,
1008         pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq,
1009         pp_cxx_exception_specification, pp_cxx_direct_declarator,
1010         pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement,
1011         pp_cxx_namespace_alias_definition, pp_cxx_template_parameter,
1012         pp_cxx_canonical_template_parameter, pp_cxx_template_declaration,
1013         pp_cxx_declaration, pp_cxx_typeid_expression,
1014         pp_cxx_va_arg_expression, pp_cxx_offsetof_expression,
1015         pp_cxx_trait_expression): Mostly use pp_string and
1016         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
1017         for non-identifiers.  Mark English strings for translation.
1018         * cxx-pretty-print.h (pp_cxx_ws_string): Define.
1019         * error.c (dump_template_parameter, dump_template_bindings,
1020         dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl,
1021         dump_decl, dump_template_decl, dump_function_decl,
1022         dump_parameters, dump_exception_spec, dump_template_parms,
1023         dump_expr, dump_binary_op, dump_unary_op, op_to_string,
1024         assop_to_string, args_to_string, cp_print_error_function,
1025         print_instantiation_full_context,
1026         print_instantiation_partial_context): Mostly use pp_string and
1027         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
1028         for non-identifiers.  Mark English strings for translation.
1029         (dump_global_iord): Mark strings for translation; use longer
1030         strings instead of substituting single words.
1031         (function_category): Return a format string marked for
1032         translation, not a single word or phrase to substitute in a longer
1033         phrase.
1034
1035 2009-04-28  Ben Elliston  <bje@au.ibm.com>
1036
1037         PR c++/35652
1038         Revert:
1039
1040         2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1041
1042         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
1043
1044 2009-04-27  Ian Lance Taylor  <iant@google.com>
1045
1046         * semantics.c (finish_omp_clauses): Change type of c_kind to enum
1047         omp_clause_code.
1048
1049 2009-04-27  Jakub Jelinek  <jakub@redhat.com>
1050
1051         PR c++/39875
1052         * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about
1053         -Wunused-value if implicit.
1054
1055 2009-04-24  Ian Lance Taylor  <iant@google.com>
1056
1057         * call.c (build_temp): Change 0 to enum constant.
1058         * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum
1059         type.
1060         * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type.
1061         * decl2.c (constrain_visibility): Likewise.
1062         * parser.c (cp_lexer_get_preprocessor_token): Likewise.
1063         (cp_parser_flags): Typedef to int rather than enum type.
1064         (cp_parser_expression_stack_entry): Change prec field to enum
1065         cp_parser_prec.
1066
1067         * typeck.c (build_modify_expr): Add lhs_origtype parameter.
1068         Change all callers.
1069
1070 2009-04-22  Dodji Seketeli  <dodji@redhat.com>
1071
1072         PR c++/39639
1073         * parser.c (cp_parser_template_argument_list): Display an error
1074         when an ellipsis is not preceded by a parameter pack. Also, warn
1075         about variadic templates usage without -std=c++0x.
1076
1077 2009-04-21  Taras Glek <tglek@mozilla.com>
1078
1079         * cp-tree.h: Update GTY annotations to new syntax.
1080         * decl.c: Likewise.
1081         * mangle.c: Likewise.
1082         * name-lookup.c: Likewise.
1083         * name-lookup.h: Likewise.
1084         * parser.c: Likewise.
1085         * pt.c: Likewise.
1086         * rtti.c: Likewise.
1087         * semantics.c: Likewise.
1088         * typeck2.c: Likewise.
1089
1090 2009-04-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1091
1092         PR c++/14875
1093         * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
1094
1095 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1096
1097         PR c++/35711
1098         * typeck.c (check_for_casting_away_constness): We diagnose casting
1099         away any qualifiers not just constness.
1100         (casts_away_constness): Mention that it handles more than just
1101         constness.
1102
1103 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
1104
1105         * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
1106         ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
1107         ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
1108         ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
1109         ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
1110         cfns.gperf: Add copyright and license notices.
1111         * cfns.h: Regenerate.
1112         * ChangeLog, ChangeLog-2004: Correct dates.
1113
1114 2009-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1115
1116         PR 16202
1117         * tree.c (lvalue_p_1): Use const_tree.
1118         Use CONST_CAST_TREE to avoid warning.
1119         (lvalue_p): Returns bool, receives const_tree.
1120
1121 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1122
1123         PR c++/13358
1124         * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
1125         * error.c (pedwarn_cxx98): New.
1126         * cp-tree.h (pedwarn_cxx98): Declare.
1127
1128 2009-04-20  Le-Chun Wu  <lcwu@google.com>
1129
1130         PR c++/39803
1131         * init.c (build_vec_init): Set TREE_NO_WARNING on the
1132         compiler-generated INDIRECT_REF expression.
1133
1134 2009-04-20  Ian Lance Taylor  <iant@google.com>
1135
1136         * typeck.c (build_function_call_vec): New function.
1137         (cp_build_function_call): Only pass first parameter to
1138         objc_rewrite_function_call.
1139         (build_modify_expr): Add rhs_origtype parameter.  Change all
1140         callers.
1141         * decl.c (finish_decl): Add origtype parameter.  Change all
1142         callers.
1143         * semantics.c (finish_call_expr): Pass VEC to
1144         resolve_overloaded_builtin.
1145
1146 2009-04-20  Ian Lance Taylor  <iant@google.com>
1147
1148         * cp-tree.h (base_access): Change typedef to int.
1149         * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
1150         (cp_parser_omp_threadprivate): Likewise.
1151         * pt.c (unify_pack_expansion): Add casts to enum type.
1152
1153 2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1154
1155         PR c/32061
1156         PR c++/36954
1157         * call.c (build_new_op): Save the original codes of operands
1158         before folding.
1159
1160 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
1161
1162         * cp-tree.h: Remove the prototype for insert_block.
1163         * decl.c (insert_block): Remove.
1164
1165 2009-04-16  Ian Lance Taylor  <iant@google.com>
1166
1167         * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
1168         (tsubst_flags_t): Change typedef from enum type to int.
1169
1170 2009-04-16  Paolo Bonzini  <bonzini@gnu.org>
1171
1172         * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
1173         instead of targetm.vector_opaque_p.
1174
1175 2009-04-15  Le-Chun Wu  <lcwu@google.com>
1176
1177         PR c++/39551
1178         * call.c (build_over_call): Set TREE_NO_WARNING on the
1179         compiler-generated INDIRECT_REF expression.
1180         * cvt.c (convert_to_void): Emit warning when stripping off
1181         INDIRECT_REF.
1182
1183 2009-04-14  Diego Novillo  <dnovillo@google.com>
1184
1185         * parser.c (cp_parser_type_specifier_seq): Move call to
1186         invoke_plugin_callbacks ...
1187         (cp_parser_type_specifier_seq): ... here.
1188
1189 2009-04-14  Le-Chun Wu  <lcwu@google.com>
1190
1191         * Make-lang.in: Modify dependencies of files including plugin.h.
1192         * decl.c (finish_function): Call invoke_plugin_callbacks.
1193         * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
1194
1195 2009-04-14  Jason Merrill  <jason@redhat.com>
1196
1197         PR c++/39763
1198         * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
1199         about shadowing by tentative parms.
1200
1201 2009-04-13  Jason Merrill  <jason@redhat.com>
1202
1203         PR c++/39480
1204         * call.c (build_over_call): Don't call memcpy if the target is
1205         the same as the source.
1206
1207 2009-04-13  Jason Merrill  <jason@redhat.com>
1208
1209         PR c++/39750
1210         * pt.c (uses_template_parms): Handle CONSTRUCTOR.
1211
1212 2009-04-12  Jason Merrill  <jason@redhat.com>
1213
1214         PR c++/39742
1215         * call.c (joust): Don't crash on variadic fn.
1216
1217 2009-04-10  Jason Merrill  <jason@redhat.com>
1218
1219         PR c++/28301
1220         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
1221         if we see a close brace without an open brace.
1222
1223 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
1224
1225         * parser.c (cp_parser_class_specifier): Remove the unused
1226         has_trailing_semicolon.
1227
1228 2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1229
1230         PR  c++/20118
1231         * parser.c (cp_parser_check_template_parameters): Take a
1232         cp_declarator parameter.
1233         (cp_parser_elaborated_type_specifier): Update to
1234         cp_parser_check_template_parameters.
1235         (cp_parser_class_head): Likewise.
1236         (cp_parser_check_declarator_template_parameters): Likewise.
1237         (cp_parser_check_template_parameters): Handle first the non-error
1238         conditions. Give more accurate diagnostics if a declarator is
1239         given.
1240
1241 2009-04-08  Jason Merrill  <jason@redhat.com>
1242
1243         PR c++/25185
1244         * error.c (dump_aggr_type): Chase template typedefs if
1245         -fno-pretty-templates.
1246
1247 2009-04-08  Dodji Seketeli  <dodji@redhat.com>
1248
1249         PR c++/39637
1250         * parser.c (cp_parser_enumerator_definition): Make sure the
1251         initializer of the enumerator doesn't contain any bare parameter pack.
1252
1253 2009-04-07  Jason Merrill  <jason@redhat.com>
1254
1255         PR c++/34691
1256         * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
1257         * call.c (joust): Complain about mismatched default arguments
1258         in extern "C" functions.
1259         * class.c (resolve_address_of_overloaded_function): Handle multiple
1260         extern "C" functions.
1261         * pt.c (resolve_overloaded_unification): Likewise.
1262
1263 2009-04-07  Jason Merrill  <jason@redhat.com>
1264
1265         PR c++/25185
1266         * error.c (dump_function_decl): Don't pretty-print templates
1267         if -fno-pretty-templates.
1268         (count_non_default_template_args): Print all args if
1269         -fno-pretty-templates.
1270
1271 2009-04-06  Jason Merrill  <jason@redhat.com>
1272
1273         PR c++/35146
1274         * pt.c (fn_type_unification): For DEDUCE_EXACT check that
1275         the deduced template arguments give us the parameter types
1276         we're looking for.
1277
1278 2009-04-05  Giovanni Bajo <giovannibajo@libero.it>
1279             Jason Merrill  <jason@redhat.com>
1280
1281         PR c++/14912
1282         * error.c (count_non_default_template_args): New fn.
1283         (dump_template_parms): Call it.
1284         (dump_template_argument_list): Call it.  Add parms parm.
1285         (dump_template_argument): Adjust call to dump_template_argument_list.
1286         (dump_type, dump_decl): Likewise.
1287         (dump_template_bindings): Refactor logic.
1288
1289 2009-04-03  Jason Merrill  <jason@redhat.com>
1290
1291         PR c++/25185
1292         * error.c (dump_template_bindings): Look through typedefs in
1293         typename results.
1294         (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
1295         (find_typenames_r): Also collect typedefs.
1296         * pt.c (unify): Strip typedefs.
1297
1298         PR c++/39608
1299         * semantics.c (finish_id_expression): Don't assume a dependent
1300         member of the current instantiation isn't a valid integral
1301         constant expression.  Check dependent_scope_p.
1302         * pt.c (dependent_scope_p): Check TYPE_P.
1303         (tsubst_copy): If args is null, just return.
1304
1305 2009-04-02  Jason Merrill  <jason@redhat.com>
1306
1307         PR c++/25185
1308         * error.c (find_typenames, find_typenames_r): New fns.
1309         (dump_function_decl): Call find_typenames.
1310         (dump_template_bindings): Print typenames as well.
1311         * pt.c (tsubst): Non-static.
1312         * cp-tree.h: Declare it.
1313
1314 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
1315
1316         PR c++/26693
1317         * decl2.c (grokfield): when a typedef appears in a
1318         class, create the typedef variant type node for it.
1319         (save_template_attributes): Creating typedef variant type node
1320          here is now useless.
1321         * decl.c (grokdeclarator): If the typedef'ed struct/class was
1322         anonymous, set the proper type name to all its type variants.
1323         (xref_basetypes) : Fixup the variant types after setting
1324         TYPE_BINFO on REF.
1325         * name-lookup.c (pushdecl_maybe_friend): Reuse the
1326         set_underlying_type function to install typedef variant types.
1327         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
1328         macro.
1329         (append_type_to_template_for_access_check): New entry points.
1330         * semantics.c (check_accessibility_of_qualified_id):
1331         When a typedef that is a member of a class appears in a template,
1332         add it to the template. It will be ...
1333         * class.c (finish_struct_bits): Split type variant fixup into ...
1334         (fixup_type_variants): A new entry point.
1335         * pt.c (instantiate_class_template, instantiate_template ): ... access
1336         checked at template instantiation time.
1337         (resolve_type_name_type): The type name should be the name of the
1338         main type variant.
1339         (retrieve_specialization): Specializations of template typedefs aren't
1340         to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
1341         (append_type_to_template_for_access_check): New entry point.
1342         (tsubst_decl): For typedefs, build the variant type from the correct
1343         original type.
1344         (get_class_bindings): Fix function comment.
1345         (perform_typedefs_access_check): New entry point.
1346
1347 2009-03-31  Jason Merrill  <jason@redhat.com>
1348
1349         PR c++/34691
1350         * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
1351         extern "C" declarations.
1352
1353         C++ DR 613
1354         * semantics.c (finish_non_static_data_member): Allow such references
1355         without an associated object in sizeof/decltype/alignof.
1356
1357         * ptree.c (cxx_print_decl): Pretty-print full name of
1358         function/template.
1359         (cxx_print_type): Pretty-print full name of class.
1360
1361         * decl.c (grokdeclarator): Reject pointer to qualified function
1362         type.
1363
1364         PR c++/37806, core issue 547
1365         * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
1366         to a typedef.
1367         * tree.c (cp_build_qualified_type_real): Don't apply restrict to a
1368         function type.
1369         * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
1370         * decl.c (groktypename): Add is_template_arg parameter.
1371         (grokdeclarator): Allow function cv-quals on a template type arg.
1372         * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
1373         is_template_arg argument in calls to groktypename.
1374         * cp-tree.h: Adjust prototype.
1375         * error.c (dump_type_prefix, dump_type_suffix): Fix plain
1376         FUNCTION_TYPE printing.
1377
1378         * mangle.c (write_expression): Mangle dependent name as
1379         source-name.
1380
1381         PR c++/38030, 38850, 39070
1382         * pt.c (type_dependent_expression_p_push): New fn.
1383         (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
1384         substitution makes the call non-dependent.  Preserve koenig_p.
1385         * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
1386         for non-dependent calls.
1387         * semantics.c (finish_call_expr): Revert earlier changes.
1388         * cp-tree.h: Revert change to finish_call_expr prototype.
1389
1390 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1391
1392         PR preprocessor/34695
1393         * cp-tree.h (cp_cpp_error): Remove.
1394         * error.c (cp_cpp_error): Remove.
1395         * parser.c (cp_lexer_new_main): Set done_lexing instead of
1396         client_diagnostic and error callback.
1397
1398 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
1399
1400         * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
1401         * cp/cp-objcp-common.c (cxx_staticp): Remove.
1402         * cp/cp-tree.h (cxx_staticp): Remove.
1403
1404 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
1405
1406         PR c++/39554
1407         * parser.c (cp_parser_postfix_expression): Don't call
1408         warning_if_disallowed_function_p.
1409
1410 2009-03-27  Jan Hubicka  <jh@suse.cz>
1411
1412         * except.c (choose_personality_routine): Set terminate_node to abort
1413         for java exceptions.
1414
1415 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
1416             Jakub Jelinek  <jakub@redhat.com>
1417
1418         PR debug/37959
1419         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
1420         (cp_function_decl_explicit_p): New prototype.
1421         * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
1422
1423 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1424
1425         PR c++/38638
1426         * parser.c (cp_parser_elaborated_type_specifier): If we have a
1427         typename tag and don't have either a TYPE_DECL or a
1428         TEMPLATE_ID_EXPR, set the type to NULL.
1429
1430 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
1431
1432         PR c++/37647
1433         * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
1434         scope.
1435
1436 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
1437
1438         PR c++/29727
1439         * decl.c (check_array_designated_initializer): Handle error_mark_node.
1440
1441 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1442
1443         PR c++/35652
1444         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
1445
1446 2009-03-26  Andrew Haley  <aph@redhat.com>
1447
1448         PR C++/39380
1449         * decl2.c (possibly_inlined_p): If java exceptions are in use
1450         don't inline a decl unless it is explicitly marked inline.
1451         * lex.c: (pragma_java_exceptions): New variable.
1452         (handle_pragma_java_exceptions): Set pragma_java_exceptions.
1453         * cp-tree.h (pragma_java_exceptions): Declare new variable.
1454
1455 2009-03-24  Jason Merrill  <jason@redhat.com>
1456
1457         PR c++/28274
1458         * name-lookup.c (pushdecl_maybe_friend): Check default args later.
1459
1460 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1461
1462         PR c/39495
1463         * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
1464         code if iter is the second operand.
1465         * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
1466         argument.  If it is set, don't build the toplevel expression with
1467         build_x_binary_op, but build2.
1468         (cp_parser_assignment_expression,  cp_parser_omp_for_incr): Adjust
1469         callers.
1470         (cp_parser_omp_for_cond): Don't assume the first operand of the
1471         comparison must be decl.
1472
1473 2009-03-23  Jason Merrill  <jason@redhat.com>
1474
1475         PR c++/37729
1476         * pt.c (make_fnparm_pack): Split out from...
1477         (instantiate_decl): ...here.
1478         (tsubst_pack_expansion): Handle being called in a late-specified
1479         return type.
1480
1481         PR c++/39526
1482         * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
1483         a parm with a parm.
1484
1485 2009-03-20  Jason Merrill  <jason@redhat.com>
1486
1487         PR c++/28879
1488         * parser.c (cp_parser_direct_declarator): In a template, wrap
1489         non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
1490         * pt.c (tsubst): Preserve it in a partial instantiation.
1491         (dependent_type_p_r): Don't check value_dependent_expression_p.
1492         * decl.c (compute_array_index_type): Don't check
1493         value_dependent_expression_p if TREE_SIDE_EFFECTS.
1494
1495         C++ core issue 703
1496         * typeck2.c (check_narrowing): Don't complain about loss of
1497         precision when converting a floating-point constant.
1498
1499 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1500
1501         PR c/39495
1502         * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
1503         (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
1504
1505 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
1506
1507         * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
1508         (eof_token): Adjust.
1509
1510 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
1511
1512         PR c++/39425
1513         * parser.c (cp_parser_explicit_specialization): Don't skip the
1514         rest of the specialization when begin_specialization returns
1515         false.
1516
1517 2009-03-17  Jason Merrill  <jason@redhat.com>
1518
1519         * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
1520         (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
1521         * pt.c (check_explicit_specialization): Likewise.
1522         (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
1523         local specialization.
1524         * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
1525         * decl2.c (parm_index): New fn.
1526         * semantics.c (finish_decltype_type): Don't use describable_type.
1527         * mangle.c (write_expression): Likewise.  Mangle ALIGNOF_EXPR.
1528         Give a sorry for unsupported codes rather than crash.  Mangle
1529         conversions with other than 1 operand.  New mangling for PARM_DECL.
1530         * operators.def (ALIGNOF_EXPR): Mangle as "az".
1531
1532 2009-03-17  Jing Yu  <jingyu@google.com>
1533
1534         PR middle-end/39378
1535         * method.c (use_thunk): Change is_thunk from crtl to cfun.
1536
1537 2009-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
1538
1539         PR c++/39475
1540         * semantics.c (check_trait_type): New.
1541         (finish_trait_expr): Use it.
1542
1543 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
1544
1545         * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
1546         instead of calling imported_module_or_decl debug hook if
1547         building_stmt_tree ().
1548         * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
1549         is a NAMESPACE_DECL.
1550
1551         PR debug/37890
1552         * name-lookup.c (do_namespace_alias): Don't call global_decl debug
1553         hook at function scope.
1554
1555         PR debug/39471
1556         * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
1557         on IMPORTED_DECL.
1558
1559 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
1560
1561         PR c++/39371
1562         * semantics.c (finish_switch_cond): Don't call get_unwidened.
1563         * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
1564         instead of TREE_TYPE (cond).
1565
1566 2009-03-08  H.J. Lu  <hongjiu.lu@intel.com>
1567
1568         PR c++/39060
1569         * parser.c (cp_parser_late_parsing_default_args): Continue
1570         the loop when cp_parser_assignment_expression returns
1571         error_mark_node.
1572
1573 2009-03-07  Jason Merrill  <jason@redhat.com>
1574
1575         PR c++/39367
1576         * init.c (build_new_1): Don't use a VLA type.
1577         (build_vec_init): Handle getting a pointer for BASE.
1578
1579 2009-03-06  H.J. Lu  <hongjiu.lu@intel.com>
1580
1581         PR c++/37520
1582         * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
1583         when mangling symbols.
1584
1585 2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
1586
1587         PR c++/33492
1588         * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
1589
1590 2009-03-06  Alexandre Oliva  <aoliva@redhat.com>
1591
1592         * decl.c (record_builtin_java_type): Use canonicalized integer
1593         types.
1594
1595 2009-03-04  Jason Merrill  <jason@redhat.com>
1596
1597         PR c++/38908
1598         * class.c (is_really_empty_class): New fn.
1599         * cp-tree.h: Declare it.
1600         * cp-objcp-common.c (cp_expr_size): Use it.
1601
1602         PR c++/13549
1603         * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
1604         * parser.c (cp_parser_postfix_expression): Call it for
1605         TEMPLATE_ID_EXPR.
1606         * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
1607         (get_first_fn): Likewise.
1608
1609         PR c++/9634
1610         PR c++/29469
1611         PR c++/29607
1612         Implement DR 224.
1613         * decl.c (make_typename_type): Do look inside currently open classes.
1614         * parser.c (cp_parser_lookup_name): Likewise.
1615         (cp_parser_template_name): Likewise.
1616         * pt.c (dependent_scope_p): New function.
1617         * cp-tree.h: Declare it.
1618         * class.c (currently_open_class): Return fast if T isn't a class.
1619
1620 2009-02-26  H.J. Lu  <hongjiu.lu@intel.com>
1621
1622         PR c++/37789
1623         * parser.c (cp_parser_mem_initializer): Return error_mark_node
1624         if cp_parser_mem_initializer_id returns error_mark_node.
1625
1626 2009-02-24  Richard Guenther  <rguenther@suse.de>
1627
1628         PR c++/39242
1629         * pt.c (instantiate_decl): Do not instantiate extern, non-inline
1630         declared functions.
1631
1632 2009-02-23  H.J. Lu  <hongjiu.lu@intel.com>
1633
1634         PR c++/36411
1635         * pt.c (coerce_template_template_parms): Return 0 if parameter
1636         is error_mark_node.
1637
1638 2009-02-23  Jason Merrill  <jason@redhat.com>
1639
1640         * pt.c (unify): Call maybe_adjust_types_for_deduction when
1641         deducing from an initializer list.
1642
1643 2009-02-20  Jason Merrill  <jason@redhat.com>
1644
1645         PR c++/39225
1646         * decl.c (grokdeclarator): Handle ~identifier.
1647
1648 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
1649
1650         PR target/39175
1651         * decl2.c (determine_visibility): If visibility changed and
1652         DECL_RTL has been already set, call make_decl_rtl to update symbol
1653         flags.
1654
1655 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
1656
1657         PR c++/39188
1658         * cp-tree.h (maybe_commonize_var): New.
1659
1660         * decl.c (maybe_commonize_var): Make it extern.
1661
1662         * decl2.c (finish_anon_union): Call maybe_commonize_var.
1663
1664 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
1665
1666         PR c++/39219
1667         * parser.c (cp_parser_enum_specifier): Apply all attributes.
1668
1669 2009-02-18  Jason Merrill  <jason@redhat.com>
1670
1671         * cfns.h: Tweak pathname for cfns.gperf.
1672
1673 2009-02-13  Jason Merrill  <jason@redhat.com>
1674
1675         PR c++/39070
1676         * semantics.c (finish_call_expr): Change koenig_p parm to int.
1677         If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
1678         * cp-tree.h: Adjust prototype.
1679         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
1680
1681 2009-02-12  Jason Merrill  <jason@redhat.com>
1682
1683         PR c++/38950
1684         * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
1685
1686 2009-02-11  Jason Merrill  <jason@redhat.com>
1687
1688         PR c++/39153
1689         * decl2.c (cp_write_global_declarations):
1690         Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
1691
1692         PR c++/30111
1693         * init.c (build_value_init_noctor): Split out from...
1694         (build_value_init): ...here.
1695         (expand_aggr_init_1): Handle value-initialization.
1696         * cp-tree.h: Add declaration.
1697         * class.c (type_has_user_provided_constructor):
1698         Handle non-class arguments.
1699
1700 2009-02-10  Jason Merrill  <jason@redhat.com>
1701
1702         PR c++/38649
1703         * class.c (defaultable_fn_p): Handle ... properly.
1704
1705         PR c++/36744
1706         * tree.c (lvalue_p_1): Condition rvalue ref handling on
1707         treat_class_rvalues_as_lvalues, too.
1708
1709 2009-02-10  Paolo Carlini  <paolo.carlini@oracle.com>
1710
1711         PR c++/34397
1712         * typeck.c (build_x_array_ref): New.
1713         * cp-tree.h: Declare it.
1714         * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
1715
1716 2009-02-09  Jason Merrill  <jason@redhat.com>
1717
1718         PR c++/39109
1719         * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
1720         * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
1721         * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
1722         * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
1723         for build_value_init TARGET_EXPR.
1724         * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
1725
1726 2009-02-06  Paolo Carlini  <paolo.carlini@oracle.com>
1727
1728         PR c++/35147
1729         PR c++/37737
1730         * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
1731
1732 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
1733
1734         PR c++/39095
1735         * operators.def: Use COMPONENT_REF code for ->/pt operator again,
1736         remove ./dt operator.
1737         * mangle.c (write_expression): Handle COMPONENT_REF after handling
1738         ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
1739         write_string ("dt") instead of using operators.def.
1740
1741 2009-02-03  Jason Merrill  <jason@redhat.com>
1742
1743         * typeck.c (cp_build_unary_op): Only complain about taking address
1744         of main if pedantic.
1745
1746 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1747
1748         PR inline-asm/39059
1749         * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
1750
1751         PR c++/39056
1752         * typeck2.c (digest_init_r): Don't call process_init_constructor
1753         for COMPLEX_TYPE.
1754
1755 2009-02-03  Paolo Bonzini  <bonzini@gnu.org>
1756
1757         PR c++/36897
1758         * pt.c (convert_nontype_argument_function): Expect expr to be an
1759         ADDR_EXPR.
1760
1761         PR c++/37314
1762         * typeck.c (merge_types): Call resolve_typename_type if only
1763         one type is a typename.
1764
1765 2009-02-02  Jason Merrill  <jason@redhat.com>
1766
1767         PR c++/39054
1768         * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node
1769         in BIT_NOT_EXPR.
1770
1771 2009-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1772
1773         PR c++/39053
1774         * parser.c (cp_parser_pure_specifier): If there are no tokens left
1775         do not call cp_lexer_consume_token.
1776
1777 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
1778
1779         PR c++/39028
1780         * parser.c (cp_parser_already_scoped_statement): Handle __label__
1781         declarations.
1782
1783 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1784
1785         PR c++/33465
1786         * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
1787
1788 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1789
1790         PR c++/38655
1791         * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
1792
1793 2009-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1794
1795         * typeck.c (invalid_nonstatic_memfn_p): Use
1796         DECL_NONSTATIC_MEMBER_FUNCTION_P.
1797
1798 2009-01-27  Paolo Carlini  <paolo.carlini@oracle.com>
1799
1800         PR c++/37554
1801         * call.c (build_over_call): If convert_for_arg_passing returns
1802         error_mark_node unconditionally return it.
1803
1804 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
1805
1806         * class.c (check_field_decls): Also inherit packed for bitfields
1807         regardless of their type.
1808
1809 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
1810
1811         PR c++/38930
1812         * decl2.c (grokfield): Reverting changes of PR c++/26693
1813         (save_template_attributes): Likewise.
1814         * decl.c (grokdeclarator): Likewise.
1815         * name-lookup.c (pushdecl_maybe_friend): Likewise.
1816         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
1817         (append_type_to_template_for_access_check): Likewise.
1818         * semantics.c (check_accessibility_of_qualified_id): Likewise.
1819         * pt.c (instantiate_class_template, instantiate_template ): Likewise.
1820         (tsubst): Likewise.
1821         (resolve_type_name_type): Likewise.
1822         (append_type_to_template_for_access_check): Likewise.
1823
1824 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
1825
1826         PR c++/26693
1827         * decl2.c (grokfield): when a typedef appears in a
1828         class, create the typedef variant type node for it.
1829         (save_template_attributes): Creating typedef variant type node
1830          here is now useless.
1831         * decl.c (grokdeclarator): If the typedef'ed struct/class was
1832         anonymous, set the proper type name to all its type variants.
1833         * name-lookup.c (pushdecl_maybe_friend): Reuse the
1834         set_underlying_type function to install typedef variant types.
1835         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
1836         macro.
1837         (append_type_to_template_for_access_check): New entry points.
1838         * semantics.c (check_accessibility_of_qualified_id):
1839         When a typedef that is a member of a class appears in a template,
1840         add it to the template. It will be ...
1841         * pt.c (instantiate_class_template, instantiate_template ): ... access
1842         checked at template instantiation time.
1843         (tsubst): Handle the case of being called with NULL args.
1844         (resolve_type_name_type): The type name should be the name of the
1845         main type variant.
1846         (append_type_to_template_for_access_check): New entry point.
1847
1848 2009-01-19  Jason Merrill  <jason@redhat.com>
1849
1850         PR c++/23287
1851         * parser.c (cp_parser_unqualified_id): In a template,
1852         accept ~identifier.
1853         * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
1854
1855 2009-01-16  Jason Merrill  <jason@redhat.com>
1856
1857         PR c++/38877
1858         * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
1859         * init.c (build_new): Don't call describable_type unless we
1860         have an auto.
1861
1862         PR c++/29470
1863         * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
1864
1865         PR c++/38579
1866         * search.c (protected_accessible_p): N doesn't vary.
1867
1868 2009-01-15  Jason Merrill  <jason@redhat.com>
1869
1870         PR c++/38850
1871         * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
1872         accept hidden friends.
1873
1874 2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1875
1876         PR C++/29388
1877         * decl.c (grokdeclarator): Check for a non namespace/class context.
1878
1879 2009-01-15  Jason Merrill  <jason@redhat.com>
1880
1881         PR c++/36334
1882         PR c++/37646
1883         * tree.c (lvalue_p_1): Handle BASELINK.  A COMPONENT_REF to
1884         a function isn't necessarily an lvalue. Take tree, not const_tree.
1885         (lvalue_p, real_lvalue_p): Take tree, not const_tree.
1886         * typeck.c (lvalue_or_else): Likewise.
1887         * cp-tree.h: Adjust prototypes.
1888
1889 2009-01-15  Steve Ellcey  <sje@cup.hp.com>
1890
1891         PR c++/38357
1892         * pt.c (tsubst): Check for NULL args.
1893
1894 2009-01-15  Dodji Seketeli  <dodji@redhat.com>
1895
1896         PR c++/38636
1897         * name-lookup.c (pushtag): Don't create members to types that are not
1898         being created.
1899
1900 2009-01-14  Nick Clifton  <nickc@redhat.com>
1901
1902         PR c++/37862
1903         * parser.c: Pass cp_id_kind computed in
1904         cp_parser_postfix_dot_deref_expression to
1905         cp_parser_primary_expression.
1906
1907 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
1908
1909         PR c++/38795
1910         * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
1911         STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
1912         as CAST_EXPR.
1913
1914 2009-01-12  Jason Merrill  <jason@redhat.com>
1915             Steve Ellcey  <sje@cup.hp.com>
1916
1917         PR c++/35109
1918         * name-lookup.c (lookup_name_real): Keep looking past a hidden
1919         binding.
1920
1921 2009-01-12  Dodji Seketeli  <dodji@redhat.com>
1922
1923         PR c++/36019
1924         * pt.c (parameter_of_template_p): New function.
1925         * cp-tree.h: Declare it.
1926         * name-lookup.c (binding_to_template_parms_of_scope_p): New
1927         function.
1928         (outer_binding): Take template parameters in account when looking for
1929         a name binding.
1930
1931 2009-01-12  Jason Merrill  <jason@redhat.com>
1932
1933         PR c++/31488
1934         * tree.c (pod_type_p): Return 1 for structs created by the back end.
1935
1936 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
1937
1938         PR c/32041
1939         * parser.c (cp_parser_builtin_offsetof): Allow `->' in
1940         offsetof member-designator, handle it as `[0].'.
1941
1942         PR c++/38794
1943         * decl.c (start_function): If grokdeclarator hasn't returned
1944         FUNCTION_DECL nor error_mark_node, issue diagnostics.
1945
1946 2009-01-11  Jakub Jelinek  <jakub@redhat.com>
1947
1948         PR c++/36254
1949         * cp-gimplify.c (genericize_if_stmt): Renamed from ...
1950         (gimplify_if_stmt): ... this.
1951         (cp_gimplify_expr): Don't handle IF_STMT here.
1952         (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
1953
1954 2009-01-10  Andrew Pinski  <pinskia@gmail.com>
1955
1956         PR c++/38648
1957         * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
1958
1959         PR c++/36695
1960         * typeck2.c (build_functional_cast): Check for reference type and NULL
1961         PARMS.
1962
1963 2009-01-09  Steve Ellcey  <sje@cup.hp.com>
1964
1965         * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
1966
1967 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
1968
1969         PR c++/35335
1970         * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
1971
1972 2009-01-09  John F. Carr  <jfc@mit.edu>
1973
1974         PR c++/37877
1975         * parser.c (cp_parser_class_specifier): Clear
1976         parser->in_unbraced_linkage_specification_p while parsing class
1977         specifiers.
1978
1979 2009-01-07  Jakub Jelinek  <jakub@redhat.com>
1980
1981         PR c++/38725
1982         * semantics.c (finish_goto_stmt): Convert destination to
1983         void *.
1984
1985 2009-01-06  Jason Merrill  <jason@redhat.com>
1986
1987         PR c++/35297
1988         PR c++/35477
1989         PR c++/35784
1990         PR c++/36846
1991         PR c++/38276
1992         * pt.c (check_default_tmpl_args): Don't complain about
1993         out-of-order parameter packs in the enclosing class
1994         or parameter packs after default args.
1995         (coerce_template_parms): If we have more than one
1996         parameter pack, don't flatten argument packs.
1997         (template_args_equal): Handle argument packs.
1998         (comp_template_args): Don't flatten argument packs.
1999         (check_instantiated_arg): Split out from...
2000         (check_instantiated_args): Here.  Handle arg packs.
2001         (convert_template_argument): Just check that nontype argument
2002         packs have the right type.
2003
2004 2009-01-05  Dodji Seketeli  <dodji@redhat.com>
2005
2006         PR c++/38472
2007         * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
2008
2009 2009-01-05  Jason Merrill  <jason@redhat.com>
2010
2011         PR c++/38698
2012         * typeck2.c (process_init_constructor_union): Handle union with
2013         no fields.
2014
2015         * mangle.c (write_expression): Remove mangling for zero-operand
2016         casts.
2017
2018         PR c++/38701
2019         * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
2020         defaulting.
2021
2022         PR c++/38702
2023         * class.c (defaultable_fn_p): Only operator== can be a copy
2024         assignment operator.
2025
2026 2009-01-02  Jason Merrill  <jason@redhat.com>
2027
2028         PR c++/38698
2029         * typeck2.c (process_init_constructor_union): Handle excess
2030         initializers.
2031         (process_init_constructor_record): Likewise.
2032
2033         PR c++/38684
2034         * typeck2.c (digest_init_r): Don't use process_init_constructor
2035         for non-aggregate classes.
2036
2037 \f
2038 Copyright (C) 2009 Free Software Foundation, Inc.
2039
2040 Copying and distribution of this file, with or without modification,
2041 are permitted in any medium without royalty provided the copyright
2042 notice and this notice are preserved.