gcc/cp/ChangeLog

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