gcc/cp/ChangeLog

   1 2009-11-23  Dodji Seketeli  <dodji@redhat.com>
   2
   3         PR c++/14777
   4         * cp-tree.def <TEMPLATE_INFO>: Declare new kind of tree
   5         node.
   6         * cp-tree.h (struct tree_template_info,
   7         struct qualified_typedef_usage_s): New.
   8         (cp_tree_node_structure_enum): add TS_CP_TEMPLATE_INFO.
   9         (union lang_tree_node): Add template_info.
  10         (TI_TEMPLATE, TI_ARGS, TI_TYPEDEFS_NEEDING_ACCESS_CHECKING):
  11         Adjust.
  12         (build_template_info): Declare.
  13         (get_types_needing_access_check): Adjust return type.
  14         (add_typedef_to_current_template_for_access_check): Declare.
  15         * cp-objcp-common.c (cp_tree_size): Handle TEMPLATE_INFO.
  16         * semantics.c (add_typedef_to_current_template_for_access_check):
  17         Split from ...
  18         (check_accessibility_of_qualified_id): ... here.
  19         * decl.c (make_typename_type): Use it.
  20         * pt.c (build_template_info): Define.
  21         (check_explicit_specialization, find_parameter_packs_r,
  22         push_template_decl_real, lookup_template_class,
  23         for_each_template_parm_r, tsubst_decl, tsubst): Use
  24         build_template_info.
  25         (get_types_needing_access_check): Adjust return type.
  26         (append_type_to_template_for_access_check_1): Record the
  27         location of the usage point of the typedef. Adjust to TEMPLATE_INFO.
  28         (append_type_to_template_for_access_check): Add new location
  29         parameter. Pass it to append_type_to_template_for_access_check_1.
  30         Adjust to TEMPLATE_INFO.
  31         (perform_typedefs_access_check): Temporarily set input_location to
  32         the usage point of the typedef we are checking access for. Adjust
  33         to new TEMPLATE_INFO tree node.
  34         * tree.c (bind_template_template_parm): Use build_template_info.
  35         * call.c (add_template_candidate_real): Likewise.
  36         * decl.c (grokfndecl): Likewise.
  37         (cp_tree_node_structure): Handle TEMPLATE_INFO.
  38
  39 2009-11-20  Jason Merrill  <jason@redhat.com>
  40
  41         PR c++/9050, DR 147, DR 318
  42         * parser.c (cp_parser_lookup_name): If the name matches the explicit
  43         class scope, we're naming the constructor.
  44         (cp_parser_constructor_declarator_p): Just use cp_parser_unqualified_id
  45         if we have a nested-name-specifier.
  46         (cp_parser_direct_declarator): Handle getting an overload set as a
  47         constructor declarator.
  48         (cp_parser_unqualified_id): Avoid looking up the constructor when
  49         naming the destructor.
  50         (cp_parser_diagnose_invalid_type_name): Give good
  51         diagnostic for improper use of constructor as template.
  52         * typeck.c (finish_class_member_access_expr): Give good diagnostic
  53         about calling constructor.
  54
  55         * error.c (dump_aggr_type): Don't print A::A for injected-class-name.
  56
  57 2009-11-20  Simon Martin  <simartin@users.sourceforge.net>
  58
  59         PR c++/38646
  60         * pt.c (process_partial_specialization): Do not turn wrongly located
  61         parameter pack arguments into error_mark_node.
  62         Split too long lines into two.
  63
  64 2009-11-20  Paolo Carlini  <paolo.carlini@oracle.com>
  65
  66         PR c++/42060
  67         * except.c (build_throw): Check the tree returned by
  68         decay_conversion for error_mark_node.
  69
  70 2009-11-20  Shujing Zhao  <pearly.zhao@oracle.com>
  71
  72         PR c++/29017
  73         * cp-tree.h (composite_pointer_operation): New type.
  74         (composite_pointer_type): Adjust prototype with new argument.
  75         * typeck.c (composite_pointer_type): Accept
  76         composite_pointer_operation as argument and emit diagnostic to be
  77         visible to gettext and checked at compile time.
  78         (composite_pointer_type_r): Likewise.
  79         (common_pointer_type): Update call to composite_pointer_type.
  80         (cp_build_binary_op): Likewise.
  81         * call.c (build_conditional_expr): Likewise.
  82
  83 2009-11-19  Jason Merrill  <jason@redhat.com>
  84
  85         PR c++/42115
  86         * call.c (build_op_delete_call): Don't complain about using
  87         op delete (void *, size_t) for placement delete if there's an
  88         op delete (void *).
  89
  90         DR 176 permissiveness
  91         * class.c (build_self_reference): Call set_underlying_type.
  92         * decl.c (check_elaborated_type_specifier): Don't complain about
  93         injected-class-name.
  94         (type_is_deprecated): Use TYPE_MAIN_VARIANT.
  95         * pt.c (convert_template_argument): Handle injected-class-name used
  96         as template template argument.
  97         * typeck2.c (abstract_virtuals_error): Use TYPE_MAIN_VARIANT.
  98
  99         PR c++/561
 100         * decl.c (static_fn_type): Split out...
 101         (revert_static_member_fn): ...from here.
 102         * cp-tree.h: Declare it.
 103         * class.c (resolve_address_of_overloaded_function): Use it to compare
 104         pointers to member functions.
 105         * typeck.c (build_static_cast_1): Call instantiate_type.
 106
 107 2009-11-18  Shujing Zhao  <pearly.zhao@oracle.com>
 108
 109         PR c++/40892
 110         * error.c (maybe_warn_cpp0x): Accept enum cpp0x_warn_str as argument.
 111         (maybe_warn_variadic_templates): Update the maybe_warn_cpp0x calls to
 112         match the new declaration.
 113         * cp-tree.h (cpp0x_warn_str): New type.
 114         (maybe_warn_cpp0x): Adjust prototype with new argument.
 115         * call.c (reference_binding): Update the maybe_warn_cpp0x calls.
 116         * decl.c (reshape_init_r, check_initializer, grokdeclarator):
 117         Likewise.
 118         * parser.c (cp_parser_primary_expression)
 119         (cp_parser_parenthesized_expression_list, cp_parser_new_initializer)
 120         (cp_parser_assignment_expression, cp_parser_condition)
 121         (cp_parser_jump_statement, cp_parser_mem_initializer)
 122         (cp_parser_simple_type_specifier, cp_parser_elaborated_type_specifier)
 123         (cp_parser_enum_specifier, cp_parser_initializer)
 124         (cp_parser_pure_specifier, cp_parser_functional_cast): Likewise.
 125
 126 2009-11-18  Jakub Jelinek  <jakub@redhat.com>
 127
 128         PR c++/3187
 129         * cp-tree.h (expand_or_defer_fn_1): New prototype.
 130         * decl2.c (cp_write_global_declarations): Mark as !DECL_EXTERNAL
 131         also all same_body aliases.
 132         * semantics.c (expand_or_defer_fn): Move most of the function
 133         except registering with cgraph to ...
 134         (expand_or_defer_fn_1): ... here.  New function.
 135         * optimize.c: Include cgraph.h.
 136         (maybe_clone_body): If in charge parm is not used and both base
 137         and complete clones are created and are not comdat, tell cgraph
 138         they have the same body.
 139         * Make-lang.in (cp/optimize.o): Depend on $(CGRAPH_H).
 140
 141 2009-11-17  Paolo Carlini  <paolo.carlini@oracle.com>
 142
 143         PR c++/42058
 144         * typeck2.c (digest_init_r): Check init for error_operand_p.
 145         * decl.c (reshape_init_class): Check return value of reshape_init_r
 146         for error_mark_node.
 147
 148 2009-11-17  Jakub Jelinek  <jakub@redhat.com>
 149
 150         PR c++/42061
 151         * call.c (reference_binding): Return NULL for initializer list with
 152         error operand inside of it.
 153
 154         PR c++/42059
 155         * typeck.c (cp_build_modify_expr): For initializer list call
 156         check_array_initializer to make sure lhs isn't a VLA.
 157
 158 2009-11-16  Jason Merrill  <jason@redhat.com>
 159
 160         PR c++/189, c++/9937, c++/13950, DR 176
 161         * search.c (lookup_field_r): Allow lookup to find the
 162         injected-class-name from a template base.
 163         (template_self_reference_p): Remove.
 164         * decl.c (make_typename_type): Diagnose ambiguity.  Use
 165         maybe_get_template_decl_from_type_decl.
 166         * parser.c (cp_parser_template_name): Pass true to is_template
 167         rather than use maybe_get_template_decl_from_type_decl.
 168         (cp_parser_lookup_name): Use maybe_get_template_decl_from_type_decl.
 169         * pt.c (maybe_get_template_decl_from_type_decl): Handle ambiguity.
 170         Use DECL_SELF_REFERENCE_P.
 171
 172         * parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
 173         Avoid duplicate ambiguity error.
 174         * error.c (dump_decl): Don't say "typedef" for injected-class-name.
 175         * pt.c (convert_template_argument): Tweak logic.
 176
 177 2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>
 178
 179         PR c++/42055
 180         * pt.c (determine_specialization): Assign to candidates the return
 181         value of the chainon called before print_candidates.
 182
 183 2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>
 184
 185         PR c++/32056
 186         * decl.h (enum decl_context): Add TPARM enumerator.
 187         * decl.c (grokdeclarator): Per 14.1/2, error out if a storage class
 188         is specified in a template parameter declaration.
 189         * parser.c (cp_parser_template_parameter): Call grokdeclarator with
 190         TPARM as third argument.
 191
 192 2009-11-13  Jason Merrill  <jason@redhat.com>
 193
 194         PR c++/27425
 195         PR c++/34274
 196         * pt.c (expand_template_argument_pack): Handle null arg gracefully.
 197         (convert_template_argument): Use %T for type.
 198
 199         PR c++/29363
 200         * decl.c (create_implicit_typedef): Set TYPE_STUB_DECL here.
 201         (cxx_init_decl_processing): Not here.
 202         * name-lookup.c (pushtag): Or here.
 203         * pt.c (lookup_template_class): Or here.
 204
 205         PR c++/35075
 206         * pt.c (convert_nontype_argument): Give helpful error about
 207         reference variable argument to reference template parameter.
 208
 209         PR c++/21008, DR 515
 210         * semantics.c (finish_non_static_data_member): Don't check
 211         derivation in a template.
 212
 213         PR c++/11987
 214         * parser.c (cp_parser_direct_declarator): Give helpful error about
 215         trying to define member of a dependent typedef.
 216         * pt.c (resolve_typename_type): Don't resolve a typedef typename.
 217         * tree.c (typedef_variant_p): New.
 218         * cp-tree.h: Declare it.
 219
 220 2009-11-12  Jason Merrill  <jason@redhat.com>
 221
 222         PR c++/27078
 223         * parser.c (cp_parser_primary_expression): Don't give a duplicate
 224         ambiguity error.
 225
 226         PR c++/39560
 227         * decl2.c (build_anon_union_vars): Set DECL_ARTIFICIAL.
 228
 229         PR c++/37037
 230         * decl.c (grokdeclarator): Don't generate a void PARM_DECL.
 231
 232         PR c++/42013
 233         * call.c (build_conditional_expr): Check specifically for folding
 234         to CALL_EXPR rather than TREE_SIDE_EFFECTS.
 235
 236         * typeck.c (cv_qualified_p): New fn.
 237         (decay_conversion): Use it.
 238         * cp-tree.h: Declare it.
 239         * tree.c (rvalue): Use it and cv_unqualified.
 240         * init.c (build_aggr_init): Likewise.
 241
 242         PR c++/42013
 243         * call.c (build_conditional_expr): Don't fold a TREE_SIDE_EFFECTS
 244         COND_EXPR in unevaluated context.
 245
 246 2009-11-12  Jan Hubicka  <jh@suse.cz>
 247
 248         * decl2.c (constrain_visibility): Clear WEAK and COMMON flags.
 249
 250 2009-11-11  Jason Merrill  <jason@redhat.com>
 251
 252         PR c++/39131
 253         * rtti.c (emit_support_tinfos): Add DFP types.
 254
 255         * call.c (build_op_delete_call): Downgrade error about
 256         placement/non-placement confusion to permerror.
 257
 258 2009-11-10  Jason Merrill  <jason@redhat.com>
 259
 260         * call.c (build_op_delete_call): Tweak error.
 261
 262         PR c++/34158
 263         PR c++/36406
 264         * call.c (non_placement_deallocation_fn_p): Split out...
 265         (build_op_delete_call): ...from here.  Use instantiate_type
 266         for placement delete.  Simplify logic.
 267         * pt.c (primary_template_instantiation_p): Non-static.
 268         * cp-tree.h: Declare it.
 269
 270 2009-11-09  Jason Merrill  <jason@redhat.com>
 271
 272         PR c++/41972
 273         * parser.c (cp_parser_template_argument): Accept SCOPE_REF around
 274         VAR_DECL.
 275
 276         PR c++/41994
 277         * pt.c (tsubst_baselink): tsubst the name.
 278
 279 2009-11-07  Jason Merrill  <jason@redhat.com>
 280
 281         PR c++/37920
 282         * pt.c (tsubst) [TYPEOF_TYPE]: Set cp_unevaluated_operand.
 283
 284         PR c++/18451
 285         PR c++/40738
 286         * cp-tree.h (cp_decl_specifier_seq): Add any_type_specifiers_p.
 287         * parser.c (cp_parser_single_declaration): Call
 288         cp_parser_parse_and_diagnose_invalid_type_name here, too.
 289         (cp_parser_parameter_declaration): And here.
 290         (cp_parser_parse_and_diagnose_invalid_type_name): Be
 291         less picky about declarator form.  Don't skip to
 292         the end of the block if we're in a declarator.
 293         (cp_parser_decl_specifier_seq): Set any_type_specifiers_p.
 294         (cp_parser_simple_declaration): Check it.
 295         (cp_parser_member_declaration): Likewise.
 296         (cp_parser_diagnose_invalid_type_name): Tweak error message.
 297         (cp_parser_expression_statement): Likewise.
 298         * decl2.c (grokfield): Mention decltype instead of typeof.
 299
 300 2009-11-06  Jason Merrill  <jason@redhat.com>
 301
 302         PR c++/15946
 303         * parser.c (cp_parser_check_template_parameters): Don't talk about
 304         specialization at function scope.
 305         (cp_parser_diagnose_invalid_type_name): Handle dependent scope.
 306         (cp_parser_parse_and_diagnose_invalid_type_name): Likewise.
 307         (cp_parser_expression_statement): Suggest typename.
 308         * error.c (dump_decl) [SCOPE_REF]: Print the type here.
 309         (dump_expr) [SCOPE_REF]: Call it.
 310         (dump_type) [UNBOUND_CLASS_TEMPLATE]: Check TFF_UNQUALIFIED_NAME.
 311         * cxx-pretty-print.c (pp_cxx_unqualified_id): Print class template
 312         args.
 313
 314         PR c++/9381
 315         * decl2.c (build_memfn_type): Preserve attributes.
 316         (cp_reconstruct_complex_type): Likewise.
 317         (maybe_retrofit_in_chrg): Likewise.
 318         * class.c (adjust_clone_args): Likewise.
 319         * call.c (standard_conversion): Use build_memfn_type.
 320         * pt.c (tsubst): Likewise.
 321         * decl.c (build_ptrmem_type): Likewise
 322         (check_function_type): Preserve attributes.
 323         * tree.c (cp_build_type_attribute_variant): Propagate exception
 324         specs on METHOD_TYPE, too.
 325         (strip_typedefs): Preserve exception specs and attributes.
 326
 327 2009-11-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 328
 329         PR c++/41536
 330         * optimize.c (maybe_clone_body): Copy DECL_ATTRIBUTES and
 331         DECL_DISREGARD_INLINE_LIMITS also.
 332
 333 2009-11-06  Jakub Jelinek  <jakub@redhat.com>
 334
 335         PR c++/41967
 336         * parser.c (cp_parser_omp_for_loop): After diagnosing not perfectly
 337         nested loop and parsing statements, don't cp_parser_require }, instead
 338         exit the loop if next token is CPP_EOF.
 339
 340 2009-11-05  Jason Merrill  <jason@redhat.com>
 341
 342         PR c++/34180
 343         * method.c (do_build_copy_constructor): Don't drop cv-quals from
 344         the field type.
 345
 346         PR c++/7046
 347         * class.c (finish_struct): Store maximum_field_alignment in
 348         TYPE_PRECISION.
 349         * pt.c (instantiate_class_template): Set maximum_field_alignment.
 350
 351         PR c++/34870
 352         * name-lookup.c (arg_assoc_class): Call complete_type.
 353         * pt.c (instantiate_class_template): Call uses_template_parms
 354         instead of dependent_type_p.
 355
 356         PR c++/41703
 357         * pt.c (check_undeduced_parms): New subroutine of...
 358         (more_specialized_fn): ...here.  Undeduced template parms can make
 359         a template less specialized than another.
 360
 361 2009-11-04  Jason Merrill  <jason@redhat.com>
 362
 363         PR c++/39413
 364         * search.c (lookup_base): Don't complete_type (base).
 365
 366         PR c++/35067
 367         * method.c (use_thunk): Check DECL_WEAK as well as
 368         DECL_ONE_ONLY.
 369
 370         PR c++/17365, DR 218
 371         * name-lookup.c (add_function): Ignore non-functions.
 372
 373 2009-11-03  Jason Merrill  <jason@redhat.com>
 374
 375         PR c++/36959
 376         * decl2.c (cxx_callgraph_analyze_expr): Don't reference a function
 377         just because a static variable in it is needed unless -frepo.
 378
 379         PR c++/41876
 380         * parser.c (cp_parser_type_specifier_seq): Rename is_condition to
 381         is_declaration.
 382         (cp_parser_exception_declaration): Pass true.
 383         (cp_parser_omp_for_loop): Likewise.
 384
 385         PR c++/41927
 386         * typeck.c (build_x_binary_op): Don't do warn_parentheses
 387         if we're in a SFINAE context.
 388
 389         PR c++/41815
 390         * call.c (build_call_a): Strip cv-quals from rvalue result.
 391
 392         PR c++/40944
 393         * call.c (initialize_reference): Add complain parm.
 394         * typeck.c (convert_for_initialization): Pass it.
 395         * decl.c (grok_reference_init): Likewise.
 396         * cp-tree.h: Declare it.
 397
 398         PR c++/40687
 399         * pt.c (do_auto_deduction): Diagnose inconsistent deduction.
 400
 401 2009-11-02  Dodji Seketeli  <dodji@redhat.com>
 402
 403         PR c++/37093
 404         * pt.c (check_valid_ptrmem_cst_expr): New function.
 405         (convert_nontype_argument): Use it to output an error for
 406         illegal pointer to member expressions used as template arguments.
 407
 408 2009-11-02  Jason Merrill  <jason@redhat.com>
 409
 410         Restrict DR 757 change to C++0x mode.
 411         * decl2.c (mark_used): Check cxx_dialect.
 412         * decl.c (grokfndecl): Do check type linkage in C++98 mode.
 413         (grokvardecl): Likewise.
 414         * pt.c (check_instantiated_arg): Likewise.
 415
 416 2009-11-02  Jakub Jelinek  <jakub@redhat.com>
 417
 418         PR c++/41774
 419         * name-lookup.c (handle_namespace_attrs): Pass 1 as last argument to
 420         push_visibility.
 421         * parser.c (cp_parser_namespace_definition): Pass 1 as argument to
 422         pop_visibility.
 423         * rtti.c (push_abi_namespace): Pass 2 as last argument to
 424         push_visibility.
 425         (pop_abi_namespace): Pass 2 as argument to pop_visibility.
 426
 427 2009-10-31  Jason Merrill  <jason@redhat.com>
 428
 429         * tree.c (cv_unqualified): New fn.
 430         * cp-tree.h: Declare it.
 431         * typeck.c (decay_conversion): Use it instead of TYPE_MAIN_VARIANT.
 432
 433         * rtti.c (tinfo_name): Fix lengths for private case.
 434
 435 2009-10-31  Jason Merrill  <jason@redhat.com>
 436
 437         PR c++/41754
 438         * call.c (compare_ics): Avoid bad union use when
 439         comparing two ck_lists.
 440
 441 2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
 442
 443         * mangle.c (mangle_type_string_for_rtti): Reapply 153734.
 444         (needs_fake_anon): Likewise.
 445         (write_name): Likewise.
 446         (write_nested_name): Likewise.
 447         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
 448         (get_anonymous_namespace): Likewise.
 449         * name-lookup.c (get_anonymous_namespace_name): Likewise.
 450         * rtti.c (tinfo_name): Likewise, with +1 in the second
 451         build_string call fixed.
 452         (tinfo_base_init): Likewise.
 453
 454 2009-10-30  Jason Merrill  <jason@redhat.com>
 455
 456         Revert:
 457         * decl.c (cp_fname_init): Correct build_string argument.
 458
 459 2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
 460
 461         * mangle.c (mangle_type_string_for_rtti): Revert 153734.
 462         (needs_fake_anon): Likewise.
 463         (write_name): Likewise.
 464         (write_nested_name): Likewise.
 465         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
 466         (get_anonymous_namespace): Likewise.
 467         * name-lookup.c (get_anonymous_namespace_name): Likewise.
 468         * rtti.c (tinfo_name): Likewise.
 469         (tinfo_base_init): Likewise.
 470
 471 2009-10-30  Dodji Seketeli  <dodji@redhat.com>
 472
 473         PR c++/41863
 474         * pt.c (iterative_hash_template_arg): articifial parms
 475         don't have DECL_PARM_INDEX set. Do not hash it.
 476
 477 2009-10-28  Jerry Quinn  <jlquinn@optonline.net>
 478
 479         * mangle.c (mangle_type_string_for_rtti): Revert r149964.
 480         (needs_fake_anon): Likewise.
 481         (write_name): Likewise.
 482         (write_nested_name): Likewise.
 483         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
 484         (get_anonymous_namespace): Likewise.
 485         * name-lookup.c (get_anonymous_namespace_name): Likewise.
 486         * rtti.c (tinfo_name): Insert '*' in front of private names.
 487         (tinfo_base_init): Use it.
 488
 489 2009-10-28  Jason Merrill  <jason@redhat.com>
 490
 491         Core issue 812, 861
 492         * name-lookup.c (set_decl_namespace): Deal properly with inline
 493         namespaces.
 494         (qualified_lookup_using_namespace): Overhaul.
 495         * pt.c (print_candidates): Handle getting an OVERLOAD.
 496
 497 2009-10-28  Jason Merrill  <jason@redhat.com>
 498
 499         * decl.c (cp_fname_init): Correct build_string argument.
 500
 501 2009-10-27  Jason Merrill  <jason@redhat.com>
 502
 503         Allow no-capture lambdas to convert to function pointer.
 504         * semantics.c (maybe_add_lambda_conv_op): New.
 505         * parser.c (cp_parser_lambda_expression): Call it.
 506         (cp_parser_lambda_declarator_opt): Make op() static if
 507         no captures.
 508         * mangle.c (write_closure_type_name): Adjust.
 509         * semantics.c (finish_this_expr): Adjust.
 510         * decl.c (grok_op_properties): Allow it.
 511         * call.c (build_user_type_conversion_1): Handle static conversion op.
 512         (build_op_call): And op().
 513
 514 2009-10-26  Jakub Jelinek  <jakub@redhat.com>
 515
 516         PR debug/41828
 517         * cp-lang.c (cxx_dwarf_name): Return NULL instead of
 518         <anonymous ...> for anonymous aggregate names.
 519
 520 2009-10-26  Jason Merrill  <jason@redhat.com>
 521
 522         PR c++/38796, Core issue 906
 523         * cp-tree.h (DECL_DEFAULTED_OUTSIDE_CLASS_P): New.
 524         (DECL_DEFAULTED_IN_CLASS_P): New.
 525         * class.c (user_provided_p): Non-static.
 526         (check_methods): Use it.
 527         (check_bases_and_members): Check defaulted fns.
 528         (defaultable_fn_p): Move and rename to...
 529         * method.c (defaultable_fn_check): ...this.
 530         (defaulted_late_check): New.
 531         * pt.c (tsubst_decl): Call it.
 532         * decl2.c (grokfield): Adjust.
 533         * decl.c (cp_finish_decl): Adjust.
 534         (grok_special_member_properties): Use user_provided_p.
 535
 536 2009-10-26  Dodji Seketeli  <dodji@redhat.com>
 537
 538         PR c++/41785
 539         * pt.c (template_args_equal): Handle comparison of
 540         an ARGUMENT_PACK_SELECT node with the arguments node it selects into.
 541         * cp-tree.def: Fix a typo in the description of TYPE_PACK_EXPANSION.
 542
 543 2009-10-26  Dodji Seketeli  <dodji@redhat.com>
 544
 545         PR c++/41020
 546         * decl.c (decls_match): Use DECL_IS_BUILTIN instead of
 547         DECL_BUILT_IN.
 548
 549 2009-10-23  Dodji Seketeli  <dodji@redhat.com>
 550
 551         PR c++/40808
 552         * mangle.c (write_template_args): Allow mangling of empty template
 553         argument list. Updated function comments.
 554
 555 2009-10-23  Jason Merrill  <jason@redhat.com>
 556
 557         * semantics.c (lambda_expr_this_capture): Use thisify_lambda_field.
 558
 559         * semantics.c (outer_lambda_capture_p): New fn.
 560         (thisify_lambda_field): Factor out...
 561         (add_default_capture): ...from here.
 562         (finish_id_expression): Use them.
 563
 564         Core issue 899
 565         * call.c (add_function_candidate): Only permit explicit conversion
 566         ops if copy ctor was called with a single argument.
 567
 568         * call.c (initialize_reference): Tweak error message.
 569
 570 2009-10-21  Jakub Jelinek  <jakub@redhat.com>
 571
 572         * mangle.c (finish_mangling_get_identifier): Use
 573         obstack_base (mangle_obstack) instead of name_base.
 574
 575 2009-10-19  Jakub Jelinek  <jakub@redhat.com>
 576
 577         * parser.c (cp_lexer_print_token, cp_parser_is_string_literal,
 578         cp_parser_string_literal, cp_parser_primary_expression): Likewise.
 579         (cp_lexer_get_preprocessor_token): Use C_LEX_STRING_JOIN instead
 580         of C_LEX_RAW_STRINGS.
 581
 582 2009-10-15  Jason Merrill  <jason@redhat.com>
 583
 584         PR c++/38888
 585         * error.c (dump_template_bindings): Wrap argument packs in {}.
 586
 587         PR c++/38798
 588         * parser.c (CP_PARSER_FLAGS_NO_TYPE_DEFINITIONS): New.
 589         (cp_parser_type_specifier): Don't try to parse a class-specifier
 590         or enum-specifier in that case.
 591         (cp_parser_trailing_type_id): New.
 592         (cp_parser_late_return_type_opt): Call it.
 593         (cp_parser_type_id_1): Add is_trailing_return parm.
 594         (cp_parser_type_specifier_seq): Likewise.
 595
 596 2009-10-14  Jason Merrill  <jason@redhat.com>
 597
 598         PR c++/39866
 599         * call.c (print_z_candidates): Don't print deleted candidates.
 600         (print_z_candidate): Note deleted candidates.
 601
 602 2009-10-14  Larry Evans  <cppljevans@suddenlink.net>
 603
 604         PR c++/40092
 605         * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK
 606         equality.
 607
 608 2009-10-12  Jason Merrill  <jason@redhat.com>
 609
 610         PR c++/37875
 611         * parser.c (cp_parser_decltype): Set greater_than_is_operator_p.
 612
 613         PR c++/37766
 614         * pt.c (type_unification_real): Call convert_template_argument
 615         for function default template arguments.
 616         (check_default_tmpl_args): Suggest -std=c++0x when function default
 617         template args seen in C++98 mode.
 618
 619 2009-10-11  Jason Merrill  <jason@redhat.com>
 620
 621         PR c++/37204
 622         * typeck.c (build_reinterpret_cast_1): Handle rvalue refs
 623         properly.
 624
 625 2009-10-11  Richard Guenther  <rguenther@suse.de>
 626
 627         * tree.c (cp_free_lang_data): Drop anonymous aggregate names.
 628
 629 2009-10-08  Jason Merrill  <jason@redhat.com>
 630
 631         PR c++/36816
 632         * pt.c (maybe_adjust_types_for_deduction): Do rvalue ref adjustment
 633         even when DEDUCE_EXACT.
 634
 635         PR c++/37177
 636         * pt.c (resolve_nondeduced_context): New.
 637         * cvt.c (convert_to_void): Call it.
 638         * semantics.c (finish_decltype_type): Likewise.
 639         * typeck.c (decay_conversion): Here too.
 640         * pt.c (tsubst_decl): Don't clobber input_location.
 641         Don't register a bad specialization.
 642
 643 2009-10-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 644
 645         * cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7.
 646
 647 2009-10-07  Jason Merrill  <jason@redhat.com>
 648
 649         PR c++/39863
 650         * pt.c (tsubst_pack_expansion): Don't do anything now if we
 651         have incomplete packs of different lengths.
 652
 653         PR c++/41038
 654         * tree.c (build_qualified_name): Call convert_from_reference.
 655
 656 2009-10-06  Jason Merrill  <jason@redhat.com>
 657
 658         Fix lookup of initialized captures in unevaluated context.
 659         * cp-tree.h (DECL_NORMAL_CAPTURE_P): New.
 660         * name-lookup.c (qualify_lookup): Check it.
 661         * parser.c (cp_parser_lambda_introducer): Pass explicit_init_p
 662         to add_capture.
 663         * semantics.c (add_capture): Set DECL_NORMAL_CAPTURE_P
 664         on captures without explicit init.
 665         (add_default_capture): Pass explicit_init_p.
 666
 667         Fix capture by copy of types with explicit copy constructor.
 668         * cp-tree.h (TARGET_EXPR_DIRECT_INIT_P): New.
 669         (DIRECT_INIT_EXPR_P): New.
 670         * typeck.c (convert_for_initialization): Just return if
 671         DIRECT_INIT_EXPR_P.
 672         * semantics.c (build_lambda_object): Use
 673         TARGET_EXPR_DIRECT_INIT_P for normal captures.
 674
 675 2009-10-05  Jason Merrill  <jason@redhat.com>
 676
 677         * parser.c: Mark lambda_scope and lambda_count for PCH.
 678
 679 2009-10-03  Jason Merrill  <jason@redhat.com>
 680
 681         PR c++/41553
 682         * parser.c (cp_parser_lambda_introducer): Avoid infinite loop on
 683         parse error.
 684
 685 2009-10-02  Jason Merrill  <jason@redhat.com>
 686
 687         * mangle.c (write_unnamed_type_name): Implement.
 688         (local_class_index): Split out from...
 689         (discriminator_for_local_entity): ...here.
 690         (nested_anon_class_index): New.
 691         * cp-tree.h (TYPE_FUNCTION_SCOPE_P): New.
 692
 693 2009-10-02  Janis Johnson  <janis187@us.ibm.com>
 694
 695         * call.c (convert_arg_to_ellipsis): Avoid promoting decimal32
 696         to double.
 697
 698 2009-10-01  Jason Merrill  <jason@redhat.com>
 699
 700         * parser.c (cp_parser_lambda_expression): Compute visibility.
 701         (no_linkage_lambda_type_p): Remove.
 702         * cp-tree.h: Remove declaration.
 703         * tree.c (no_linkage_check): Don't call it.  Don't check template
 704         args.  Don't check TREE_PUBLIC Types.
 705
 706 2009-10-01  Gabriel Dos Reis  <gdr@cse.tamu.edu>
 707             Jason Merrill <jason@redhat.com>
 708
 709         * decl.c (grokdeclarator): Set constexprness before announcing
 710         friendship.
 711
 712 2009-10-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 713
 714         * decl.c (record_builtin_java_type): Undo unintended change.
 715         (cxx_init_decl_processing): Likewise.
 716
 717 2009-10-01  Jason Merrill  <jason@redhat.com>
 718
 719         * pt.c (register_specialization): Push DECL_SOURCE_LOCATION to the
 720         clones.
 721
 722         * decl.c (grok_special_member_properties): Only adjust
 723         TYPE_HAS_COMPLEX_* if the function is defaulted in the class body.
 724         (cp_finish_decl): Push DECL_DELETED_FN/DECL_DEFAULTED_FN to the
 725         clones.
 726
 727 2009-09-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 728
 729         * decl.c (check_for_uninitialized_const_var): Check constexpr
 730         variables too.
 731         (grokdeclarator): Handle `constexpr'.
 732         (check_tag_decl): Reject `constexpr'.
 733         (check_function_type): Check constexpr functions.
 734         * cp-tree.h (ds_constexpr): New cp_decl_spec enumerator.
 735         (CLASSTYPE_LITERAL_P): New.
 736         (lang_type_class::is_literal): New.
 737         (lang_type_class::dummy): Adjust width.
 738         (literal_type_p): Declare.
 739         * parser.c (cp_parser_check_decl_spec): Print it.
 740         (cp_parser_decl_specifier_seq): Accept "constexpr".
 741         * semantics.c (validate_constexpr_fundecl): Define.
 742         (literal_type_p): Define.
 743
 744 2009-09-30  Jason Merrill  <jason@redhat.com>
 745
 746         * semantics.c (lambda_expr_this_capture): Fix default capture
 747         of explicit capture of 'this'.
 748
 749 2009-09-30  Jason Merrill  <jason@redhat.com>
 750
 751         * parser.c (cp_parser_lambda_expression): Don't add __ to __this.
 752
 753 2009-09-30  Jason Merrill  <jason@redhat.com>
 754
 755         * cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN.
 756
 757 2009-09-29  John Freeman  <jfreeman08@gmail.com>
 758             Jason Merrill  <jason@redhat.com>
 759
 760         Add support for lambda-expressions as per N2927.
 761         * cp-tree.def (VEC_INIT_EXPR, LAMBDA_EXPR): New.
 762         * cp-tree.h (LAMBDA_TYPE_P, LAMBDA_FUNCTION_P): New.
 763         (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE): New.
 764         (LAMBDA_EXPR_DEFAULT_CAPTURE_LIST): New.
 765         (LAMBDA_EXPR_THIS_CAPTURE, LAMBDA_EXPR_CAPTURES_THIS_P): New.
 766         (LAMBDA_EXPR_MUTABLE_P, LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): New.
 767         (LAMBDA_EXPR_RETURN_TYPE, LAMBDA_EXPR_LOCATION): New.
 768         (LAMBDA_EXPR_EXTRA_SCOPE, LAMBDA_EXPR_DISCRIMINATOR): New.
 769         (struct tree_lambda_expr): New.
 770         (union lang_tree_node): Add lambda_expression.
 771         (struct lang_type_class): Add lazy_move_ctor flag, lambda_expr field.
 772         (CLASSTYPE_LAZY_MOVE_CTOR, CLASSTYPE_LAMBDA_EXPR): New.
 773         (LAMBDA_TYPE_EXTRA_SCOPE, VEC_INIT_EXPR_SLOT): New.
 774         (VEC_INIT_EXPR_INIT, DECLTYPE_FOR_LAMBDA_CAPTURE): New.
 775         (DECLTYPE_FOR_LAMBDA_RETURN): New.
 776         (enum special_function_kind): Add sfk_move_constructor.
 777         (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT, LAMBDANAME_P): New.
 778         * parser.c (cp_parser_lambda_expression, cp_parser_lambda_introducer)
 779         (cp_parser_lambda_declarator_opt, cp_parser_lambda_body): New.
 780         (start_lambda_scope, record_lambda_scope, finish_lambda_scope): New.
 781         (no_linkage_lambda_type_p): New.
 782         (cp_parser_primary_expression): Recognize lambda expression.
 783         (cp_parser_init_declarator): Note lambda scope.
 784         (cp_parser_function_definition_after_declarator): Likewise.
 785         (cp_parser_late_parsing_default_args): Likewise.
 786         (cp_parser_skip_to_closing_parenthesis): Skip to end of lambda capture
 787         lists, too.
 788         (cp_parser_parameter_declaration): Don't defer lambda default args.
 789         * semantics.c (finish_non_static_data_member, finish_id_expression):
 790         Handle default capture for lambda expressions.
 791         (finish_this_expr): Handle 'this' keyword inside of lambda expressions.
 792         (outer_automatic_var_p): New.
 793         (finish_decltype_type): Handle decltypes within lambda expressions.
 794         (classtype_has_nothrow_assign_or_copy_p): Synthesized move constructor.
 795         (build_lambda_expr, build_lambda_object, begin_lambda_type)
 796         (lambda_return_type, lambda_capture_field_type, apply_lambda_return_type)
 797         (capture_decltype, add_capture, add_default_capture)
 798         (lambda_expr_this_capture): New.
 799         * mangle.c (write_unnamed_type_name): New. Incomplete.
 800         (write_closure_type_name): New.
 801         (write_unqualified_name): Recognize unnamed, closure types.
 802         (write_type): Do not write decltypes from lambda expressions.
 803         (decl_mangling_context): New.
 804         (write_name): Use it.  Handle PARM_DECL scope.
 805         (write_prefix): Likewise.  Handle VAR_DECL/FIELD_DECL scope.
 806         (write_compact_number): Factor out from...
 807         (write_expression, write_template_param): ...here.
 808         (discriminator_for_local_entity): Recognize lambdas.
 809         (write_local_name): Handle PARM_DECL scope.
 810         * typeck.c (structural_comptypes): Compare decltypes from lambda
 811         expressions.
 812         (check_return_expr): Deduce lambda return type from multiple return
 813         statements.
 814         * class.c (add_implicitly_declared_members): Add lazy move constructor
 815         for lambda types.
 816         (check_bases_and_members): Delete default constructor and assignment
 817         operator for lambda types.
 818         (maybe_note_name_used_in_class): Do not confuse lambda expression with
 819         defining a class.
 820         * decl.c (reshape_init_r): Array copy.
 821         (grokfndecl): Synthesized move constructor.
 822         (cp_tree_node_structure): Lambda expression.
 823         * method.c (use_thunk): Synthesized move constructor.
 824         (do_build_copy_constructor): Likewise.
 825         (locate_copy): Likewise.
 826         (implicitly_declare_fn): Likewise.
 827         * cp-objcp-common.c (cp_tree_size): Handle LAMBDA_EXPR.
 828         * error.c (dump_aggr_type): Recognize lambda type.
 829         (dump_function_decl): Recognize lambda function.
 830         (function_category): Likewise.
 831         (dump_function_name): Hide lambda name.
 832         * tree.c (build_array_copy, move): New.
 833         (special_function_p): Synthesized move constructor.
 834         (no_linkage_check): Handle lambdas.
 835         * search.c (lookup_fnfields_1): Synthesized move constructor.
 836         * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr):
 837         Handle VEC_INIT_EXPR.
 838         * typeck2.c (digest_init_r): Array copy.
 839         * pt.c (get_template_info): Don't touch typedefs.
 840         (instantiate_decl): Don't resubstitute artificial decls.
 841         (tsubst_decl, tsubst, tsubst_copy_and_build): Handle lambdas.
 842         (lookup_template_class): Don't fall back on name lookup.
 843         * name-lookup.c (make_lambda_name): New.
 844         (pushdecl_class_level): Handle default capture for lambda expressions.
 845         (qualify_lookup): Handle decltypes within lambda expressions.
 846         (pushtag): Handle ts_within_enclosing_non_class in function scope.
 847
 848 2009-09-28  Janis Johnson  <janis187@us.ibm.com>
 849
 850         * mangle.c (write_builtin_type): Support decimal float types.
 851
 852 2009-09-28  Richard Henderson  <rth@redhat.com>
 853
 854         * cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
 855
 856 2009-09-24  Jakub Jelinek  <jakub@redhat.com>
 857
 858         * method.c (make_thunk, make_alias_for): Don't set
 859         DECL_NO_STATIC_CHAIN.
 860         * decl.c (builtin_function_1, grokfndecl): Likewise.
 861         * lex.c (build_lang_decl): Likewise.
 862
 863 2009-09-23  Dodji Seketeli  <dodji@redhat.com>
 864
 865         PR debug/41065
 866         * decl.c (cp_finish_decl): Record the types used by the global
 867         variable declaration we've just parsed.
 868
 869 2009-09-22  Dodji Seketeli  <dodji@redhat.com>
 870
 871         * cp-lang.c (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P,
 872         LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P,
 873         LANG_HOOKS_GET_GENERIC_FUNCTION_DECL): Initialize these
 874         hooks for the c++ FE.
 875         * cp-tree.h (function_parameter_pack_p, get_function_template_decl,
 876         function_parameter_expanded_from_pack_p): Declare ...
 877         * pt.c (function_parameter_pack_p, get_function_template_decl,
 878         function_parameter_expanded_from_pack_p): ... new hooks.
 879         (get_template_info): Make this more robust.
 880         (template_args_variadic_p, make_ith_pack_parameter_name): Add a new
 881         line between comment and function.
 882         (get_template_argument_pack_elems): Fix comment.
 883         (tsubst_decl): Arguments of function parameter packs are not
 884         parameter packs themselves.
 885
 886 2009-09-21  Jason Merrill  <jason@redhat.com>
 887
 888         PR c++/41421
 889         * tree.c (trivial_type_p): Fix logic.
 890
 891 2009-09-21  Jason Merrill  <jason@redhat.com>
 892
 893         * name-lookup.c (push_class_level_binding): Sanity check.
 894
 895 2009-09-18  Jason Merrill  <jason@redhat.com>
 896
 897         * decl2.c (determine_visibility): Make anonymous types internal.
 898         (mark_used): Complain about types without linkage used in
 899         decls with internal linkage.
 900         (vague_linkage_fn_p): Split out from...
 901         * decl.c (maybe_commonize_var): ...here.
 902         (grokdeclarator): Adjust linkage when a typedef gives linkage name.
 903         * tree.c (no_linkage_check): Check the enclosing class and template
 904         arguments.
 905
 906         * cp-tree.h (TYPE_NAMESPACE_SCOPE_P): New.
 907
 908         * pt.c (get_pattern_parm): New.
 909         (listify): Split out from...
 910         (listify_autos): ...here.
 911         (unify): Deduce std::initializer_list for T.
 912         * call.c (build_over_call): Warn about it.
 913
 914 2009-09-17  Andrew Pinski  <pinskia@gcc.gnu.org>
 915
 916         PR c++/39365
 917         * typeck.c (cp_build_unary_op): Check TREE_CODE for bools instead of
 918         using same_type_p.
 919         (convert_for_assignment): Likewise.
 920         * cvt.c (type_promotes_to): Likewise.
 921
 922 2009-09-14  Richard Henderson  <rth@redhat.com>
 923             Jakub Jelinek  <jakub@redhat.com>
 924
 925         * cp-tree.h (finish_asm_stmt): Update decl.
 926         * parser.c (cp_parser_asm_definition): Parse asm goto.
 927         (cp_parser_asm_label_list): New.
 928         * pt.c (tsubst_copy_asm_operands): Don't recurse on labels.
 929         (tsubst_expr): Handle asm labels.
 930         * semantics.c (finish_asm_stmt): Add and use labels parameter.
 931
 932 2009-09-14  Richard Henderson  <rth@redhat.com>
 933
 934         * except.c (init_exception_processing): Don't call
 935         default_init_unwind_resume_libfunc.
 936         (cp_protect_cleanup_actions): Return the decl to call.
 937         (build_exc_ptr): Use __builtin_eh_pointer.
 938         * optimize.c (clone_body): Set eh_lp_nr, not eh_region.
 939
 940 2009-09-13  Richard Guenther  <rguenther@suse.de>
 941         Rafael Avila de Espindola  <espindola@google.com>
 942
 943         * except.c (init_exception_processing): Do not set
 944         lang_eh_runtime_type.
 945         (choose_personality_routine): Do not set eh_personality_decl,
 946         set pragma_java_exceptions.
 947         * cp-lang.c (LANG_HOOKS_EH_RUNTIME_TYPE): Define.
 948         (LANG_HOOKS_EH_PERSONALITY): Likewise.
 949         (cp_eh_personality_decl): New.
 950         (cp_eh_personality): Likewise.
 951         * Make-lang.in (cp-lang.o): Add $(EXPR_H) and $(EXCEPT_H)
 952         dependencies.
 953
 954 2009-09-13  Wei Guozhi  <carrot@google.com>
 955
 956         PR c++/3187
 957         * cp/optimize.c (build_delete_destructor_body): New function.
 958         (maybe_clone_body): Call build_delete_destructor_body for
 959         deleting destructor.
 960
 961 2009-09-10  Jason Merrill  <jason@redhat.com>
 962
 963         * repo.c (extract_string, get_base_filename, init_repo): constify.
 964
 965 2009-09-09  Jason Merrill  <jason@redhat.com>
 966
 967         * error.c (find_typenames_r): Also add decltypes.
 968
 969 2009-09-09  Paolo Carlini  <paolo.carlini@oracle.com>
 970
 971         PR c++/28293
 972         * decl2.c (grokfield): Check for explicit template argument lists.
 973
 974 2009-09-09  Jack Howarth  <howarth@bromo.med.uc.edu>
 975
 976         PR bootstrap/41180
 977         * Make-lang.in: Remove redundant code from linkage for darwin10.
 978
 979 2009-09-08  Paolo Carlini  <paolo.carlini@oracle.com>
 980
 981         PR c++/39923
 982         * decl.c (build_init_list_var_init): Check return value of
 983         perform_implicit_conversion.
 984
 985 2009-09-08  Jason Merrill  <jason@redhat.com>
 986
 987         * class.c (currently_open_class): Make sure we're dealing with the
 988         main variant.
 989
 990         * cp-tree.h (enum overload_flags): Remove OP_FLAG.
 991         * method.c (lazily_declare_fn): Check for dtorness in ABI warning.
 992
 993         * name-lookup.c (is_class_level): Remove.
 994         (push_binding_level, leave_scope, resume_scope): Adjust.
 995         (pushlevel_class): Adjust.
 996         (poplevel_class): Make sure we're on class_binding_level.
 997
 998         * decl.c (grokmethod): Rename from start_method.
 999         (finish_method): Remove.
