gcc/cp/ChangeLog

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