gcc/cp/ChangeLog

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