X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=blobdiff_plain;f=gcc%2Fcp%2FChangeLog;h=ccb2afec9e4573aae5e65522fd99183ce7e800bc;hp=bb3f8f929322aee454b88f5330eb1bbe35964068;hb=c1ca2f12d48e17441544cf8eaa442e4bd55119c0;hpb=418d88bf7461b11dcce4992b4de15483abac5c87 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index bb3f8f92932..ccb2afec9e4 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3556 +1,76 @@ -2009-12-04 Jason Merrill +2010-01-18 Dodji Seketeli - PR c++/42010 - * cp-tree.h (DECL_DISCRIMINATOR_SET_P): New. - * mangle.c (discriminator_for_local_entity): Check it. + PR c++/42766 + * cvt.c (build_expr_type_conversion): Look through OVERLOAD. - PR c++/42277 - * semantics.c (finish_decltype_type): Defer handling of decltype - of a non-dependent COMPONENT_REF in a template. +2010-01-17 Dodji Seketeli -2009-12-04 Dodji Seketeli + PR c++/42697 + *pt.c (tsubst_decl): Revert commit for PR c++/42697. - PR c++/42218 - * cxx-pretty-print.c (pp_cxx_unqualified_id): Print only innermost - template arguments. +2010-01-17 Dodji Seketeli -2009-12-03 Jason Merrill + PR c++/42697 + *pt.c (tsubst_decl): Get the arguments of a specialization from + the specialization template, not from the most general template. - PR c++/41611 - * decl2.c (get_guard): Don't use the same comdat group as the decl. +2010-01-16 Jason Merrill - PR c++/42266 - * cvt.c (convert_from_reference): Do nothing if TREE_TYPE is null. + PR c++/42761 + * semantics.c (finish_decltype_type): Within a template, treat + unresolved CALL_EXPR as dependent. -2009-12-03 Dodji Seketeli +2010-01-15 Dodji Seketeli - PR c++/42217 - * class.c (remove_zero_width_bit_fields): The width of the bit field is - in DECL_SIZE, not in DECL_INITIAL. + * error.c (dump_template_parms,count_non_default_template_args): + Revert changes of PR c++/42634. -2009-12-03 Jakub Jelinek +2010-01-14 Jakub Jelinek - PR c++/42256 - * optimize.c (maybe_clone_body): Call emit_associated_thunks - after expand_or_defer_fn_1. + PR middle-end/42674 + * decl.c (finish_function): Don't emit -Wreturn-type warnings in + functions with noreturn attribute. -2009-12-02 Taras Glek +2010-01-14 Jason Merrill - * parser.c (cp_parser_class_specifier): Back out my previous change. - * semantics.c (begin_class_definition): Back out my previous change. + PR c++/42701 + * call.c (build_new_method_call): Don't free the vec here. -2009-12-02 Paolo Bonzini - Shujing Zhao + PR c++/42655 + * call.c (convert_like_real): Do full decay_conversion for ck_rvalue. - PR c++/29917 - * call.c (op_error): Accept a boolean to indicate no match/ambiguous - match, instead of a string. Callers adjusted. +2010-01-13 Dodji Seketeli - PR c++/34836 - * cp-tree.h (readonly_error_kind): New type. - (readonly_error): Adjust prototype with new argument. - * typeck2.c (readonly_error): Accept readonly_error_kind as argument - and add macro ERROR_FOR_ASSIGNMENT to emit diagnostics. - * semantics.c (finish_asm_stmt): Adjust readonly_error call. - * typeck.c (cp_build_unary_op, cp_build_modify_expr): Likewise. + PR c++/42634 + * error.c (dump_template_parms): Use innermost template + arguments before calling count_non_default_template_args. + (count_non_default_template_args): We are being called with + template innermost arguments now. There is no need to ensure + that again. - * decl.c (grokparms, grok_op_properties): Put the diagnostics in full - sentences for easy translation and wrap the diagnostics into G_() when - needed. - (create_array_type_for_decl): Likewise. - * pt.c (tsubst): Likewise. - * typeck2.c (cp_build_unary_op): Wrap diagnostic into _(). - * rtti.c (build_dynamic_cast_1): Likewise. - * Make-lang.in: Adjust. +2010-01-07 Dodji Seketeli -2009-12-02 Jakub Jelinek + c++/40155 + * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template + arguments that were previously deduced. - * g++spec.c (lang_specific_driver): Remove unused saw_verbose_flag - variable. - * pt.c (tsubst_pack_expansion): Remove unused first_arg_pack variable. - * init.c (build_vec_init): Remove unused size variable. - * typeck2.c (check_narrowing): Remove unused was_decl variable. - * decl.c (poplevel): Remove unused tmp and real_functionbody - variables. - (decls_match): Remove unused tree_name variable. - (start_decl): Remove unused type variable. - * parser.c (cp_parser_type_parameter): Remove unused parameter_list - variable. - (cp_parser_template_id, cp_parser_explicit_instantiation, - cp_parser_declarator): Remove unused token variable. - (cp_parser_simple_type_specifier): Remove unused id variable. - (cp_parser_parameter_declaration): Remove unused - greater_than_is_operator_p variable. - (cp_parser_check_declarator_template_parameters): Remove unused - member variable. - (c_parse_file): Remove unused error_occurred variable. - * cp-gimplify.c (cp_gimplify_init_expr): Remove unused slot variable. - * typeck.c (cp_build_function_call_vec): Remove unused name variable. - * class.c (resolve_address_of_overloaded_function): Remove unused - is_reference variable. - (build_rtti_vtbl_entries): Remove unused basetype variable. - * mangle.c (write_template_param): Remove unused parm_level and - parm_type variables. +2010-01-05 Jason Merrill -2009-12-01 Taras Glek + * pt.c (unify_pack_expansion): Handle deduction from init-list. + * call.c (build_over_call): Don't complain about it. - * parser.c (cp_parser_class_specifier): Set class location to that - of IDENTIFIER_NODE instead of '{' when possible. +2010-01-04 Jason Merrill -2009-12-01 Taras Glek + PR c++/42555 + * pt.c (tsubst_decl): Don't apply type attributes in place. - * semantics.c (begin_class_definition): Do not overide locations with less precise ones. + PR c++/42567 + * semantics.c (describable_type): Remove decltype comment and + semantics. -2009-12-01 Jason Merrill - - PR c++/41611 - * decl2.c (get_guard): Copy DECL_COMDAT. - (comdat_linkage): Set DECL_COMDAT unconditionally. - -2009-12-01 Jakub Jelinek - - PR c++/3187 - * optimize.c (cdtor_comdat_group): New function. - (maybe_clone_body): Also optimize DECL_COMDAT base/complete cdtors - and in that case put also the deleting dtor in the same comdat group - as base and complete dtor if dtor is virtual. - -2009-11-30 Paolo Carlini - - PR c++/40371 - * call.c (add_template_candidate_real): Early return NULL if - the arglist length is smaller than skip_without_in_chrg; tidy. - -2009-11-30 Dodji Seketeli - - PR c++/42069 - * pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs. - -2009-11-29 Dodji Seketeli - - PR c++/36408 - * semantics.c (empty_expr_stmt_p): Handle void_zero_node and fix - bad indentation. - * pt.c (tsubst_copy_and_build): Fix typo. - -2009-11-29 Jan Hubicka - - * optimize.c (maybe_clone_body): Emit thunks associated to alias. - * Make-lang.in (method.o): Add dependency on gimple.h. - * method.c: Include gimple.h - (make_alias_for_thunk): Use same body alias instead of assemble_alias. - (use_thunk): Drop codegen; use cgraph_add_thunk; gimplify - generic thunks. - * semantics.c (expand_or_defer_fn): Emit associated thunks. - -2009-11-28 Dodji Seketeli - - PR c++/36408 - * cp-tree.h (empty_expr_stmt_p): Declare ... - * semantics.c (empty_expr_stmt_p): ... this. - * pt.c (tsubst_copy_and_build) : Use it. - -2009-11-27 Paolo Carlini - - PR c++/38656 - * cxx-pretty-print.c (pp_cxx_expression): Handle TEMPLATE_ID_EXPR. - -2009-11-27 Paolo Carlini - - PR c++/35112 - * pt.c (print_overloaded_functions): New. - (print_candidates): Call the latter. - * parser.c (cp_parser_class_name): Do not duplicate the diagnostics - after the cp_parser_lookup_name call. - -2009-11-26 Jason Merrill - - PR c++/42026, DR 239 - * parser.c (cp_parser_postfix_expression): A local extern also - prevents arg-dependent lookup. - -2009-11-26 Gabriel Dos Reis - - * decl.c (grokdeclarator): Remove period at end of diagnosic message. - -2009-11-25 Jason Merrill - - PR c++/10690 - * rtti.c (get_tinfo_decl_dynamic): Call resolve_nondeduced_context. - -2009-11-24 Jason Merrill - - PR c++/42137 - * parser.c (cp_parser_mem_initializer_id): Pass typename_type to - cp_parser_class_name. - (cp_parser_unqualified_id): Same, rather than class_type. - - PR c++/11764 - * parser.c (cp_parser_expression_statement): Give helpful error - for constructor name used as type. - - * pt.c (determine_specialization): Give helpful error about missing - "template<>". - -2009-11-23 Jakub Jelinek - - PR middle-end/42095 - * tree.c: Include cgraph.h. - (cp_fix_function_decl_p): Don't return true for same_body aliases. - * Make-lang.in (cp/tree.o): Depend on $(CGRAPH_H). - -2009-11-23 Dodji Seketeli - - PR c++/14777 - * cp-tree.def : Declare new kind of tree - node. - * cp-tree.h (struct tree_template_info, - struct qualified_typedef_usage_s): New. - (cp_tree_node_structure_enum): add TS_CP_TEMPLATE_INFO. - (union lang_tree_node): Add template_info. - (TI_TEMPLATE, TI_ARGS, TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): - Adjust. - (build_template_info): Declare. - (get_types_needing_access_check): Adjust return type. - (add_typedef_to_current_template_for_access_check): Declare. - * cp-objcp-common.c (cp_tree_size): Handle TEMPLATE_INFO. - * semantics.c (add_typedef_to_current_template_for_access_check): - Split from ... - (check_accessibility_of_qualified_id): ... here. - * decl.c (make_typename_type): Use it. - * pt.c (build_template_info): Define. - (check_explicit_specialization, find_parameter_packs_r, - push_template_decl_real, lookup_template_class, - for_each_template_parm_r, tsubst_decl, tsubst): Use - build_template_info. - (get_types_needing_access_check): Adjust return type. - (append_type_to_template_for_access_check_1): Record the - location of the usage point of the typedef. Adjust to TEMPLATE_INFO. - (append_type_to_template_for_access_check): Add new location - parameter. Pass it to append_type_to_template_for_access_check_1. - Adjust to TEMPLATE_INFO. - (perform_typedefs_access_check): Temporarily set input_location to - the usage point of the typedef we are checking access for. Adjust - to new TEMPLATE_INFO tree node. - * tree.c (bind_template_template_parm): Use build_template_info. - * call.c (add_template_candidate_real): Likewise. - * decl.c (grokfndecl): Likewise. - (cp_tree_node_structure): Handle TEMPLATE_INFO. - -2009-11-20 Jason Merrill - - PR c++/9050, DR 147, DR 318 - * parser.c (cp_parser_lookup_name): If the name matches the explicit - class scope, we're naming the constructor. - (cp_parser_constructor_declarator_p): Just use cp_parser_unqualified_id - if we have a nested-name-specifier. - (cp_parser_direct_declarator): Handle getting an overload set as a - constructor declarator. - (cp_parser_unqualified_id): Avoid looking up the constructor when - naming the destructor. - (cp_parser_diagnose_invalid_type_name): Give good - diagnostic for improper use of constructor as template. - * typeck.c (finish_class_member_access_expr): Give good diagnostic - about calling constructor. - - * error.c (dump_aggr_type): Don't print A::A for injected-class-name. - -2009-11-20 Simon Martin - - PR c++/38646 - * pt.c (process_partial_specialization): Do not turn wrongly located - parameter pack arguments into error_mark_node. - Split too long lines into two. - -2009-11-20 Paolo Carlini - - PR c++/42060 - * except.c (build_throw): Check the tree returned by - decay_conversion for error_mark_node. - -2009-11-20 Shujing Zhao - - PR c++/29017 - * cp-tree.h (composite_pointer_operation): New type. - (composite_pointer_type): Adjust prototype with new argument. - * typeck.c (composite_pointer_type): Accept - composite_pointer_operation as argument and emit diagnostic to be - visible to gettext and checked at compile time. - (composite_pointer_type_r): Likewise. - (common_pointer_type): Update call to composite_pointer_type. - (cp_build_binary_op): Likewise. - * call.c (build_conditional_expr): Likewise. - -2009-11-19 Jason Merrill - - PR c++/42115 - * call.c (build_op_delete_call): Don't complain about using - op delete (void *, size_t) for placement delete if there's an - op delete (void *). - - DR 176 permissiveness - * class.c (build_self_reference): Call set_underlying_type. - * decl.c (check_elaborated_type_specifier): Don't complain about - injected-class-name. - (type_is_deprecated): Use TYPE_MAIN_VARIANT. - * pt.c (convert_template_argument): Handle injected-class-name used - as template template argument. - * typeck2.c (abstract_virtuals_error): Use TYPE_MAIN_VARIANT. - - PR c++/561 - * decl.c (static_fn_type): Split out... - (revert_static_member_fn): ...from here. - * cp-tree.h: Declare it. - * class.c (resolve_address_of_overloaded_function): Use it to compare - pointers to member functions. - * typeck.c (build_static_cast_1): Call instantiate_type. - -2009-11-18 Shujing Zhao - - PR c++/40892 - * error.c (maybe_warn_cpp0x): Accept enum cpp0x_warn_str as argument. - (maybe_warn_variadic_templates): Update the maybe_warn_cpp0x calls to - match the new declaration. - * cp-tree.h (cpp0x_warn_str): New type. - (maybe_warn_cpp0x): Adjust prototype with new argument. - * call.c (reference_binding): Update the maybe_warn_cpp0x calls. - * decl.c (reshape_init_r, check_initializer, grokdeclarator): - Likewise. - * parser.c (cp_parser_primary_expression) - (cp_parser_parenthesized_expression_list, cp_parser_new_initializer) - (cp_parser_assignment_expression, cp_parser_condition) - (cp_parser_jump_statement, cp_parser_mem_initializer) - (cp_parser_simple_type_specifier, cp_parser_elaborated_type_specifier) - (cp_parser_enum_specifier, cp_parser_initializer) - (cp_parser_pure_specifier, cp_parser_functional_cast): Likewise. - -2009-11-18 Jakub Jelinek - - PR c++/3187 - * cp-tree.h (expand_or_defer_fn_1): New prototype. - * decl2.c (cp_write_global_declarations): Mark as !DECL_EXTERNAL - also all same_body aliases. - * semantics.c (expand_or_defer_fn): Move most of the function - except registering with cgraph to ... - (expand_or_defer_fn_1): ... here. New function. - * optimize.c: Include cgraph.h. - (maybe_clone_body): If in charge parm is not used and both base - and complete clones are created and are not comdat, tell cgraph - they have the same body. - * Make-lang.in (cp/optimize.o): Depend on $(CGRAPH_H). - -2009-11-17 Paolo Carlini - - PR c++/42058 - * typeck2.c (digest_init_r): Check init for error_operand_p. - * decl.c (reshape_init_class): Check return value of reshape_init_r - for error_mark_node. - -2009-11-17 Jakub Jelinek - - PR c++/42061 - * call.c (reference_binding): Return NULL for initializer list with - error operand inside of it. - - PR c++/42059 - * typeck.c (cp_build_modify_expr): For initializer list call - check_array_initializer to make sure lhs isn't a VLA. - -2009-11-16 Jason Merrill - - PR c++/189, c++/9937, c++/13950, DR 176 - * search.c (lookup_field_r): Allow lookup to find the - injected-class-name from a template base. - (template_self_reference_p): Remove. - * decl.c (make_typename_type): Diagnose ambiguity. Use - maybe_get_template_decl_from_type_decl. - * parser.c (cp_parser_template_name): Pass true to is_template - rather than use maybe_get_template_decl_from_type_decl. - (cp_parser_lookup_name): Use maybe_get_template_decl_from_type_decl. - * pt.c (maybe_get_template_decl_from_type_decl): Handle ambiguity. - Use DECL_SELF_REFERENCE_P. - - * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): - Avoid duplicate ambiguity error. - * error.c (dump_decl): Don't say "typedef" for injected-class-name. - * pt.c (convert_template_argument): Tweak logic. - -2009-11-16 Paolo Carlini - - PR c++/42055 - * pt.c (determine_specialization): Assign to candidates the return - value of the chainon called before print_candidates. - -2009-11-16 Paolo Carlini - - PR c++/32056 - * decl.h (enum decl_context): Add TPARM enumerator. - * decl.c (grokdeclarator): Per 14.1/2, error out if a storage class - is specified in a template parameter declaration. - * parser.c (cp_parser_template_parameter): Call grokdeclarator with - TPARM as third argument. - -2009-11-13 Jason Merrill - - PR c++/27425 - PR c++/34274 - * pt.c (expand_template_argument_pack): Handle null arg gracefully. - (convert_template_argument): Use %T for type. - - PR c++/29363 - * decl.c (create_implicit_typedef): Set TYPE_STUB_DECL here. - (cxx_init_decl_processing): Not here. - * name-lookup.c (pushtag): Or here. - * pt.c (lookup_template_class): Or here. - - PR c++/35075 - * pt.c (convert_nontype_argument): Give helpful error about - reference variable argument to reference template parameter. - - PR c++/21008, DR 515 - * semantics.c (finish_non_static_data_member): Don't check - derivation in a template. - - PR c++/11987 - * parser.c (cp_parser_direct_declarator): Give helpful error about - trying to define member of a dependent typedef. - * pt.c (resolve_typename_type): Don't resolve a typedef typename. - * tree.c (typedef_variant_p): New. - * cp-tree.h: Declare it. - -2009-11-12 Jason Merrill - - PR c++/27078 - * parser.c (cp_parser_primary_expression): Don't give a duplicate - ambiguity error. - - PR c++/39560 - * decl2.c (build_anon_union_vars): Set DECL_ARTIFICIAL. - - PR c++/37037 - * decl.c (grokdeclarator): Don't generate a void PARM_DECL. - - PR c++/42013 - * call.c (build_conditional_expr): Check specifically for folding - to CALL_EXPR rather than TREE_SIDE_EFFECTS. - - * typeck.c (cv_qualified_p): New fn. - (decay_conversion): Use it. - * cp-tree.h: Declare it. - * tree.c (rvalue): Use it and cv_unqualified. - * init.c (build_aggr_init): Likewise. - - PR c++/42013 - * call.c (build_conditional_expr): Don't fold a TREE_SIDE_EFFECTS - COND_EXPR in unevaluated context. - -2009-11-12 Jan Hubicka - - * decl2.c (constrain_visibility): Clear WEAK and COMMON flags. - -2009-11-11 Jason Merrill - - PR c++/39131 - * rtti.c (emit_support_tinfos): Add DFP types. - - * call.c (build_op_delete_call): Downgrade error about - placement/non-placement confusion to permerror. - -2009-11-10 Jason Merrill - - * call.c (build_op_delete_call): Tweak error. - - PR c++/34158 - PR c++/36406 - * call.c (non_placement_deallocation_fn_p): Split out... - (build_op_delete_call): ...from here. Use instantiate_type - for placement delete. Simplify logic. - * pt.c (primary_template_instantiation_p): Non-static. - * cp-tree.h: Declare it. - -2009-11-09 Jason Merrill - - PR c++/41972 - * parser.c (cp_parser_template_argument): Accept SCOPE_REF around - VAR_DECL. - - PR c++/41994 - * pt.c (tsubst_baselink): tsubst the name. - -2009-11-07 Jason Merrill - - PR c++/37920 - * pt.c (tsubst) [TYPEOF_TYPE]: Set cp_unevaluated_operand. - - PR c++/18451 - PR c++/40738 - * cp-tree.h (cp_decl_specifier_seq): Add any_type_specifiers_p. - * parser.c (cp_parser_single_declaration): Call - cp_parser_parse_and_diagnose_invalid_type_name here, too. - (cp_parser_parameter_declaration): And here. - (cp_parser_parse_and_diagnose_invalid_type_name): Be - less picky about declarator form. Don't skip to - the end of the block if we're in a declarator. - (cp_parser_decl_specifier_seq): Set any_type_specifiers_p. - (cp_parser_simple_declaration): Check it. - (cp_parser_member_declaration): Likewise. - (cp_parser_diagnose_invalid_type_name): Tweak error message. - (cp_parser_expression_statement): Likewise. - * decl2.c (grokfield): Mention decltype instead of typeof. - -2009-11-06 Jason Merrill - - PR c++/15946 - * parser.c (cp_parser_check_template_parameters): Don't talk about - specialization at function scope. - (cp_parser_diagnose_invalid_type_name): Handle dependent scope. - (cp_parser_parse_and_diagnose_invalid_type_name): Likewise. - (cp_parser_expression_statement): Suggest typename. - * error.c (dump_decl) [SCOPE_REF]: Print the type here. - (dump_expr) [SCOPE_REF]: Call it. - (dump_type) [UNBOUND_CLASS_TEMPLATE]: Check TFF_UNQUALIFIED_NAME. - * cxx-pretty-print.c (pp_cxx_unqualified_id): Print class template - args. - - PR c++/9381 - * decl2.c (build_memfn_type): Preserve attributes. - (cp_reconstruct_complex_type): Likewise. - (maybe_retrofit_in_chrg): Likewise. - * class.c (adjust_clone_args): Likewise. - * call.c (standard_conversion): Use build_memfn_type. - * pt.c (tsubst): Likewise. - * decl.c (build_ptrmem_type): Likewise - (check_function_type): Preserve attributes. - * tree.c (cp_build_type_attribute_variant): Propagate exception - specs on METHOD_TYPE, too. - (strip_typedefs): Preserve exception specs and attributes. - -2009-11-06 Andrew Pinski - - PR c++/41536 - * optimize.c (maybe_clone_body): Copy DECL_ATTRIBUTES and - DECL_DISREGARD_INLINE_LIMITS also. - -2009-11-06 Jakub Jelinek - - PR c++/41967 - * parser.c (cp_parser_omp_for_loop): After diagnosing not perfectly - nested loop and parsing statements, don't cp_parser_require }, instead - exit the loop if next token is CPP_EOF. - -2009-11-05 Jason Merrill - - PR c++/34180 - * method.c (do_build_copy_constructor): Don't drop cv-quals from - the field type. - - PR c++/7046 - * class.c (finish_struct): Store maximum_field_alignment in - TYPE_PRECISION. - * pt.c (instantiate_class_template): Set maximum_field_alignment. - - PR c++/34870 - * name-lookup.c (arg_assoc_class): Call complete_type. - * pt.c (instantiate_class_template): Call uses_template_parms - instead of dependent_type_p. - - PR c++/41703 - * pt.c (check_undeduced_parms): New subroutine of... - (more_specialized_fn): ...here. Undeduced template parms can make - a template less specialized than another. - -2009-11-04 Jason Merrill - - PR c++/39413 - * search.c (lookup_base): Don't complete_type (base). - - PR c++/35067 - * method.c (use_thunk): Check DECL_WEAK as well as - DECL_ONE_ONLY. - - PR c++/17365, DR 218 - * name-lookup.c (add_function): Ignore non-functions. - -2009-11-03 Jason Merrill - - PR c++/36959 - * decl2.c (cxx_callgraph_analyze_expr): Don't reference a function - just because a static variable in it is needed unless -frepo. - - PR c++/41876 - * parser.c (cp_parser_type_specifier_seq): Rename is_condition to - is_declaration. - (cp_parser_exception_declaration): Pass true. - (cp_parser_omp_for_loop): Likewise. - - PR c++/41927 - * typeck.c (build_x_binary_op): Don't do warn_parentheses - if we're in a SFINAE context. - - PR c++/41815 - * call.c (build_call_a): Strip cv-quals from rvalue result. - - PR c++/40944 - * call.c (initialize_reference): Add complain parm. - * typeck.c (convert_for_initialization): Pass it. - * decl.c (grok_reference_init): Likewise. - * cp-tree.h: Declare it. - - PR c++/40687 - * pt.c (do_auto_deduction): Diagnose inconsistent deduction. - -2009-11-02 Dodji Seketeli - - PR c++/37093 - * pt.c (check_valid_ptrmem_cst_expr): New function. - (convert_nontype_argument): Use it to output an error for - illegal pointer to member expressions used as template arguments. - -2009-11-02 Jason Merrill - - Restrict DR 757 change to C++0x mode. - * decl2.c (mark_used): Check cxx_dialect. - * decl.c (grokfndecl): Do check type linkage in C++98 mode. - (grokvardecl): Likewise. - * pt.c (check_instantiated_arg): Likewise. - -2009-11-02 Jakub Jelinek - - PR c++/41774 - * name-lookup.c (handle_namespace_attrs): Pass 1 as last argument to - push_visibility. - * parser.c (cp_parser_namespace_definition): Pass 1 as argument to - pop_visibility. - * rtti.c (push_abi_namespace): Pass 2 as last argument to - push_visibility. - (pop_abi_namespace): Pass 2 as argument to pop_visibility. - -2009-10-31 Jason Merrill - - * tree.c (cv_unqualified): New fn. - * cp-tree.h: Declare it. - * typeck.c (decay_conversion): Use it instead of TYPE_MAIN_VARIANT. - - * rtti.c (tinfo_name): Fix lengths for private case. - -2009-10-31 Jason Merrill - - PR c++/41754 - * call.c (compare_ics): Avoid bad union use when - comparing two ck_lists. - -2009-10-30 Jerry Quinn - - * mangle.c (mangle_type_string_for_rtti): Reapply 153734. - (needs_fake_anon): Likewise. - (write_name): Likewise. - (write_nested_name): Likewise. - * cp-tree.h (mangle_type_string_for_rtti): Likewise. - (get_anonymous_namespace): Likewise. - * name-lookup.c (get_anonymous_namespace_name): Likewise. - * rtti.c (tinfo_name): Likewise, with +1 in the second - build_string call fixed. - (tinfo_base_init): Likewise. - -2009-10-30 Jason Merrill - - Revert: - * decl.c (cp_fname_init): Correct build_string argument. - -2009-10-30 Jerry Quinn - - * mangle.c (mangle_type_string_for_rtti): Revert 153734. - (needs_fake_anon): Likewise. - (write_name): Likewise. - (write_nested_name): Likewise. - * cp-tree.h (mangle_type_string_for_rtti): Likewise. - (get_anonymous_namespace): Likewise. - * name-lookup.c (get_anonymous_namespace_name): Likewise. - * rtti.c (tinfo_name): Likewise. - (tinfo_base_init): Likewise. - -2009-10-30 Dodji Seketeli - - PR c++/41863 - * pt.c (iterative_hash_template_arg): articifial parms - don't have DECL_PARM_INDEX set. Do not hash it. - -2009-10-28 Jerry Quinn - - * mangle.c (mangle_type_string_for_rtti): Revert r149964. - (needs_fake_anon): Likewise. - (write_name): Likewise. - (write_nested_name): Likewise. - * cp-tree.h (mangle_type_string_for_rtti): Likewise. - (get_anonymous_namespace): Likewise. - * name-lookup.c (get_anonymous_namespace_name): Likewise. - * rtti.c (tinfo_name): Insert '*' in front of private names. - (tinfo_base_init): Use it. - -2009-10-28 Jason Merrill - - Core issue 812, 861 - * name-lookup.c (set_decl_namespace): Deal properly with inline - namespaces. - (qualified_lookup_using_namespace): Overhaul. - * pt.c (print_candidates): Handle getting an OVERLOAD. - -2009-10-28 Jason Merrill - - * decl.c (cp_fname_init): Correct build_string argument. - -2009-10-27 Jason Merrill - - Allow no-capture lambdas to convert to function pointer. - * semantics.c (maybe_add_lambda_conv_op): New. - * parser.c (cp_parser_lambda_expression): Call it. - (cp_parser_lambda_declarator_opt): Make op() static if - no captures. - * mangle.c (write_closure_type_name): Adjust. - * semantics.c (finish_this_expr): Adjust. - * decl.c (grok_op_properties): Allow it. - * call.c (build_user_type_conversion_1): Handle static conversion op. - (build_op_call): And op(). - -2009-10-26 Jakub Jelinek - - PR debug/41828 - * cp-lang.c (cxx_dwarf_name): Return NULL instead of - for anonymous aggregate names. - -2009-10-26 Jason Merrill - - PR c++/38796, Core issue 906 - * cp-tree.h (DECL_DEFAULTED_OUTSIDE_CLASS_P): New. - (DECL_DEFAULTED_IN_CLASS_P): New. - * class.c (user_provided_p): Non-static. - (check_methods): Use it. - (check_bases_and_members): Check defaulted fns. - (defaultable_fn_p): Move and rename to... - * method.c (defaultable_fn_check): ...this. - (defaulted_late_check): New. - * pt.c (tsubst_decl): Call it. - * decl2.c (grokfield): Adjust. - * decl.c (cp_finish_decl): Adjust. - (grok_special_member_properties): Use user_provided_p. - -2009-10-26 Dodji Seketeli - - PR c++/41785 - * pt.c (template_args_equal): Handle comparison of - an ARGUMENT_PACK_SELECT node with the arguments node it selects into. - * cp-tree.def: Fix a typo in the description of TYPE_PACK_EXPANSION. - -2009-10-26 Dodji Seketeli - - PR c++/41020 - * decl.c (decls_match): Use DECL_IS_BUILTIN instead of - DECL_BUILT_IN. - -2009-10-23 Dodji Seketeli - - PR c++/40808 - * mangle.c (write_template_args): Allow mangling of empty template - argument list. Updated function comments. - -2009-10-23 Jason Merrill - - * semantics.c (lambda_expr_this_capture): Use thisify_lambda_field. - - * semantics.c (outer_lambda_capture_p): New fn. - (thisify_lambda_field): Factor out... - (add_default_capture): ...from here. - (finish_id_expression): Use them. - - Core issue 899 - * call.c (add_function_candidate): Only permit explicit conversion - ops if copy ctor was called with a single argument. - - * call.c (initialize_reference): Tweak error message. - -2009-10-21 Jakub Jelinek - - * mangle.c (finish_mangling_get_identifier): Use - obstack_base (mangle_obstack) instead of name_base. - -2009-10-19 Jakub Jelinek - - * parser.c (cp_lexer_print_token, cp_parser_is_string_literal, - cp_parser_string_literal, cp_parser_primary_expression): Likewise. - (cp_lexer_get_preprocessor_token): Use C_LEX_STRING_JOIN instead - of C_LEX_RAW_STRINGS. - -2009-10-15 Jason Merrill - - PR c++/38888 - * error.c (dump_template_bindings): Wrap argument packs in {}. - - PR c++/38798 - * parser.c (CP_PARSER_FLAGS_NO_TYPE_DEFINITIONS): New. - (cp_parser_type_specifier): Don't try to parse a class-specifier - or enum-specifier in that case. - (cp_parser_trailing_type_id): New. - (cp_parser_late_return_type_opt): Call it. - (cp_parser_type_id_1): Add is_trailing_return parm. - (cp_parser_type_specifier_seq): Likewise. - -2009-10-14 Jason Merrill - - PR c++/39866 - * call.c (print_z_candidates): Don't print deleted candidates. - (print_z_candidate): Note deleted candidates. - -2009-10-14 Larry Evans - - PR c++/40092 - * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK - equality. - -2009-10-12 Jason Merrill - - PR c++/37875 - * parser.c (cp_parser_decltype): Set greater_than_is_operator_p. - - PR c++/37766 - * pt.c (type_unification_real): Call convert_template_argument - for function default template arguments. - (check_default_tmpl_args): Suggest -std=c++0x when function default - template args seen in C++98 mode. - -2009-10-11 Jason Merrill - - PR c++/37204 - * typeck.c (build_reinterpret_cast_1): Handle rvalue refs - properly. - -2009-10-11 Richard Guenther - - * tree.c (cp_free_lang_data): Drop anonymous aggregate names. - -2009-10-08 Jason Merrill - - PR c++/36816 - * pt.c (maybe_adjust_types_for_deduction): Do rvalue ref adjustment - even when DEDUCE_EXACT. - - PR c++/37177 - * pt.c (resolve_nondeduced_context): New. - * cvt.c (convert_to_void): Call it. - * semantics.c (finish_decltype_type): Likewise. - * typeck.c (decay_conversion): Here too. - * pt.c (tsubst_decl): Don't clobber input_location. - Don't register a bad specialization. - -2009-10-07 Gabriel Dos Reis - - * cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7. - -2009-10-07 Jason Merrill - - PR c++/39863 - * pt.c (tsubst_pack_expansion): Don't do anything now if we - have incomplete packs of different lengths. - - PR c++/41038 - * tree.c (build_qualified_name): Call convert_from_reference. - -2009-10-06 Jason Merrill - - Fix lookup of initialized captures in unevaluated context. - * cp-tree.h (DECL_NORMAL_CAPTURE_P): New. - * name-lookup.c (qualify_lookup): Check it. - * parser.c (cp_parser_lambda_introducer): Pass explicit_init_p - to add_capture. - * semantics.c (add_capture): Set DECL_NORMAL_CAPTURE_P - on captures without explicit init. - (add_default_capture): Pass explicit_init_p. - - Fix capture by copy of types with explicit copy constructor. - * cp-tree.h (TARGET_EXPR_DIRECT_INIT_P): New. - (DIRECT_INIT_EXPR_P): New. - * typeck.c (convert_for_initialization): Just return if - DIRECT_INIT_EXPR_P. - * semantics.c (build_lambda_object): Use - TARGET_EXPR_DIRECT_INIT_P for normal captures. - -2009-10-05 Jason Merrill - - * parser.c: Mark lambda_scope and lambda_count for PCH. - -2009-10-03 Jason Merrill - - PR c++/41553 - * parser.c (cp_parser_lambda_introducer): Avoid infinite loop on - parse error. - -2009-10-02 Jason Merrill - - * mangle.c (write_unnamed_type_name): Implement. - (local_class_index): Split out from... - (discriminator_for_local_entity): ...here. - (nested_anon_class_index): New. - * cp-tree.h (TYPE_FUNCTION_SCOPE_P): New. - -2009-10-02 Janis Johnson - - * call.c (convert_arg_to_ellipsis): Avoid promoting decimal32 - to double. - -2009-10-01 Jason Merrill - - * parser.c (cp_parser_lambda_expression): Compute visibility. - (no_linkage_lambda_type_p): Remove. - * cp-tree.h: Remove declaration. - * tree.c (no_linkage_check): Don't call it. Don't check template - args. Don't check TREE_PUBLIC Types. - -2009-10-01 Gabriel Dos Reis - Jason Merrill - - * decl.c (grokdeclarator): Set constexprness before announcing - friendship. - -2009-10-01 Gabriel Dos Reis - - * decl.c (record_builtin_java_type): Undo unintended change. - (cxx_init_decl_processing): Likewise. - -2009-10-01 Jason Merrill - - * pt.c (register_specialization): Push DECL_SOURCE_LOCATION to the - clones. - - * decl.c (grok_special_member_properties): Only adjust - TYPE_HAS_COMPLEX_* if the function is defaulted in the class body. - (cp_finish_decl): Push DECL_DELETED_FN/DECL_DEFAULTED_FN to the - clones. - -2009-09-30 Gabriel Dos Reis - - * decl.c (check_for_uninitialized_const_var): Check constexpr - variables too. - (grokdeclarator): Handle `constexpr'. - (check_tag_decl): Reject `constexpr'. - (check_function_type): Check constexpr functions. - * cp-tree.h (ds_constexpr): New cp_decl_spec enumerator. - (CLASSTYPE_LITERAL_P): New. - (lang_type_class::is_literal): New. - (lang_type_class::dummy): Adjust width. - (literal_type_p): Declare. - * parser.c (cp_parser_check_decl_spec): Print it. - (cp_parser_decl_specifier_seq): Accept "constexpr". - * semantics.c (validate_constexpr_fundecl): Define. - (literal_type_p): Define. - -2009-09-30 Jason Merrill - - * semantics.c (lambda_expr_this_capture): Fix default capture - of explicit capture of 'this'. - -2009-09-30 Jason Merrill - - * parser.c (cp_parser_lambda_expression): Don't add __ to __this. - -2009-09-30 Jason Merrill - - * cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN. - -2009-09-29 John Freeman - Jason Merrill - - Add support for lambda-expressions as per N2927. - * cp-tree.def (VEC_INIT_EXPR, LAMBDA_EXPR): New. - * cp-tree.h (LAMBDA_TYPE_P, LAMBDA_FUNCTION_P): New. - (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE): New. - (LAMBDA_EXPR_DEFAULT_CAPTURE_LIST): New. - (LAMBDA_EXPR_THIS_CAPTURE, LAMBDA_EXPR_CAPTURES_THIS_P): New. - (LAMBDA_EXPR_MUTABLE_P, LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): New. - (LAMBDA_EXPR_RETURN_TYPE, LAMBDA_EXPR_LOCATION): New. - (LAMBDA_EXPR_EXTRA_SCOPE, LAMBDA_EXPR_DISCRIMINATOR): New. - (struct tree_lambda_expr): New. - (union lang_tree_node): Add lambda_expression. - (struct lang_type_class): Add lazy_move_ctor flag, lambda_expr field. - (CLASSTYPE_LAZY_MOVE_CTOR, CLASSTYPE_LAMBDA_EXPR): New. - (LAMBDA_TYPE_EXTRA_SCOPE, VEC_INIT_EXPR_SLOT): New. - (VEC_INIT_EXPR_INIT, DECLTYPE_FOR_LAMBDA_CAPTURE): New. - (DECLTYPE_FOR_LAMBDA_RETURN): New. - (enum special_function_kind): Add sfk_move_constructor. - (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT, LAMBDANAME_P): New. - * parser.c (cp_parser_lambda_expression, cp_parser_lambda_introducer) - (cp_parser_lambda_declarator_opt, cp_parser_lambda_body): New. - (start_lambda_scope, record_lambda_scope, finish_lambda_scope): New. - (no_linkage_lambda_type_p): New. - (cp_parser_primary_expression): Recognize lambda expression. - (cp_parser_init_declarator): Note lambda scope. - (cp_parser_function_definition_after_declarator): Likewise. - (cp_parser_late_parsing_default_args): Likewise. - (cp_parser_skip_to_closing_parenthesis): Skip to end of lambda capture - lists, too. - (cp_parser_parameter_declaration): Don't defer lambda default args. - * semantics.c (finish_non_static_data_member, finish_id_expression): - Handle default capture for lambda expressions. - (finish_this_expr): Handle 'this' keyword inside of lambda expressions. - (outer_automatic_var_p): New. - (finish_decltype_type): Handle decltypes within lambda expressions. - (classtype_has_nothrow_assign_or_copy_p): Synthesized move constructor. - (build_lambda_expr, build_lambda_object, begin_lambda_type) - (lambda_return_type, lambda_capture_field_type, apply_lambda_return_type) - (capture_decltype, add_capture, add_default_capture) - (lambda_expr_this_capture): New. - * mangle.c (write_unnamed_type_name): New. Incomplete. - (write_closure_type_name): New. - (write_unqualified_name): Recognize unnamed, closure types. - (write_type): Do not write decltypes from lambda expressions. - (decl_mangling_context): New. - (write_name): Use it. Handle PARM_DECL scope. - (write_prefix): Likewise. Handle VAR_DECL/FIELD_DECL scope. - (write_compact_number): Factor out from... - (write_expression, write_template_param): ...here. - (discriminator_for_local_entity): Recognize lambdas. - (write_local_name): Handle PARM_DECL scope. - * typeck.c (structural_comptypes): Compare decltypes from lambda - expressions. - (check_return_expr): Deduce lambda return type from multiple return - statements. - * class.c (add_implicitly_declared_members): Add lazy move constructor - for lambda types. - (check_bases_and_members): Delete default constructor and assignment - operator for lambda types. - (maybe_note_name_used_in_class): Do not confuse lambda expression with - defining a class. - * decl.c (reshape_init_r): Array copy. - (grokfndecl): Synthesized move constructor. - (cp_tree_node_structure): Lambda expression. - * method.c (use_thunk): Synthesized move constructor. - (do_build_copy_constructor): Likewise. - (locate_copy): Likewise. - (implicitly_declare_fn): Likewise. - * cp-objcp-common.c (cp_tree_size): Handle LAMBDA_EXPR. - * error.c (dump_aggr_type): Recognize lambda type. - (dump_function_decl): Recognize lambda function. - (function_category): Likewise. - (dump_function_name): Hide lambda name. - * tree.c (build_array_copy, move): New. - (special_function_p): Synthesized move constructor. - (no_linkage_check): Handle lambdas. - * search.c (lookup_fnfields_1): Synthesized move constructor. - * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr): - Handle VEC_INIT_EXPR. - * typeck2.c (digest_init_r): Array copy. - * pt.c (get_template_info): Don't touch typedefs. - (instantiate_decl): Don't resubstitute artificial decls. - (tsubst_decl, tsubst, tsubst_copy_and_build): Handle lambdas. - (lookup_template_class): Don't fall back on name lookup. - * name-lookup.c (make_lambda_name): New. - (pushdecl_class_level): Handle default capture for lambda expressions. - (qualify_lookup): Handle decltypes within lambda expressions. - (pushtag): Handle ts_within_enclosing_non_class in function scope. - -2009-09-28 Janis Johnson - - * mangle.c (write_builtin_type): Support decimal float types. - -2009-09-28 Richard Henderson - - * cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New. - -2009-09-24 Jakub Jelinek - - * method.c (make_thunk, make_alias_for): Don't set - DECL_NO_STATIC_CHAIN. - * decl.c (builtin_function_1, grokfndecl): Likewise. - * lex.c (build_lang_decl): Likewise. - -2009-09-23 Dodji Seketeli - - PR debug/41065 - * decl.c (cp_finish_decl): Record the types used by the global - variable declaration we've just parsed. - -2009-09-22 Dodji Seketeli - - * cp-lang.c (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P, - LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P, - LANG_HOOKS_GET_GENERIC_FUNCTION_DECL): Initialize these - hooks for the c++ FE. - * cp-tree.h (function_parameter_pack_p, get_function_template_decl, - function_parameter_expanded_from_pack_p): Declare ... - * pt.c (function_parameter_pack_p, get_function_template_decl, - function_parameter_expanded_from_pack_p): ... new hooks. - (get_template_info): Make this more robust. - (template_args_variadic_p, make_ith_pack_parameter_name): Add a new - line between comment and function. - (get_template_argument_pack_elems): Fix comment. - (tsubst_decl): Arguments of function parameter packs are not - parameter packs themselves. - -2009-09-21 Jason Merrill - - PR c++/41421 - * tree.c (trivial_type_p): Fix logic. - -2009-09-21 Jason Merrill - - * name-lookup.c (push_class_level_binding): Sanity check. - -2009-09-18 Jason Merrill - - * decl2.c (determine_visibility): Make anonymous types internal. - (mark_used): Complain about types without linkage used in - decls with internal linkage. - (vague_linkage_fn_p): Split out from... - * decl.c (maybe_commonize_var): ...here. - (grokdeclarator): Adjust linkage when a typedef gives linkage name. - * tree.c (no_linkage_check): Check the enclosing class and template - arguments. - - * cp-tree.h (TYPE_NAMESPACE_SCOPE_P): New. - - * pt.c (get_pattern_parm): New. - (listify): Split out from... - (listify_autos): ...here. - (unify): Deduce std::initializer_list for T. - * call.c (build_over_call): Warn about it. - -2009-09-17 Andrew Pinski - - PR c++/39365 - * typeck.c (cp_build_unary_op): Check TREE_CODE for bools instead of - using same_type_p. - (convert_for_assignment): Likewise. - * cvt.c (type_promotes_to): Likewise. - -2009-09-14 Richard Henderson - Jakub Jelinek - - * cp-tree.h (finish_asm_stmt): Update decl. - * parser.c (cp_parser_asm_definition): Parse asm goto. - (cp_parser_asm_label_list): New. - * pt.c (tsubst_copy_asm_operands): Don't recurse on labels. - (tsubst_expr): Handle asm labels. - * semantics.c (finish_asm_stmt): Add and use labels parameter. - -2009-09-14 Richard Henderson - - * except.c (init_exception_processing): Don't call - default_init_unwind_resume_libfunc. - (cp_protect_cleanup_actions): Return the decl to call. - (build_exc_ptr): Use __builtin_eh_pointer. - * optimize.c (clone_body): Set eh_lp_nr, not eh_region. - -2009-09-13 Richard Guenther - Rafael Avila de Espindola - - * except.c (init_exception_processing): Do not set - lang_eh_runtime_type. - (choose_personality_routine): Do not set eh_personality_decl, - set pragma_java_exceptions. - * cp-lang.c (LANG_HOOKS_EH_RUNTIME_TYPE): Define. - (LANG_HOOKS_EH_PERSONALITY): Likewise. - (cp_eh_personality_decl): New. - (cp_eh_personality): Likewise. - * Make-lang.in (cp-lang.o): Add $(EXPR_H) and $(EXCEPT_H) - dependencies. - -2009-09-13 Wei Guozhi - - PR c++/3187 - * cp/optimize.c (build_delete_destructor_body): New function. - (maybe_clone_body): Call build_delete_destructor_body for - deleting destructor. - -2009-09-10 Jason Merrill - - * repo.c (extract_string, get_base_filename, init_repo): constify. - -2009-09-09 Jason Merrill - - * error.c (find_typenames_r): Also add decltypes. - -2009-09-09 Paolo Carlini - - PR c++/28293 - * decl2.c (grokfield): Check for explicit template argument lists. - -2009-09-09 Jack Howarth - - PR bootstrap/41180 - * Make-lang.in: Remove redundant code from linkage for darwin10. - -2009-09-08 Paolo Carlini - - PR c++/39923 - * decl.c (build_init_list_var_init): Check return value of - perform_implicit_conversion. - -2009-09-08 Jason Merrill - - * class.c (currently_open_class): Make sure we're dealing with the - main variant. - - * cp-tree.h (enum overload_flags): Remove OP_FLAG. - * method.c (lazily_declare_fn): Check for dtorness in ABI warning. - - * name-lookup.c (is_class_level): Remove. - (push_binding_level, leave_scope, resume_scope): Adjust. - (pushlevel_class): Adjust. - (poplevel_class): Make sure we're on class_binding_level. - - * decl.c (grokmethod): Rename from start_method. - (finish_method): Remove. - * cp-tree.h: Adjust. - * parser.c (cp_parser_save_member_function_body): Adjust. - -2009-09-03 Doug Kwan - - * tree.c (cp_fix_function_decl_p): New. - (cp_free_lang_data): New. - -2009-09-03 Diego Novillo - - * Make-lang.in (decl2.o): Add dependency on $(POINTER_SET_H). - * decl2.c: Include pointer-set.h. - (collect_candidates_for_java_method_aliases): New. - (cp_write_global_declarations): Call it. - Add local variable CANDIDATES. If set, call - build_java_method_aliases. - (build_java_method_aliases): Add argument CANDIDATES. - Use it to determine if FNDECL should get a hidden alias. - * cp-objcp-common.h (LANG_HOOKS_FREE_LANG_DATA): Define. - * cp-tree.h (cp_free_lang_data): Declare. - -2009-09-03 Richard Guenther - - * method.c (use_thunk): Use cgraph_finalize_function to hand - off thunks to the cgraph. - * semantics.c (emit_associated_thunks): Do not emit thunks - for really extern functions. - -2009-09-03 Diego Novillo - - * cp-lang.c (lang_hooks): Remove const qualifier. - -2009-09-02 Jason Merrill - - * semantics.c (describable_type): Don't pretend to be in a template. - - * ptree.c (cxx_print_type) [DECLTYPE_TYPE]: Print the expression. - -2009-09-01 Alexandre Oliva - - * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New. - * cp-lang.c (cxx_dwarf_name): Pass it. - * error.c (count_non_default_template_args): Take flags as - argument. Adjust all callers. Skip counting of default - arguments if the new flag is given. - -2009-09-01 Dodji Seketeli - - PR bootstrap/41205 - * pt.c (make_ith_pack_parameter_name): Don't use strnlen that is a - GNU extension. - -2009-09-01 Richard Guenther - - * cp-objcp-common.c (cp_expr_size): Use tree_expr_size. - * cp-objcp-common.h (LANG_HOOKS_EXPR_SIZE): Do not define. - -2009-09-01 Richard Guenther - - * cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove. - -2009-08-31 Dodji Seketeli - - PR debug/30161 - * cp-tree.h (get_template_info): Parameter should be const. - (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): Fix typo. - (get_template_argument_pack_elems, - get_primary_template_innermost_parameters, - get_template_innermost_arguments, template_template_parameter_p): - Declare ... - * pt.c (get_template_argument_pack_elems, - get_template_innermost_parameters, get_template_innermost_arguments, - template_template_parameter_p): - ... New C++ front end implementation of new language hooks. - (primary_template_instantiation_p): New private helper. - (make_ith_pack_parameter_name): Use snprintf and strnlen instead of - printf and strlen. - (get_template_info): Const-ify parameter. - * cp-lang.c (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS, - LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS, - LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS, - LANG_HOOKS_GENERIC_TYPE_PARAMETER_DECL_P): Initialize these - interfaces for the C++ front-end. - -2009-08-31 Jason Merrill - - PR c++/41127 - * parser.c (cp_parser_enum_specifier): Make sure the : is followed by a - type-specifier-seq before we commit. - -2009-08-28 Richard Guenther - - PR lto/41058 - * cp-gimplify.c (cp_genericize_r): Do not leak zero-sized stores - into the generic IL. - -2009-08-27 Richard Guenther - - * class.c (build_vtbl_ref_1): Remove excess vertical space. - * Make-lang.in (CXX_TREE_H): Remove c-common.def dependency - tracked by $(TREE_H). - * semantics.c (expand_or_defer_fn): Zero DECL_SAVED_TREE. - -2009-08-26 Jason Merrill - - * call.c (build_builtin_candidate): Don't set LOOKUP_ONLYCONVERTING - if we're contextually converting to bool. - (build_conditional_expr): Likewise. - * typeck.c (condition_conversion): Likewise. - - * call.c (build_conditional_expr): Fix logic errors. - (build_new_op): Remove dead COND_EXPR handling. - -2009-08-24 Jason Merrill - - * cp-tree.h (DECL_DEFERRED_FN): Remove. - (struct lang_decl_fn): Remove deferred flag. - * class.c (build_clone): Don't set it. - * decl2.c (note_vague_linkage_fn): Don't check or set it. - (mark_used): Don't check it. - * method.c (make_thunk, make_alias_for): Don't set it. - - * decl2.c (mark_used): Streamline logic. - - PR c++/41109 - PR c++/41110 - PR c++/41134 - * cp-tree.h (DECL_ODR_USED): New macro. - (struct lang_decl_base): Add odr_used flag. - * decl.c (duplicate_decls): Propagate it. Use it for error. - * pt.c (register_specialization): Use it for error. - * decl2.c (mark_used): Use it as gating flag rather than TREE_USED. - (cp_write_global_declarations): Use it for error. - (tree_used_ok): Remove. - * cp-tree.h: Remove tree_used_ok. - * call.c (build_call_a): Don't call it. - * init.c (build_offset_ref): Likewise. - -2009-08-21 Jakub Jelinek - - PR c++/41131 - * tree.c (lvalue_p_1) : Return clk_none if - not TREE_STATIC. - -2009-08-19 Jason Merrill - - PR c++/41119 - PR c++/41120 - * decl2.c (mark_used): Increment function_depth during synthesis. - * parser.c (cp_parser_default_argument): Not here. - -2009-08-19 Jakub Jelinek - - * method.c (use_thunk): Call free_after_compilation after - assemble_end_function. - -2009-08-17 Richard Guenther - - * decl.c (build_ptrmemfunc_type): Keep variant chain intact. - Avoid useless copy. - (finish_enum): Keep variant chain intact. - * tree.c (cp_build_reference_type): Likewise. - -2009-08-16 Jason Merrill - - Make TREE_USED match the [basic.def.odr] concept for FUNCTION_DECL - and VAR_DECL, so mark_used only has effect the first time. - * decl2.c (mark_used): Just return if TREE_USED is already set. - Don't set TREE_USED if cp_unevaluated_operand is set. - (tree_used_ok): New fn. - * init.c (build_offset_ref): Check it instead of TREE_USED. - * call.c (build_call_a): Likewise. - * cp-tree.h: Declare it. - (DECL_NO_LINKAGE_CHECKED): No longer needed. - (struct lang_decl_base): Remove no_linkage_checked bitfield. - - * decl2.c (finish_static_data_member_decl): Don't set TREE_USED. - - * decl2.c (mark_used): It's ok to synthesize for default args now. - -2009-08-10 Jason Merrill - - Implement DR 757: It's OK for a decl to use a type without linkage - so long as the decl is defined in the current translation unit. - * decl2.c (no_linkage_decls): New vector. - (mark_used): Add decls that use types with no linkage. - (cp_write_global_declarations): Check that they are defined. - (decl_defined_p, no_linkage_error): New fns. - * cp-tree.h (DECL_NO_LINKAGE_CHECKED): New macro. - (struct lang_decl_base): Add flag. - * decl.c (grokfndecl): Don't check type linkage. - (grokvardecl): If the type has no linkage, just make sure - DECL_LANG_SPECIFIC is set. - * pt.c (check_instantiated_arg): Don't check type linkage. - * name-lookup.c (is_local_extern): New fn. - * name-lookup.h: Declare it. - -2009-08-05 Jason Merrill - - PR c++/40948 - * init.c (build_vec_init): Evaluate the initializer before - starting the initialization try block. - -2009-08-05 Manuel López-Ibáñez - - PR c++/36069 - * typeck.c (convert_for_assignment): Do not warn for any boolean - variant. Use explicit location. - -2009-08-04 Dodji Seketeli - - PR c++/39987 - * pt.c (tsubst_default_argument): Let access checks of the - default argument happen in the context of the current function. - -2009-08-04 Manuel López-Ibáñez - - PR c++/16696 - * call.c (build_new_op): Only try prefix operator if -fpermissive, - otherwise just error. - -2009-08-04 Dodji Seketeli - - PR debug/39706 - * error.c (lang_decl_name): Print qualified names for decls - in namespace scope. - -2009-08-03 Jason Merrill - Jakub Jelinek - - PR c++/40948 - * init.c (build_vec_init): Look through a TARGET_EXPR around a - CONSTRUCTOR. - -2009-07-31 Jason Merrill - Douglas Gregor - - Remove implicit binding of lvalues to rvalue references (N2831) - * call.c (convert_class_to_reference): Binding an lvalue to an - rvalue reference is bad. If the user-defined conversion is bad, - set bad_p before merging conversions. - (maybe_handle_ref_bind): Don't push down bad_p. - (reference_binding): Binding an lvalue to an rvalue reference is bad. - (convert_like_real): Give a helpful error about binding lvalue - to rvalue reference. - (reference_related_p): No longer static. - * typeck.c (build_typed_address): New. - (build_static_cast_1): Add static_cast from lvalue to &&. - * cp-tree.h: Adjust. - -2009-07-31 Jason Merrill - - * call.c (reference_binding): Rename lvalue_p to is_lvalue. - Do direct binding of "rvalues" in memory to rvalue references. - * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and - "rvalue" in memory. - * typeck.c (build_static_cast_1): Do direct binding of memory - "rvalues" to rvalue references. - * cvt.c (cp_fold_convert): New. - * cp-tree.h: Declare it. - -2009-07-31 Jason Merrill - - * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF. - * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT. - -2009-07-29 Jason Merrill - - PR c++/14912 - * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations. - * error.c (count_non_default_template_args): Pass it. - * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set. - -2009-07-29 Richard Guenther - - PR c++/40834 - * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR - vars. - -2009-07-26 Simon Martin - - PR c++/40749 - * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions - with a qualified return type. - -2009-07-24 Jason Merrill - - Core issue 901 - * call.c (build_op_delete_call): If this is for a new-expression - and the op delete is deleted, do nothing. - - Core issue 702 - * call.c (compare_ics): Give list-initialization of std::init_list - priority over conversion to scalar, too. - -2009-07-22 Jason Merrill - - * mangle.c (mangle_type_string_for_rtti): Rename to be clearer. - (needs_fake_anon): New. - (write_name): Check it. - (write_nested_name): Add a fake anonymous namespace scope if true. - * name-lookup.c (get_anonymous_namespace_name): No longer static. - * rtti.c, cp-tree.h: Adjust. - -2009-07-22 Richard Guenther - - PR c++/40799 - * cp-gimplify.c (cp_gimplify_expr): Move handling of using - related exprs to ... - (cp_genericize_r): ... genericization stage. - (cp_genericize): Adjust. - -2009-07-21 Jason Merrill - - Core issue 934 - * call.c (reference_binding): Implement binding to { }. - (initialize_reference): Binding temporary to non-const && is fine. - * decl.c (grok_reference_init): Remove error for CONSTRUCTOR. - - * decl.c (reshape_init_r): { T } is not an aggregate initializer - for class T. - -2009-07-17 Richard Guenther - - PR c/40401 - * decl.c (finish_function): Do not emit unused result warnings - from here. - * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use - c_warn_unused_result_pass. - * semantics.c (expand_or_defer_fn): Adjust assertion about IL status. - * optimize.c (clone_body): Clone in GENERIC. - (maybe_clone_body): Do not clear DECL_SAVED_TREE. - * decl2.c (cp_write_global_declarations): Fix body test. - Do not call cgraph_optimize. - * Make-lang.in (optimize.o): Add tree-iterator.h dependency. - * method.c (use_thunk): Register thunk with - cgraph_finalize_function. - * error.c (function_category): Guard access of DECL_LANG_SPECIFIC. - -2009-07-17 Richard Guenther - - * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the - temporary pointer. - -2009-07-17 Aldy Hernandez - Manuel López-Ibáñez - - PR 40435 - * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c, - tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c, - call.c, cvt.c, mangle.c: Add location argument to - fold_{unary,binary,ternary}, fold_build[123], build_call_expr, - build_size_arg, build_fold_addr_expr, build_call_array, - non_lvalue, size_diffop, fold_build1_initializer, - fold_build2_initializer, fold_build3_initializer, - fold_build_call_array, fold_build_call_array_initializer, - fold_single_bit_test, omit_one_operand, omit_two_operands, - invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref, - fold_indirect_ref, combine_comparisons, fold_builtin_*, - fold_call_expr, build_range_check, maybe_fold_offset_to_address, - round_up, round_down. - -2009-07-16 Jason Merrill - - PR libstdc++/37907 - Split POD into "standard-layout" and "trivial" as per N2230, - Support std::is_standard_layout and std::is_trivial traits. - * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT, - CPTK_IS_TRIVIAL. - (struct lang_type_class): Add non_std_layout. - (CLASSTYPE_NON_STD_LAYOUT): New. - * class.c (check_bases): Set it. - (check_field_decls): Likewise. - (check_bases_and_members): Likewise. - * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT, - RID_IS_TRIVIAL. - (cp_parser_trait_expr): Likewise. - * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT, - CPTK_IS_TRIVIAL. - (finish_trait_expr): Likewise. - * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New. - (pod_type_p): Use them. - (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New. - - Adjust bits of the language that no longer refer to POD types. - * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init - and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p. - (build_x_va_arg): Likewise. - (call_builtin_trap): Remove. - * decl.c (declare_local_label): Use type_has_nontrivial_default_init - and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p. - (cp_finish_decl): Likewise. - (check_previous_goto_1, check_goto): Adjust error. - * typeck.c (build_class_member_access_expr): Check - CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P. - -2009-07-14 Taras Glek - Rafael Espindola - - * Make-lang.in: Added CP_PLUGIN_HEADERS and - c.install-target to export cp-tree.h cxx-pretty-print.h - name-lookup.h headers for plugins. - -2009-07-14 Jason Merrill - - PR c++/37276 - * decl.c (decls_match): A non-extern-C declaration doesn't match - a builtin extern-C declaration. - - PR c++/40746 - * name-lookup.c (qualified_lookup_using_namespace): Don't stop - looking in used namespaces just because we found something on - another branch. - - PR c++/40740 - * semantics.c (perform_koenig_lookup): Handle empty template args. - - * call.c (build_over_call): Use can_trust_pointer_alignment. - -2009-07-14 Dodji Seketeli - - PR debug/40705 - PR c++/403057 - * decl2.c (grokfield): Don't call set_underlying_type on typedef - decls that are type names. - -2009-07-13 Andrew Pinski - - PR C++/22154 - * parser.c (cp_parser_elaborated_type_specifier): Accept typename in - front of qualified names. - -2009-07-12 Jason Merrill - - PR c++/36628 - * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p. - - PR c++/37206 - * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref. - * tree.c (lvalue_p_1): Return it. Remove - treat_class_rvalues_as_lvalues parm. - (real_lvalue_p): Disallow pseudo-lvalues here. - (lvalue_or_rvalue_with_address_p): New fn. - * call.c (initialize_reference): Use it instead of real_lvalue_p. - - PR c++/40689 - * init.c (build_new_1): Handle initializer list as array initializer. - (build_vec_init): Likewise. - * typeck.c (cp_build_modify_expr): Likewise. - * typeck2.c (process_init_constructor_array): Error rather than abort - if too many initializers. - -2009-07-10 Jakub Jelinek - - PR c++/40502 - * error.c (cp_print_error_function): Check for NULL block. - -2008-07-09 Simon Martin - Jason Merrill - - * pt.c (perform_typedefs_access_check, get_types_needing_access_check, - append_type_to_template_for_access_check_1): Use CLASS_TYPE_P. - -2009-07-09 Dodji Seketeli - - PR c++/40684 - * pt.c (type_unification_real): Use tsubst_template_arg instead - of tsubst to substitute default template arguments. - -2009-07-08 Manuel López-Ibáñez - - PR c++/31246 - * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated - code. - * cp-gimplify.c (genericize_eh_spec_block): Likewise. - - -2009-07-07 Jason Merrill - - PR c++/35828 - * pt.c (tsubst_decl): Don't abort if we didn't change anything - in a TEMPLATE_DECL's args. - -2009-07-07 Manuel López-Ibáñez - - * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by - EXPR_LOCATION. - -2009-07-07 Jason Merrill - - PR c++/37816 - * decl.c (build_enumerator): Don't add enumerators for a - scoped enum to the enclosing class. - - PR c++/40639 - * decl.c (start_enum): Allow dependent underlying type. - - PR c++/40633 - * decl.c (finish_enum): Finish scope even in a template. - -2009-07-07 Manuel López-Ibáñez - - * init.c: Replace %J by an explicit location. Update all calls. - * decl.c: Likewise. - * typeck2.c: Likewise. - * pt.c: Likewise. - * name-lookup.c: Likewise. - -2009-07-06 Manuel López-Ibáñez - - * decl.c: Replace %H by an explicit location. Update all calls. - * except.c: Likewise. - * semantics.c: Likewise. - * parser.c: Likewise. - -2009-07-06 Simon Martin - - PR c++/40557 - * pt.c (perform_typedefs_access_check, get_types_needing_access_check, - append_type_to_template_for_access_check_1): Use - RECORD_OR_UNION_CODE_P. - -2009-07-04 Jason Merrill - - * pt.c (retrieve_specialization): Don't get confused by a - using-declaration that brings in another instance of this template - from a base class. - - * ptree.c (cxx_print_type): Fix logic. - - * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version. - - PR c++/40619 - * cp-tree.h (struct lang_decl_parm): New. - (struct lang_decl): Add it. - (LANG_DECL_PARM_CHECK): New. - (DECL_PARM_INDEX): New. - * decl2.c (parm_index): Remove. - * lex.c (retrofit_lang_decl): Handle parms. - (cxx_dup_lang_specific_decl): Likewise. - * mangle.c (write_expression): Adjust. - * tree.c (cp_tree_equal): Adjust. - (decl_linkage): Only check DECL_COMDAT for functions and variables. - * parser.c (cp_parser_parameter_declaration_list): Set - DECL_PARM_INDEX. - * pt.c (iterative_hash_template_arg): Hash it. - -2009-07-03 Jason Merrill - - * cp-tree.h (struct lang_decl): Overhaul. - (struct lang_decl_flags): Remove. - (struct lang_decl_base): New. - (struct lang_decl_min): New. - (struct lang_decl_fn): New. - (struct lang_decl_ns): New. - (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN. - (LANG_DECL_MIN_CHECK): New. - (LANG_DECL_FN_CHECK): New. - (LANG_DECL_NS_CHECK): New. - (STRIP_TEMPLATE): New. - (NON_THUNK_FUNCTION_CHECK): Remove. - (DECL_DECLARES_FUNCTION_P): New. - (lots): Adjust. - * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust. - * decl.c (push_local_name, duplicate_decls): Adjust. - * decl2.c (start_objects): Don't set u2sel. - * semantics.c (finish_omp_threadprivate): Adjust. - * class.c (build_clone): Don't do much on TEMPLATE_DECLs. - (decl_cloned_function_p): Out-of-line implementation of macros. - (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P. - * mangle.c (write_unqualified_name): Don't check function flags - on non-functions. - * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION. - * pt.c (build_template_decl): Don't set function flags. - (check_default_tmpl_args): Check that it's a function. - (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the - cloned template. - - * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst - DECL_CLONED_FUNCTION. - - * cp-tree.h (struct lang_type_class): Move sorted_fields here. - * class.c (finish_struct_1): Adjust. - * ptree.c (cxx_print_decl, cxx_print_type): Adjust. - * search.c (lookup_field_1): Adjust. - - * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove. - * decl.c (finish_method): Don't add to it. - * class.c (fixup_pending_inline): Remove. - (fixup_inline_methods): Remove. - (finish_struct_1): Don't call it. - - * error.c (dump_function_name): Handle null name. - -2009-07-02 Mark Mitchell - - * typeck.c (cp_build_binary_op): Move warnings about use of NULL - in arithmetic earlier and allow comparisions of NULL with - pointers-to-members. - -2009-07-02 Jason Merrill - - Use hash tables for template specialization lookup. - * pt.c (struct spec_entry): New type. - (decl_specializations, type_specializations): New hash tables. - (register_specialization, retrieve_specialization): Use them. - (reregister_specialization, lookup_template_class): Use them. - (eq_specializations, hash_tmpl_and_args, hash_specialization): New. - (iterative_hash_template_arg): New. - (init_template_processing): New - (process_partial_specialization): Don't look to see if we already - have this partial specialization. - (maybe_process_partial_specialization): Handle reassigning - full specializations when we get an explicit specialization - of the partial instantiation. - (tsubst_friend_function): Adjust specialization reassignment code. - (instantiate_template): Only do one lookup. - (instantiate_decl): Don't do any lookup. - * cp-tree.h: Declare init_template_processing. - * decl.c (duplicate_decls): Pass args to reregister_specialization. - -2009-07-01 Jason Merrill - - * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P. - - * pt.c (register_specialization): Use duplicate_decls to merge - the argument with a previous specialization. - (check_explicit_specialization): Call register_specialization to - merge the TEMPLATE_DECL with a previous version. - (determine_specialization): Return the args even if fn is a template. - -2009-07-01 Ian Lance Taylor - - * g++spec.c (lang_specific_driver): Bump num_args by 1. - -2009-06-30 Jason Merrill - - PR c++/40595 - * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an - EXPR_PACK_EXPANSION. - -2009-06-29 Jason Merrill - - PR c++/40274 - * error.c (dump_template_parms): Pass all args to - count_non_default_template_args. - (count_non_default_template_args): Pull out the inner ones. - -2009-06-26 H.J. Lu - - * decl.c (duplicate_decls): Re-indent. - -2009-06-25 Ian Lance Taylor - - * call.c (avoid_sign_compare_warnings): New static function. - (build_new_op): Call it. - * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if - TREE_NO_WARNING is set on either operand. - -2009-06-25 Ian Lance Taylor - - * g++spec.c (SKIPOPT): define. - (lang_specific_driver): Handle -static-libstdc++. Only add - LIBSTDCXX_STATIC if we add LIBSTDCXX. - -2009-06-25 Ian Lance Taylor - - * cvt.c (convert_to_void): Only warn about COND_EXPR if neither - the second nor third operand has side effects. - -2009-06-25 Ian Lance Taylor - - * parser.c (cp_parser_binary_expression): Increment - c_inhibit_evaluation_warnings while parsing the right hand side of - "true || x" or "false && x". - * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare - if c_inhibit_evaluation_warnings is zero. - -2009-06-24 Jason Merrill - - * error.c (dump_decl): Do say "typedef" for the injected class name. - - * pt.c (lookup_template_class): Use currently_open_class, - compare template args later. - - PR c++/40342 - * decl.c (decls_match): Check DECL_TI_TEMPLATE too. - * class.c (resolve_address_of_overloaded_function): Fix typo. - -2009-06-18 Aldy Hernandez - - * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl. - * decl.c (finish_decl): Remove. - (declare_global_var): Replace finish_decl with cp_finish_decl. - (start_method): Same. - * rtti.c (emit_tinfo_decl): Same. - * pt.c (tsubst_expr): Same. - (instantiate_decl): Same. - * decl2.c (grokbitfield): Same. - * name-lookup.c (pushdecl_top_level_1): Same. - * cp-tree.h: Remove finish_decl. - -2009-06-16 David Edelsohn - - * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL. - (lang_specific_driver): Always allocate extra argument. - Add LIBSTDCXX_STATIC to arglist if defined and linking - statically. - -2009-06-16 Ian Lance Taylor - - * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h. - (cp/semantics.o): Depend upon gt-cp-semantics.h. - -2009-06-16 Ian Lance Taylor - - * parser.c (cp_unevaluated_operand): Define global variable. - (cp_parser_question_colon_clause): Increment - c_inhibit_evaluation_warnings when evaluating an expression which - will never be executed. - (cp_parser_decltype): Increment cp_unevaluated_operand and - c_inhibit_evaluation_warnings, not skip_evaluation. - (cp_parser_sizeof_operand): Likewise. - (cp_parser_enclosed_template_argument_list): Save - cp_unevaluated_operand and c_inhibit_evaluation_warnings, not - skip_evaluation. - * cp-tree.h (struct saved_scope): Remove skip_evaluation field. - Add unevaluated_operand and inhibit_evaluation_warnings fields. - (cp_unevaluated_operand): Declare. - * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand - and c_inhibit_evaluation_warnings rather than skip_evaluation. - (pop_from_top_level): Restore cp_unevaluated_operand and - c_inhibit_evaluation_warnings rather than skip_evaluation. - * class.c (build_base_path): Check cp_unevaluated_operand rather - than skip_evaluation. - * typeck.c (build_class_member_access_expr): Likewise. - (cp_build_binary_op): Don't warn about bad shift counts if - c_inhibit_evaluation_warnings is non-zero. - * pt.c (coerce_template_parms): Save state of - cp_unevaluated_operand and c_inhibit_evaluation_warnings, not - skip_evaluation. - (tsubst_aggr_type): Likewise. - (tsubst_pack_expansion): Check cp_unevaluated_operand rather than - skip_evaluation. - (tsubst_copy): Likewise. - (tsubst): Set cp_unevaluated_operand and - c_inhibit_evaluation_warnings, not skip_evaluation. - (tsubst_copy_and_build): Likewise. - * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand - rather than skip_evaluation. - * decl2.c (mark_used): Likewise. - * semantics.c (finish_non_static_data_member): Likewise. - * cvt.c (cp_convert_and_check): Check - c_inhibit_evaluation_warnings rather than skip_evaluation. - * mangle.c (write_type): Set cp_unevaluated_operand rather than - skip_evaluation. - -2009-06-15 Ian Lance Taylor - - * parser.c (cp_parser_direct_declarator): Add braces around - variables declared before label. - -2009-06-15 Rafael Avila de Espindola - - * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove. - * cp-tree.h (cxx_comdat_group): Change signature. - * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP. - (cxx_comdat_group): Change signature. - * decl2.c (comdat_linkage, maybe_make_one_only): Update call to - make_decl_one_only. - (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP. - * method.c (use_thunk): Update call to make_decl_one_only. - * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP - -2009-06-12 Aldy Hernandez - - * typeck.c (cp_build_binary_op): Pass location to overflow_warning. - (build_modify_expr): New arg. - * semantics.c (finish_unary_op_expr): Pass location to - overflow_warning. - (handle_omp_for_class_iterator): Pass location to build_modify_expr. - * typeck.c (cxx_sizeof_or_alignof_type): Pass location to - c_sizeof_or_alignof_type. - (build_array_ref): New argument. - (build_compound_expr): Same. - (build_const_cast): Same. - (build_ptrmemfunc): Pass location to build_c_cast. - * init.c (avoid_placement_new_aliasing): Pass location to - build_stmt. - (build_vec_delete_1): Pass location to cp_build_modify_expr, - build_compound_expr. - * class.c (build_vtbl_ref_1): Pass location to build_array_ref. - * decl.c (poplevel): Pass location to c_build_bind_expr. - (finish_case_label): Pass location to build_case_label. - (finish_constructor_body): Same. - (finish_destructor_body): Pass location to build_stmt. - (cxx_maybe_build_cleanup): Same, but to build_compound_expr. - * call.c (build_new_op): Pass location to build_array_ref. - (build_x_va_arg): Pass location to build_va_arg. - * except.c (expand_end_catch_block): Pass location to - build_stmt. - * cp-tree.h (build_array_ref): New argument. - (build_compound_expr): Same. - (build_c_cast): Same. - * cp-gimplify.c (gimplify_if_stmt): Pass location on down. - (gimplify_switch_stmt): Same. - * typeck2.c (split_nonconstant_init_1): Same. - * pt.c (tsubst_copy): Same. - * semantics.c (add_decl_expr): Same. - (do_poplevel): Same. - (push_cleanup): Same. - (finish_goto_stmt): Same. - (finish_expr_stmt): Same. - (begin_if_stmt): Same. - (begin_while_stmt): Same. - (begin_do_stmt): Same. - (finish_return_stmt): Same. - (begin_for_stmt): Same. - (finish_break_stmt): Same. - (finish_continue_stmt): Same. - (begin_switch_stmt): Same. - (begin_try_block): Same. - (begin_handler): Same. - (finish_asm_stmt): Same. - (finish_label_stmt): Same. - (finish_stmt_expr_expr): Same. - (finalize_nrv_r): Same. - (finish_omp_atomic): Same. - * name-lookup.c (do_using_directive): Same. - * decl2.c (grok_array_decl): Same. - * parser.c (cp_parser_cast_expression): Same. - (cp_parser_selection_statement): Same. - (cp_parser_implicitly_scoped_statement): Same. - (cp_parser_objc_selector_expression): Same. - (cp_parser_objc_synchronized_statement): Same. - (cp_parser_objc_throw_statement): Same. - (cp_parser_omp_critical): Same. - (cp_parser_omp_master): Same. - * typeck.c (build_function_call): Add location argument. - * init.c: Add location argument to all build_decl calls. - * class.c: Same. - * method.c: Same. - * rtti.c: Same. - * tree.c: Same. - * pt.c: Same. - * semantics.c: Same. - * lex.c: Same. - * decl2.c: Same. - * cp-gimplify.c: Same. - * decl.c: Same. - (cp_make_fname_decl): Add location argument. Pass location ot - build_decl. - (finish_case_label): Same. - * cp-tree.h (finish_case_label): Add location argument. - * parser.c (cp_parser_label_for_labeled_statement): Pass location to - finish_case_label. - -2009-06-09 Jason Merrill - - PR c++/40381 - * decl2.c (mark_used): Return after complaining about deleted fn. - -2009-06-08 Jason Merrill - - * parser.c (cp_parser_type_id_1): 'auto' type is ok with a - late-specified return type. - -2009-06-08 Jakub Jelinek - - PR c++/40373 - * call.c (check_dtor_name): Return false even if - get_type_value (name) is error_mark_node. - - PR c++/40370 - PR c++/40372 - * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS - on error_mark_node. Check for VLAs outside of function context - before check whether to wrap bounds into a NOP_EXPR with - TREE_SIDE_EFFECTS. - -2009-06-08 Alexandre Oliva - - * repo.c (get_base_filename): Use aux_base_name rather than - alternate temporary file during second compare debug compilation. - (finish_repo): Skip during -fcompare-debug-second. - -2009-06-06 Ian Lance Taylor - - * parser.c (cp_parser_label_for_labeled_statement): Support - attribute on labels if immediately followed by semicolon. - * semantics.c (finish_label_stmt): Return new label. - * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR. - -2009-06-03 Ian Lance Taylor - - * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and - $(SYSTEM_H). - -2009-06-02 Mark Mitchell - - * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl. - -2009-06-02 Jason Merrill - - PR c++/40308 - PR c++/40311 - * typeck.c (cp_build_modify_expr): Always pass init-lists to the - conversion code. - * call.c (implicit_conversion): Allow init-list conversion to scalar - during direct-initialization, too. Mark the conversion bad if it - has too many levels of braces. - (convert_like_real): And give a helpful error. - - PR c++/40306 - PR c++/40307 - * decl.c (cp_finish_decl): Handle auto deduction from (). - * typeck.c (build_x_indirect_ref): Handle dereferencing an operand - with dependent type that is known to be a pointer. - -2009-06-02 Simon Martin - - PR c++/38089 - * pt.c (register_specialization): Properly setup DECL_CONTEXT for - specializations in an invalid namespace. - -2009-06-01 Aldy Hernandez - - * error.c (print_instantiation_partial_context): Print column - numbers. - -2009-05-29 Ian Lance Taylor - - * error.c (cp_printer): Don't use va_arg with enum type. - -2009-05-28 Dodji Seketeli - - PR c++/39754 - * cp-tree.h (canonical_type_variant): Remove this function declaration. - (strip_typedefs): New function declaration. - * tree.c (strip_typedefs): New function definition. - (canonical_type_variant): Remove function definition. - * cvt.c (convert_from_reference): No need to use - canonical_type_variant. - * typeck.c (cp_build_indirect_ref): Likewise. - * error.c (dump_template_bindings): Use strip_typedefs instead of - canonical_type_variant. - * pt.c (convert_template_argument, unify): Likewise. - * mangle.c (canonicalize_for_substitution): Don't use - canonical_type_variant. - -2009-05-27 Jason Merrill - - * call.c (implicit_conversion): Handle conversion from - initializer-list to scalar. - (convert_like_real): Likewise. Avoid crashing on list - initialization with bad conversions. - (can_convert): Use LOOKUP_EXPLICIT. - (can_convert_arg_bad): Add flags parm. - * cp-tree.h: Adjust. - * typeck.c (convert_for_assignment): Pass flags. - -2009-05-27 Ian Lance Taylor - - * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER). - (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise. - -2009-05-26 Ian Lance Taylor - - * Make-lang.in (g++spec.o): Use $(COMPILER). - (g++$(exeext), cc1plus-dummy$(exeext)): Likewise. - (cc1plus$(exeext)): Likewise. - -2009-05-26 Dodji Seketeli - - PR c++/40007 - * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor. - (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor. - (get_types_needing_access_check): Declare new entry point. - * pt.c (append_type_to_template_for_access_check_1, - get_types_needing_access_check): New functions. - (perform_typedefs_access_check): Accept FUNCTION_DECLs and - RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new - get_types_needing_access_check, no more - MEMBER_TYPES_NEEDING_ACCESS_CHECK. - (instantiate_class_template): Set input_location to the source - location of the most specialized template definition. - Perform access check using the RECORD_TYPE of the template, not its - associated most generic TEMPLATE_DECL. - (append_type_to_template_for_access_check): Augment function - comments. Use the new get_types_needing_access_check, not - MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new - append_type_to_template_for_access_check_1 subroutine. - -2009-05-22 Jason Merrill - - PR c++/38064 - * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in - arithmetic comparisons. - (cp_common_type): Handle scoped enums. - - * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P. - (add_builtin_candidate, add_builtin_candidates): Likewise. - (convert_like_real): Likewise. - * class.c (check_bitfield_decl): Likewise. - * decl.c (check_static_variable_definition): Likewise. - (compute_array_index_type): Likewise. - * decl2.c (grokbitfield): Likewise. - * init.c (build_new_1): Likewise. - * pt.c (convert_nontype_argument): Likewise. - (current_instantiation): Likewise. - * tree.c (pod_type_p): Likewise. - * typeck.c (build_static_cast_1): Likewise. - (build_reinterpret_cast_1): Likewise. - -2009-05-22 Richard Guenther - - PR middle-end/38964 - * init.c (avoid_placement_new_aliasing): Remove. - (build_new_1): Do not call it. - -2009-05-22 Mark Mitchell - - * decl2.c (decl_needed_p): Consider dllexport'd functions needed. - * semantics.c (expand_or_defer_fn): Similarly. - -2009-05-20 Ian Lance Taylor - - * parser.c (cp_parser_postfix_expression): Change args to a vec. - Release it when done. - (tree_vector): Define typedef. Define VEC functions. - (cp_parser_parenthesized_expression_list): Change return type to - vec. Change all callers. - (cp_parser_new_expression): Change placement and initializer to - vecs. Release them when done. - (cp_parser_new_placement): Change return type to vec. Change all - callers. - (cp_parser_new_initializer): Likewise. - * typeck.c (build_function_call_vec): Just call - cp_build_function_call_vec. - (cp_build_function_call): Just build a vec and call - cp_build_function_call_vec. - (cp_build_function_call_vec): New function based on old - cp_build_function_call. - (convert_arguments): Remove nargs and argarray parameters. Change - values to a vec. Change caller. - (build_x_compound_expr_from_vec): New function. - (cp_build_modify_expr): Build vec to pass to - build_special_member_call. - * call.c (struct z_candidate): Add first_arg field. Change args - field to vec. - (convert_class_to_reference): Handle first argument separately. - (add_candidate): Add first_arg parameter. Change args parameter - to vec. Change all callers. - (add_function_candidate, add_conv_candidate): Likewise. - (add_template_candidate_real, add_template_candidate): Likewise. - (add_template_conv_candidate): Likewise. - (build_user_type_conversion_1): Handle first argument separately. - (resolve_args): Change return type and parameter type to vecs. - Change all callers. - (perform_overload_resolution): Change args parameter to vec. - Change all callers. - (build_new_function_call, build_operator_new_call): Likewise. - (add_candidates): Likewise. - (build_op_call): New globally visible function, built from and - replacing static function build_object_call. - (build_new_op): Don't handle CALL_EXPR. Build vec, not tree_list, - of arguments. - (build_op_delete_call): Build vec to pass to - cp_build_function_call_vec. - (build_temp): Build vec to pass to build_special_member_call. - (convert_like_real): Likewise. - (perform_direct_initialization_if_possible): Likewise. - (build_over_call): Handle first_arg field. Use build_call_array - rather than build_call_list. - (build_special_member_call): Change args parameter to vec. Change - all callers. - (build_new_method_call): Likewise. - * init.c (expand_default_init): Change parms to vec. - (build_raw_new_expr): Change placement and init to vecs. Change - all callers. - (build_new_1, build_new): Likewise. - * class.c (resolve_address_of_overloaded_function): Build array to - pass to fn_type_unification. - * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to - build_new. For CALL_EXPR create a vec rather than a tree_list; - expand a pack if necessary. - (fn_type_unification): Change args parameter to const tree *. Add - nargs parameter. Change all callers. - (type_unification_real): Likewise. - (unify): Build array to pass to type_unification_real. - (get_bindings): Build array to pass to fn_type_unification. - (any_type_dependent_arguments_p): Change args parameter to a vec. - Change all callers. - (make_args_non_dependent): Renamed from build_non_dependent_args. - Change return type to void. Change parameter type to vec. Change - all callers. - (do_auto_deduction): Pass an array to type_unification_real. - * semantics.c (perform_koenig_lookup): Change args to vec. Change - all callers. - (finish_call_expr): Change args to vec. Change all callers. Call - build_op_call instead of passing CALL_EXPR to build_new_op. - (cxx_omp_create_clause_info): Allocate vec to pass to - build_special_member_call. - * decl2.c (build_offset_ref_call_from_tree): Change args parameter - to vec. Change all callers. - * name-lookup.c (lookup_function_nonclass): Likewise. - (struct arg_lookup): Change args to vec. - (arg_assoc_namespace): Handle args as a vec. - (arg_assoc_args_vec): New static function. - (lookup_arg_dependent): Change args parameter to vec. Change all - callers. - * method.c (do_build_assign_ref): Allocate vec to pass to - build_special_member_call. - * except.c (build_throw): Likewise. - * typeck2.c (build_functional_cast): Likewise. - * cvt.c (ocp_convert): Likewise. - * tree.c (build_min_non_dep_call_vec): Change last parameter to - vec. Change all callers. - * cp-tree.h: Update declarations. - * name-lookup.h: Update declarations. - -2009-05-20 Sandra Loosemore - - * typeck.c (default_conversion): Check targetm.promoted_type. - * decl.c (grokdeclarator): Check targetm.invalid_return_type. - (grokparms): Check targetm.invalid_parameter_type. - * cvt.c (ocp_convert): Check targetm.convert_to_type. - (build_expr_type_conversion): Check targetm.promoted_type. - -2009-05-19 Andrew Pinski - - * typeck.c (build_binary_op): Allow % on integal vectors. - -2009-05-18 Jason Merrill - - Implement explicit conversions ops as specified in N2437. - * decl.c (grokdeclarator): Handle explicit conversion ops. - (check_initializer): Pass flags to store_init_value. - * decl2.c (maybe_emit_vtables): Likewise. - * init.c (expand_aggr_init_1): Likewise. - * call.c (convert_class_to_reference): Take flags parm, - check DECL_NONCONVERTING_P. - (build_user_type_conversion_1): Check DECL_NONCONVERTING_P. - (add_builtin_candidates): Simplify getting type of conversion. - (build_object_call): Likewise. Check DECL_NONCONVERTING_P. - (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING. - (reference_binding): Take flags parm. Direct-initialize copy parm. - (add_function_candidate): Direct-initialize the copy parm. - (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL. - (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING. - (conditional_conversion): Likewise. - (convert_like_real): Only complain about DECL_NONCONVERTING_P - constructors. - (perform_implicit_conversion_flags): Add flags parm to - perform_implicit_conversion. Improve diagnostics. - * cp-tree.h (LOOKUP_IMPLICIT): New macro. - (LOOKUP_COPY_PARM): New bit macro. - * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P. - * typeck.c (convert_for_assignment): Take flags parm, pass it to - perform_implicit_conversion_flags. - (cp_build_modify_expr): Pass flags to convert_for_assignment. - (convert_for_initialization): Likewise. - * typeck2.c (store_init_value): Take flags parm, pass to - digest_init_flags. - (digest_init_flags): Add flags parm to digest_init. - (digest_init_r): Take flags parm, pass to convert_for_initialization. - (process_init_constructor_array): Pass it. - (process_init_constructor_record): Likewise. - (process_init_constructor_union): Likewise. - -2009-05-16 Jason Merrill - - PR c++/40139 - * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing - with a dependent type. Actually look up the destructor. - * semantics.c (finish_id_expression): Fix logic. - (finish_qualified_id_expr): Don't try to use 'this' if we aren't in - a function. - * typeck.c (build_x_unary_op): Diagnose taking the address of a - constructor or destructor. - * tree.c (get_first_fn): Handle OFFSET_REF. - -2009-05-17 Joseph Myers - - * tree.c (cxx_printable_name_internal): Allow consecutive - translated and untranslated cached copies of the name of the - current function. - -2009-05-15 Ian Lance Taylor - - * cp-tree.h (enum cp_lvalue_kind_flags): Rename from - cp_lvalue_kind. Change all uses. - (enum base_access_flags): Rename from enum base_access. Change - all uses. - * parser.c (enum cp_parser_flags): Remove enum tag. - -2009-05-15 Manuel López-Ibáñez - - PR 16302 - * call.c (build_new_op): Update calls to warn_logical_operator. - -2009-05-14 Ian Lance Taylor - - * class.c (layout_class_type): Change itk to unsigned int. - * decl.c (finish_enum): Change itk to unsigned int. - * parser.c (cp_parser_check_decl_spec): Change ds to int. Remove - casts. - -2009-05-13 David Mandelin : - - * decl.c (duplicate_decls): Preserve parameter attributes. - -2009-05-10 Jan Hubicka - - * decl2.c (cxx_callgraph_analyze_expr): Use - cgraph_mark_address_taken. - -2009-05-10 Joseph Myers - - * call.c (name_as_c_string): Call type_as_string_translate. - Translate identifiers to locale character set. - * cp-tree.h (lang_decl_name): Update prototype. - (type_as_string_translate, decl_as_string_translate, - cxx_printable_name_translate): Declare. - * cxx-pretty-print.c (M_): Define. - (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark - English fragments for conditional translation with M_. - * decl.c (grokdeclarator): Translate identifiers to locale - character set for diagnostics. - * error.c (M_): Define. - (dump_template_bindings, dump_type, dump_aggr_type, - dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl, - dump_function_decl, dump_template_parms, dump_expr, - dump_binary_op, op_to_string, assop_to_string): Mark English - fragments for conditional translation with M_. - (type_as_string): Disable translation of identifiers. - (type_as_string_translate): New. - (expr_as_string): Disable translation of identifiers. - (decl_as_string): Disable translation of identifiers. - (decl_as_string_translate): New. - (lang_decl_name): Add parameter translate. - (args_to_string): Call type_as_string_translate. - (cp_print_error_function): Call cxx_printable_name_translate. - (print_instantiation_full_context, - print_instantiation_partial_context): Call - decl_as_string_translate. - * parser.c (cp_lexer_get_preprocessor_token): Use %qE for - identifier in diagnostic. - * tree.c (cxx_printable_name): Change to - cxx_printable_name_internal. Add parameter translate. - (cxx_printable_name, cxx_printable_name_translate): New wrappers - round cxx_printable_name_internal. - -2009-05-08 H.J. Lu - - PR c/36892 - * call.c (build_call_a): Updated warn_deprecated_use call. - (build_over_call): Likewise. - * decl.c (grokdeclarator): Likewise. - (grokparms): Likewise. - * semantics.c (finish_id_expression): Likewise. - * typeck.c (build_class_member_access_expr): Likewise. - (finish_class_member_access_expr): Likewise. - -2009-05-06 Dodji Seketeli - - PR c++/17395 - * pt.c (tsubst_copy) : We don't want to tsubst the - whole list of PARM_DECLs, just the current one. - -2009-05-05 Shujing Zhao - - * cp-tree.h: - (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook, - mangle_compound_literal): Remove unused declarations. - (build_vfield_ref, cxx_print_statistics, clone_function_decl, - adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name, - pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish, - check_for_out_of_scope_variable, print_other_binding_stack, - maybe_push_decl, cxx_mark_addressable, force_target_expr, - build_target_expr_with_type, finish_case_label, - cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block, - check_template_keyword, cxx_omp_predetermined_sharing, - cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor, - cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause, - cxx_omp_privatize_by_reference): Rearrange the declarations line to - match the comment that indicates the .c file which the functions are - defined. - (cxx_print_xnode, cxx_print_decl, cxx_print_type, - cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment. - -2009-05-05 Nathan Sidwell - - * typeck.c (cp_build_compound_expr): Require RHS to have a known - type. - * class.c (resolve_address_of_overloaded_function): Use - OVL_CURRENT for error message. - (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing - with them. Do not copy the node. - -2009-05-05 Jakub Jelinek - - PR c++/40013 - * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type, - set it from its operand's type after tsubst_expr. - -2009-05-04 Manuel Lopez-Ibanez - - PR c++/28152 - * parser.c (cp_lexer_get_preprocessor_token): Do not store the - canonical spelling for keywords. - (cp_parser_attribute_list): Use the canonical spelling for - keywords in attributes. - -2009-05-01 Joseph Myers - - * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id, - pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression, - pp_cxx_new_expression, pp_cxx_delete_expression, - pp_cxx_unary_expression, pp_cxx_assignment_operator, - pp_cxx_assignment_expression, pp_cxx_expression, - pp_cxx_function_specifier, pp_cxx_decl_specifier_seq, - pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq, - pp_cxx_exception_specification, pp_cxx_direct_declarator, - pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement, - pp_cxx_namespace_alias_definition, pp_cxx_template_parameter, - pp_cxx_canonical_template_parameter, pp_cxx_template_declaration, - pp_cxx_declaration, pp_cxx_typeid_expression, - pp_cxx_va_arg_expression, pp_cxx_offsetof_expression, - pp_cxx_trait_expression): Mostly use pp_string and - pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier - for non-identifiers. Mark English strings for translation. - * cxx-pretty-print.h (pp_cxx_ws_string): Define. - * error.c (dump_template_parameter, dump_template_bindings, - dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl, - dump_decl, dump_template_decl, dump_function_decl, - dump_parameters, dump_exception_spec, dump_template_parms, - dump_expr, dump_binary_op, dump_unary_op, op_to_string, - assop_to_string, args_to_string, cp_print_error_function, - print_instantiation_full_context, - print_instantiation_partial_context): Mostly use pp_string and - pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier - for non-identifiers. Mark English strings for translation. - (dump_global_iord): Mark strings for translation; use longer - strings instead of substituting single words. - (function_category): Return a format string marked for - translation, not a single word or phrase to substitute in a longer - phrase. - -2009-04-28 Ben Elliston - - PR c++/35652 - Revert: - - 2009-03-27 Manuel Lopez-Ibanez - - * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum. - -2009-04-27 Ian Lance Taylor - - * semantics.c (finish_omp_clauses): Change type of c_kind to enum - omp_clause_code. - -2009-04-27 Jakub Jelinek - - PR c++/39875 - * cvt.c (convert_to_void) : Only warn about - -Wunused-value if implicit. - -2009-04-24 Ian Lance Taylor - - * call.c (build_temp): Change 0 to enum constant. - * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum - type. - * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type. - * decl2.c (constrain_visibility): Likewise. - * parser.c (cp_lexer_get_preprocessor_token): Likewise. - (cp_parser_flags): Typedef to int rather than enum type. - (cp_parser_expression_stack_entry): Change prec field to enum - cp_parser_prec. - - * typeck.c (build_modify_expr): Add lhs_origtype parameter. - Change all callers. - -2009-04-22 Dodji Seketeli - - PR c++/39639 - * parser.c (cp_parser_template_argument_list): Display an error - when an ellipsis is not preceded by a parameter pack. Also, warn - about variadic templates usage without -std=c++0x. - -2009-04-21 Taras Glek - - * cp-tree.h: Update GTY annotations to new syntax. - * decl.c: Likewise. - * mangle.c: Likewise. - * name-lookup.c: Likewise. - * name-lookup.h: Likewise. - * parser.c: Likewise. - * pt.c: Likewise. - * rtti.c: Likewise. - * semantics.c: Likewise. - * typeck2.c: Likewise. - -2009-04-22 Manuel Lopez-Ibanez - - PR c++/14875 - * parser.c (cp_parser_error): Pass token->flags to c_parse_error. - -2009-04-21 Manuel Lopez-Ibanez - - PR c++/35711 - * typeck.c (check_for_casting_away_constness): We diagnose casting - away any qualifiers not just constness. - (casts_away_constness): Mention that it handles more than just - constness. - -2009-04-21 Joseph Myers - - * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995, - ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999, - ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003, - ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, - ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS, - cfns.gperf: Add copyright and license notices. - * cfns.h: Regenerate. - * ChangeLog, ChangeLog-2004: Correct dates. - -2009-04-21 Manuel López-Ibáñez - - PR 16202 - * tree.c (lvalue_p_1): Use const_tree. - Use CONST_CAST_TREE to avoid warning. - (lvalue_p): Returns bool, receives const_tree. - -2009-04-21 Manuel Lopez-Ibanez - - PR c++/13358 - * parser.c (cp_parser_check_decl_spec): Drop redundant flags. - * error.c (pedwarn_cxx98): New. - * cp-tree.h (pedwarn_cxx98): Declare. - -2009-04-20 Le-Chun Wu - - PR c++/39803 - * init.c (build_vec_init): Set TREE_NO_WARNING on the - compiler-generated INDIRECT_REF expression. - -2009-04-20 Ian Lance Taylor - - * typeck.c (build_function_call_vec): New function. - (cp_build_function_call): Only pass first parameter to - objc_rewrite_function_call. - (build_modify_expr): Add rhs_origtype parameter. Change all - callers. - * decl.c (finish_decl): Add origtype parameter. Change all - callers. - * semantics.c (finish_call_expr): Pass VEC to - resolve_overloaded_builtin. - -2009-04-20 Ian Lance Taylor - - * cp-tree.h (base_access): Change typedef to int. - * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR. - (cp_parser_omp_threadprivate): Likewise. - * pt.c (unify_pack_expansion): Add casts to enum type. - -2009-04-19 Manuel López-Ibáñez - - PR c/32061 - PR c++/36954 - * call.c (build_new_op): Save the original codes of operands - before folding. - -2009-04-18 Kazu Hirata - - * cp-tree.h: Remove the prototype for insert_block. - * decl.c (insert_block): Remove. - -2009-04-16 Ian Lance Taylor - - * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t. - (tsubst_flags_t): Change typedef from enum type to int. - -2009-04-16 Paolo Bonzini - - * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE - instead of targetm.vector_opaque_p. - -2009-04-15 Le-Chun Wu - - PR c++/39551 - * call.c (build_over_call): Set TREE_NO_WARNING on the - compiler-generated INDIRECT_REF expression. - * cvt.c (convert_to_void): Emit warning when stripping off - INDIRECT_REF. - -2009-04-14 Diego Novillo - - * parser.c (cp_parser_type_specifier_seq): Move call to - invoke_plugin_callbacks ... - (cp_parser_type_specifier_seq): ... here. - -2009-04-14 Le-Chun Wu - - * Make-lang.in: Modify dependencies of files including plugin.h. - * decl.c (finish_function): Call invoke_plugin_callbacks. - * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks. - -2009-04-14 Jason Merrill - - PR c++/39763 - * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings - about shadowing by tentative parms. - -2009-04-13 Jason Merrill - - PR c++/39480 - * call.c (build_over_call): Don't call memcpy if the target is - the same as the source. - -2009-04-13 Jason Merrill - - PR c++/39750 - * pt.c (uses_template_parms): Handle CONSTRUCTOR. - -2009-04-12 Jason Merrill - - PR c++/39742 - * call.c (joust): Don't crash on variadic fn. - -2009-04-10 Jason Merrill - - PR c++/28301 - * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return - if we see a close brace without an open brace. - -2009-04-10 H.J. Lu - - * parser.c (cp_parser_class_specifier): Remove the unused - has_trailing_semicolon. - -2009-04-10 Manuel López-Ibáñez - - PR c++/20118 - * parser.c (cp_parser_check_template_parameters): Take a - cp_declarator parameter. - (cp_parser_elaborated_type_specifier): Update to - cp_parser_check_template_parameters. - (cp_parser_class_head): Likewise. - (cp_parser_check_declarator_template_parameters): Likewise. - (cp_parser_check_template_parameters): Handle first the non-error - conditions. Give more accurate diagnostics if a declarator is - given. - -2009-04-08 Jason Merrill - - PR c++/25185 - * error.c (dump_aggr_type): Chase template typedefs if - -fno-pretty-templates. - -2009-04-08 Dodji Seketeli - - PR c++/39637 - * parser.c (cp_parser_enumerator_definition): Make sure the - initializer of the enumerator doesn't contain any bare parameter pack. - -2009-04-07 Jason Merrill - - PR c++/34691 - * name-lookup.c (merge_functions): Keep multiple extern "C" functions. - * call.c (joust): Complain about mismatched default arguments - in extern "C" functions. - * class.c (resolve_address_of_overloaded_function): Handle multiple - extern "C" functions. - * pt.c (resolve_overloaded_unification): Likewise. - -2009-04-07 Jason Merrill - - PR c++/25185 - * error.c (dump_function_decl): Don't pretty-print templates - if -fno-pretty-templates. - (count_non_default_template_args): Print all args if - -fno-pretty-templates. - -2009-04-06 Jason Merrill - - PR c++/35146 - * pt.c (fn_type_unification): For DEDUCE_EXACT check that - the deduced template arguments give us the parameter types - we're looking for. - -2009-04-05 Giovanni Bajo - Jason Merrill - - PR c++/14912 - * error.c (count_non_default_template_args): New fn. - (dump_template_parms): Call it. - (dump_template_argument_list): Call it. Add parms parm. - (dump_template_argument): Adjust call to dump_template_argument_list. - (dump_type, dump_decl): Likewise. - (dump_template_bindings): Refactor logic. - -2009-04-03 Jason Merrill - - PR c++/25185 - * error.c (dump_template_bindings): Look through typedefs in - typename results. - (dump_type) [TYPENAME_TYPE]: Print the typedef name if any. - (find_typenames_r): Also collect typedefs. - * pt.c (unify): Strip typedefs. - - PR c++/39608 - * semantics.c (finish_id_expression): Don't assume a dependent - member of the current instantiation isn't a valid integral - constant expression. Check dependent_scope_p. - * pt.c (dependent_scope_p): Check TYPE_P. - (tsubst_copy): If args is null, just return. - -2009-04-02 Jason Merrill - - PR c++/25185 - * error.c (find_typenames, find_typenames_r): New fns. - (dump_function_decl): Call find_typenames. - (dump_template_bindings): Print typenames as well. - * pt.c (tsubst): Non-static. - * cp-tree.h: Declare it. - -2009-04-02 Dodji Seketeli - - PR c++/26693 - * decl2.c (grokfield): when a typedef appears in a - class, create the typedef variant type node for it. - (save_template_attributes): Creating typedef variant type node - here is now useless. - * decl.c (grokdeclarator): If the typedef'ed struct/class was - anonymous, set the proper type name to all its type variants. - (xref_basetypes) : Fixup the variant types after setting - TYPE_BINFO on REF. - * name-lookup.c (pushdecl_maybe_friend): Reuse the - set_underlying_type function to install typedef variant types. - * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor - macro. - (append_type_to_template_for_access_check): New entry points. - * semantics.c (check_accessibility_of_qualified_id): - When a typedef that is a member of a class appears in a template, - add it to the template. It will be ... - * class.c (finish_struct_bits): Split type variant fixup into ... - (fixup_type_variants): A new entry point. - * pt.c (instantiate_class_template, instantiate_template ): ... access - checked at template instantiation time. - (resolve_type_name_type): The type name should be the name of the - main type variant. - (retrieve_specialization): Specializations of template typedefs aren't - to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl). - (append_type_to_template_for_access_check): New entry point. - (tsubst_decl): For typedefs, build the variant type from the correct - original type. - (get_class_bindings): Fix function comment. - (perform_typedefs_access_check): New entry point. - -2009-03-31 Jason Merrill - - PR c++/34691 - * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched - extern "C" declarations. - - C++ DR 613 - * semantics.c (finish_non_static_data_member): Allow such references - without an associated object in sizeof/decltype/alignof. - - * ptree.c (cxx_print_decl): Pretty-print full name of - function/template. - (cxx_print_type): Pretty-print full name of class. - - * decl.c (grokdeclarator): Reject pointer to qualified function - type. - - PR c++/37806, core issue 547 - * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals - to a typedef. - * tree.c (cp_build_qualified_type_real): Don't apply restrict to a - function type. - * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG. - * decl.c (groktypename): Add is_template_arg parameter. - (grokdeclarator): Allow function cv-quals on a template type arg. - * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add - is_template_arg argument in calls to groktypename. - * cp-tree.h: Adjust prototype. - * error.c (dump_type_prefix, dump_type_suffix): Fix plain - FUNCTION_TYPE printing. - - * mangle.c (write_expression): Mangle dependent name as - source-name. - - PR c++/38030, 38850, 39070 - * pt.c (type_dependent_expression_p_push): New fn. - (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the - substitution makes the call non-dependent. Preserve koenig_p. - * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup - for non-dependent calls. - * semantics.c (finish_call_expr): Revert earlier changes. - * cp-tree.h: Revert change to finish_call_expr prototype. - -2009-03-29 Joseph Myers - - PR preprocessor/34695 - * cp-tree.h (cp_cpp_error): Remove. - * error.c (cp_cpp_error): Remove. - * parser.c (cp_lexer_new_main): Set done_lexing instead of - client_diagnostic and error callback. - -2009-03-28 Paolo Bonzini - - * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove. - * cp/cp-objcp-common.c (cxx_staticp): Remove. - * cp/cp-tree.h (cxx_staticp): Remove. - -2009-03-28 Jakub Jelinek - - PR c++/39554 - * parser.c (cp_parser_postfix_expression): Don't call - warning_if_disallowed_function_p. - -2009-03-27 Jan Hubicka - - * except.c (choose_personality_routine): Set terminate_node to abort - for java exceptions. - -2009-03-27 Dodji Seketeli - Jakub Jelinek - - PR debug/37959 - * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define. - (cp_function_decl_explicit_p): New prototype. - * cp-objcp-common.c (cp_function_decl_explicit_p): New function. - -2009-03-27 Andrew Pinski - - PR c++/38638 - * parser.c (cp_parser_elaborated_type_specifier): If we have a - typename tag and don't have either a TYPE_DECL or a - TEMPLATE_ID_EXPR, set the type to NULL. - -2009-03-27 Simon Martin - - PR c++/37647 - * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class - scope. - -2009-03-27 Simon Martin - - PR c++/29727 - * decl.c (check_array_designated_initializer): Handle error_mark_node. - -2009-03-27 Manuel Lopez-Ibanez - - PR c++/35652 - * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum. - -2009-03-26 Andrew Haley - - PR C++/39380 - * decl2.c (possibly_inlined_p): If java exceptions are in use - don't inline a decl unless it is explicitly marked inline. - * lex.c: (pragma_java_exceptions): New variable. - (handle_pragma_java_exceptions): Set pragma_java_exceptions. - * cp-tree.h (pragma_java_exceptions): Declare new variable. - -2009-03-24 Jason Merrill - - PR c++/28274 - * name-lookup.c (pushdecl_maybe_friend): Check default args later. - -2009-03-23 Jakub Jelinek - - PR c/39495 - * semantics.c (handle_omp_for_class_iterator): Swap cond operands and - code if iter is the second operand. - * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p - argument. If it is set, don't build the toplevel expression with - build_x_binary_op, but build2. - (cp_parser_assignment_expression, cp_parser_omp_for_incr): Adjust - callers. - (cp_parser_omp_for_cond): Don't assume the first operand of the - comparison must be decl. - -2009-03-23 Jason Merrill - - PR c++/37729 - * pt.c (make_fnparm_pack): Split out from... - (instantiate_decl): ...here. - (tsubst_pack_expansion): Handle being called in a late-specified - return type. - - PR c++/39526 - * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing - a parm with a parm. - -2009-03-20 Jason Merrill - - PR c++/28879 - * parser.c (cp_parser_direct_declarator): In a template, wrap - non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set. - * pt.c (tsubst): Preserve it in a partial instantiation. - (dependent_type_p_r): Don't check value_dependent_expression_p. - * decl.c (compute_array_index_type): Don't check - value_dependent_expression_p if TREE_SIDE_EFFECTS. - - C++ core issue 703 - * typeck2.c (check_narrowing): Don't complain about loss of - precision when converting a floating-point constant. - -2009-03-19 Jakub Jelinek - - PR c/39495 - * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL. - (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond. - -2009-03-18 Jakub Jelinek - - * parser.c (struct cp_token): Reorder fields for 64-bit hosts. - (eof_token): Adjust. - -2009-03-18 H.J. Lu - - PR c++/39425 - * parser.c (cp_parser_explicit_specialization): Don't skip the - rest of the specialization when begin_specialization returns - false. - -2009-03-17 Jason Merrill - - * decl.c (grokfndecl): Set DECL_CONTEXT on parms. - (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms. - * pt.c (check_explicit_specialization): Likewise. - (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a - local specialization. - * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name. - * decl2.c (parm_index): New fn. - * semantics.c (finish_decltype_type): Don't use describable_type. - * mangle.c (write_expression): Likewise. Mangle ALIGNOF_EXPR. - Give a sorry for unsupported codes rather than crash. Mangle - conversions with other than 1 operand. New mangling for PARM_DECL. - * operators.def (ALIGNOF_EXPR): Mangle as "az". - -2009-03-17 Jing Yu - - PR middle-end/39378 - * method.c (use_thunk): Change is_thunk from crtl to cfun. - -2009-03-17 Paolo Carlini - - PR c++/39475 - * semantics.c (check_trait_type): New. - (finish_trait_expr): Use it. - -2009-03-17 Jakub Jelinek - - * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs - instead of calling imported_module_or_decl debug hook if - building_stmt_tree (). - * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand - is a NAMESPACE_DECL. - - PR debug/37890 - * name-lookup.c (do_namespace_alias): Don't call global_decl debug - hook at function scope. - - PR debug/39471 - * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME - on IMPORTED_DECL. - -2009-03-09 Jakub Jelinek - - PR c++/39371 - * semantics.c (finish_switch_cond): Don't call get_unwidened. - * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument - instead of TREE_TYPE (cond). - -2009-03-08 H.J. Lu - - PR c++/39060 - * parser.c (cp_parser_late_parsing_default_args): Continue - the loop when cp_parser_assignment_expression returns - error_mark_node. - -2009-03-07 Jason Merrill - - PR c++/39367 - * init.c (build_new_1): Don't use a VLA type. - (build_vec_init): Handle getting a pointer for BASE. - -2009-03-06 H.J. Lu - - PR c++/37520 - * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL - when mangling symbols. - -2009-03-06 Paolo Carlini - - PR c++/33492 - * error.c (dump_expr): Don't try to print THROW_EXPRs in full. - -2009-03-06 Alexandre Oliva - - * decl.c (record_builtin_java_type): Use canonicalized integer - types. - -2009-03-04 Jason Merrill - - PR c++/38908 - * class.c (is_really_empty_class): New fn. - * cp-tree.h: Declare it. - * cp-objcp-common.c (cp_expr_size): Use it. - - PR c++/13549 - * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR. - * parser.c (cp_parser_postfix_expression): Call it for - TEMPLATE_ID_EXPR. - * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR. - (get_first_fn): Likewise. - - PR c++/9634 - PR c++/29469 - PR c++/29607 - Implement DR 224. - * decl.c (make_typename_type): Do look inside currently open classes. - * parser.c (cp_parser_lookup_name): Likewise. - (cp_parser_template_name): Likewise. - * pt.c (dependent_scope_p): New function. - * cp-tree.h: Declare it. - * class.c (currently_open_class): Return fast if T isn't a class. - -2009-02-26 H.J. Lu - - PR c++/37789 - * parser.c (cp_parser_mem_initializer): Return error_mark_node - if cp_parser_mem_initializer_id returns error_mark_node. - -2009-02-24 Richard Guenther - - PR c++/39242 - * pt.c (instantiate_decl): Do not instantiate extern, non-inline - declared functions. - -2009-02-23 H.J. Lu - - PR c++/36411 - * pt.c (coerce_template_template_parms): Return 0 if parameter - is error_mark_node. - -2009-02-23 Jason Merrill - - * pt.c (unify): Call maybe_adjust_types_for_deduction when - deducing from an initializer list. - -2009-02-20 Jason Merrill - - PR c++/39225 - * decl.c (grokdeclarator): Handle ~identifier. - -2009-02-19 Jakub Jelinek - - PR target/39175 - * decl2.c (determine_visibility): If visibility changed and - DECL_RTL has been already set, call make_decl_rtl to update symbol - flags. - -2009-02-19 H.J. Lu - - PR c++/39188 - * cp-tree.h (maybe_commonize_var): New. - - * decl.c (maybe_commonize_var): Make it extern. - - * decl2.c (finish_anon_union): Call maybe_commonize_var. - -2009-02-18 H.J. Lu - - PR c++/39219 - * parser.c (cp_parser_enum_specifier): Apply all attributes. - -2009-02-18 Jason Merrill - - * cfns.h: Tweak pathname for cfns.gperf. - -2009-02-13 Jason Merrill - - PR c++/39070 - * semantics.c (finish_call_expr): Change koenig_p parm to int. - If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates. - * cp-tree.h: Adjust prototype. - * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1. - -2009-02-12 Jason Merrill - - PR c++/38950 - * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type. - -2009-02-11 Jason Merrill - - PR c++/39153 - * decl2.c (cp_write_global_declarations): - Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL. - - PR c++/30111 - * init.c (build_value_init_noctor): Split out from... - (build_value_init): ...here. - (expand_aggr_init_1): Handle value-initialization. - * cp-tree.h: Add declaration. - * class.c (type_has_user_provided_constructor): - Handle non-class arguments. - -2009-02-10 Jason Merrill - - PR c++/38649 - * class.c (defaultable_fn_p): Handle ... properly. - - PR c++/36744 - * tree.c (lvalue_p_1): Condition rvalue ref handling on - treat_class_rvalues_as_lvalues, too. - -2009-02-10 Paolo Carlini - - PR c++/34397 - * typeck.c (build_x_array_ref): New. - * cp-tree.h: Declare it. - * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF. - -2009-02-09 Jason Merrill - - PR c++/39109 - * semantics.c (simplify_aggr_init_expr): Do zero-initialization here. - * init.c (build_value_init): Not here. Don't build a TARGET_EXPR. - * tree.c (get_target_expr): Handle AGGR_INIT_EXPR. - * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling - for build_value_init TARGET_EXPR. - * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro. - -2009-02-06 Paolo Carlini - - PR c++/35147 - PR c++/37737 - * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH. - -2009-02-04 Jakub Jelinek - - PR c++/39095 - * operators.def: Use COMPONENT_REF code for ->/pt operator again, - remove ./dt operator. - * mangle.c (write_expression): Handle COMPONENT_REF after handling - ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it - write_string ("dt") instead of using operators.def. - -2009-02-03 Jason Merrill - - * typeck.c (cp_build_unary_op): Only complain about taking address - of main if pedantic. - -2009-02-03 Jakub Jelinek - - PR inline-asm/39059 - * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs. - - PR c++/39056 - * typeck2.c (digest_init_r): Don't call process_init_constructor - for COMPLEX_TYPE. - -2009-02-03 Paolo Bonzini - - PR c++/36897 - * pt.c (convert_nontype_argument_function): Expect expr to be an - ADDR_EXPR. - - PR c++/37314 - * typeck.c (merge_types): Call resolve_typename_type if only - one type is a typename. - -2009-02-02 Jason Merrill - - PR c++/39054 - * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node - in BIT_NOT_EXPR. - -2009-02-01 Paolo Carlini - - PR c++/39053 - * parser.c (cp_parser_pure_specifier): If there are no tokens left - do not call cp_lexer_consume_token. - -2009-01-30 Jakub Jelinek - - PR c++/39028 - * parser.c (cp_parser_already_scoped_statement): Handle __label__ - declarations. - -2009-01-30 Paolo Carlini - - PR c++/33465 - * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR. - -2009-01-30 Paolo Carlini - - PR c++/38655 - * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE. - -2009-01-29 Paolo Carlini - - * typeck.c (invalid_nonstatic_memfn_p): Use - DECL_NONSTATIC_MEMBER_FUNCTION_P. - -2009-01-27 Paolo Carlini - - PR c++/37554 - * call.c (build_over_call): If convert_for_arg_passing returns - error_mark_node unconditionally return it. - -2009-01-22 Adam Nemet - - * class.c (check_field_decls): Also inherit packed for bitfields - regardless of their type. - -2009-01-22 Dodji Seketeli - - PR c++/38930 - * decl2.c (grokfield): Reverting changes of PR c++/26693 - (save_template_attributes): Likewise. - * decl.c (grokdeclarator): Likewise. - * name-lookup.c (pushdecl_maybe_friend): Likewise. - * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise. - (append_type_to_template_for_access_check): Likewise. - * semantics.c (check_accessibility_of_qualified_id): Likewise. - * pt.c (instantiate_class_template, instantiate_template ): Likewise. - (tsubst): Likewise. - (resolve_type_name_type): Likewise. - (append_type_to_template_for_access_check): Likewise. - -2009-01-21 Dodji Seketeli - - PR c++/26693 - * decl2.c (grokfield): when a typedef appears in a - class, create the typedef variant type node for it. - (save_template_attributes): Creating typedef variant type node - here is now useless. - * decl.c (grokdeclarator): If the typedef'ed struct/class was - anonymous, set the proper type name to all its type variants. - * name-lookup.c (pushdecl_maybe_friend): Reuse the - set_underlying_type function to install typedef variant types. - * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor - macro. - (append_type_to_template_for_access_check): New entry points. - * semantics.c (check_accessibility_of_qualified_id): - When a typedef that is a member of a class appears in a template, - add it to the template. It will be ... - * pt.c (instantiate_class_template, instantiate_template ): ... access - checked at template instantiation time. - (tsubst): Handle the case of being called with NULL args. - (resolve_type_name_type): The type name should be the name of the - main type variant. - (append_type_to_template_for_access_check): New entry point. - -2009-01-19 Jason Merrill - - PR c++/23287 - * parser.c (cp_parser_unqualified_id): In a template, - accept ~identifier. - * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE. - -2009-01-16 Jason Merrill - - PR c++/38877 - * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF. - * init.c (build_new): Don't call describable_type unless we - have an auto. - - PR c++/29470 - * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags. - - PR c++/38579 - * search.c (protected_accessible_p): N doesn't vary. - -2009-01-15 Jason Merrill - - PR c++/38850 - * pt.c (tsubst_copy_and_build): Tell finish_call_expr to - accept hidden friends. - -2009-01-15 Andrew Pinski - - PR C++/29388 - * decl.c (grokdeclarator): Check for a non namespace/class context. - -2009-01-15 Jason Merrill - - PR c++/36334 - PR c++/37646 - * tree.c (lvalue_p_1): Handle BASELINK. A COMPONENT_REF to - a function isn't necessarily an lvalue. Take tree, not const_tree. - (lvalue_p, real_lvalue_p): Take tree, not const_tree. - * typeck.c (lvalue_or_else): Likewise. - * cp-tree.h: Adjust prototypes. - -2009-01-15 Steve Ellcey - - PR c++/38357 - * pt.c (tsubst): Check for NULL args. - -2009-01-15 Dodji Seketeli - - PR c++/38636 - * name-lookup.c (pushtag): Don't create members to types that are not - being created. - -2009-01-14 Nick Clifton - - PR c++/37862 - * parser.c: Pass cp_id_kind computed in - cp_parser_postfix_dot_deref_expression to - cp_parser_primary_expression. - -2009-01-13 Jakub Jelinek - - PR c++/38795 - * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR, - STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same - as CAST_EXPR. - -2009-01-12 Jason Merrill - Steve Ellcey - - PR c++/35109 - * name-lookup.c (lookup_name_real): Keep looking past a hidden - binding. - -2009-01-12 Dodji Seketeli - - PR c++/36019 - * pt.c (parameter_of_template_p): New function. - * cp-tree.h: Declare it. - * name-lookup.c (binding_to_template_parms_of_scope_p): New - function. - (outer_binding): Take template parameters in account when looking for - a name binding. - -2009-01-12 Jason Merrill - - PR c++/31488 - * tree.c (pod_type_p): Return 1 for structs created by the back end. - -2009-01-12 Jakub Jelinek - - PR c/32041 - * parser.c (cp_parser_builtin_offsetof): Allow `->' in - offsetof member-designator, handle it as `[0].'. - - PR c++/38794 - * decl.c (start_function): If grokdeclarator hasn't returned - FUNCTION_DECL nor error_mark_node, issue diagnostics. - -2009-01-11 Jakub Jelinek - - PR c++/36254 - * cp-gimplify.c (genericize_if_stmt): Renamed from ... - (gimplify_if_stmt): ... this. - (cp_gimplify_expr): Don't handle IF_STMT here. - (cp_genericize_r): Call genericize_if_stmt for IF_STMT. - -2009-01-10 Andrew Pinski - - PR c++/38648 - * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl. - - PR c++/36695 - * typeck2.c (build_functional_cast): Check for reference type and NULL - PARMS. - -2009-01-09 Steve Ellcey - - * typeck.c (cp_build_unary_op): Check for ERROR_MARK. - -2009-01-09 Jakub Jelinek - - PR c++/35335 - * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR. - -2009-01-09 John F. Carr - - PR c++/37877 - * parser.c (cp_parser_class_specifier): Clear - parser->in_unbraced_linkage_specification_p while parsing class - specifiers. - -2009-01-07 Jakub Jelinek - - PR c++/38725 - * semantics.c (finish_goto_stmt): Convert destination to - void *. - -2009-01-06 Jason Merrill - - PR c++/35297 - PR c++/35477 - PR c++/35784 - PR c++/36846 - PR c++/38276 - * pt.c (check_default_tmpl_args): Don't complain about - out-of-order parameter packs in the enclosing class - or parameter packs after default args. - (coerce_template_parms): If we have more than one - parameter pack, don't flatten argument packs. - (template_args_equal): Handle argument packs. - (comp_template_args): Don't flatten argument packs. - (check_instantiated_arg): Split out from... - (check_instantiated_args): Here. Handle arg packs. - (convert_template_argument): Just check that nontype argument - packs have the right type. - -2009-01-05 Dodji Seketeli - - PR c++/38472 - * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo. - -2009-01-05 Jason Merrill - - PR c++/38698 - * typeck2.c (process_init_constructor_union): Handle union with - no fields. - - * mangle.c (write_expression): Remove mangling for zero-operand - casts. - - PR c++/38701 - * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid - defaulting. - - PR c++/38702 - * class.c (defaultable_fn_p): Only operator== can be a copy - assignment operator. - -2009-01-02 Jason Merrill - - PR c++/38698 - * typeck2.c (process_init_constructor_union): Handle excess - initializers. - (process_init_constructor_record): Likewise. - - PR c++/38684 - * typeck2.c (digest_init_r): Don't use process_init_constructor - for non-aggregate classes. -Copyright (C) 2009 Free Software Foundation, Inc. +Copyright (C) 2010 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright