gcc/cp/ChangeLog

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