OSDN Git Service

Fix PR c++/47666
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
index 428ec29..b532371 100644 (file)
@@ -1,5 +1,228 @@
+2011-02-22  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47666
+       * class.c (dfs_declare_virt_assop_and_dtor)
+       (declare_virt_assop_and_dtor): New static functions.
+       (add_implicitly_declared_members): Use
+       declare_virt_assop_and_dtor.
+
+2011-02-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47207
+       * decl2.c (decl_constant_var_p): A constexpr var needs an
+       initializer to be constant.
+       * semantics.c (cxx_eval_constant_expression): Complain about
+       constexpr var used in its own initializer.
+       * call.c (set_up_extended_ref_temp): Set
+       DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
+
+2011-02-20  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47199
+       * semantics.c (cxx_eval_call_expression): Call
+       cxx_eval_constant_expression in trivial shortcut.
+
+       PR c++/46831
+       * call.c (convert_class_to_reference): Don't try to set up a
+       second conv sequence for non-viable candidates.
+
+       PR c++/47703
+       * error.c (location_of): Handle non-tagged types.
+
+       PR c++/46472
+       * method.c (process_subob_fn): Instantiate constexpr templates.
+       * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
+
+2011-02-20  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/46394
+       * pt.c (tsubst_pack_expansion): do not use
+       cp_tree_equal/same_type_p to detect an expansion of a parameter
+       pack.
+
+2011-02-19  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47503
+       * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
+
+2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/47795
+       * semantics.c (finish_non_static_data_member): Early return if
+       object is error_mark_node.
+
+2011-02-18  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47208
+       * pt.c (do_auto_deduction): Do not mention error_mark_node in
+       diagnostics.
+       * semantics.c (finish_id_expression): Do not pass erroneous decl
+       to decl_constant_var_p.
+
+2011-02-17  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47783
+       * cvt.c (convert_from_reference): Call mark_exp_read.
+
+2011-02-11  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47172
+       * pt.c (finish_call_expr): Consider a call expression that has a
+       dependent "this" pointer as being dependent.  Add comments.
+       (dependent_type_p, type_dependent_expression_p): Update comments.
+
+2011-02-16  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47326
+       * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
+       expansion arguments are not evaluated.
+
+2011-02-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47704
+       * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
+       instead of TYPE_LANG_FLAG_3.
+       * pt.c (lookup_template_class): Copy over
+       ENUM_FIXED_UNDERLYING_TYPE_P.
+
+2011-02-15  Jason Merrill  <jason@redhat.com>
+
+       PR c++/46807
+       * method.c (synthesized_method_walk): Always exit early for
+       trivial fn in C++98 mode.
+
+2011-02-14  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47482
+       * parser.c (cp_parser_enumerator_definition): Call
+       fold_non_dependent_expr.
+
+2011-02-09  Jason Merrill  <jason@redhat.com>
+
+       * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
+       * semantics.c (finish_fname): Only return the name if we're in
+       a function.
+
+       * decl.c (build_enumerator): Don't perform integral promotions on
+       non-integral constants.
+
+       * cvt.c (convert_to_void): Handle null op1.
+
+       * class.c (type_has_constexpr_default_constructor): Make sure the
+       caller stripped an enclosing array.
+       * init.c (perform_member_init): Strip arrays before calling it.
+
+       PR c++/47511
+       * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
+
+2011-02-03  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47398
+       * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
+       template parameters in account.
+
+2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
+
+       PR c++/46890
+       * parser.c (cp_parser_class_specifier): Fix setting of
+       want_semicolon.
+
+2011-01-31  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47416
+       * semantics.c (build_data_member_initialization): Handle
+       STATEMENT_LIST always instead of just for CLEANUP_BODY.
+
+2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
+       LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
+
+2011-01-29  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/47311
+       * cp-tree.h (fixup_template_parms): Declare.
+       * pt.c (end_template_parm_list): Do not fixup template parms here.
+       (fixup_template_parms): Remove static. Fix typo in the
+       comments. Remove useless code statement.
+       (fixup_template_parm): For a template template parameter, fixup
+       its attributes before fixing up its type.
+       * parser.c
+       (cp_parser_template_declaration_after_export): After parsing
+       template parameters fixup their types.
+
+2011-01-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47476
+       * semantics.c (potential_constant_expression_1): Handle
+       TRUTH_XOR_EXPR.
+
+2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
+
+       PR c++/43601
+       * semantics.c (expand_or_defer_fn_1): Handle it.
+       * decl2.c (decl_needed_p): Likewise.
+
+2011-01-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47041
+       * semantics.c (build_constexpr_constructor_member_initializers):
+       Handle trivial copy.
+
+2011-01-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47388
+       * semantics.c (begin_for_stmt): If -fno-for-scope, don't
+       assume init must be NULL if scope is NULL.
+       (begin_range_for_stmt): Likewise.
+
+2011-01-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/46552
+       * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
+
+       PR c++/46977
+       * semantics.c (potential_constant_expression_1): Split out from
+       potential_constant_expression.  Add want_rval parm.  Handle
+       template expression forms.  Don't enforce restriction on address
+       of automatic variable here.  Add a couple of diagnostics that
+       had been missing.
+       (require_potential_constant_expression): New entry point.
+       (build_data_member_initialization, register_constexpr_fundef): Adjust.
+       (maybe_constant_value): Check potential_constant_expression.
+       * pt.c (fold_non_dependent_expr_sfinae): Likewise.
+       * tree.c (build_vec_init_expr): Adjust.
+
+2011-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47303
+       * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
+       or DECL_EXTERNAL.
+
+2011-01-17  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47067
+       * semantics.c (base_field_constructor_elt): New fn.
+       (cxx_eval_bare_aggregate): Use it.
+       (build_data_member_initialization): Leave COMPONENT_REF for
+       vfield inits.
+
+2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
+
+       * parser.c (cp_parser_range_for): Remove the "unused variable" warning
+       workaround.
+
+2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
+           Jonathan Wakely  <jwakely.gcc@gmail.com>
+
+       PR c++/33558
+       * decl.c (grokdeclarator): Reject mutable reference members.
+
 2011-01-14  Jason Merrill  <jason@redhat.com>
 
+       PR c++/47289
+       * pt.c (coerce_template_parms): Fix error recovery.
+
        PR c++/46903
        * typeck2.c (check_narrowing): Only check arithmetic types.