OSDN Git Service

PR c++/34180
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
index 5f67204..e909ba2 100644 (file)
@@ -1,5 +1,298 @@
+2009-11-05  Jason Merrill  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <dodji@redhat.com>
+
+       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  <jason@redhat.com>
+
+       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  <jakub@redhat.com>
+
+       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  <jason@redhat.com>
+
+       * 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  <jason@redhat.com>
+
+       PR c++/41754
+       * call.c (compare_ics): Avoid bad union use when
+       comparing two ck_lists.
+
+2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
+
+       * 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  <jason@redhat.com>
+
+       Revert:
+       * decl.c (cp_fname_init): Correct build_string argument.
+
+2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
+
+       * 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  <dodji@redhat.com>
+
+       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  <jlquinn@optonline.net>
+
+       * 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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       * decl.c (cp_fname_init): Correct build_string argument.
+
+2009-10-27  Jason Merrill  <jason@redhat.com>
+
+       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  <jakub@redhat.com>
+
+       PR debug/41828
+       * cp-lang.c (cxx_dwarf_name): Return NULL instead of
+       <anonymous ...> for anonymous aggregate names.
+
+2009-10-26  Jason Merrill  <jason@redhat.com>
+
+       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  <dodji@redhat.com>
+
+       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  <dodji@redhat.com>
+
+       PR c++/41020
+       * decl.c (decls_match): Use DECL_IS_BUILTIN instead of
+       DECL_BUILT_IN.
+
+2009-10-23  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/40808
+       * mangle.c (write_template_args): Allow mangling of empty template
+       argument list. Updated function comments.
+
+2009-10-23  Jason Merrill  <jason@redhat.com>
+
+       * 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  <jakub@redhat.com>
+
+       * mangle.c (finish_mangling_get_identifier): Use
+       obstack_base (mangle_obstack) instead of name_base.
+
+2009-10-19  Jakub Jelinek  <jakub@redhat.com>
+
+       * 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  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       PR c++/39866
+       * call.c (print_z_candidates): Don't print deleted candidates.
+       (print_z_candidate): Note deleted candidates.
+
+2009-10-14  Larry Evans  <cppljevans@suddenlink.net>
+
+       PR c++/40092
+       * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK
+       equality.
+
+2009-10-12  Jason Merrill  <jason@redhat.com>
+
+       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  <jason@redhat.com>
+
+       PR c++/37204
+       * typeck.c (build_reinterpret_cast_1): Handle rvalue refs
+       properly.
+
+2009-10-11  Richard Guenther  <rguenther@suse.de>
+
+       * tree.c (cp_free_lang_data): Drop anonymous aggregate names.
+
 2009-10-08  Jason Merrill  <jason@redhat.com>
 
+       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.