OSDN Git Service

gcc/cp/
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
index 6fcd92a..0a3af2a 100644 (file)
@@ -1,3 +1,209 @@
+2009-04-10  Jason Merrill  <jason@redhat.com>
+
+       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.
+
+2008-04-10  H.J. Lu  <hongjiu.lu@intel.com>
+
+       * parser.c (cp_parser_class_specifier): Remove the unused
+       has_trailing_semicolon.
+
+2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
+
+       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  <jason@redhat.com>
+
+       PR c++/25185
+       * error.c (dump_aggr_type): Chase template typedefs if
+       -fno-pretty-templates.
+
+2009-04-08  Dodji Seketeli  <dodji@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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 <giovannibajo@libero.it>
+           Jason Merrill  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <dodji@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <joseph@codesourcery.com>
+
+       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  <bonzini@gnu.org>
+
+       * 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  <jakub@redhat.com>
+
+       PR c++/39554
+       * parser.c (cp_parser_postfix_expression): Don't call
+       warning_if_disallowed_function_p.
+
+2009-03-27  Jan Hubicka  <jh@suse.cz>
+
+       * except.c (choose_personality_routine): Set terminate_node to abort
+       for java exceptions.
+
+2009-03-27  Dodji Seketeli  <dodji@redhat.com>
+           Jakub Jelinek  <jakub@redhat.com>
+
+       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  <andrew_pinski@playstation.sony.com>
 
        PR c++/38638