OSDN Git Service

Fix PR c++/42217
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
index 6a30b67..f11ee70 100644 (file)
@@ -1,5 +1,278 @@
+2009-12-03  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/42217
+       * class.c (remove_zero_width_bit_fields): The width of the bit field is
+       in DECL_SIZE, not in DECL_INITIAL.
+
+2009-12-03  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/42256
+       * optimize.c (maybe_clone_body): Call emit_associated_thunks
+       after expand_or_defer_fn_1.
+
+2009-12-02  Taras Glek  <taras@mozilla.com>
+
+       * parser.c (cp_parser_class_specifier): Back out my previous change.
+       * semantics.c (begin_class_definition): Back out my previous change.
+
+2009-12-02  Paolo Bonzini  <bonzini@gnu.org>
+           Shujing Zhao  <pearly.zhao@oracle.com>
+
+       PR c++/29917
+       * call.c (op_error): Accept a boolean to indicate no match/ambiguous
+       match, instead of a string. Callers adjusted.
+
+       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.
+
+       * 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.
+
+2009-12-02  Jakub Jelinek  <jakub@redhat.com>
+
+       * 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.
+
+2009-12-01  Taras Glek  <taras@mozilla.com>
+
+       * parser.c (cp_parser_class_specifier): Set class location to that
+       of IDENTIFIER_NODE instead of '{' when possible.
+
+2009-12-01  Taras Glek  <taras@mozilla.com>
+
+       * semantics.c (begin_class_definition): Do not overide locations with less precise ones.
+
+2009-12-01  Jason Merrill  <jason@redhat.com>
+
+       PR c++/41611
+       * decl2.c (get_guard): Copy DECL_COMDAT.
+       (comdat_linkage): Set DECL_COMDAT unconditionally.
+
+2009-12-01  Jakub Jelinek  <jakub@redhat.com>
+
+       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  <paolo.carlini@oracle.com>
+
+       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  <dodji@redhat.com>
+
+       PR c++/42069
+       * pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs.
+
+2009-11-29  Dodji Seketeli  <dodji@redhat.com>
+
+       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  <jh@suse.cz>
+
+       * 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  <dodji@redhat.com>
+
+       PR c++/36408
+       * cp-tree.h (empty_expr_stmt_p): Declare ...
+       * semantics.c (empty_expr_stmt_p): ... this.
+       * pt.c (tsubst_copy_and_build) <STMT_EXPR>: Use it.
+
+2009-11-27  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/38656
+       * cxx-pretty-print.c (pp_cxx_expression): Handle TEMPLATE_ID_EXPR.
+
+2009-11-27  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       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  <jason@redhat.com>
+
+       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  <gdr@cs.tamu.edu>
+
+       * decl.c (grokdeclarator): Remove period at end of diagnosic message.
+
+2009-11-25  Jason Merrill  <jason@redhat.com>
+
+       PR c++/10690
+       * rtti.c (get_tinfo_decl_dynamic): Call resolve_nondeduced_context.
+
+2009-11-24  Jason Merrill  <jason@redhat.com>
+
+       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  <jakub@redhat.com>
+
+       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  <dodji@redhat.com>
+
+       PR c++/14777
+       * cp-tree.def <TEMPLATE_INFO>: 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  <jason@redhat.com>
+
+       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  <simartin@users.sourceforge.net>
+
+       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  <paolo.carlini@oracle.com>
+
+       PR c++/42060
+       * except.c (build_throw): Check the tree returned by
+       decay_conversion for error_mark_node.
+
+2009-11-20  Shujing Zhao  <pearly.zhao@oracle.com>
+
+       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  <jason@redhat.com>
 
+       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.