gcc/cp/ChangeLog

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