gcc/cp/ChangeLog

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