1000         * cp-tree.h: Adjust.
1001         * parser.c (cp_parser_save_member_function_body): Adjust.
1002
1003 2009-09-03  Doug Kwan  <dougkwan@google.com>
1004
1005         * tree.c (cp_fix_function_decl_p): New.
1006         (cp_free_lang_data): New.
1007
1008 2009-09-03  Diego Novillo  <dnovillo@google.com>
1009
1010         * Make-lang.in (decl2.o): Add dependency on $(POINTER_SET_H).
1011         * decl2.c: Include pointer-set.h.
1012         (collect_candidates_for_java_method_aliases): New.
1013         (cp_write_global_declarations): Call it.
1014         Add local variable CANDIDATES.  If set, call
1015         build_java_method_aliases.
1016         (build_java_method_aliases): Add argument CANDIDATES.
1017         Use it to determine if FNDECL should get a hidden alias.
1018         * cp-objcp-common.h (LANG_HOOKS_FREE_LANG_DATA): Define.
1019         * cp-tree.h (cp_free_lang_data): Declare.
1020
1021 2009-09-03  Richard Guenther  <rguenther@suse.de>
1022
1023         * method.c (use_thunk): Use cgraph_finalize_function to hand
1024         off thunks to the cgraph.
1025         * semantics.c (emit_associated_thunks): Do not emit thunks
1026         for really extern functions.
1027
1028 2009-09-03  Diego Novillo  <dnovillo@google.com>
1029
1030         * cp-lang.c (lang_hooks): Remove const qualifier.
1031
1032 2009-09-02  Jason Merrill  <jason@redhat.com>
1033
1034         * semantics.c (describable_type): Don't pretend to be in a template.
1035
1036         * ptree.c (cxx_print_type) [DECLTYPE_TYPE]: Print the expression.
1037
1038 2009-09-01  Alexandre Oliva  <aoliva@redhat.com>
1039
1040         * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New.
1041         * cp-lang.c (cxx_dwarf_name): Pass it.
1042         * error.c (count_non_default_template_args): Take flags as
1043         argument.  Adjust all callers.  Skip counting of default
1044         arguments if the new flag is given.
1045
1046 2009-09-01  Dodji Seketeli  <dodji@redhat.com>
1047
1048         PR bootstrap/41205
1049         * pt.c (make_ith_pack_parameter_name): Don't use strnlen that is a
1050         GNU extension.
1051
1052 2009-09-01  Richard Guenther  <rguenther@suse.de>
1053
1054         * cp-objcp-common.c (cp_expr_size): Use tree_expr_size.
1055         * cp-objcp-common.h (LANG_HOOKS_EXPR_SIZE): Do not define.
1056
1057 2009-09-01  Richard Guenther  <rguenther@suse.de>
1058
1059         * cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove.
1060
1061 2009-08-31  Dodji Seketeli  <dodji@redhat.com>
1062
1063         PR debug/30161
1064         * cp-tree.h (get_template_info): Parameter should be const.
1065         (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): Fix typo.
1066         (get_template_argument_pack_elems,
1067         get_primary_template_innermost_parameters,
1068         get_template_innermost_arguments, template_template_parameter_p):
1069         Declare ...
1070         * pt.c (get_template_argument_pack_elems,
1071         get_template_innermost_parameters, get_template_innermost_arguments,
1072         template_template_parameter_p):
1073         ... New C++ front end implementation of new language hooks.
1074         (primary_template_instantiation_p): New private helper.
1075         (make_ith_pack_parameter_name): Use snprintf and strnlen instead of
1076         printf and strlen.
1077         (get_template_info): Const-ify parameter.
1078         * cp-lang.c (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS,
1079         LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS,
1080         LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS,
1081         LANG_HOOKS_GENERIC_TYPE_PARAMETER_DECL_P): Initialize these
1082         interfaces for the C++ front-end.
1083
1084 2009-08-31  Jason Merrill  <jason@redhat.com>
1085
1086         PR c++/41127
1087         * parser.c (cp_parser_enum_specifier): Make sure the : is followed by a
1088         type-specifier-seq before we commit.
1089
1090 2009-08-28  Richard Guenther  <rguenther@suse.de>
1091
1092         PR lto/41058
1093         * cp-gimplify.c (cp_genericize_r): Do not leak zero-sized stores
1094         into the generic IL.
1095
1096 2009-08-27  Richard Guenther  <rguenther@suse.de>
1097
1098         * class.c (build_vtbl_ref_1): Remove excess vertical space.
1099         * Make-lang.in (CXX_TREE_H): Remove c-common.def dependency
1100         tracked by $(TREE_H).
1101         * semantics.c (expand_or_defer_fn): Zero DECL_SAVED_TREE.
1102
1103 2009-08-26  Jason Merrill  <jason@redhat.com>
1104
1105         * call.c (build_builtin_candidate): Don't set LOOKUP_ONLYCONVERTING
1106         if we're contextually converting to bool.
1107         (build_conditional_expr): Likewise.
1108         * typeck.c (condition_conversion): Likewise.
1109
1110         * call.c (build_conditional_expr): Fix logic errors.
1111         (build_new_op): Remove dead COND_EXPR handling.
1112
1113 2009-08-24  Jason Merrill  <jason@redhat.com>
1114
1115         * cp-tree.h (DECL_DEFERRED_FN): Remove.
1116         (struct lang_decl_fn): Remove deferred flag.
1117         * class.c (build_clone): Don't set it.
1118         * decl2.c (note_vague_linkage_fn): Don't check or set it.
1119         (mark_used): Don't check it.
1120         * method.c (make_thunk, make_alias_for): Don't set it.
1121
1122         * decl2.c (mark_used): Streamline logic.
1123
1124         PR c++/41109
1125         PR c++/41110
1126         PR c++/41134
1127         * cp-tree.h (DECL_ODR_USED): New macro.
1128         (struct lang_decl_base): Add odr_used flag.
1129         * decl.c (duplicate_decls): Propagate it.  Use it for error.
1130         * pt.c (register_specialization): Use it for error.
1131         * decl2.c (mark_used): Use it as gating flag rather than TREE_USED.
1132         (cp_write_global_declarations): Use it for error.
1133         (tree_used_ok): Remove.
1134         * cp-tree.h: Remove tree_used_ok.
1135         * call.c (build_call_a): Don't call it.
1136         * init.c (build_offset_ref): Likewise.
1137
1138 2009-08-21  Jakub Jelinek  <jakub@redhat.com>
1139
1140         PR c++/41131
1141         * tree.c (lvalue_p_1) <case CONST_DECL>: Return clk_none if
1142         not TREE_STATIC.
1143
1144 2009-08-19  Jason Merrill  <jason@redhat.com>
1145
1146         PR c++/41119
1147         PR c++/41120
1148         * decl2.c (mark_used): Increment function_depth during synthesis.
1149         * parser.c (cp_parser_default_argument): Not here.
1150
1151 2009-08-19  Jakub Jelinek  <jakub@redhat.com>
1152
1153         * method.c (use_thunk): Call free_after_compilation after
1154         assemble_end_function.
1155
1156 2009-08-17  Richard Guenther  <rguenther@suse.de>
1157
1158         * decl.c (build_ptrmemfunc_type): Keep variant chain intact.
1159         Avoid useless copy.
1160         (finish_enum): Keep variant chain intact.
1161         * tree.c (cp_build_reference_type): Likewise.
1162
1163 2009-08-16  Jason Merrill  <jason@redhat.com>
1164
1165         Make TREE_USED match the [basic.def.odr] concept for FUNCTION_DECL
1166         and VAR_DECL, so mark_used only has effect the first time.
1167         * decl2.c (mark_used): Just return if TREE_USED is already set.
1168         Don't set TREE_USED if cp_unevaluated_operand is set.
1169         (tree_used_ok): New fn.
1170         * init.c (build_offset_ref): Check it instead of TREE_USED.
1171         * call.c (build_call_a): Likewise.
1172         * cp-tree.h: Declare it.
1173         (DECL_NO_LINKAGE_CHECKED): No longer needed.
1174         (struct lang_decl_base): Remove no_linkage_checked bitfield.
1175
1176         * decl2.c (finish_static_data_member_decl): Don't set TREE_USED.
1177
1178         * decl2.c (mark_used): It's ok to synthesize for default args now.
1179
1180 2009-08-10  Jason Merrill  <jason@redhat.com>
1181
1182         Implement DR 757: It's OK for a decl to use a type without linkage
1183         so long as the decl is defined in the current translation unit.
1184         * decl2.c (no_linkage_decls): New vector.
1185         (mark_used): Add decls that use types with no linkage.
1186         (cp_write_global_declarations): Check that they are defined.
1187         (decl_defined_p, no_linkage_error): New fns.
1188         * cp-tree.h (DECL_NO_LINKAGE_CHECKED): New macro.
1189         (struct lang_decl_base): Add flag.
1190         * decl.c (grokfndecl): Don't check type linkage.
1191         (grokvardecl): If the type has no linkage, just make sure
1192         DECL_LANG_SPECIFIC is set.
1193         * pt.c (check_instantiated_arg): Don't check type linkage.
1194         * name-lookup.c (is_local_extern): New fn.
1195         * name-lookup.h: Declare it.
1196
1197 2009-08-05  Jason Merrill  <jason@redhat.com>
1198
1199         PR c++/40948
1200         * init.c (build_vec_init): Evaluate the initializer before
1201         starting the initialization try block.
1202
1203 2009-08-05  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1204
1205         PR c++/36069
1206         * typeck.c (convert_for_assignment): Do not warn for any boolean
1207         variant. Use explicit location.
1208
1209 2009-08-04  Dodji Seketeli  <dodji@redhat.com>
1210
1211         PR c++/39987
1212         * pt.c (tsubst_default_argument): Let access checks of the
1213         default argument happen in the context of the current function.
1214
1215 2009-08-04  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1216
1217         PR c++/16696
1218         * call.c (build_new_op): Only try prefix operator if -fpermissive,
1219         otherwise just error.
1220
1221 2009-08-04  Dodji Seketeli  <dodji@redhat.com>
1222
1223         PR debug/39706
1224         * error.c (lang_decl_name): Print qualified names for decls
1225         in  namespace scope.
1226
1227 2009-08-03  Jason Merrill  <jason@redhat.com>
1228             Jakub Jelinek  <jakub@redhat.com>
1229
1230         PR c++/40948
1231         * init.c (build_vec_init): Look through a TARGET_EXPR around a
1232         CONSTRUCTOR.
1233
1234 2009-07-31  Jason Merrill  <jason@redhat.com>
1235             Douglas Gregor  <doug.gregor@gmail.com>
1236
1237         Remove implicit binding of lvalues to rvalue references (N2831)
1238         * call.c (convert_class_to_reference): Binding an lvalue to an
1239         rvalue reference is bad.  If the user-defined conversion is bad,
1240         set bad_p before merging conversions.
1241         (maybe_handle_ref_bind): Don't push down bad_p.
1242         (reference_binding): Binding an lvalue to an rvalue reference is bad.
1243         (convert_like_real): Give a helpful error about binding lvalue
1244         to rvalue reference.
1245         (reference_related_p): No longer static.
1246         * typeck.c (build_typed_address): New.
1247         (build_static_cast_1): Add static_cast from lvalue to &&.
1248         * cp-tree.h: Adjust.
1249
1250 2009-07-31  Jason Merrill  <jason@redhat.com>
1251
1252         * call.c (reference_binding): Rename lvalue_p to is_lvalue.
1253         Do direct binding of "rvalues" in memory to rvalue references.
1254         * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and
1255         "rvalue" in memory.
1256         * typeck.c (build_static_cast_1): Do direct binding of memory
1257         "rvalues" to rvalue references.
1258         * cvt.c (cp_fold_convert): New.
1259         * cp-tree.h: Declare it.
1260
1261 2009-07-31  Jason Merrill  <jason@redhat.com>
1262
1263         * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF.
1264         * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT.
1265
1266 2009-07-29  Jason Merrill  <jason@redhat.com>
1267
1268         PR c++/14912
1269         * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations.
1270         * error.c (count_non_default_template_args): Pass it.
1271         * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set.
1272
1273 2009-07-29  Richard Guenther  <rguenther@suse.de>
1274
1275         PR c++/40834
1276         * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR
1277         vars.
1278
1279 2009-07-26  Simon Martin  <simartin@users.sourceforge.net>
1280
1281         PR c++/40749
1282         * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions
1283         with a qualified return type.
1284
1285 2009-07-24  Jason Merrill  <jason@redhat.com>
1286
1287         Core issue 901
1288         * call.c (build_op_delete_call): If this is for a new-expression
1289         and the op delete is deleted, do nothing.
1290
1291         Core issue 702
1292         * call.c (compare_ics): Give list-initialization of std::init_list
1293         priority over conversion to scalar, too.
1294
1295 2009-07-22  Jason Merrill  <jason@redhat.com>
1296
1297         * mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
1298         (needs_fake_anon): New.
1299         (write_name): Check it.
1300         (write_nested_name): Add a fake anonymous namespace scope if true.
1301         * name-lookup.c (get_anonymous_namespace_name): No longer static.
1302         * rtti.c, cp-tree.h: Adjust.
1303
1304 2009-07-22  Richard Guenther  <rguenther@suse.de>
1305
1306         PR c++/40799
1307         * cp-gimplify.c (cp_gimplify_expr): Move handling of using
1308         related exprs to ...
1309         (cp_genericize_r): ... genericization stage.
1310         (cp_genericize): Adjust.
1311
1312 2009-07-21  Jason Merrill  <jason@redhat.com>
1313
1314         Core issue 934
1315         * call.c (reference_binding): Implement binding to { }.
1316         (initialize_reference): Binding temporary to non-const && is fine.
1317         * decl.c (grok_reference_init): Remove error for CONSTRUCTOR.
1318
1319         * decl.c (reshape_init_r): { T } is not an aggregate initializer
1320         for class T.
1321
1322 2009-07-17  Richard Guenther  <rguenther@suse.de>
1323
1324         PR c/40401
1325         * decl.c (finish_function): Do not emit unused result warnings
1326         from here.
1327         * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use
1328         c_warn_unused_result_pass.
1329         * semantics.c (expand_or_defer_fn): Adjust assertion about IL status.
1330         * optimize.c (clone_body): Clone in GENERIC.
1331         (maybe_clone_body): Do not clear DECL_SAVED_TREE.
1332         * decl2.c (cp_write_global_declarations): Fix body test.
1333         Do not call cgraph_optimize.
1334         * Make-lang.in (optimize.o): Add tree-iterator.h dependency.
1335         * method.c (use_thunk): Register thunk with
1336         cgraph_finalize_function.
1337         * error.c (function_category): Guard access of DECL_LANG_SPECIFIC.
1338
1339 2009-07-17  Richard Guenther  <rguenther@suse.de>
1340
1341         * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the
1342         temporary pointer.
1343
1344 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
1345             Manuel López-Ibáñez  <manu@gcc.gnu.org>
1346
1347         PR 40435
1348         * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c,
1349         tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c,
1350         call.c, cvt.c, mangle.c: Add location argument to
1351         fold_{unary,binary,ternary}, fold_build[123], build_call_expr,
1352         build_size_arg, build_fold_addr_expr, build_call_array,
1353         non_lvalue, size_diffop, fold_build1_initializer,
1354         fold_build2_initializer, fold_build3_initializer,
1355         fold_build_call_array, fold_build_call_array_initializer,
1356         fold_single_bit_test, omit_one_operand, omit_two_operands,
1357         invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref,
1358         fold_indirect_ref, combine_comparisons, fold_builtin_*,
1359         fold_call_expr, build_range_check, maybe_fold_offset_to_address,
1360         round_up, round_down.
1361
1362 2009-07-16  Jason Merrill  <jason@redhat.com>
1363
1364         PR libstdc++/37907
1365         Split POD into "standard-layout" and "trivial" as per N2230,
1366         Support std::is_standard_layout and std::is_trivial traits.
1367         * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT,
1368         CPTK_IS_TRIVIAL.
1369         (struct lang_type_class): Add non_std_layout.
1370         (CLASSTYPE_NON_STD_LAYOUT): New.
1371         * class.c (check_bases): Set it.
1372         (check_field_decls): Likewise.
1373         (check_bases_and_members): Likewise.
1374         * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT,
1375         RID_IS_TRIVIAL.
1376         (cp_parser_trait_expr): Likewise.
1377         * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT,
1378         CPTK_IS_TRIVIAL.
1379         (finish_trait_expr): Likewise.
1380         * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New.
1381         (pod_type_p): Use them.
1382         (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New.
1383
1384         Adjust bits of the language that no longer refer to POD types.
1385         * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init
1386         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
1387         (build_x_va_arg): Likewise.
1388         (call_builtin_trap): Remove.
1389         * decl.c (declare_local_label): Use type_has_nontrivial_default_init
1390         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
1391         (cp_finish_decl): Likewise.
1392         (check_previous_goto_1, check_goto): Adjust error.
1393         * typeck.c (build_class_member_access_expr): Check
1394         CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P.
1395
1396 2009-07-14  Taras Glek  <tglek@mozilla.com>
1397             Rafael Espindola  <espindola@google.com>
1398
1399         * Make-lang.in: Added CP_PLUGIN_HEADERS and
1400         c.install-target to export cp-tree.h cxx-pretty-print.h
1401         name-lookup.h headers for plugins.
1402
1403 2009-07-14  Jason Merrill  <jason@redhat.com>
1404
1405         PR c++/37276
1406         * decl.c (decls_match): A non-extern-C declaration doesn't match
1407         a builtin extern-C declaration.
1408
1409         PR c++/40746
1410         * name-lookup.c (qualified_lookup_using_namespace): Don't stop
1411         looking in used namespaces just because we found something on
1412         another branch.
1413
1414         PR c++/40740
1415         * semantics.c (perform_koenig_lookup): Handle empty template args.
1416
1417         * call.c (build_over_call): Use can_trust_pointer_alignment.
1418
1419 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
1420
1421         PR debug/40705
1422         PR c++/403057
1423         * decl2.c (grokfield): Don't call set_underlying_type on typedef
1424         decls that are type names.
1425
1426 2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1427
1428         PR C++/22154
1429         * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
1430         front of qualified names.
1431
1432 2009-07-12  Jason Merrill  <jason@redhat.com>
1433
1434         PR c++/36628
1435         * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
1436
1437         PR c++/37206
1438         * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
1439         * tree.c (lvalue_p_1): Return it.  Remove
1440         treat_class_rvalues_as_lvalues parm.
1441         (real_lvalue_p): Disallow pseudo-lvalues here.
1442         (lvalue_or_rvalue_with_address_p): New fn.
1443         * call.c (initialize_reference): Use it instead of real_lvalue_p.
1444
1445         PR c++/40689
1446         * init.c (build_new_1): Handle initializer list as array initializer.
1447         (build_vec_init): Likewise.
1448         * typeck.c (cp_build_modify_expr): Likewise.
1449         * typeck2.c (process_init_constructor_array): Error rather than abort
1450         if too many initializers.
1451
1452 2009-07-10  Jakub Jelinek  <jakub@redhat.com>
1453
1454         PR c++/40502
1455         * error.c (cp_print_error_function): Check for NULL block.
1456
1457 2008-07-09  Simon Martin  <simartin@users.sourceforge.net>
1458             Jason Merrill  <jason@redhat.com>
1459
1460         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
1461         append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
1462
1463 2009-07-09  Dodji Seketeli  <dodji@redhat.com>
1464
1465         PR c++/40684
1466         * pt.c (type_unification_real): Use tsubst_template_arg instead
1467         of tsubst to substitute default template arguments.
1468
1469 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1470
1471         PR c++/31246
1472         * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
1473         code.
1474         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
1475
1476
1477 2009-07-07  Jason Merrill  <jason@redhat.com>
1478
1479         PR c++/35828
1480         * pt.c (tsubst_decl): Don't abort if we didn't change anything
1481         in a TEMPLATE_DECL's args.
1482
1483 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1484
1485         * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
1486         EXPR_LOCATION.
1487
1488 2009-07-07  Jason Merrill  <jason@redhat.com>
1489
1490         PR c++/37816
1491         * decl.c (build_enumerator): Don't add enumerators for a
1492         scoped enum to the enclosing class.
1493
1494         PR c++/40639
1495         * decl.c (start_enum): Allow dependent underlying type.
1496
1497         PR c++/40633
1498         * decl.c (finish_enum): Finish scope even in a template.
1499
1500 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1501
1502         * init.c: Replace %J by an explicit location. Update all calls.
1503         * decl.c: Likewise.
1504         * typeck2.c: Likewise.
1505         * pt.c: Likewise.
1506         * name-lookup.c: Likewise.
1507
1508 2009-07-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1509
1510         * decl.c: Replace %H by an explicit location. Update all calls.
1511         * except.c: Likewise.
1512         * semantics.c: Likewise.
1513         * parser.c: Likewise.
1514
1515 2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
1516
1517         PR c++/40557
1518         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
1519         append_type_to_template_for_access_check_1): Use
1520         RECORD_OR_UNION_CODE_P.
1521
1522 2009-07-04  Jason Merrill  <jason@redhat.com>
1523
1524         * pt.c (retrieve_specialization): Don't get confused by a
1525         using-declaration that brings in another instance of this template
1526         from a base class.
1527
1528         * ptree.c (cxx_print_type): Fix logic.
1529
1530         * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version.
1531
1532         PR c++/40619
1533         * cp-tree.h (struct lang_decl_parm): New.
1534         (struct lang_decl): Add it.
1535         (LANG_DECL_PARM_CHECK): New.
1536         (DECL_PARM_INDEX): New.
1537         * decl2.c (parm_index): Remove.
1538         * lex.c (retrofit_lang_decl): Handle parms.
1539         (cxx_dup_lang_specific_decl): Likewise.
1540         * mangle.c (write_expression): Adjust.
1541         * tree.c (cp_tree_equal): Adjust.
1542         (decl_linkage): Only check DECL_COMDAT for functions and variables.
1543         * parser.c (cp_parser_parameter_declaration_list): Set
1544         DECL_PARM_INDEX.
1545         * pt.c (iterative_hash_template_arg): Hash it.
1546
1547 2009-07-03  Jason Merrill  <jason@redhat.com>
1548
1549         * cp-tree.h (struct lang_decl): Overhaul.
1550         (struct lang_decl_flags): Remove.
1551         (struct lang_decl_base): New.
1552         (struct lang_decl_min): New.
1553         (struct lang_decl_fn): New.
1554         (struct lang_decl_ns): New.
1555         (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN.
1556         (LANG_DECL_MIN_CHECK): New.
1557         (LANG_DECL_FN_CHECK): New.
1558         (LANG_DECL_NS_CHECK): New.
1559         (STRIP_TEMPLATE): New.
1560         (NON_THUNK_FUNCTION_CHECK): Remove.
1561         (DECL_DECLARES_FUNCTION_P): New.
1562         (lots): Adjust.
1563         * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust.
1564         * decl.c (push_local_name, duplicate_decls): Adjust.
1565         * decl2.c (start_objects): Don't set u2sel.
1566         * semantics.c (finish_omp_threadprivate): Adjust.
1567         * class.c (build_clone): Don't do much on TEMPLATE_DECLs.
1568         (decl_cloned_function_p): Out-of-line implementation of macros.
1569         (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P.
1570         * mangle.c (write_unqualified_name): Don't check function flags
1571         on non-functions.
1572         * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION.
1573         * pt.c (build_template_decl): Don't set function flags.
1574         (check_default_tmpl_args): Check that it's a function.
1575         (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the
1576         cloned template.
1577
1578         * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst
1579         DECL_CLONED_FUNCTION.
1580
1581         * cp-tree.h (struct lang_type_class): Move sorted_fields here.
1582         * class.c (finish_struct_1): Adjust.
1583         * ptree.c (cxx_print_decl, cxx_print_type): Adjust.
1584         * search.c (lookup_field_1): Adjust.
1585
1586         * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove.
1587         * decl.c (finish_method): Don't add to it.
1588         * class.c (fixup_pending_inline): Remove.
1589         (fixup_inline_methods): Remove.
1590         (finish_struct_1): Don't call it.
1591
1592         * error.c (dump_function_name): Handle null name.
1593
1594 2009-07-02  Mark Mitchell  <mark@codesourcery.com>
1595
1596         * typeck.c (cp_build_binary_op): Move warnings about use of NULL
1597         in arithmetic earlier and allow comparisions of NULL with
1598         pointers-to-members.
1599
1600 2009-07-02  Jason Merrill  <jason@redhat.com>
1601
1602         Use hash tables for template specialization lookup.
1603         * pt.c (struct spec_entry): New type.
1604         (decl_specializations, type_specializations): New hash tables.
1605         (register_specialization, retrieve_specialization): Use them.
1606         (reregister_specialization, lookup_template_class): Use them.
1607         (eq_specializations, hash_tmpl_and_args, hash_specialization): New.
1608         (iterative_hash_template_arg): New.
1609         (init_template_processing): New
1610         (process_partial_specialization): Don't look to see if we already
1611         have this partial specialization.
1612         (maybe_process_partial_specialization): Handle reassigning
1613         full specializations when we get an explicit specialization
1614         of the partial instantiation.
1615         (tsubst_friend_function): Adjust specialization reassignment code.
1616         (instantiate_template): Only do one lookup.
1617         (instantiate_decl): Don't do any lookup.
1618         * cp-tree.h: Declare init_template_processing.
1619         * decl.c (duplicate_decls): Pass args to reregister_specialization.
1620
1621 2009-07-01  Jason Merrill  <jason@redhat.com>
1622
1623         * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P.
1624
1625         * pt.c (register_specialization): Use duplicate_decls to merge
1626         the argument with a previous specialization.
1627         (check_explicit_specialization): Call register_specialization to
1628         merge the TEMPLATE_DECL with a previous version.
1629         (determine_specialization): Return the args even if fn is a template.
1630
1631 2009-07-01  Ian Lance Taylor  <iant@google.com>
1632
1633         * g++spec.c (lang_specific_driver): Bump num_args by 1.
1634
1635 2009-06-30  Jason Merrill  <jason@redhat.com>
1636
1637         PR c++/40595
1638         * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an
1639         EXPR_PACK_EXPANSION.
1640
1641 2009-06-29  Jason Merrill  <jason@redhat.com>
1642
1643         PR c++/40274
1644         * error.c (dump_template_parms): Pass all args to
1645         count_non_default_template_args.
1646         (count_non_default_template_args): Pull out the inner ones.
1647
1648 2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>
1649
1650         * decl.c (duplicate_decls): Re-indent.
1651
1652 2009-06-25  Ian Lance Taylor  <iant@google.com>
1653
1654         * call.c (avoid_sign_compare_warnings): New static function.
1655         (build_new_op): Call it.
1656         * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
1657         TREE_NO_WARNING is set on either operand.
1658
1659 2009-06-25  Ian Lance Taylor  <iant@google.com>
1660
1661         * g++spec.c (SKIPOPT): define.
1662         (lang_specific_driver): Handle -static-libstdc++.  Only add
1663         LIBSTDCXX_STATIC if we add LIBSTDCXX.
1664
1665 2009-06-25  Ian Lance Taylor  <iant@google.com>
1666
1667         * cvt.c (convert_to_void): Only warn about COND_EXPR if neither
1668         the second nor third operand has side effects.
1669
1670 2009-06-25  Ian Lance Taylor  <iant@google.com>
1671
1672         * parser.c (cp_parser_binary_expression): Increment
1673         c_inhibit_evaluation_warnings while parsing the right hand side of
1674         "true || x" or "false && x".
1675         * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
1676         if c_inhibit_evaluation_warnings is zero.
1677
1678 2009-06-24  Jason Merrill  <jason@redhat.com>
1679
1680         * error.c (dump_decl): Do say "typedef" for the injected class name.
1681
1682         * pt.c (lookup_template_class): Use currently_open_class,
1683         compare template args later.
1684
1685         PR c++/40342
1686         * decl.c (decls_match): Check DECL_TI_TEMPLATE too.
1687         * class.c (resolve_address_of_overloaded_function): Fix typo.
1688
1689 2009-06-18  Aldy Hernandez  <aldyh@redhat.com>
1690
1691         * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl.
1692         * decl.c (finish_decl): Remove.
1693         (declare_global_var): Replace finish_decl with cp_finish_decl.
1694         (start_method): Same.
1695         * rtti.c (emit_tinfo_decl): Same.
1696         * pt.c (tsubst_expr): Same.
1697         (instantiate_decl): Same.
1698         * decl2.c (grokbitfield): Same.
1699         * name-lookup.c (pushdecl_top_level_1): Same.
1700         * cp-tree.h: Remove finish_decl.
1701
1702 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
1703
1704         * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL.
1705         (lang_specific_driver): Always allocate extra argument.
1706         Add LIBSTDCXX_STATIC to arglist if defined and linking
1707         statically.
1708
1709 2009-06-16  Ian Lance Taylor  <iant@google.com>
1710
1711         * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h.
1712         (cp/semantics.o): Depend upon gt-cp-semantics.h.
1713
1714 2009-06-16  Ian Lance Taylor  <iant@google.com>
1715
1716         * parser.c (cp_unevaluated_operand): Define global variable.
1717         (cp_parser_question_colon_clause): Increment
1718         c_inhibit_evaluation_warnings when evaluating an expression which
1719         will never be executed.
1720         (cp_parser_decltype): Increment cp_unevaluated_operand and
1721         c_inhibit_evaluation_warnings, not skip_evaluation.
1722         (cp_parser_sizeof_operand): Likewise.
1723         (cp_parser_enclosed_template_argument_list): Save
1724         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
1725         skip_evaluation.
1726         * cp-tree.h (struct saved_scope): Remove skip_evaluation field.
1727         Add unevaluated_operand and inhibit_evaluation_warnings fields.
1728         (cp_unevaluated_operand): Declare.
1729         * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand
1730         and c_inhibit_evaluation_warnings rather than skip_evaluation.
1731         (pop_from_top_level): Restore cp_unevaluated_operand and
1732         c_inhibit_evaluation_warnings rather than skip_evaluation.
1733         * class.c (build_base_path): Check cp_unevaluated_operand rather
1734         than skip_evaluation.
1735         * typeck.c (build_class_member_access_expr): Likewise.
1736         (cp_build_binary_op): Don't warn about bad shift counts if
1737         c_inhibit_evaluation_warnings is non-zero.
1738         * pt.c (coerce_template_parms): Save state of
1739         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
1740         skip_evaluation.
1741         (tsubst_aggr_type): Likewise.
1742         (tsubst_pack_expansion): Check cp_unevaluated_operand rather than
1743         skip_evaluation.
1744         (tsubst_copy): Likewise.
1745         (tsubst): Set cp_unevaluated_operand and
1746         c_inhibit_evaluation_warnings, not skip_evaluation.
1747         (tsubst_copy_and_build): Likewise.
1748         * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand
1749         rather than skip_evaluation.
1750         * decl2.c (mark_used): Likewise.
1751         * semantics.c (finish_non_static_data_member): Likewise.
1752         * cvt.c (cp_convert_and_check): Check
1753         c_inhibit_evaluation_warnings rather than skip_evaluation.
1754         * mangle.c (write_type): Set cp_unevaluated_operand rather than
1755         skip_evaluation.
1756
1757 2009-06-15  Ian Lance Taylor  <iant@google.com>
1758
1759         * parser.c (cp_parser_direct_declarator): Add braces around
1760         variables declared before label.
1761
1762 2009-06-15  Rafael Avila de Espindola  <espindola@google.com>
1763
1764         * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove.
1765         * cp-tree.h (cxx_comdat_group): Change signature.
1766         * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP.
1767         (cxx_comdat_group): Change signature.
1768         * decl2.c (comdat_linkage, maybe_make_one_only): Update call to
1769         make_decl_one_only.
1770         (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP.
1771         * method.c (use_thunk): Update call to make_decl_one_only.
1772         * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP
1773
1774 2009-06-12  Aldy Hernandez  <aldyh@redhat.com>
1775
1776         * typeck.c (cp_build_binary_op): Pass location to overflow_warning.
1777         (build_modify_expr): New arg.
1778         * semantics.c (finish_unary_op_expr): Pass location to
1779         overflow_warning.
1780         (handle_omp_for_class_iterator): Pass location to build_modify_expr.
1781         * typeck.c (cxx_sizeof_or_alignof_type): Pass location to
1782         c_sizeof_or_alignof_type.
1783         (build_array_ref): New argument.
1784         (build_compound_expr): Same.
1785         (build_const_cast): Same.
1786         (build_ptrmemfunc): Pass location to build_c_cast.
1787         * init.c (avoid_placement_new_aliasing): Pass location to
1788         build_stmt.
1789         (build_vec_delete_1): Pass location to cp_build_modify_expr,
1790         build_compound_expr.
1791         * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
1792         * decl.c (poplevel): Pass location to c_build_bind_expr.
1793         (finish_case_label): Pass location to build_case_label.
1794         (finish_constructor_body): Same.
1795         (finish_destructor_body): Pass location to build_stmt.
1796         (cxx_maybe_build_cleanup): Same, but to build_compound_expr.
1797         * call.c (build_new_op): Pass location to build_array_ref.
1798         (build_x_va_arg): Pass location to build_va_arg.
1799         * except.c (expand_end_catch_block): Pass location to
1800         build_stmt.
1801         * cp-tree.h (build_array_ref): New argument.
1802         (build_compound_expr): Same.
1803         (build_c_cast): Same.
1804         * cp-gimplify.c (gimplify_if_stmt): Pass location on down.
1805         (gimplify_switch_stmt): Same.
1806         * typeck2.c (split_nonconstant_init_1): Same.
1807         * pt.c (tsubst_copy): Same.
1808         * semantics.c (add_decl_expr): Same.
1809         (do_poplevel): Same.
1810         (push_cleanup): Same.
1811         (finish_goto_stmt): Same.
1812         (finish_expr_stmt): Same.
1813         (begin_if_stmt): Same.
1814         (begin_while_stmt): Same.
1815         (begin_do_stmt): Same.
1816         (finish_return_stmt): Same.
1817         (begin_for_stmt): Same.
1818         (finish_break_stmt): Same.
1819         (finish_continue_stmt): Same.
1820         (begin_switch_stmt): Same.
1821         (begin_try_block): Same.
1822         (begin_handler): Same.
1823         (finish_asm_stmt): Same.
1824         (finish_label_stmt): Same.
1825         (finish_stmt_expr_expr): Same.
1826         (finalize_nrv_r): Same.
1827         (finish_omp_atomic): Same.
1828         * name-lookup.c (do_using_directive): Same.
1829         * decl2.c (grok_array_decl): Same.
1830         * parser.c (cp_parser_cast_expression): Same.
1831         (cp_parser_selection_statement): Same.
1832         (cp_parser_implicitly_scoped_statement): Same.
1833         (cp_parser_objc_selector_expression): Same.
1834         (cp_parser_objc_synchronized_statement): Same.
1835         (cp_parser_objc_throw_statement): Same.
1836         (cp_parser_omp_critical): Same.
1837         (cp_parser_omp_master): Same.
1838         * typeck.c (build_function_call): Add location argument.
1839         * init.c: Add location argument to all build_decl calls.
1840         * class.c: Same.
1841         * method.c: Same.
1842         * rtti.c: Same.
1843         * tree.c: Same.
1844         * pt.c: Same.
1845         * semantics.c: Same.
1846         * lex.c: Same.
1847         * decl2.c: Same.
1848         * cp-gimplify.c: Same.
1849         * decl.c: Same.
1850         (cp_make_fname_decl): Add location argument.  Pass location ot
1851         build_decl.
1852         (finish_case_label): Same.
1853         * cp-tree.h (finish_case_label): Add location argument.
1854         * parser.c (cp_parser_label_for_labeled_statement): Pass location to
1855         finish_case_label.
1856
1857 2009-06-09  Jason Merrill  <jason@redhat.com>
1858
1859         PR c++/40381
1860         * decl2.c (mark_used): Return after complaining about deleted fn.
1861
1862 2009-06-08  Jason Merrill  <jason@redhat.com>
1863
1864         * parser.c (cp_parser_type_id_1): 'auto' type is ok with a
1865         late-specified return type.
1866
1867 2009-06-08  Jakub Jelinek  <jakub@redhat.com>
1868
1869         PR c++/40373
1870         * call.c (check_dtor_name): Return false even if
1871         get_type_value (name) is error_mark_node.
1872
1873         PR c++/40370
1874         PR c++/40372
1875         * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS
1876         on error_mark_node.  Check for VLAs outside of function context
1877         before check whether to wrap bounds into a NOP_EXPR with
1878         TREE_SIDE_EFFECTS.
1879
1880 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
1881
1882         * repo.c (get_base_filename): Use aux_base_name rather than
1883         alternate temporary file during second compare debug compilation.
1884         (finish_repo): Skip during -fcompare-debug-second.
1885
1886 2009-06-06  Ian Lance Taylor  <iant@google.com>
1887
1888         * parser.c (cp_parser_label_for_labeled_statement): Support
1889         attribute on labels if immediately followed by semicolon.
1890         * semantics.c (finish_label_stmt): Return new label.
1891         * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR.
1892
1893 2009-06-03  Ian Lance Taylor  <iant@google.com>
1894
1895         * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
1896         $(SYSTEM_H).
1897
1898 2009-06-02  Mark Mitchell  <mark@codesourcery.com>
1899
1900         * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
1901
1902 2009-06-02  Jason Merrill  <jason@redhat.com>
1903
1904         PR c++/40308
1905         PR c++/40311
1906         * typeck.c (cp_build_modify_expr): Always pass init-lists to the
1907         conversion code.
1908         * call.c (implicit_conversion): Allow init-list conversion to scalar
1909         during direct-initialization, too.  Mark the conversion bad if it
1910         has too many levels of braces.
1911         (convert_like_real): And give a helpful error.
1912
1913         PR c++/40306
1914         PR c++/40307
1915         * decl.c (cp_finish_decl): Handle auto deduction from ().
1916         * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
1917         with dependent type that is known to be a pointer.
1918
1919 2009-06-02  Simon Martin  <simartin@users.sourceforge.net>
1920
1921         PR c++/38089
1922         * pt.c (register_specialization): Properly setup DECL_CONTEXT for
1923         specializations in an invalid namespace.
1924
1925 2009-06-01  Aldy Hernandez  <aldyh@redhat.com>
1926
1927         * error.c (print_instantiation_partial_context): Print column
1928         numbers.
1929
1930 2009-05-29  Ian Lance Taylor  <iant@google.com>
1931
1932         * error.c (cp_printer): Don't use va_arg with enum type.
1933
1934 2009-05-28  Dodji Seketeli  <dodji@redhat.com>
1935
1936         PR c++/39754
1937         * cp-tree.h (canonical_type_variant): Remove this function declaration.
1938         (strip_typedefs): New function declaration.
1939         * tree.c (strip_typedefs): New function definition.
1940         (canonical_type_variant): Remove function definition.
1941         * cvt.c (convert_from_reference): No need to use
1942         canonical_type_variant.
1943         * typeck.c (cp_build_indirect_ref): Likewise.
1944         * error.c (dump_template_bindings): Use strip_typedefs instead of
1945         canonical_type_variant.
1946         * pt.c (convert_template_argument, unify): Likewise.
1947         * mangle.c (canonicalize_for_substitution): Don't use
1948         canonical_type_variant.
1949
1950 2009-05-27  Jason Merrill  <jason@redhat.com>
1951
1952         * call.c (implicit_conversion): Handle conversion from
1953         initializer-list to scalar.
1954         (convert_like_real): Likewise.  Avoid crashing on list
1955         initialization with bad conversions.
1956         (can_convert): Use LOOKUP_EXPLICIT.
1957         (can_convert_arg_bad): Add flags parm.
1958         * cp-tree.h: Adjust.
1959         * typeck.c (convert_for_assignment): Pass flags.
1960
1961 2009-05-27  Ian Lance Taylor  <iant@google.com>
1962
1963         * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER).
1964         (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise.
1965
1966 2009-05-26  Ian Lance Taylor  <iant@google.com>
1967
1968         * Make-lang.in (g++spec.o): Use $(COMPILER).
1969         (g++$(exeext), cc1plus-dummy$(exeext)): Likewise.
1970         (cc1plus$(exeext)): Likewise.
1971
1972 2009-05-26  Dodji Seketeli  <dodji@redhat.com>
1973
1974         PR c++/40007
1975         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor.
1976         (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor.
1977         (get_types_needing_access_check): Declare new entry point.
1978         * pt.c (append_type_to_template_for_access_check_1,
1979         get_types_needing_access_check): New functions.
1980         (perform_typedefs_access_check): Accept FUNCTION_DECLs and
1981         RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new
1982         get_types_needing_access_check, no more
1983         MEMBER_TYPES_NEEDING_ACCESS_CHECK.
1984         (instantiate_class_template): Set input_location to the source
1985         location of the most specialized template definition.
1986         Perform access check using the RECORD_TYPE of the template, not its
1987         associated most generic TEMPLATE_DECL.
1988         (append_type_to_template_for_access_check): Augment function
1989         comments. Use the new get_types_needing_access_check, not
1990         MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new
1991         append_type_to_template_for_access_check_1 subroutine.
1992
1993 2009-05-22  Jason Merrill  <jason@redhat.com>
1994
1995         PR c++/38064
1996         * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in
1997         arithmetic comparisons.
1998         (cp_common_type): Handle scoped enums.
1999
2000         * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P.
2001         (add_builtin_candidate, add_builtin_candidates): Likewise.
2002         (convert_like_real): Likewise.
2003         * class.c (check_bitfield_decl): Likewise.
2004         * decl.c (check_static_variable_definition): Likewise.
2005         (compute_array_index_type): Likewise.
2006         * decl2.c (grokbitfield): Likewise.
2007         * init.c (build_new_1): Likewise.
2008         * pt.c (convert_nontype_argument): Likewise.
2009         (current_instantiation): Likewise.
2010         * tree.c (pod_type_p): Likewise.
2011         * typeck.c (build_static_cast_1): Likewise.
2012         (build_reinterpret_cast_1): Likewise.
2013
2014 2009-05-22  Richard Guenther  <rguenther@suse.de>
2015
2016         PR middle-end/38964
2017         * init.c (avoid_placement_new_aliasing): Remove.
2018         (build_new_1): Do not call it.
2019
2020 2009-05-22  Mark Mitchell  <mark@codesourcery.com>
2021
2022         * decl2.c (decl_needed_p): Consider dllexport'd functions needed.
2023         * semantics.c (expand_or_defer_fn): Similarly.
2024
2025 2009-05-20  Ian Lance Taylor  <iant@google.com>
2026
2027         * parser.c (cp_parser_postfix_expression): Change args to a vec.
2028         Release it when done.
2029         (tree_vector): Define typedef.  Define VEC functions.
2030         (cp_parser_parenthesized_expression_list): Change return type to
2031         vec.  Change all callers.
2032         (cp_parser_new_expression): Change placement and initializer to
2033         vecs.  Release them when done.
2034         (cp_parser_new_placement): Change return type to vec.  Change all
2035         callers.
2036         (cp_parser_new_initializer): Likewise.
2037         * typeck.c (build_function_call_vec): Just call
2038         cp_build_function_call_vec.
2039         (cp_build_function_call): Just build a vec and call
2040         cp_build_function_call_vec.
2041         (cp_build_function_call_vec): New function based on old
2042         cp_build_function_call.
2043         (convert_arguments): Remove nargs and argarray parameters.  Change
2044         values to a vec.  Change caller.
2045         (build_x_compound_expr_from_vec): New function.
2046         (cp_build_modify_expr): Build vec to pass to
2047         build_special_member_call.
2048         * call.c (struct z_candidate): Add first_arg field.  Change args
2049         field to vec.
2050         (convert_class_to_reference): Handle first argument separately.
2051         (add_candidate): Add first_arg parameter.  Change args parameter
2052         to vec.  Change all callers.
2053         (add_function_candidate, add_conv_candidate): Likewise.
2054         (add_template_candidate_real, add_template_candidate): Likewise.
2055         (add_template_conv_candidate): Likewise.
2056         (build_user_type_conversion_1): Handle first argument separately.
2057         (resolve_args): Change return type and parameter type to vecs.
2058         Change all callers.
2059         (perform_overload_resolution): Change args parameter to vec.
2060         Change all callers.
2061         (build_new_function_call, build_operator_new_call): Likewise.
2062         (add_candidates): Likewise.
2063         (build_op_call): New globally visible function, built from and
2064         replacing static function build_object_call.
2065         (build_new_op): Don't handle CALL_EXPR.  Build vec, not tree_list,
2066         of arguments.
2067         (build_op_delete_call): Build vec to pass to
2068         cp_build_function_call_vec.
2069         (build_temp): Build vec to pass to build_special_member_call.
2070         (convert_like_real): Likewise.
2071         (perform_direct_initialization_if_possible): Likewise.
2072         (build_over_call): Handle first_arg field.  Use build_call_array
2073         rather than build_call_list.
2074         (build_special_member_call): Change args parameter to vec.  Change
2075         all callers.
2076         (build_new_method_call): Likewise.
2077         * init.c (expand_default_init): Change parms to vec.
2078         (build_raw_new_expr): Change placement and init to vecs.  Change
2079         all callers.
2080         (build_new_1, build_new): Likewise.
2081         * class.c (resolve_address_of_overloaded_function): Build array to
2082         pass to fn_type_unification.
2083         * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to
2084         build_new.  For CALL_EXPR create a vec rather than a tree_list;
2085         expand a pack if necessary.
2086         (fn_type_unification): Change args parameter to const tree *.  Add
2087         nargs parameter.  Change all callers.
2088         (type_unification_real): Likewise.
2089         (unify): Build array to pass to type_unification_real.
2090         (get_bindings): Build array to pass to fn_type_unification.
2091         (any_type_dependent_arguments_p): Change args parameter to a vec.
2092         Change all callers.
2093         (make_args_non_dependent): Renamed from build_non_dependent_args.
2094         Change return type to void.  Change parameter type to vec.  Change
2095         all callers.
2096         (do_auto_deduction): Pass an array to type_unification_real.
2097         * semantics.c (perform_koenig_lookup): Change args to vec.  Change
2098         all callers.
2099         (finish_call_expr): Change args to vec.  Change all callers.  Call
2100         build_op_call instead of passing CALL_EXPR to build_new_op.
2101         (cxx_omp_create_clause_info): Allocate vec to pass to
2102         build_special_member_call.
2103         * decl2.c (build_offset_ref_call_from_tree): Change args parameter
2104         to vec.  Change all callers.
2105         * name-lookup.c (lookup_function_nonclass): Likewise.
2106         (struct arg_lookup): Change args to vec.
2107         (arg_assoc_namespace): Handle args as a vec.
2108         (arg_assoc_args_vec): New static function.
2109         (lookup_arg_dependent): Change args parameter to vec.  Change all
2110         callers.
2111         * method.c (do_build_assign_ref): Allocate vec to pass to
2112         build_special_member_call.
2113         * except.c (build_throw): Likewise.
2114         * typeck2.c (build_functional_cast): Likewise.
2115         * cvt.c (ocp_convert): Likewise.
2116         * tree.c (build_min_non_dep_call_vec): Change last parameter to
2117         vec.  Change all callers.
2118         * cp-tree.h: Update declarations.
2119         * name-lookup.h: Update declarations.
2120
2121 2009-05-20  Sandra Loosemore  <sandra@codesourcery.com>
2122
2123         * typeck.c (default_conversion): Check targetm.promoted_type.
2124         * decl.c (grokdeclarator): Check targetm.invalid_return_type.
2125         (grokparms): Check targetm.invalid_parameter_type.
2126         * cvt.c (ocp_convert): Check targetm.convert_to_type.
2127         (build_expr_type_conversion): Check targetm.promoted_type.
2128
2129 2009-05-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2130
2131         * typeck.c (build_binary_op): Allow % on integal vectors.
2132
2133 2009-05-18  Jason Merrill  <jason@redhat.com>
2134
2135         Implement explicit conversions ops as specified in N2437.
2136         * decl.c (grokdeclarator): Handle explicit conversion ops.
2137         (check_initializer): Pass flags to store_init_value.
2138         * decl2.c (maybe_emit_vtables): Likewise.
2139         * init.c (expand_aggr_init_1): Likewise.
2140         * call.c (convert_class_to_reference): Take flags parm,
2141         check DECL_NONCONVERTING_P.
2142         (build_user_type_conversion_1): Check DECL_NONCONVERTING_P.
2143         (add_builtin_candidates): Simplify getting type of conversion.
2144         (build_object_call): Likewise.  Check DECL_NONCONVERTING_P.
2145         (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING.
2146         (reference_binding): Take flags parm.  Direct-initialize copy parm.
2147         (add_function_candidate): Direct-initialize the copy parm.
2148         (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL.
2149         (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING.
2150         (conditional_conversion): Likewise.
2151         (convert_like_real): Only complain about DECL_NONCONVERTING_P
2152         constructors.
2153         (perform_implicit_conversion_flags): Add flags parm to
2154         perform_implicit_conversion.  Improve diagnostics.
2155         * cp-tree.h (LOOKUP_IMPLICIT): New macro.
2156         (LOOKUP_COPY_PARM): New bit macro.
2157         * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P.
2158         * typeck.c (convert_for_assignment): Take flags parm, pass it to
2159         perform_implicit_conversion_flags.
2160         (cp_build_modify_expr): Pass flags to convert_for_assignment.
2161         (convert_for_initialization): Likewise.
2162         * typeck2.c (store_init_value): Take flags parm, pass to
2163         digest_init_flags.
2164         (digest_init_flags): Add flags parm to digest_init.
2165         (digest_init_r): Take flags parm, pass to convert_for_initialization.
2166         (process_init_constructor_array): Pass it.
2167         (process_init_constructor_record): Likewise.
2168         (process_init_constructor_union): Likewise.
2169
2170 2009-05-16  Jason Merrill  <jason@redhat.com>
2171
2172         PR c++/40139
2173         * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing
2174         with a dependent type.  Actually look up the destructor.
2175         * semantics.c (finish_id_expression): Fix logic.
2176         (finish_qualified_id_expr): Don't try to use 'this' if we aren't in
2177         a function.
2178         * typeck.c (build_x_unary_op): Diagnose taking the address of a
2179         constructor or destructor.
2180         * tree.c (get_first_fn): Handle OFFSET_REF.
2181
2182 2009-05-17  Joseph Myers  <joseph@codesourcery.com>
2183
2184         * tree.c (cxx_printable_name_internal): Allow consecutive
2185         translated and untranslated cached copies of the name of the
2186         current function.
2187
2188 2009-05-15  Ian Lance Taylor  <iant@google.com>
2189
2190         * cp-tree.h (enum cp_lvalue_kind_flags): Rename from
2191         cp_lvalue_kind.  Change all uses.
2192         (enum base_access_flags): Rename from enum base_access.  Change
2193         all uses.
2194         * parser.c (enum cp_parser_flags): Remove enum tag.
2195
2196 2009-05-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2197
2198         PR 16302
2199         * call.c (build_new_op): Update calls to warn_logical_operator.
2200
2201 2009-05-14  Ian Lance Taylor  <iant@google.com>
2202
2203         * class.c (layout_class_type): Change itk to unsigned int.
2204         * decl.c (finish_enum): Change itk to unsigned int.
2205         * parser.c (cp_parser_check_decl_spec): Change ds to int.  Remove
2206         casts.
2207
2208 2009-05-13  David Mandelin <dmandelin@mozilla.com>:
2209
2210         * decl.c (duplicate_decls): Preserve parameter attributes.
2211
2212 2009-05-10  Jan Hubicka  <jh@suse.cz>
2213
2214         * decl2.c (cxx_callgraph_analyze_expr): Use
2215         cgraph_mark_address_taken.
2216
2217 2009-05-10  Joseph Myers  <joseph@codesourcery.com>
2218
2219         * call.c (name_as_c_string): Call type_as_string_translate.
2220         Translate identifiers to locale character set.
2221         * cp-tree.h (lang_decl_name): Update prototype.
2222         (type_as_string_translate, decl_as_string_translate,
2223         cxx_printable_name_translate): Declare.
2224         * cxx-pretty-print.c (M_): Define.
2225         (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark
2226         English fragments for conditional translation with M_.
2227         * decl.c (grokdeclarator): Translate identifiers to locale
2228         character set for diagnostics.
2229         * error.c (M_): Define.
2230         (dump_template_bindings, dump_type, dump_aggr_type,
2231         dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl,
2232         dump_function_decl, dump_template_parms, dump_expr,
2233         dump_binary_op, op_to_string, assop_to_string): Mark English
2234         fragments for conditional translation with M_.
2235         (type_as_string): Disable translation of identifiers.
2236         (type_as_string_translate): New.
2237         (expr_as_string): Disable translation of identifiers.
2238         (decl_as_string): Disable translation of identifiers.
2239         (decl_as_string_translate): New.
2240         (lang_decl_name): Add parameter translate.
2241         (args_to_string): Call type_as_string_translate.
2242         (cp_print_error_function): Call cxx_printable_name_translate.
2243         (print_instantiation_full_context,
2244         print_instantiation_partial_context): Call
2245         decl_as_string_translate.
2246         * parser.c (cp_lexer_get_preprocessor_token): Use %qE for
2247         identifier in diagnostic.
2248         * tree.c (cxx_printable_name): Change to
2249         cxx_printable_name_internal.  Add parameter translate.
2250         (cxx_printable_name, cxx_printable_name_translate): New wrappers
2251         round cxx_printable_name_internal.
2252
2253 2009-05-08  H.J. Lu  <hongjiu.lu@intel.com>
2254
2255         PR c/36892
2256         * call.c (build_call_a): Updated warn_deprecated_use call.
2257         (build_over_call): Likewise.
2258         * decl.c (grokdeclarator): Likewise.
2259         (grokparms): Likewise.
2260         * semantics.c (finish_id_expression): Likewise.
2261         * typeck.c (build_class_member_access_expr): Likewise.
2262         (finish_class_member_access_expr): Likewise.
2263
2264 2009-05-06  Dodji Seketeli  <dodji@redhat.com>
2265
2266         PR c++/17395
2267         * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
2268         whole list of PARM_DECLs, just the current one.
2269
2270 2009-05-05  Shujing Zhao  <pearly.zhao@oracle.com>
2271
2272         * cp-tree.h:
2273         (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook,
2274         mangle_compound_literal): Remove unused declarations.
2275         (build_vfield_ref, cxx_print_statistics, clone_function_decl,
2276         adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name,
2277         pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish,
2278         check_for_out_of_scope_variable, print_other_binding_stack,
2279         maybe_push_decl, cxx_mark_addressable, force_target_expr,
2280         build_target_expr_with_type, finish_case_label,
2281         cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block,
2282         check_template_keyword, cxx_omp_predetermined_sharing,
2283         cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
2284         cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause,
2285         cxx_omp_privatize_by_reference): Rearrange the declarations line to
2286         match the comment that indicates the .c file which the functions are
2287         defined.
2288         (cxx_print_xnode, cxx_print_decl, cxx_print_type,
2289         cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment.
2290
2291 2009-05-05  Nathan Sidwell  <nathan@codesourcery.com>
2292
2293         * typeck.c (cp_build_compound_expr): Require RHS to have a known
2294         type.
2295         * class.c (resolve_address_of_overloaded_function): Use
2296         OVL_CURRENT for error message.
2297         (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing
2298         with them.  Do not copy the node.
2299
2300 2009-05-05  Jakub Jelinek  <jakub@redhat.com>
2301
2302         PR c++/40013
2303         * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type,
2304         set it from its operand's type after tsubst_expr.
2305
2306 2009-05-04  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2307
2308         PR c++/28152
2309         * parser.c (cp_lexer_get_preprocessor_token):  Do not store the
2310         canonical spelling for keywords.
2311         (cp_parser_attribute_list): Use the canonical spelling for
2312         keywords in attributes.
2313
2314 2009-05-01  Joseph Myers  <joseph@codesourcery.com>
2315
2316         * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id,
2317         pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression,
2318         pp_cxx_new_expression, pp_cxx_delete_expression,
2319         pp_cxx_unary_expression, pp_cxx_assignment_operator,
2320         pp_cxx_assignment_expression, pp_cxx_expression,
2321         pp_cxx_function_specifier, pp_cxx_decl_specifier_seq,
2322         pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq,
2323         pp_cxx_exception_specification, pp_cxx_direct_declarator,
2324         pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement,
2325         pp_cxx_namespace_alias_definition, pp_cxx_template_parameter,
2326         pp_cxx_canonical_template_parameter, pp_cxx_template_declaration,
2327         pp_cxx_declaration, pp_cxx_typeid_expression,
2328         pp_cxx_va_arg_expression, pp_cxx_offsetof_expression,
2329         pp_cxx_trait_expression): Mostly use pp_string and
2330         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
2331         for non-identifiers.  Mark English strings for translation.
2332         * cxx-pretty-print.h (pp_cxx_ws_string): Define.
2333         * error.c (dump_template_parameter, dump_template_bindings,
2334         dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl,
2335         dump_decl, dump_template_decl, dump_function_decl,
2336         dump_parameters, dump_exception_spec, dump_template_parms,
2337         dump_expr, dump_binary_op, dump_unary_op, op_to_string,
2338         assop_to_string, args_to_string, cp_print_error_function,
2339         print_instantiation_full_context,
2340         print_instantiation_partial_context): Mostly use pp_string and
2341         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
2342         for non-identifiers.  Mark English strings for translation.
2343         (dump_global_iord): Mark strings for translation; use longer
2344         strings instead of substituting single words.
2345         (function_category): Return a format string marked for
2346         translation, not a single word or phrase to substitute in a longer
2347         phrase.
2348
2349 2009-04-28  Ben Elliston  <bje@au.ibm.com>
2350
2351         PR c++/35652
2352         Revert:
2353
2354         2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2355
2356         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
2357
2358 2009-04-27  Ian Lance Taylor  <iant@google.com>
2359
2360         * semantics.c (finish_omp_clauses): Change type of c_kind to enum
2361         omp_clause_code.
2362
2363 2009-04-27  Jakub Jelinek  <jakub@redhat.com>
2364
2365         PR c++/39875
2366         * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about
2367         -Wunused-value if implicit.
2368
2369 2009-04-24  Ian Lance Taylor  <iant@google.com>
2370
2371         * call.c (build_temp): Change 0 to enum constant.
2372         * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum
2373         type.
2374         * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type.
2375         * decl2.c (constrain_visibility): Likewise.
2376         * parser.c (cp_lexer_get_preprocessor_token): Likewise.
2377         (cp_parser_flags): Typedef to int rather than enum type.
2378         (cp_parser_expression_stack_entry): Change prec field to enum
2379         cp_parser_prec.
2380
2381         * typeck.c (build_modify_expr): Add lhs_origtype parameter.
2382         Change all callers.
2383
2384 2009-04-22  Dodji Seketeli  <dodji@redhat.com>
2385
2386         PR c++/39639
2387         * parser.c (cp_parser_template_argument_list): Display an error
2388         when an ellipsis is not preceded by a parameter pack. Also, warn
2389         about variadic templates usage without -std=c++0x.
2390
2391 2009-04-21  Taras Glek <tglek@mozilla.com>
2392
2393         * cp-tree.h: Update GTY annotations to new syntax.
2394         * decl.c: Likewise.
2395         * mangle.c: Likewise.
2396         * name-lookup.c: Likewise.
2397         * name-lookup.h: Likewise.
2398         * parser.c: Likewise.
2399         * pt.c: Likewise.
2400         * rtti.c: Likewise.
2401         * semantics.c: Likewise.
2402         * typeck2.c: Likewise.
2403
2404 2009-04-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2405
2406         PR c++/14875
2407         * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
2408
2409 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2410
2411         PR c++/35711
2412         * typeck.c (check_for_casting_away_constness): We diagnose casting
2413         away any qualifiers not just constness.
2414         (casts_away_constness): Mention that it handles more than just
2415         constness.
2416
2417 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
2418
2419         * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
2420         ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
2421         ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
2422         ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
2423         ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
2424         cfns.gperf: Add copyright and license notices.
2425         * cfns.h: Regenerate.
2426         * ChangeLog, ChangeLog-2004: Correct dates.
2427
2428 2009-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2429
2430         PR 16202
2431         * tree.c (lvalue_p_1): Use const_tree.
2432         Use CONST_CAST_TREE to avoid warning.
2433         (lvalue_p): Returns bool, receives const_tree.
2434
2435 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2436
2437         PR c++/13358
2438         * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
2439         * error.c (pedwarn_cxx98): New.
2440         * cp-tree.h (pedwarn_cxx98): Declare.
2441
2442 2009-04-20  Le-Chun Wu  <lcwu@google.com>
2443
2444         PR c++/39803
2445         * init.c (build_vec_init): Set TREE_NO_WARNING on the
2446         compiler-generated INDIRECT_REF expression.
2447
2448 2009-04-20  Ian Lance Taylor  <iant@google.com>
2449
2450         * typeck.c (build_function_call_vec): New function.
2451         (cp_build_function_call): Only pass first parameter to
2452         objc_rewrite_function_call.
2453         (build_modify_expr): Add rhs_origtype parameter.  Change all
2454         callers.
2455         * decl.c (finish_decl): Add origtype parameter.  Change all
2456         callers.
2457         * semantics.c (finish_call_expr): Pass VEC to
2458         resolve_overloaded_builtin.
2459
2460 2009-04-20  Ian Lance Taylor  <iant@google.com>
2461
2462         * cp-tree.h (base_access): Change typedef to int.
2463         * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
2464         (cp_parser_omp_threadprivate): Likewise.
2465         * pt.c (unify_pack_expansion): Add casts to enum type.
2466
2467 2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2468
2469         PR c/32061
2470         PR c++/36954
2471         * call.c (build_new_op): Save the original codes of operands
2472         before folding.
2473
2474 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
2475
2476         * cp-tree.h: Remove the prototype for insert_block.
2477         * decl.c (insert_block): Remove.
2478
2479 2009-04-16  Ian Lance Taylor  <iant@google.com>
2480
2481         * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
2482         (tsubst_flags_t): Change typedef from enum type to int.
2483
2484 2009-04-16  Paolo Bonzini  <bonzini@gnu.org>
2485
2486         * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
2487         instead of targetm.vector_opaque_p.
2488
2489 2009-04-15  Le-Chun Wu  <lcwu@google.com>
2490
2491         PR c++/39551
2492         * call.c (build_over_call): Set TREE_NO_WARNING on the
2493         compiler-generated INDIRECT_REF expression.
2494         * cvt.c (convert_to_void): Emit warning when stripping off
2495         INDIRECT_REF.
2496
2497 2009-04-14  Diego Novillo  <dnovillo@google.com>
2498
2499         * parser.c (cp_parser_type_specifier_seq): Move call to
2500         invoke_plugin_callbacks ...
2501         (cp_parser_type_specifier_seq): ... here.
2502
2503 2009-04-14  Le-Chun Wu  <lcwu@google.com>
2504
2505         * Make-lang.in: Modify dependencies of files including plugin.h.
2506         * decl.c (finish_function): Call invoke_plugin_callbacks.
2507         * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
2508
2509 2009-04-14  Jason Merrill  <jason@redhat.com>
2510
2511         PR c++/39763
2512         * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
2513         about shadowing by tentative parms.
2514
2515 2009-04-13  Jason Merrill  <jason@redhat.com>
2516
2517         PR c++/39480
2518         * call.c (build_over_call): Don't call memcpy if the target is
2519         the same as the source.
2520
2521 2009-04-13  Jason Merrill  <jason@redhat.com>
2522
2523         PR c++/39750
2524         * pt.c (uses_template_parms): Handle CONSTRUCTOR.
2525
2526 2009-04-12  Jason Merrill  <jason@redhat.com>
2527
2528         PR c++/39742
2529         * call.c (joust): Don't crash on variadic fn.
2530
2531 2009-04-10  Jason Merrill  <jason@redhat.com>
2532
2533         PR c++/28301
2534         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
2535         if we see a close brace without an open brace.
2536
2537 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
2538
2539         * parser.c (cp_parser_class_specifier): Remove the unused
2540         has_trailing_semicolon.
2541
2542 2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2543
2544         PR  c++/20118
2545         * parser.c (cp_parser_check_template_parameters): Take a
2546         cp_declarator parameter.
2547         (cp_parser_elaborated_type_specifier): Update to
2548         cp_parser_check_template_parameters.
2549         (cp_parser_class_head): Likewise.
2550         (cp_parser_check_declarator_template_parameters): Likewise.
2551         (cp_parser_check_template_parameters): Handle first the non-error
2552         conditions. Give more accurate diagnostics if a declarator is
2553         given.
2554
2555 2009-04-08  Jason Merrill  <jason@redhat.com>
2556
2557         PR c++/25185
2558         * error.c (dump_aggr_type): Chase template typedefs if
2559         -fno-pretty-templates.
2560
2561 2009-04-08  Dodji Seketeli  <dodji@redhat.com>
2562
2563         PR c++/39637
2564         * parser.c (cp_parser_enumerator_definition): Make sure the
2565         initializer of the enumerator doesn't contain any bare parameter pack.
2566
2567 2009-04-07  Jason Merrill  <jason@redhat.com>
2568
2569         PR c++/34691
2570         * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
2571         * call.c (joust): Complain about mismatched default arguments
2572         in extern "C" functions.
2573         * class.c (resolve_address_of_overloaded_function): Handle multiple
2574         extern "C" functions.
2575         * pt.c (resolve_overloaded_unification): Likewise.
2576
2577 2009-04-07  Jason Merrill  <jason@redhat.com>
2578
2579         PR c++/25185
2580         * error.c (dump_function_decl): Don't pretty-print templates
2581         if -fno-pretty-templates.
2582         (count_non_default_template_args): Print all args if
2583         -fno-pretty-templates.
2584
2585 2009-04-06  Jason Merrill  <jason@redhat.com>
2586
2587         PR c++/35146
2588         * pt.c (fn_type_unification): For DEDUCE_EXACT check that
2589         the deduced template arguments give us the parameter types
2590         we're looking for.
2591
2592 2009-04-05  Giovanni Bajo <giovannibajo@libero.it>
2593             Jason Merrill  <jason@redhat.com>
2594
2595         PR c++/14912
2596         * error.c (count_non_default_template_args): New fn.
2597         (dump_template_parms): Call it.
2598         (dump_template_argument_list): Call it.  Add parms parm.
2599         (dump_template_argument): Adjust call to dump_template_argument_list.
2600         (dump_type, dump_decl): Likewise.
2601         (dump_template_bindings): Refactor logic.
2602
2603 2009-04-03  Jason Merrill  <jason@redhat.com>
2604
2605         PR c++/25185
2606         * error.c (dump_template_bindings): Look through typedefs in
2607         typename results.
2608         (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
2609         (find_typenames_r): Also collect typedefs.
2610         * pt.c (unify): Strip typedefs.
2611
2612         PR c++/39608
2613         * semantics.c (finish_id_expression): Don't assume a dependent
2614         member of the current instantiation isn't a valid integral
2615         constant expression.  Check dependent_scope_p.
2616         * pt.c (dependent_scope_p): Check TYPE_P.
2617         (tsubst_copy): If args is null, just return.
2618
2619 2009-04-02  Jason Merrill  <jason@redhat.com>
2620
2621         PR c++/25185
2622         * error.c (find_typenames, find_typenames_r): New fns.
2623         (dump_function_decl): Call find_typenames.
2624         (dump_template_bindings): Print typenames as well.
2625         * pt.c (tsubst): Non-static.
2626         * cp-tree.h: Declare it.
2627
2628 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
2629
2630         PR c++/26693
2631         * decl2.c (grokfield): when a typedef appears in a
2632         class, create the typedef variant type node for it.
2633         (save_template_attributes): Creating typedef variant type node
2634          here is now useless.
2635         * decl.c (grokdeclarator): If the typedef'ed struct/class was
2636         anonymous, set the proper type name to all its type variants.
2637         (xref_basetypes) : Fixup the variant types after setting
2638         TYPE_BINFO on REF.
2639         * name-lookup.c (pushdecl_maybe_friend): Reuse the
2640         set_underlying_type function to install typedef variant types.
2641         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
2642         macro.
2643         (append_type_to_template_for_access_check): New entry points.
2644         * semantics.c (check_accessibility_of_qualified_id):
2645         When a typedef that is a member of a class appears in a template,
2646         add it to the template. It will be ...
2647         * class.c (finish_struct_bits): Split type variant fixup into ...
2648         (fixup_type_variants): A new entry point.
2649         * pt.c (instantiate_class_template, instantiate_template ): ... access
2650         checked at template instantiation time.
2651         (resolve_type_name_type): The type name should be the name of the
2652         main type variant.
2653         (retrieve_specialization): Specializations of template typedefs aren't
2654         to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
2655         (append_type_to_template_for_access_check): New entry point.
2656         (tsubst_decl): For typedefs, build the variant type from the correct
2657         original type.
2658         (get_class_bindings): Fix function comment.
2659         (perform_typedefs_access_check): New entry point.
2660
2661 2009-03-31  Jason Merrill  <jason@redhat.com>
2662
2663         PR c++/34691
2664         * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
2665         extern "C" declarations.
2666
2667         C++ DR 613
2668         * semantics.c (finish_non_static_data_member): Allow such references
2669         without an associated object in sizeof/decltype/alignof.
2670
2671         * ptree.c (cxx_print_decl): Pretty-print full name of
2672         function/template.
2673         (cxx_print_type): Pretty-print full name of class.
2674
2675         * decl.c (grokdeclarator): Reject pointer to qualified function
2676         type.
2677
2678         PR c++/37806, core issue 547
2679         * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
2680         to a typedef.
2681         * tree.c (cp_build_qualified_type_real): Don't apply restrict to a
2682         function type.
2683         * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
2684         * decl.c (groktypename): Add is_template_arg parameter.
2685         (grokdeclarator): Allow function cv-quals on a template type arg.
2686         * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
2687         is_template_arg argument in calls to groktypename.
2688         * cp-tree.h: Adjust prototype.
2689         * error.c (dump_type_prefix, dump_type_suffix): Fix plain
2690         FUNCTION_TYPE printing.
2691
2692         * mangle.c (write_expression): Mangle dependent name as
2693         source-name.
2694
2695         PR c++/38030, 38850, 39070
2696         * pt.c (type_dependent_expression_p_push): New fn.
2697         (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
2698         substitution makes the call non-dependent.  Preserve koenig_p.
2699         * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
2700         for non-dependent calls.
2701         * semantics.c (finish_call_expr): Revert earlier changes.
2702         * cp-tree.h: Revert change to finish_call_expr prototype.
2703
2704 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
2705
2706         PR preprocessor/34695
2707         * cp-tree.h (cp_cpp_error): Remove.
2708         * error.c (cp_cpp_error): Remove.
2709         * parser.c (cp_lexer_new_main): Set done_lexing instead of
2710         client_diagnostic and error callback.
2711
2712 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
2713
2714         * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
2715         * cp/cp-objcp-common.c (cxx_staticp): Remove.
2716         * cp/cp-tree.h (cxx_staticp): Remove.
2717
2718 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
2719
2720         PR c++/39554
2721         * parser.c (cp_parser_postfix_expression): Don't call
2722         warning_if_disallowed_function_p.
2723
2724 2009-03-27  Jan Hubicka  <jh@suse.cz>
2725
2726         * except.c (choose_personality_routine): Set terminate_node to abort
2727         for java exceptions.
2728
2729 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
2730             Jakub Jelinek  <jakub@redhat.com>
2731
2732         PR debug/37959
2733         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
2734         (cp_function_decl_explicit_p): New prototype.
2735         * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
2736
2737 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2738
2739         PR c++/38638
2740         * parser.c (cp_parser_elaborated_type_specifier): If we have a
2741         typename tag and don't have either a TYPE_DECL or a
2742         TEMPLATE_ID_EXPR, set the type to NULL.
2743
2744 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
2745
2746         PR c++/37647
2747         * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
2748         scope.
2749
2750 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
2751
2752         PR c++/29727
2753         * decl.c (check_array_designated_initializer): Handle error_mark_node.
2754
2755 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2756
2757         PR c++/35652
2758         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
2759
2760 2009-03-26  Andrew Haley  <aph@redhat.com>
2761
2762         PR C++/39380
2763         * decl2.c (possibly_inlined_p): If java exceptions are in use
2764         don't inline a decl unless it is explicitly marked inline.
2765         * lex.c: (pragma_java_exceptions): New variable.
2766         (handle_pragma_java_exceptions): Set pragma_java_exceptions.
2767         * cp-tree.h (pragma_java_exceptions): Declare new variable.
2768
2769 2009-03-24  Jason Merrill  <jason@redhat.com>
2770
2771         PR c++/28274
2772         * name-lookup.c (pushdecl_maybe_friend): Check default args later.
2773
2774 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
2775
2776         PR c/39495
2777         * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
2778         code if iter is the second operand.
2779         * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
2780         argument.  If it is set, don't build the toplevel expression with
2781         build_x_binary_op, but build2.
2782         (cp_parser_assignment_expression,  cp_parser_omp_for_incr): Adjust
2783         callers.
2784         (cp_parser_omp_for_cond): Don't assume the first operand of the
2785         comparison must be decl.
2786
2787 2009-03-23  Jason Merrill  <jason@redhat.com>
2788
2789         PR c++/37729
2790         * pt.c (make_fnparm_pack): Split out from...
2791         (instantiate_decl): ...here.
2792         (tsubst_pack_expansion): Handle being called in a late-specified
2793         return type.
2794
2795         PR c++/39526
2796         * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
2797         a parm with a parm.
2798
2799 2009-03-20  Jason Merrill  <jason@redhat.com>
2800
2801         PR c++/28879
2802         * parser.c (cp_parser_direct_declarator): In a template, wrap
2803         non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
2804         * pt.c (tsubst): Preserve it in a partial instantiation.
2805         (dependent_type_p_r): Don't check value_dependent_expression_p.
2806         * decl.c (compute_array_index_type): Don't check
2807         value_dependent_expression_p if TREE_SIDE_EFFECTS.
2808
2809         C++ core issue 703
2810         * typeck2.c (check_narrowing): Don't complain about loss of
2811         precision when converting a floating-point constant.
2812
2813 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
2814
2815         PR c/39495
2816         * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
2817         (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
2818
2819 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
2820
2821         * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
2822         (eof_token): Adjust.
2823
2824 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
2825
2826         PR c++/39425
2827         * parser.c (cp_parser_explicit_specialization): Don't skip the
2828         rest of the specialization when begin_specialization returns
2829         false.
2830
2831 2009-03-17  Jason Merrill  <jason@redhat.com>
2832
2833         * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
2834         (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
2835         * pt.c (check_explicit_specialization): Likewise.
2836         (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
2837         local specialization.
2838         * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
2839         * decl2.c (parm_index): New fn.
2840         * semantics.c (finish_decltype_type): Don't use describable_type.
2841         * mangle.c (write_expression): Likewise.  Mangle ALIGNOF_EXPR.
2842         Give a sorry for unsupported codes rather than crash.  Mangle
2843         conversions with other than 1 operand.  New mangling for PARM_DECL.
2844         * operators.def (ALIGNOF_EXPR): Mangle as "az".
2845
2846 2009-03-17  Jing Yu  <jingyu@google.com>
2847
2848         PR middle-end/39378
2849         * method.c (use_thunk): Change is_thunk from crtl to cfun.
2850
2851 2009-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
2852
2853         PR c++/39475
2854         * semantics.c (check_trait_type): New.
2855         (finish_trait_expr): Use it.
2856
2857 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
2858
2859         * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
2860         instead of calling imported_module_or_decl debug hook if
2861         building_stmt_tree ().
2862         * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
2863         is a NAMESPACE_DECL.
2864
2865         PR debug/37890
2866         * name-lookup.c (do_namespace_alias): Don't call global_decl debug
2867         hook at function scope.
2868
2869         PR debug/39471
2870         * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
2871         on IMPORTED_DECL.
2872
2873 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
2874
2875         PR c++/39371
2876         * semantics.c (finish_switch_cond): Don't call get_unwidened.
2877         * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
2878         instead of TREE_TYPE (cond).
2879
2880 2009-03-08  H.J. Lu  <hongjiu.lu@intel.com>
2881
2882         PR c++/39060
2883         * parser.c (cp_parser_late_parsing_default_args): Continue
2884         the loop when cp_parser_assignment_expression returns
2885         error_mark_node.
2886
2887 2009-03-07  Jason Merrill  <jason@redhat.com>
2888
2889         PR c++/39367
2890         * init.c (build_new_1): Don't use a VLA type.
2891         (build_vec_init): Handle getting a pointer for BASE.
2892
2893 2009-03-06  H.J. Lu  <hongjiu.lu@intel.com>
2894
2895         PR c++/37520
2896         * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
2897         when mangling symbols.
2898
2899 2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
2900
2901         PR c++/33492
2902         * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
2903
2904 2009-03-06  Alexandre Oliva  <aoliva@redhat.com>
2905
2906         * decl.c (record_builtin_java_type): Use canonicalized integer
2907         types.
2908
2909 2009-03-04  Jason Merrill  <jason@redhat.com>
2910
2911         PR c++/38908
2912         * class.c (is_really_empty_class): New fn.
2913         * cp-tree.h: Declare it.
2914         * cp-objcp-common.c (cp_expr_size): Use it.
2915
2916         PR c++/13549
2917         * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
2918         * parser.c (cp_parser_postfix_expression): Call it for
2919         TEMPLATE_ID_EXPR.
2920         * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
2921         (get_first_fn): Likewise.
2922
2923         PR c++/9634
2924         PR c++/29469
2925         PR c++/29607
2926         Implement DR 224.
2927         * decl.c (make_typename_type): Do look inside currently open classes.
2928         * parser.c (cp_parser_lookup_name): Likewise.
2929         (cp_parser_template_name): Likewise.
2930         * pt.c (dependent_scope_p): New function.
2931         * cp-tree.h: Declare it.
2932         * class.c (currently_open_class): Return fast if T isn't a class.
2933
2934 2009-02-26  H.J. Lu  <hongjiu.lu@intel.com>
2935
2936         PR c++/37789
2937         * parser.c (cp_parser_mem_initializer): Return error_mark_node
2938         if cp_parser_mem_initializer_id returns error_mark_node.
2939
2940 2009-02-24  Richard Guenther  <rguenther@suse.de>
2941
2942         PR c++/39242
2943         * pt.c (instantiate_decl): Do not instantiate extern, non-inline
2944         declared functions.
2945
2946 2009-02-23  H.J. Lu  <hongjiu.lu@intel.com>
2947
2948         PR c++/36411
2949         * pt.c (coerce_template_template_parms): Return 0 if parameter
2950         is error_mark_node.
2951
2952 2009-02-23  Jason Merrill  <jason@redhat.com>
2953
2954         * pt.c (unify): Call maybe_adjust_types_for_deduction when
2955         deducing from an initializer list.
2956
2957 2009-02-20  Jason Merrill  <jason@redhat.com>
2958
2959         PR c++/39225
2960         * decl.c (grokdeclarator): Handle ~identifier.
2961
2962 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
2963
2964         PR target/39175
2965         * decl2.c (determine_visibility): If visibility changed and
2966         DECL_RTL has been already set, call make_decl_rtl to update symbol
2967         flags.
2968
2969 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
2970
2971         PR c++/39188
2972         * cp-tree.h (maybe_commonize_var): New.
2973
2974         * decl.c (maybe_commonize_var): Make it extern.
2975
2976         * decl2.c (finish_anon_union): Call maybe_commonize_var.
2977
2978 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
2979
2980         PR c++/39219
2981         * parser.c (cp_parser_enum_specifier): Apply all attributes.
2982
2983 2009-02-18  Jason Merrill  <jason@redhat.com>
2984
2985         * cfns.h: Tweak pathname for cfns.gperf.
2986
2987 2009-02-13  Jason Merrill  <jason@redhat.com>
2988
2989         PR c++/39070
2990         * semantics.c (finish_call_expr): Change koenig_p parm to int.
2991         If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
2992         * cp-tree.h: Adjust prototype.
2993         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
2994
2995 2009-02-12  Jason Merrill  <jason@redhat.com>
2996
2997         PR c++/38950
2998         * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
2999
3000 2009-02-11  Jason Merrill  <jason@redhat.com>
3001
3002         PR c++/39153
3003         * decl2.c (cp_write_global_declarations):
3004         Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
3005
3006         PR c++/30111
3007         * init.c (build_value_init_noctor): Split out from...
3008         (build_value_init): ...here.
3009         (expand_aggr_init_1): Handle value-initialization.
3010         * cp-tree.h: Add declaration.
3011         * class.c (type_has_user_provided_constructor):
3012         Handle non-class arguments.
3013
3014 2009-02-10  Jason Merrill  <jason@redhat.com>
3015
3016         PR c++/38649
3017         * class.c (defaultable_fn_p): Handle ... properly.
3018
3019         PR c++/36744
3020         * tree.c (lvalue_p_1): Condition rvalue ref handling on
3021         treat_class_rvalues_as_lvalues, too.
3022
3023 2009-02-10  Paolo Carlini  <paolo.carlini@oracle.com>
3024
3025         PR c++/34397
3026         * typeck.c (build_x_array_ref): New.
3027         * cp-tree.h: Declare it.
3028         * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
3029
3030 2009-02-09  Jason Merrill  <jason@redhat.com>
3031
3032         PR c++/39109
3033         * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
3034         * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
3035         * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
3036         * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
3037         for build_value_init TARGET_EXPR.
3038         * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
3039
3040 2009-02-06  Paolo Carlini  <paolo.carlini@oracle.com>
3041
3042         PR c++/35147
3043         PR c++/37737
3044         * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
3045
3046 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
3047
3048         PR c++/39095
3049         * operators.def: Use COMPONENT_REF code for ->/pt operator again,
3050         remove ./dt operator.
3051         * mangle.c (write_expression): Handle COMPONENT_REF after handling
3052         ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
3053         write_string ("dt") instead of using operators.def.
3054
3055 2009-02-03  Jason Merrill  <jason@redhat.com>
3056
3057         * typeck.c (cp_build_unary_op): Only complain about taking address
3058         of main if pedantic.
3059
3060 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
3061
3062         PR inline-asm/39059
3063         * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
3064
3065         PR c++/39056
3066         * typeck2.c (digest_init_r): Don't call process_init_constructor
3067         for COMPLEX_TYPE.
3068
3069 2009-02-03  Paolo Bonzini  <bonzini@gnu.org>
3070
3071         PR c++/36897
3072         * pt.c (convert_nontype_argument_function): Expect expr to be an
3073         ADDR_EXPR.
3074
3075         PR c++/37314
3076         * typeck.c (merge_types): Call resolve_typename_type if only
3077         one type is a typename.
3078
3079 2009-02-02  Jason Merrill  <jason@redhat.com>
3080
3081         PR c++/39054
3082         * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node
3083         in BIT_NOT_EXPR.
3084
3085 2009-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
3086
3087         PR c++/39053
3088         * parser.c (cp_parser_pure_specifier): If there are no tokens left
3089         do not call cp_lexer_consume_token.
3090
3091 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
3092
3093         PR c++/39028
3094         * parser.c (cp_parser_already_scoped_statement): Handle __label__
3095         declarations.
3096
3097 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
3098
3099         PR c++/33465
3100         * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
3101
3102 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
3103
3104         PR c++/38655
3105         * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
3106
3107 2009-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
3108
3109         * typeck.c (invalid_nonstatic_memfn_p): Use
3110         DECL_NONSTATIC_MEMBER_FUNCTION_P.
3111
3112 2009-01-27  Paolo Carlini  <paolo.carlini@oracle.com>
3113
3114         PR c++/37554
3115         * call.c (build_over_call): If convert_for_arg_passing returns
3116         error_mark_node unconditionally return it.
3117
3118 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
3119
3120         * class.c (check_field_decls): Also inherit packed for bitfields
3121         regardless of their type.
3122
3123 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
3124
3125         PR c++/38930
3126         * decl2.c (grokfield): Reverting changes of PR c++/26693
3127         (save_template_attributes): Likewise.
3128         * decl.c (grokdeclarator): Likewise.
3129         * name-lookup.c (pushdecl_maybe_friend): Likewise.
3130         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
3131         (append_type_to_template_for_access_check): Likewise.
3132         * semantics.c (check_accessibility_of_qualified_id): Likewise.
3133         * pt.c (instantiate_class_template, instantiate_template ): Likewise.
3134         (tsubst): Likewise.
3135         (resolve_type_name_type): Likewise.
3136         (append_type_to_template_for_access_check): Likewise.
3137
3138 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
3139
3140         PR c++/26693
3141         * decl2.c (grokfield): when a typedef appears in a
3142         class, create the typedef variant type node for it.
3143         (save_template_attributes): Creating typedef variant type node
3144          here is now useless.
3145         * decl.c (grokdeclarator): If the typedef'ed struct/class was
3146         anonymous, set the proper type name to all its type variants.
3147         * name-lookup.c (pushdecl_maybe_friend): Reuse the
3148         set_underlying_type function to install typedef variant types.
3149         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
3150         macro.
3151         (append_type_to_template_for_access_check): New entry points.
3152         * semantics.c (check_accessibility_of_qualified_id):
3153         When a typedef that is a member of a class appears in a template,
3154         add it to the template. It will be ...
3155         * pt.c (instantiate_class_template, instantiate_template ): ... access
3156         checked at template instantiation time.
3157         (tsubst): Handle the case of being called with NULL args.
3158         (resolve_type_name_type): The type name should be the name of the
3159         main type variant.
3160         (append_type_to_template_for_access_check): New entry point.
3161
3162 2009-01-19  Jason Merrill  <jason@redhat.com>
3163
3164         PR c++/23287
3165         * parser.c (cp_parser_unqualified_id): In a template,
3166         accept ~identifier.
3167         * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
3168
3169 2009-01-16  Jason Merrill  <jason@redhat.com>
3170
3171         PR c++/38877
3172         * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
3173         * init.c (build_new): Don't call describable_type unless we
3174         have an auto.
3175
3176         PR c++/29470
3177         * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
3178
3179         PR c++/38579
3180         * search.c (protected_accessible_p): N doesn't vary.
3181
3182 2009-01-15  Jason Merrill  <jason@redhat.com>
3183
3184         PR c++/38850
3185         * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
3186         accept hidden friends.
3187
3188 2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3189
3190         PR C++/29388
3191         * decl.c (grokdeclarator): Check for a non namespace/class context.
3192
3193 2009-01-15  Jason Merrill  <jason@redhat.com>
3194
3195         PR c++/36334
3196         PR c++/37646
3197         * tree.c (lvalue_p_1): Handle BASELINK.  A COMPONENT_REF to
3198         a function isn't necessarily an lvalue. Take tree, not const_tree.
3199         (lvalue_p, real_lvalue_p): Take tree, not const_tree.
3200         * typeck.c (lvalue_or_else): Likewise.
3201         * cp-tree.h: Adjust prototypes.
3202
3203 2009-01-15  Steve Ellcey  <sje@cup.hp.com>
3204
3205         PR c++/38357
3206         * pt.c (tsubst): Check for NULL args.
3207
3208 2009-01-15  Dodji Seketeli  <dodji@redhat.com>
3209
3210         PR c++/38636
3211         * name-lookup.c (pushtag): Don't create members to types that are not
3212         being created.
3213
3214 2009-01-14  Nick Clifton  <nickc@redhat.com>
3215
3216         PR c++/37862
3217         * parser.c: Pass cp_id_kind computed in
3218         cp_parser_postfix_dot_deref_expression to
3219         cp_parser_primary_expression.
3220
3221 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
3222
3223         PR c++/38795
3224         * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
3225         STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
3226         as CAST_EXPR.
3227
3228 2009-01-12  Jason Merrill  <jason@redhat.com>
3229             Steve Ellcey  <sje@cup.hp.com>
3230
3231         PR c++/35109
3232         * name-lookup.c (lookup_name_real): Keep looking past a hidden
3233         binding.
3234
3235 2009-01-12  Dodji Seketeli  <dodji@redhat.com>
3236
3237         PR c++/36019
3238         * pt.c (parameter_of_template_p): New function.
3239         * cp-tree.h: Declare it.
3240         * name-lookup.c (binding_to_template_parms_of_scope_p): New
3241         function.
3242         (outer_binding): Take template parameters in account when looking for
3243         a name binding.
3244
3245 2009-01-12  Jason Merrill  <jason@redhat.com>
3246
3247         PR c++/31488
3248         * tree.c (pod_type_p): Return 1 for structs created by the back end.
3249
3250 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
3251
3252         PR c/32041
3253         * parser.c (cp_parser_builtin_offsetof): Allow `->' in
3254         offsetof member-designator, handle it as `[0].'.
3255
3256         PR c++/38794
3257         * decl.c (start_function): If grokdeclarator hasn't returned
3258         FUNCTION_DECL nor error_mark_node, issue diagnostics.
3259
3260 2009-01-11  Jakub Jelinek  <jakub@redhat.com>
3261
3262         PR c++/36254
3263         * cp-gimplify.c (genericize_if_stmt): Renamed from ...
3264         (gimplify_if_stmt): ... this.
3265         (cp_gimplify_expr): Don't handle IF_STMT here.
3266         (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
3267
3268 2009-01-10  Andrew Pinski  <pinskia@gmail.com>
3269
3270         PR c++/38648
3271         * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
3272
3273         PR c++/36695
3274         * typeck2.c (build_functional_cast): Check for reference type and NULL
3275         PARMS.
3276
3277 2009-01-09  Steve Ellcey  <sje@cup.hp.com>
3278
3279         * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
3280
3281 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
3282
3283         PR c++/35335
3284         * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
3285
3286 2009-01-09  John F. Carr  <jfc@mit.edu>
3287
3288         PR c++/37877
3289         * parser.c (cp_parser_class_specifier): Clear
3290         parser->in_unbraced_linkage_specification_p while parsing class
3291         specifiers.
3292
3293 2009-01-07  Jakub Jelinek  <jakub@redhat.com>
3294
3295         PR c++/38725
3296         * semantics.c (finish_goto_stmt): Convert destination to
3297         void *.
3298
3299 2009-01-06  Jason Merrill  <jason@redhat.com>
3300
3301         PR c++/35297
3302         PR c++/35477
3303         PR c++/35784
3304         PR c++/36846
3305         PR c++/38276
3306         * pt.c (check_default_tmpl_args): Don't complain about
3307         out-of-order parameter packs in the enclosing class
3308         or parameter packs after default args.
3309         (coerce_template_parms): If we have more than one
3310         parameter pack, don't flatten argument packs.
3311         (template_args_equal): Handle argument packs.
3312         (comp_template_args): Don't flatten argument packs.
3313         (check_instantiated_arg): Split out from...
3314         (check_instantiated_args): Here.  Handle arg packs.
3315         (convert_template_argument): Just check that nontype argument
3316         packs have the right type.
3317
3318 2009-01-05  Dodji Seketeli  <dodji@redhat.com>
3319
3320         PR c++/38472
3321         * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
3322
3323 2009-01-05  Jason Merrill  <jason@redhat.com>
3324
3325         PR c++/38698
3326         * typeck2.c (process_init_constructor_union): Handle union with
3327         no fields.
3328
3329         * mangle.c (write_expression): Remove mangling for zero-operand
3330         casts.
3331
3332         PR c++/38701
3333         * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
3334         defaulting.
3335
3336         PR c++/38702
3337         * class.c (defaultable_fn_p): Only operator== can be a copy
3338         assignment operator.
3339
3340 2009-01-02  Jason Merrill  <jason@redhat.com>
3341
3342         PR c++/38698
3343         * typeck2.c (process_init_constructor_union): Handle excess
3344         initializers.
3345         (process_init_constructor_record): Likewise.
3346
3347         PR c++/38684
3348         * typeck2.c (digest_init_r): Don't use process_init_constructor
3349         for non-aggregate classes.
3350
3351 \f
3352 Copyright (C) 2009 Free Software Foundation, Inc.
3353
3354 Copying and distribution of this file, with or without modification,
3355 are permitted in any medium without royalty provided the copyright
3356 notice and this notice are preserved.