OSDN Git Service

gcc:
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
index 3ffc400..db8b3eb 100644 (file)
@@ -1,3 +1,686 @@
+2007-09-06  Tom Tromey  <tromey@redhat.com>
+
+       * decl.c (finish_function): Put return's location on line zero of
+       file.
+
+2007-09-05  Jason Merrill  <jason@redhat.com>
+
+       PR c++/15745
+       * except.c (prepare_eh_type): Use type_decays_to.
+
+       PR c++/15097
+       * init.c (build_delete): Use build_headof to get the address of the
+       complete object if we aren't using the deleting destructor.
+       * rtti.c (build_headof): No longer static.
+       * cp-tree.h: Declare it.
+
+2007-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+       * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX
+       decl if a prototype for XX is provided with throw().
+
+       PR c++/33289
+       * decl.c (builtin_function_1): Set DECL_ANTICIPATED also
+       on __*_chk non-__builtin_* decls.
+
+2007-09-05  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/30302
+       * semantics.c (finish_id_expression): Use context_for_name_lookup
+       insted of DECL_CONTEXT, to see through anonymous structs and unions.
+       * class.c (finish_struct_anon): Deal correctly with anonymous
+       structs (vs unions, as GNU extension) in error messages.
+
+2007-09-05  Jan Hubicka  <jh@suse.cz>
+
+       * cp/sematics.c (expand_body): Remove unnecesary import_export_decl
+       call, DECL_EXTERNAL checks and current_function_decl saving.
+
+2007-09-05  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/29731 (again)
+       * parser.c (cp_parser_primary_expression): Return error_mark_node
+       when a statement-expression is found in a template-argument list.
+
+2007-09-04  Jason Merrill  <jason@redhat.com>
+
+       * except.c (initialize_handler_parm): Use
+       fold_build_cleanup_point_expr.
+
+       PR c++/31419
+       * call.c (reference_binding): Don't look for user-defined conversions
+       to the same type.
+
+       PR c++/31411
+       * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside
+       the MUST_NOT_THROW_EXPR.
+
+2007-09-04  Richard Sandiford  <richard@codesourcery.com>
+
+       * decl.c (cp_finish_decl): Call determine_visibility before
+       make_rtl_for_nonlocal_decl.
+
+2007-09-04  Jason Merrill  <jason@redhat.com>
+
+       PR c++/14032
+       * pt.c (most_specialized_class): Substitute outer template
+       arguments into the arguments of a member template partial
+       specialization.
+       (strip_innermost_template_args): New fn.
+
+2007-09-03  Daniel Jacobowitz  <dan@codesourcery.com>
+
+       * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB.
+
+2007-09-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * call.c (name_as_c_string): Supply a TYPE for CONST_CAST.
+       * decl.c (cp_make_fname_decl): Likewise,
+       * parser.c (cp_parser_string_literal): Likewise,
+       * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE.
+       * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
+       Likewise,
+
+2007-09-02  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/33208
+       * typeck.c (build_unary_op): Fix error message for
+       Boolean expression as operand to operator--.
+
+2007-09-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * tree.c (pod_type_p, zero_init_p): Use strip_array_types.
+       * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
+       Likewise.
+
+2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
+
+       PR c++/32597
+       * init.c (build_default_init): Make extern.
+       * cp-tree.h (build_default_init): Declare here.
+       * pt.c (tsubst_expr): When the instantiation of the initializer of
+       a variable results in an empty list, default-initialize the
+       variable.
+       (tsubst_copy_and_build): When the instantiation of the initializer
+       in a new expression results in an empty initializer list,
+       default-initialize it.
+
+2007-08-31  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * mangle.c (write_type): Change mangling of rvalue reference from
+       `RR' to `O'. 
+
+2007-08-31  Jakub Jelinek  <jakub@redhat.com>
+
+       * decl.c (duplicate_decls): Remove duplicated line.
+
+2007-08-31  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/33210
+       * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with
+       BOUND_TEMPLATE_TEMPLATE_PARM.
+
+2007-08-31  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/32113
+       * search.c (lookup_member): Check the name argument for
+       error_mark_node.
+
+2007-08-31  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/33212
+       * parser.c (cp_parser_trait_expr): Check rerurn value of
+       cp_parser_type_id.
+
+2007-08-30  Ollie Wild  <aaw@google.com>
+
+       * cvt.c (cp_convert_to_pointer): Remove force parameter. Call
+       convert_ptrmem for pointer to member conversions.
+       (convert_to_pointer_force): Update cp_convert_to_pointer call.
+       (ocp_convert): Update cp_convert_to_pointer call.
+       * typeck.c (convert_ptrmem): Add conditional for null pointers to
+       members.
+       (build_static_cast_1): Check can_convert for conversions in either
+       direction.
+       (get_delta_difference_1): New function.
+       (get_delta_difference): Refactor to call get_delta_difference_1.
+
+2007-08-30  Jakub Jelinek  <jakub@redhat.com>
+
+       * decl.c (start_preparsed_function): Set
+       DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions.
+
+2007-08-28  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/33209
+       * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and
+       BOUND_TEMPLATE_TEMPLATE_PARM.
+
+2007-08-28  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/32596
+       PR c++/32400
+       * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN
+       and DECL_NOT_REALLY_EXTERN if tmpl_func is not public.
+
+2007-08-27  Jason Merrill  <jason@redhat.com>
+
+       PR c++/29000
+       * pt.c (build_non_dependent_expr, type_dependent_expression_p): 
+       Look inside STMT_EXPR.
+       * semantics.c (stmt_expr_value_expr): New fn.
+       * cp-tree.h: Declare it.
+
+       PR c++/28558
+       * decl.c (groktypename): Ignore attributes applied to class type.
+
+2007-08-28  Richard Guenther  <rguenther@suse.de>
+
+       * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS.
+
+2007-08-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+       
+       * error.c (dump_expr): Handle COMPLEX_CST.
+       * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise.
+       (pp_cxx_expression): Likewise.
+
+2007-08-27  Alexandre Oliva  <aoliva@redhat.com>
+
+       * decl.c (GNU_INLINE_P): New.
+       (duplicate_decls): Handle gnu_inline.  Merge attributes and
+       some flags in overriding definitions.
+       (redeclaration_error_message): Handle gnu_inline.
+       (start_preparsed_function): Likewise.
+
+2007-08-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * call.c (sufficient_parms_p): Constify.
+       * class.c (same_signature_p): Likewise.
+       * cp-gimplify.c (is_invisiref_parm,
+       cxx_omp_privatize_by_reference): Likewise.
+       * cp-objcp-common.c (has_c_linkage): Likewise.
+       * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK,
+       sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p,
+       grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for,
+       num_artificial_parms_for, comp_template_parms,
+       template_parameter_pack_p, any_dependent_template_arguments_p,
+       any_type_dependent_arguments_p, any_value_dependent_elements_p,
+       repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p,
+       zero_init_p, member_p, cp_lvalue_kind,
+       builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
+       varargs_function_p, is_dummy_object, special_function_kind,
+       string_conv_p, type_unknown_p, comp_except_specs, compparms,
+       comp_cv_qualification, is_bitfield_expr_with_lowered_type,
+       unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly,
+       cp_has_mutable_p, at_least_as_qualified_p,
+       invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise.
+       * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise.
+       * except.c (nothrow_libfn_p): Likewise.
+       * method.c (skip_artificial_parms_for, num_artificial_parms_for):
+       Likewise.
+       * pt.c (comp_template_parms, template_parameter_pack_p,
+       any_type_dependent_arguments_p, any_value_dependent_elements_p,
+       any_dependent_template_arguments_p): Likewise.
+       * repo.c (repo_export_class_p): Likewise.
+       * semantics.c (anon_aggr_type_p): Likewise.
+       * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p,
+       builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
+       varargs_function_p, member_p, is_dummy_object, pod_type_p,
+       zero_init_p, special_function_p): Likewise.
+       * typeck.c (comp_array_types, type_unknown_p, comp_except_specs,
+       comp_array_types, at_least_as_qualified_p, comp_cv_qualification,
+       compparms, invalid_nonstatic_memfn_p,
+       is_bitfield_expr_with_lowered_type, unlowered_expr_type,
+       string_conv_p, ptr_reasonably_similar, cp_type_readonly,
+       cp_has_mutable_p, lvalue_or_else): Likewise.
+
+2007-08-25  Paolo Bonzini  <bonzini@gnu.org>
+
+       * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case.
+       * cp-objcp-common.c (cp_tree_size): Ditto.
+       * tree.c (cp_walk_subtrees): Ditto
+       * cp-tree.def (TINST_LEVEL): Go away.
+       * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level,
+       move together with other non-tree structs.
+       (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL.
+       (union lang_tree_node): Eliminate tinst_level field.
+       (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate.
+       (current_instantiation, outermost_tinst_level): Return
+       a "struct tinst_level *".
+
+       * error.c (print_instantiation_partial_context): Change second
+       parameter to a "struct tinst_level *".  Replace accessor macros
+       with field access.
+       (print_instantiation_full_context): Likewise.
+       * lex.c (in_main_input_context): Likewise.
+
+       * pt.c (struct pending_templates): New.
+       (pending_templates, last_pending_template): Use it as a type.
+       (current_tinst_level): Change typo to "struct tinst_level *"
+       (reopen_tinst_level): Accept "struct tinst_level *", return decl.
+       (add_pending_template): Construct a "struct pending_template".
+       Replace TINST_LEVEL accessor macros with field access.
+       (push_tinst_level): Likewise, using GGC_NEW instead of make_node.
+       (pop_tinst_level): Likewise.
+       (instantiate_pending_templates): Likewise.  Factor common code used
+       when an instantiation has been done.
+       (outermost_tinst_level): Replace tree_last with loop.
+       (current_instantiation): Return a "struct tinst_level *".
+
+2007-08-24  Ollie Wild  <aaw@google.com>
+
+       * name-lookup.c (add_decl_to_level): Remove addition to vtables chain.
+       * name-lookup.h (cp_binding_level): Remove vtables member.
+
+2007-08-24  Richard Guenther  <rguenther@suse.de>
+
+       * tree.c (cp_cannot_inline_tree_fn): Remove.
+       * cp-tree.h (cp_cannot_inline_tree_fn): Likewise.
+       * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN):
+       Remove define.
+
+2007-08-24  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/32567
+       * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
+       error_mark_node right away if build_expr_type_conversion
+       returned it.
+
+       PR c++/32898
+       * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
+       is error_mark_node rather than NULL_TREE.
+       * pt.c (check_explicit_specialization): Likewise.
+
+       PR c++/31941
+       * error.c (resolve_virtual_fun_from_obj_type_ref): Handle
+       TARGET_VTABLE_USES_DESCRIPTORS targets properly.
+
+2007-08-22  Jason Merrill  <jason@redhat.com>
+
+       PR c++/29365
+       * pt.c (outermost_tinst_level): New function.
+       * lex.c (in_main_input_context): New function.
+       * cp-tree.h: Declare it.
+       * decl2.c (constrain_class_visibility): Use it to avoid warning
+       about uses of the anonymous namespace in the main input file.
+
+2007-08-21  Jakub Jelinek  <jakub@redhat.com>
+
+       * init.c (build_new_1): Use get_target_expr instead of save_expr.
+
+2007-08-20  Pawel Sikora  <pluto@pld-linux.org>
+
+       PR c++/7302
+       * class.c (finish_struct_1): Warn when a class has virtual
+       functions and accessible non-virtual destructor.
+
+2007-08-20  Richard Guenther  <rguenther@suse.de>
+
+       PR c++/22369
+       PR c++/22451
+       * call.c (build_new_method_call): Convert initializer to
+       the basetype.
+       * init.c (build_aggr_init): Do not fiddle with types.
+       (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR.
+       * except.c (build_throw): Do not drop qualifiers for the
+       pointer type.
+       * typeck.c (get_member_function_from_ptrfunc): Do not
+       fiddle with types, instead convert.
+       (build_ptrmemfunc1): Convert to the target type for
+       initialization.
+       (gfc_trans_allocate): Convert result to target type.
+       * cp-objcp-common.c (cxx_get_alias_set): Pointers to
+       pointer-to-member structures shall have alias set zero as well.
+
+2007-08-20  Richard Guenther  <rguenther@suse.de>
+
+       * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P):
+       Remove.
+       * cp-tree.h (cp_auto_var_in_fn_p): Remove.
+       (nonstatic_local_decl_p): Likewise.
+       * tree.c (cp_auto_var_in_fn_p): Remove.
+       * decl.c (nonstatic_local_decl_p): Remove.
+
+2007-08-20  Richard Guenther  <rguenther@suse.de>
+
+       * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES):
+       Remove define.
+       * tree.h (cp_walk_tree): New define to walk_tree_1 with
+       cp_walk_subtrees lh parameter.
+       (cp_walk_tree_without_duplicates): New define to
+       walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter.
+       * tree.c (count_trees): Call
+       cp_walk_tree_without_duplicates.
+       (verify_stmt_tree): Call cp_walk_tree.
+       (break_out_target_exprs): Likewise.
+       (WALK_SUBTREE): Likewise.
+       * cp-gimplify.c (cp_genericize): Likewise.
+       * cp-pt.c (find_parameter_packs_r): Likewise.
+       (uses_parameter_packs): Likewise.
+       (make_pack_expansion): Likewise.
+       (check_for_bare_parameter_packs): Likewise.
+       (for_each_template_parm): Likewise.
+       * decl.c (check_default_argument): Call
+       cp_walk_tree_without_duplicates.
+       * except.c (build_throw): Likewise.
+       * decl2.c (type_visibility): Likewise.
+       * semantics.c (expand_or_defer_fn): Likewise.
+       (finalize_nrv): Call cp_walk_tree.
+
+2007-08-20  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/33025
+       * init.c (build_new_1): Rename placement_var variable to placement_expr.
+       Initialize it with save_expr rather than get_temp_regvar.
+
+2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+       PR c++/28989
+       * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
+       lvalues.
+
+2007-08-17  Ollie Wild  <aaw@google.com>
+
+       PR c++/31749
+       * name-lookup.c (do_nonmember_using_decl): Shift implicit type
+       declarations into appropriate slots for comparison.  Fix type
+       comparison.
+
+2007-08-17  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/32112
+       * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
+       * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
+
+2007-08-17  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/32870
+       * parser.c (cp_parser_class_head): Improve error message.
+
+2007-08-16  Seongbae Park  <seongbae.park@gmail.com>
+
+       * pt.c (instantiate_decl): Set input_location
+       for the function end.
+
+2007-08-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
+       Constify.
+       * cp-tree.h (local_variable_p, nonstatic_local_decl_p,
+       class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
+       cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
+       cxx_warn_unused_global_decl, cp_expr_size): Likewise.
+       * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
+       * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
+       * typeck.c (cp_type_quals): Likewise.
+       * typeck2.c (cxx_incomplete_type_diagnostic,
+       cxx_incomplete_type_error): Likewise.
+
+2007-08-16  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/31132
+       * pt.c (tsubst_friend_function): When check_classfn
+       returns error_mark_node likewise return it.
+
+2007-08-15  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/32992
+       * typeck.c (check_return_expr): Don't NRV optimize vars in
+       anonymous unions.
+       * decl.c (finish_function): Comment fix.
+
+2007-08-15  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/33035
+       * pt.c (push_template_decl_real): Depending on TYPE_P
+       use either TYPE_CONTEXT or DECL_CONTEXT.
+
+2007-08-14  Mark Mitchell  <mark@codesourcery.com>
+
+       * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if
+       constructors and destructors return this.
+
+2007-08-14  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/27211
+       * decl2.c (check_classfn): Return error_mark_node in case of error;
+       in that case, do not call add_method.
+       * decl.c (start_decl): Deal with check_classfn returning
+       error_mark_node.
+       (grokfndecl): Likewise.
+       * pt.c (tsubst_friend_function): Likewise.
+
+2007-08-14  Andrew Pinski  <pinskia@gmail.com>
+
+       PR c++/30428
+       * typeck.c (build_binary_op): Disallow vector float types with
+       BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR.
+
+2007-08-11  Ian Lance Taylor  <iant@google.com>
+
+       * cp-objcp-common.c (cxx_get_alias_set): Change return type to
+       alias_set_type.
+       * cp/cp-tree.h (cxx_get_alias_set): Update declaration.
+
+2007-08-10  Ollie Wild  <aaw@google.com>
+
+       * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous
+       type lookups.
+       (ambiguous_decl): Construct tree of ambiguous types.  Remove extaneous
+       function parameter.
+       (unqualified_namespace_lookup): Fix ambiguous_decl call.
+       (lookup_using_namespace): Fix ambiguous_decl call.
+       (qualified_lookup_using_namespace): Fix ambiguous_decl call.
+
+2007-08-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * call.c (name_as_c_string): Use CONST_CAST.
+       * decl.c (build_decl): Likewise.
+       * parser.c (cp_parser_string_literal): Likewise.
+
+2007-08-10  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/17763
+       * error.c (dump_expr): Consistently use the *_cxx_*
+       variants of the pretty-print functions.
+
+2007-08-10  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/22256
+       * decl.c (check_special_function_return_type): Just error
+       on return type specified for conversion operator.
+
+2007-08-09  Daniel Berlin  <dberlin@dberlin.org>
+
+       * typeck2.c (readonly_error): Handle general expressions.
+       * error.c (dump_expr): Handle POINTER_PLUS_EXPR
+
+2007-08-06  Dan Hipschman  <dsh@google.com>
+
+       * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to
+       access function name.
+
+2007-08-04  Alfred Minarik  <a.minarik@aon.at>
+
+       PR pch/13676
+       * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header.
+       * g++spec.c (lang_specific_driver): Check them.
+
+2007-08-06  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/19532
+       * pt.c (inline_needs_template_parms): Fix comment; change return type
+       to bool.
+
+2007-08-05  Volker Reichelt  <v.reichelt@netcologne.de>
+
+       Revert:
+       2007-03-26  Dirk Mueller  <dmueller@suse.de>
+
+       * parser.c (cp_parser_member_declaration): Pedwarn
+       about stray semicolons after member declarations.
+
+2007-08-02  Lee Millward  <lee.millward@gmail.com>
+
+       PR c++/30849
+       PR c++/30850
+       PR c++/30851
+       * parser.c (cp_parser_asm_definition): Detect and discard asm
+       statements with invalid inputs or outputs.
+        (cp_parser_asm_operand_list): Return error mark node if any
+        of the operands are invalid. Adjust documentation.
+       
+2007-08-02  Nick Clifton  <nickc@redhat.com>
+
+       * typeck.c: Change copyright header to refer to version 3 of the
+       GNU General Public License and to point readers at the COPYING3
+       file and the FSF's license web page.
+       * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c,
+       config-lang.in, cp-tree.def, call.c, decl.h, ptree.c,
+       Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c,
+       cp-objcp-common.h, except.c, error.c, operators.def, cvt.c,
+       tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c,
+       cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c,
+       cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c,
+       name-lookup.h, parser.c: Likewise.
+
+2007-08-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       PR middle-end/32668
+       * call.c (magic_varargs_p): Honor the "type generic" attribute.
+
+2007-07-30  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/32108
+       * semantics.c (finish_label_stmt): Reject the __label__
+       extension outside function scopes.
+
+2007-07-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * parser.c (eof_token): Un-constify.
+       (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc,
+       cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious
+       casts.
+
+2007-07-28  Kazu Hirata  <kazu@codesourcery.com>
+
+       * pt.c, tree.c, typeck2.c: Fix comment typos.
+
+2007-07-28  Simon Martin  <simartin@users.sourceforge.net>
+           Mark Mitchell  <mark@codesourcery.com>
+
+       PR c++/30917
+       * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be
+       hidden due to friend declarations in local classes.
+
+2007-07-27  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
+       * cp-tree.def (DECLTYPE_TYPE): New.
+       * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
+       (dump_type_prefix): Ditto.
+       (dump_type_suffix): Ditto.
+       * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
+       * mangle.c (write_type): Handle DECLTYPE_TYPE.
+       * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
+       types.
+       (DECLTYPE_TYPE_EXPR): New.
+       (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
+       (finish_declared_type): Declare.
+       * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
+       DECLTYPE_TYPE nodes.
+       (pp_cxx_type_id): Ditto.
+       * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
+       (tsubst): Substitute into a DECLTYPE_TYPE node.
+       (tsubst_copy): Ditto.
+       (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
+       nodes.
+       (dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
+       * semantics.c (finish_typeof): TYPEOF_TYPE types need to use
+       structural equality (because we can't hash the expressions).
+       (finish_declared_type): New.
+       * lex.c (reswords): Add "decltype" keyword.
+       * parser.c cp_lexer_next_token_is_decl_specifier_keyword
+       (cp_parser_postfix_expression): Add member_access_only_p to
+       restrict postfix expression to member access expressions.
+       (cp_parser_unary_expression): Update call to
+       cp_parser_postfix_expression to reflect new parameter.
+       (cp_parser_declared_type): New.
+       (cp_parser_simple_type_specifier): Parse decltype types.
+
+2007-07-27  Mark Mitchell  <mark@codesourcery.com>
+
+       PR c++/32346
+       * call.c (convert_for_arg_passing): Only widen bitfields to their
+       declared types if necessary.
+
+2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand):
+       Constify.
+
+2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * decl.c (typename_hash, typename_compare): Constify.
+       * mangle.c (hash_type, compare_type): Likewise.
+       * pt.c (eq_local_specializations, hash_local_specialization):
+       Likewise.
+       * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq,
+       list_hash): Likewise.
+       * typeck2.c (pat_compare): Likewise.
+
+2007-07-24  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * method.c (implicitly_declare_fn): Increase alignment if member
+       function pointer format requires it.
+
+2007-07-24  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/29001
+       * typeck.c (check_return_expr): Do not pass a null argument
+       to null_ptr_cst_p.
+
+2007-07-24  Paolo Carlini  <pcarlini@suse.de>
+
+       PR c++/32561
+       * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P
+       only on VAR_DECL.
+
+2007-07-22  Nathan Sidwell  <nathan@codesourcery.com>
+
+       PR c++/32839
+       * typeck.c (convert_arguments): Only use default args if we have
+       a function decl.
+
+       PR c++/30818
+       * typeck.c (structural_comptypes): No need to check
+       resolve_typename_type return value here.
+       * cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
+       * pt.c (resolve_typename_type): Follow typename typedefs.  Return
+       original type rather than error_mark_node in case of failure.
+       * parser.c (cp_parser_nested_name_specifier_opt): Adjust
+       resolve_typename_type result check.
+       (cp_parser_direct_declarator, cp_parser_head,
+       cp_parser_constructor_declarator_p): Likewise.
+
+2007-07-12  Kazu Hirata  <kazu@codesourcery.com>
+
+       * pt.c (template_parms_variadic_p): Remove.
+       * cp-tree.h: Remove the prototype for template_parms_variadic_p.
+
+2007-07-12  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/30854
+       * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last
+       argument to dump_aggr_init_expr_args instead of false.
+
+2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the
+       canonical types; otherwise, fall back to structural type
+       comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an
+       internal compiler error if the canonical types are wrong.
+       
 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
 
        PR c++/32560
 2007-04-16  Seongbae Park <seongbae.park@gmail.com>
 
        PR c++/29365
-
        * cp/decl2.c (constrain_class_visibility):
        Do not warn about the use of anonymous namespace in the main input file.