re PR c++/46220 (Error: invalid covariant return type generated for incomplete class...
[gcc.git] / gcc / cp / ChangeLog
index 9ed9a6fb360dc72f5c44d52813b45468e42f9258..ce4ade16a84d4c16c3ea7228d901fcdc099f4fea 100644 (file)
-2011-02-13  Mike Stump  <mikestump@comcast.net>
+2011-03-04  Jason Merrill  <jason@redhat.com>
 
-       * parser.c (cp_parser_primary_expression): Add arguments to all the plugins.
-       * lex.c: Plugify.
-       * Make-lang.in (objcp/plugin/lex.h): Likewise.
-       (build/slashify): Harden against rebuilds.
+       PR c++/46220
+       * search.c (check_final_overrider): Allow pointer to same incomplete
+       class type with different cv-quals.
 
-       * Make-lang.in (cp/parser.o): Move c-family/c-objc.h dependancy
-       down.
+2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 
-2011-02-12  Mike Stump  <mikestump@comcast.net>
+       PR c++/47974
+       * pt.c (tsubst_template_args): Check argument t for error_mark_node.
 
-       * Make-lang.in (build/slashify): Plugify Objective-C++.
-       (cp/parser.o): Likewise.
-       (objcp/plugin/parser.h): Likewise.
-       * parser.c (cp_parser_token_starts_cast_expression): Likewise.
+2011-03-03  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47950
+       * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
+
+2011-03-02  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47950
+       * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
+
+       PR c++/47774
+       * tree.c (build_vec_init_elt): Split out from...
+       (build_vec_init_expr): ...here.
+       (diagnose_non_constexpr_vec_init): New fn.
+       * semantics.c (potential_constant_expression_1): Use it.
+       * cp-tree.h: Declare it.
+
+2011-03-01  Jason Merrill  <jason@redhat.com>
+
+       PR c++/46159
+       * parser.c (cp_parser_primary_expression): Don't warn about a
+       failed tentative parse.
+
+       PR c++/47200
+       * semantics.c (cxx_bind_parameters_in_call): Don't call
+       adjust_temp_type on non-constant args.
+
+       PR c++/47851
+       * call.c (standard_conversion): Provide requested cv-quals on
+       class rvalue conversion.
+
+       PR c++/46282
+       * decl2.c (grokbitfield): Handle type-dependent width.
+
+2011-02-28  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47873
+       * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
+       after checking for a non-thunk.
+
+2011-02-26  Jason Merrill  <jason@redhat.com>
+
+       PR c++/47904
+       * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
+       * pt.c (iterative_hash_template_arg): And hash it.
+
+       PR c++/47897
+       * semantics.c (non_const_var_error): Split out from...
+       (cxx_eval_constant_expression): ...here.
+       (potential_constant_expression_1) [VAR_DECL]: Use it.
+       Allow dependent variables.
+
+2011-02-24  Jason Merrill  <jason@redhat.com>
+
+       * parser.c (cp_parser_constant_expression): Set
+       non_integral_constant_expression correctly for C++0x too.
+       (cp_parser_static_assert): Allow non-constant expression.
+       (cp_parser_direct_declarator): Expect non_constant_p to be set
+       properly for C++0x.
+       * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
+       * semantics.c (maybe_constant_value): Check type_unknown_p too.
+       (potential_rvalue_constant_expression): New.
+       (require_potential_rvalue_constant_expression): New.
+
+2011-02-23  Jason Merrill  <jason@redhat.com>
+
+       * cp-tree.h (DECL_PARM_LEVEL): New.
+       (struct lang_decl_parm): Add level field.
+       * name-lookup.c (function_parm_depth): New fn.
+       * name-lookup.h: Declare it.
+       * parser.c (cp_parser_parameter_declaration_list): Use it.
+       * mangle.c (struct globals): Add parm_depth field.
+       (write_bare_function_type): Adjust it.
+       (write_expression): Include the level delta in PARM_DECL mangling
+       for abi >= 6.
+
+       * semantics.c (finish_decltype_type): Remove shortcut for decltype
+       of id-expression.
+       * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
+
+2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
+
+       PR c++/46868
+       * parser.c (cp_parser_class_specifier): Require a closing brace
+       to attempt error recovery.
+
+2011-02-23  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47833
+       * pt.c (struct pending_template): Add chain_next GTY option.
+       * decl.c (struct named_label_use_entry): Likewise.
+
+2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/47242
+       * semantics.c (build_lambda_object): Bail out if a field is
+       error_mark_node.
+
+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>