/cp

[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog

2011-12-19  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51328
        * pt.c (convert_template_argument): Early error out and return
        error_mark_node for invalid uses of destructors as types.

2011-12-19  Jason Merrill  <jason@redhat.com>

        PR c++/51530
        * pt.c (unify): Handle NULLPTR_TYPE.

        PR c++/51526
        * semantics.c (build_data_member_initialization): Handle
        delegating constructor.
        (build_constexpr_constructor_member_initializers): Likewise.

        PR c++/51553
        * cp-tree.h (LOOKUP_LIST_INIT_CTOR): Rename from
        LOOKUP_NO_COPY_CTOR_CONVERSION.
        (add_list_candidates): Set it earlier.
        (add_candidates): Don't check explicit on ctors when it's set.
        (add_function_candidate): Check it even when LOOKUP_ONLYCONVERTING
        is set.

        PR c++/51553
        * call.c (add_function_candidate): Allow conversions for the copy
        parm in list-initialization unless the argument is an init-list.

2011-12-19  Jakub Jelinek  <jakub@redhat.com>

        PR c++/51619
        * semantics.c (cxx_eval_vec_init_1): If init is NULL for
        multidimensional array, just set eltinit to NULL_TREE.

        * cp-gimplify.c (gimplify_must_not_throw_expr): Use
        gimple_seq_add_stmt_without_update instead of gimplify_seq_add_stmt.

2011-12-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51477
        * search.c (lookup_member): Get out early on invalid base type.

2011-12-19  Jason Merrill  <jason@redhat.com>

        PR c++/51489
        * semantics.c (cxx_eval_outermost_constant_expr): Check for
        conversion from pointer to integer here.
        (cxx_eval_constant_expression) [NOP_EXPR]: Not here.

2011-12-18  Paolo Carlini  <paolo.carlini@oracle.com>

        * semantics.c (finish_compound_literal): Don't call check_narrowing
        if !(complain & tf_warning_or_error).

2011-12-17  Jason Merrill  <jason@redhat.com>

        PR c++/51588
        * parser.c (cp_parser_ptr_operator): Reject pointer to member of enum.

2011-12-17  Richard Henderson  <rth@redhat.com>

        PR bootstrap/51072
        * config-lang.in: Revert last change.

2011-12-17  Jason Merrill  <jason@redhat.com>

        PR c++/51586
        * parser.c (cp_parser_check_class_key): Handle error_mark_node.

        PR c++/51587
        * decl.c (start_enum): Avoid using ENUM_UNDERLYING_TYPE on a
        non-enum.

2011-12-16  Jason Merrill  <jason@redhat.com>

        PR c++/51416
        * init.c (build_value_init_noctor): Check for incomplete type.

2011-12-16  Richard Henderson  <rth@redhat.com>

        PR bootstrap/51072
        * config-lang.in (target_libs): Include target-libitm.

2011-12-16  Jason Merrill  <jason@redhat.com>

        PR c++/51461
        * decl.c (check_static_variable_definition): Check COMPLETE_TYPE_P
        before literal_type_p.

        PR c++/51331
        * class.c (convert_to_base_statically): Just call
        build_simple_base_path.
        (build_simple_base_path): Check field offset.

2011-12-15  Jason Merrill  <jason@redhat.com>

        PR c++/51458
        * decl.c (has_designator_problem): New.
        (reshape_init_r): Check for improper use of
        designated initializers.

2011-12-15  Jakub Jelinek  <jakub@redhat.com>

        PR c++/51463
        * decl.c (grokdeclarator): Set DECL_INITIAL of decl
        to error_mark_node to disallow NSDMI if declspecs->storage_class
        is sc_static.
        * parser.c (cp_parser_late_parse_one_default_arg): Return early
        if default_arg is error_mark_node.

        PR c/51360
        * semantics.c (finish_omp_clauses): For OMP_CLAUSE_NUM_THREADS_EXPR
        and OMP_CLAUSE_SCHEDULE_CHUNK_EXPR call mark_rvalue_use.

2011-12-15  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51473
        * decl.c (check_tag_decl): Error out on auto specifier with no
        declarator.

2011-12-15  Jonathan Wakely  <jwakely.gcc@gmail.com>

        PR libstdc++/51365
        * cp-tree.h (CPTK_IS_FINAL): Add.
        * parser.c (cp_parser_translation_unit): Handle RID_IS_FINAL.
        (cp_parser_primary_expression, cp_parser_trait_expr): Likewise.
        * semantics.c (trait_expr_value, finish_trait_expr): Handle
        CPTK_IS_FINAL.
        * cxx-pretty-print.c (pp_cxx_trait_expression): Likewise.

2011-12-14  Jason Merrill  <jason@redhat.com>

        PR c++/51554
        * semantics.c (cxx_eval_indirect_ref): Fix sanity check.

        PR c++/51248
        * decl.c (copy_type_enum): Also update variants.
        (finish_enum): Allow variants of complete enums.

2011-12-14  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51475
        * call.c (struct conversion)<u.next>: Update comment.
        (next_conversion): New static function.
        (convert_like_real): Use it.

        PR c++/51476
        * pt.c (convert_nontype_argument): Don't call maybe_constant_value
        for PTRMEM_CST nodes.

2011-12-13  Jason Merrill  <jason@redhat.com>

        PR c++/51406
        PR c++/51161
        * typeck.c (build_static_cast_1): Fix cast of lvalue to
        base rvalue reference.

2011-12-13  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51464
        * semantics.c (begin_lambda_type): Check begin_class_definition return
        value for error_mark_node.
        * parser.c (cp_parser_lambda_expression): Check begin_lambda_type
        return value for error_mark_node.

2011-12-13  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/14258
        * cp-tree.h (USING_DECL_TYPENAME_P): New macro.
        * parser.c (cp_parser_nonclass_name): Handle using declarations
        that refer to a dependent type.
        (cp_parser_using_declaration): Set USING_DECL_TYPENAME_P to 1 if
        the using declaration refers to a dependent type.

2011-12-12  Jakub Jelinek  <jakub@redhat.com>

        PR c++/51496
        * parser.c (cp_parser_omp_for_loop): When determining whether
        to use cp_parser_omp_for_incr or cp_parser_expression and when
        calling cp_parser_omp_for_incr, use real_decl instead of decl.

2011-12-12  Torvald Riegel  <triegel@redhat.com>

        * semantics.c (finish_transaction_stmt, build_transaction_expr):
        Accept new noexcept parameter and handle it.
        * cp-tree.h (finish_transaction_stmt, build_transaction_expr): Adapt
        declarations.
        * parser.c (cp_parser_exception_specification_opt): Extract
        noexcept-specification parsing to ...
        (cp_parser_noexcept_specification_opt): ...here.  Allow for parsing
        non-constexpr noexcept arguments.
        (cp_parser_transaction, cp_parser_transaction_expression): Parse
        and handle noexcept-specifications.
        (cp_parser_function_transaction): Adapt to finish_transaction_stmt
        change.
        * pt.c (tsubst_expr): Adapt to new noexcept parameters when
        building transactions.

2011-12-12  Torvald Riegel  <triegel@redhat.com>

        * cp-tree.def (MUST_NOT_THROW_EXPR): Add condition parameter.
        * cp-tree.h (MUST_NOT_THROW_COND): New.
        (build_must_not_throw_expr): Declare.
        * dump.c (cp_dump_tree): Dump MUST_NOT_THROW_EXPR condition.
        * except.c (build_must_not_throw_expr): New.
        (initialize_handler_parm): Use it.
        (begin_eh_spec_block, wrap_cleanups_r): Adapt to condition.
        * pt.c (tsubst_expr): Handle MUST_NOT_THROW_EXPR.

2011-12-12  Richard Guenther  <rguenther@suse.de>

        PR lto/51262
        * tree.c (cp_free_lang_data): No longer clear anonymous names.

2011-12-09  Jason Merrill  <jason@redhat.com>

        PR c++/51151
        * call.c (perform_implicit_conversion_flags): Remove earlier kludge.
        * parser.c (cp_parser_omp_for_loop): Use cp_parser_omp_for_incr
        in templates even if decl isn't type-dependent.

2011-12-09  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51289
        * cp-tree.h (TYPE_TEMPLATE_INFO): Rewrite this accessor macro to
        better support aliased types.
        (TYPE_ALIAS_P): Don't crash on TYPE_NAME nodes that are not
        TYPE_DECL.
        * pt.c (find_parameter_packs_r): Handle types aliases.
        (push_template_decl_real): Check for bare parameter packs in the
        underlying type of an alias template.

2011-12-08  Jason Merrill  <jason@redhat.com>

        PR c++/51318
        * typeck.c (build_x_conditional_expr): Restrict glvalue games to C++11.

        PR c++/51459
        * pt.c (tsubst_expr) [DECL_EXPR]: Handle capture proxies properly.
        * semantics.c (insert_capture_proxy): No longer static.
        * cp-tree.h: Declare it.

2011-12-07  Jakub Jelinek  <jakub@redhat.com>

        PR c++/51401
        * decl.c (grokdeclarator): Error for auto on non-static data members.

        PR c++/51429
        * typeck2.c (cxx_incomplete_type_diagnostic): Don't
        ICE if TREE_OPERAND (value, 1) is overloaded.

        PR c++/51229
        * decl.c (reshape_init_class): Complain if d->cur->index is
        INTEGER_CST.
        * parser.c (cp_parser_initializer_list): If cp_parser_parse_definitely
        fails, clear designator.

        PR c++/51369
        * init.c (build_value_init): Allow array types even when
        processing_template_decl.

2011-12-07  Ed Smith-Rowland <3dw4rd@verizon.net>

        PR c++/51420
        * parser.c (lookup_literal_operator): Check that declaration is an
        overloaded function.

2011-12-06  Jakub Jelinek  <jakub@redhat.com>

        PR c++/51430
        * pt.c (tsubst_decl): Don't call strip_array_domain on
        error_mark_node.

2011-12-06  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51431
        * init.c (build_value_init): Check build_aggr_init_expr return
        value for error_mark_node.

2011-12-06  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51427
        * parser.c (cp_parser_check_class_key): Add note about earlier
        declaration.

2011-12-05  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/51319
        * semantics.c (finish_id_expression): Strip using declarations
        early in the function.

2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51399
        * init.c (perform_member_init): Early return if init is error_mark_node.

2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51414
        * semantics.c (finish_underlying_type): Use %qT, not %qE for the
        error message.

2011-12-05  Jason Merrill  <jason@redhat.com>

        * init.c (expand_default_init): Unshare args in ctor delegation.

2011-12-05  Ville Voutilainen  <ville.voutilainen@gmail.com>
            Pedro Lamarão  <pedro.lamarao@gmail.com>

        Implement C++11 delegating constructors.
        * cp-tree.h (enum cpp0x_warn_str): Add CPP0X_DELEGATING_CTORS.
        * error.c (maybe_warn_cpp0x): Adjust.
        * parser.c (cp_parser_mem_initializer_list): Use it.  Diagnose
        multiple initializers if a delegating initializer is present.
        * call.c (build_special_member_call): Convert an assert into an if.
        * init.c (perform_target_ctor): New.
        (emit_mem_initializers): Use it.
        (expand_member_init, expand_default_init): Adjust.

2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51404
        * typeck2.c (build_functional_cast): Early return error_mark_node
        for invalid uses of 'auto'.
        * parser.c (cp_parser_direct_declarator): When
        cp_parser_constant_expression returns error do not produce further
        diagnostic for the bound.

2011-12-03  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51313
        * call.c (null_ptr_cst_p): STRIP_NOPS in c++11 mode too.

2011-12-01  Jason Merrill  <jason@redhat.com>

        * call.c (build_new_method_call_1): Handle aggregate initialization.
        * tree.c (stabilize_init): Handle CONSTRUCTOR.

2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51326
        * call.c (build_user_type_conversion_1): Early return NULL if
        expr is NULL_TREE.

2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51367
        * pt.c (unify_inconsistency): Use either %qT or %qE depending on
        whether parm is a type or non-type parameter.

2011-11-30  Jason Merrill  <jason@redhat.com>

        PR c++/51009
        * name-lookup.c (push_to_top_level): Set stmts_are_full_exprs_p.
        * decl.c (build_aggr_init_full_exprs): Just assert that it's true.
        (check_initializer): Here too.

2011-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51299
        * rtti.c (ifnonnull): Use nullptr_node.
        (build_dynamic_cast_1): Call cp_truthvalue_conversion instead
        of c_common_truthvalue_conversion.

2011-11-24  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51227
        * pt.c (instantiate_class_template_1): If lambda_function (type)
        is NULL_TREE do not instantiate_decl.

2011-11-24  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51290
        * class.c (build_base_path): For the null pointer check use
        nullptr_node instead of integer_zero_node.

2011-11-22  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51145
        * decl.c (check_elaborated_type_specifier): Gracefully handle
        error_mark_node.  Accept bound template template parameters.
        Update diagnostics for alias template specializations.  Update
        comment.
        * parser.c (cp_parser_elaborated_type_specifier): Use
        check_elaborated_type_specifier for simple-template-ids as well.

2011-11-22  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51265
        * semantics.c (finish_decltype_type): Handle PTRMEM_CST.

2011-11-22  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51143
        * parser.c (cp_parser_alias_declaration): Don't allow type
        definition in templates.

2011-11-22  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51196
        * typeck.c (cp_build_binary_op, [case EQ_EXPR]): For targets having
        TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_delta, do here
        the -Wzero-as-null-pointer-constant warning for pmf == 0.

2011-11-21  Torvald Riegel  <triegel@redhat.com>

        * pt.c (tsubst_copy_and_build): Handle TRANSACTION_EXPR.

2011-11-21  Ed Smith-Rowland  <3dw4rd@verizon.net>

        PR c++/50958
        * parser.c (lookup_literal_operator): New.
        (cp_parser_userdef_char_literal): Use it.
        (cp_parser_userdef_numeric_literal): Use it.
        (cp_parser_userdef_string_literal): Use lookup_name.

2011-11-20  Jason Merrill  <jason@redhat.com>

        * pt.c (tsubst_pack_expansion): Fix SFINAE.

        PR c++/48322
        * cp-tree.h (PACK_EXPANSION_EXTRA_ARGS): New.
        * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand for it.
        * pt.c (tsubst_pack_expansion): Set and use it.
        (iterative_hash_template_arg): Hash it.
        (template_args_equal): Compare it.
        (comp_template_args_with_info): Handle nulls.
        * tree.c (cp_walk_subtrees): Walk it.
        * typeck.c (structural_comptypes): Compare it.
        * ptree.c (cxx_print_type): Print it.

        * pt.c (type_unification_real): Set input_location
        during default arg instantiation.

2011-11-20  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51230
        * pt.c (unify_inconsistency): Handle non-type parameters better.
        * error.c (dump_expr): Handle TEMPLATE_TEMPLATE_PARM.

2011-11-20  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51194
        * pt.c (lookup_template_class_1): Go out early if the type of the
        template is error_mark_node.

2011-11-19  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51216
        * semantics.c (potential_constant_expression_1): Handle IF_STMT,
        DO_STMT, FOR_STMT, and WHILE_STMT.

2011-11-18  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/51188
        * search.c (lookup_field_1): Handle USING_DECLs for the storted
        case.

2011-11-18  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51150
        * pt.c (tsubst_copy_and_build): Handle FIX_TRUNC_EXPR.

2011-11-18  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51191
        * pt.c (primary_template_instantiation_p): Don't forget to
        consider alias declarations.

2011-11-17  Jason Merrill  <jason@redhat.com>

        PR c++/51186
        * decl.c (grokdeclarator): Improve C++98 trailing return diagnostic.

        N3203
        * class.c (add_implicitly_declared_members): Update move
        conditions.

        PR c++/51137
        * class.c (build_base_path): Don't do calculation in templates.

2011-11-15  Torvald Riegel  <triegel@redhat.com>

        * parser.c (cp_parser_transaction_expression): Require parentheses
        when parsing transaction expressions.

2011-11-14  Ed Smith-Rowland  <3dw4rd@verizon.net>

        PR c++/51107
        * typeck.c (check_literal_operator_args): Add processing_specialization
        to check for void template fn. Test for exact arity for non-template fn.

2011-11-14  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/6936
        PR c++/25994
        PR c++/26256
        PR c++/30195
        * search.c (lookup_field_1): Look through USING_DECL.
        (lookup_field_r): Call lookup_fnfields_slot instead of
        lookup_fnfields_1.
        * semantics.c (finish_member_declaration): Remove the check that
        prevents USING_DECLs from being verified by
        pushdecl_class_level. Call add_method for using declarations that
        designates functions if the using declaration is in a template
        class. Set DECL_IGNORED_P on class-scope using declarations.
        * typeck.c (build_class_member_access_expr): Handle USING_DECLs.
        * class.c (check_field_decls): Keep using declarations.
        (add_method): Remove two diagnostics about conflicting using
        declarations.
        * parser.c (cp_parser_nonclass_name): Handle USING_DECLs.
        * decl.c (start_enum): Call xref_tag whenever possible.
        * cp-tree.h (strip_using_decl): Declare, and reident the previous
        function.
        * name-lookup.c (strip_using_decl): New function.
        (supplement_binding_1): Call strip_using_decl on decl and
        bval. Perform most of the checks with USING_DECLs stripped.  Also
        check that the target decl and the target bval does not refer to
        the same declaration. Allow pushing an enum multiple times in a
        template class. Adjustment to diagnose using redeclarations. Call
        diagnose_name_conflict.
        (push_class_level_binding): Call strip_using_decl on decl and
        bval. Perform most of the checks with USING_DECLs stripped. Return
        true if both decl and bval refer to USING_DECLs and are dependent.
        (diagnose_name_conflict): New function.

2011-11-12  Jason Merrill  <jason@redhat.com>

        PR c++/986
        * call.c (set_up_extended_ref_temp): Warn about references
        bound to non-static reference members.
        * init.c (perform_member_init): Pass in the member.

        PR c++/51060
        * cp-gimplify.c (cp_gimplify_expr): Leave clobbers alone.

2011-11-11  Ed Smith-Rowland  <3dw4rd@verizon.net>

        PR c++/50976
        * typeck.c (check_literal_operator_args): Reorganize test for string
        operators so size_t search depends on finding string first.

2011-11-10  Jason Merrill  <jason@redhat.com>

        PR c++/50372
        * pt.c (convert_nontype_argument_function): Allow decls with
        internal linkage in C++11.
        (convert_nontype_argument): Likewise.

        PR c++/50973
        * decl2.c (mark_used): Defer synthesis of virtual functions.
        * method.c (use_thunk): Make sure the target function has
        DECL_INTERFACE_KNOWN.

        PR c++/51079, DR 495
        * call.c (joust): Check the second conversion sequence
        before checking templates.

2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50837
        * pt.c (tsubst_copy_and_build) [IDENTIFIER_NODE]: In C++11 mode
        pass allow_non_integral_constant_expression_p = true to
        finish_id_expression.

2011-11-09  Jason Merrill  <jason@redhat.com>

        PR c++/50972
        * pt.c (maybe_instantiate_noexcept): Check the return value of
        push_tinst_level.

        PR c++/51046
        * parser.c (cp_parser_range_for): check_for_bare_parameter_packs.

        PR c++/51029
        * class.c (build_base_path): Don't ICE in fold_non_dependent_expr.

        * Make-lang.in (check_g++_parallelize): Add dg-torture.exp.
        (check-c++0x): Obsolete.

        * pt.c (invalid_nontype_parm_type_p): Avoid printing "<type error>".

        * pt.c (convert_nontype_argument): Only integral arguments
        get early folding.

        * parser.c (cp_parser_alias_declaration): Don't do semantic
        processing if parsing failed.

2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51045
        * init.c (build_new_1, build_vec_delete_1, build_delete):
        Use nullptr_node.

2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51047
        * search.c (lookup_member): Change to take also a tsubst_flags_t
        parameter.
        (lookup_field, lookup_fnfields): Adjust calls.
        * typeck.c (lookup_destructor, finish_class_member_access_expr,
        build_ptrmemfunc_access_expr): Likewise.
        * class.c (handle_using_decl, maybe_note_name_used_in_class):
        Likewise.
        * pt.c (resolve_typename_type): Likewise.
        * semantics.c (lambda_function): Likewise.
        * parser.c (cp_parser_perform_range_for_lookup,
        cp_parser_lookup_name): Likewise.
        * friend.c (make_friend_class): Likewise.
        * name-lookup.c (pushdecl_maybe_friend_1, get_class_binding,
        do_class_using_decl, lookup_qualified_name): Likewise.
        * cp-tree.h (lookup_member): Adjust declaration.

2011-11-09  Dodji Seketeli  <dodji@redhat.com>

        PR c++/51043
        * cp-tree.h (TYPE_ALIAS_P, TYPE_TEMPLATE_INFO): Don't crash on
        NULL TYPE_NAME.

        PR c++/51027
        * parser.c (cp_parser_alias_declaration): Require ';' at the end
        of the declaration.

2011-11-09  Dodji Seketeli  <dodji@redhat.com>

        PR debug/51032
        * decl2.c (check_member_template): Accept alias templates and ...
        * parser.c (cp_parser_alias_declaration): ... use it here.

2011-11-08  Jason Merrill  <jason@redhat.com>

        PR c++/50835
        * typeck.c (build_x_conditional_expr): Preserve lvalue/xvalueness.
        * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Return clk_ordinary
        in C++98.

2011-11-08  Richard Guenther  <rguenther@suse.de>

        PR middle-end/51010
        * error.c (dump_expr): Handle SSA_NAMEs.

2011-11-07  Richard Henderson  <rth@redhat.com>
            Aldy Hernandez  <aldyh@redhat.com>
            Torvald Riegel  <triegel@redhat.com>

        Merged from transactional-memory.

        * call.c (build_new_function_call): Call tm_malloc_replacement.
        * class.c (check_bases): Compute transaction attributes for the
        class based on its base classes.
        (look_for_tm_attr_overrides, set_one_vmethod_tm_attributes,
        set_method_tm_attributes): New.
        (finish_struct_1): Call set_method_tm_attributes.
        * cp-tree.h (begin_transaction_stmt, finish_transaction_stmt,
        build_transaction_expr): Declare.
        (TRANSACTION_EXPR_IS_STMT): New.
        * decl.c (push_cp_library_fn): Set attribute to transaction_safe.
        * except.c (do_get_exception_ptr): Apply transaction_pure.
        (do_begin_catch): Mark _ITM_cxa_begin_catch transaction_pure and
        record as transactional-memory wrapper.
        (do_end_catch): Similarly for _ITM_cxa_end_catch.
        (do_allocate_exception): Similarly for _ITM_cxa_allocate_exception.
        (build_throw): Similarly for _ITM_cxa_throw. Make __cxa_rethrow pure.
        * parser.h (struct cp_parser): Add in_transaction flag.
        * parser.c (enum non_integral_constant): Add NIC_TRANSACTION.
        (cp_parser_non_integral_constant_expression): Handle NIC_TRANSACTION.
        (enum required_token): Add transaction tokens.
        (cp_parser_transaction, cp_parser_transaction_expression,
        cp_parser_function_transaction, cp_parser_transaction_cancel,
        cp_parser_txn_attribute_opt): New.
        (cp_parser_unary_expression): Handle RID_TRANSACTION*.
        (cp_parser_statement, cp_parser_function_definition_after_declarator,
        cp_parser_token_starts_function_definition_p): Same.
        (cp_parser_required_error): Handle RT_TRANSACTION*.
        * pt.c (tsubst_expr): Handle TRANSACTION_EXPR.
        * semantics.c (begin_transaction_stmt, finish_transaction_stmt,
        build_transaction_expr): New.

2011-11-08  Dodji Seketeli  <dodji@redhat.com>

        Fix context handling of alias-declaration
        * decl.c (start_decl): Update comment.
        * error.c (dump_alias_template_specialization): Dump the context
        of the specialization.
        * parser.c (cp_parser_alias_declaration): Call pop_scope on the
        pushed scope yielded by start_decl.

2011-11-08  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50864
        * parser.c (cp_parser_postfix_dot_deref_expression): Reject invalid
        uses of '->' and '.' as postfix-expression in namespace scope.

2011-11-07  Jason Merrill  <jason@redhat.com>

        PR c++/50848
        * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't crash
        if lookup finds a non-function.

        PR c++/50863
        * parser.c (cp_parser_initializer_list): Parse C99
        array designators tentatively.

        PR c++/50870
        * pt.c (tsubst_copy): Handle NAMESPACE_DECL.
        (tsubst_copy_and_build) [COMPONENT_REF]: Handle a still-dependent
        object.

2011-11-07  Paolo Carlini  <paolo.carlini@oracle.com>

        * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
        call in case COMPONENT_REF.

2011-11-07  Jason Merrill  <jason@redhat.com>
            Dodji Seketeli  <dodji@redhat.com>

        Support C++11 alias-declaration
        PR c++/45114
        * cp-tree.h (TYPE_DECL_ALIAS_P, TYPE_ALIAS_P)
        (DECL_TYPE_TEMPLATE_P, DECL_ALIAS_TEMPLATE_P): New accessor
        macros.
        (TYPE_TEMPLATE_INFO): Get template info of an alias template
        specializations from its TYPE_DECL.
        (SET_TYPE_TEMPLATE_INFO): Set template info of alias template
        specializations into its TYPE_DECL.
        (DECL_CLASS_TEMPLATE_P): Re-write using the new
        DECL_TYPE_TEMPLATE_P.
        (enum cp_decl_spec): Add new ds_alias enumerator.
        (alias_type_or_template_p, alias_template_specialization_p):
        Declare new functions.
        * parser.c (cp_parser_alias_declaration): New static function.
        (cp_parser_check_decl_spec): Add "using" name for the `alias'
        declspec.
        (cp_parser_type_name): Update comment.  Support simple-template-id
        representing alias template specializations in c++0x mode.
        (cp_parser_qualifying_entity): Update comment.  Use
        cp_parser_type_name.
        (cp_parser_block_declaration): Handle alias-declaration in c++11.
        Update comment.
        (cp_parser_template_id): Handle specializations of alias
        templates.
        (cp_parser_member_declaration): Add alias-declaration production
        to comment.  Support alias-declarations.
        (cp_parser_template_declaration_after_export): Handle alias
        templates in c++11.
        * decl.c (make_typename_type, make_unbound_class_template): Accept
        alias templates.
        (grokdeclarator): Set TYPE_DECL_ALIAS_P on alias
        declarations.
        * decl2.c (grokfield): Move template creation after setting up the
        TYPE_DECL of the alias, so that the TEMPLATE_DECL of the alias
        template actually carries the right type-id of the alias
        declaration.
        * pt.c (alias_type_or_template_p)
        (alias_template_specialization_p): Define new public functions.
        (maybe_process_partial_specialization): Reject partial
        specializations of alias templates.
        (primary_template_instantiation_p): Consider alias template
        instantiations.
        (push_template_decl_real): Assert that TYPE_DECLs of alias
        templates are different from those of class template.  Store
        template info onto the TYPE_DECL of the alias template.
        (convert_template_argument): Strip aliases from template
        arguments.
        (lookup_template_class_1): Handle the creation of the
        specialization of an alias template.
        (tsubst_decl): Create a substituted copy of the TYPE_DECL of an
        member alias template.
        (tsubst): Handle substituting into the type of an alias template.
        Handle substituting UNBOUND_CLASS_TEMPLATE into
        BOUND_TEMPLATE_TEMPLATE_PARM.
        (do_type_instantiation): Better diagnostics when trying to
        explicitely instantiate a non-class template.
        * search.c (lookup_field_1, lookup_field_r): Support looking up
        alias templates.
        * semantics.c (finish_template_type): For instantiations of alias
        templates, return the TYPE_DECL of the actual alias and not the
        one of the aliased type.
        * error.c (dump_alias_template_specialization): New static
        function.
        (dump_type): Handle printing of alias templates and their
        specializations.  templates.
        (dump_aggr_type): For specialization of alias templates, fetch
        arguments from the right place.
        (dump_decl): Print an alias-declaration like `using decl = type;'
        (dump_template_decl):  Support printing of alias templates.

2011-11-07  Jason Merrill  <jason@redhat.com>

        PR c++/35688
        * decl2.c (constrain_visibility): Return void.  Add tmpl parm
        which gives the constraint priority over an attribute.
        (constrain_visibility_for_template, determine_visibility): Adjust.
        * pt.c (instantiate_class_template_1): Call determine_visibility.

        PR c++/33255
        * decl.c (save_function_data): Clear local_typedefs.

        * decl.c (cp_finish_decl): Only make_tree_vector if we're calling
        check_initializer.

2011-11-06  Jason Merrill  <jason@redhat.com>

        PR c++/35688
        * decl2.c (constrain_visibility): Check decl_has_visibility_attr
        rather than DECL_VISIBILITY_SPECIFIED.

2011-11-06  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/47695
        * decl2.c (mark_used): Early return false after error or sorry.
        * cp-tree.h (mark_used): Adjust declaration.
        * semantics.c (finish_id_expression): Check mark_used return value.

2011-11-05  Jason Merrill  <jason@redhat.com>

        PR c++/48370
        * decl.c (cp_finish_decl): Mostly revert previous change.

2011-11-04  Jason Merrill  <jason@redhat.com>

        PR c++/26714
        * init.c (perform_member_init): Strip TARGET_EXPR around NSDMI.
        Do temporary lifetime extension.

        PR c++/48370
        * decl.c (cp_finish_decl): Run cleanups in the right order.

2011-11-04  Eric Botcazou  <ebotcazou@adacore.com>

        PR c++/50608
        * semantics.c (finish_offsetof): Adjust call to fold_offsetof.
        * typeck.c (cp_build_addr_expr_1): Call fold_offsetof_1.

2011-11-04  Paolo Carlini  <paolo.carlini@oracle.com>

        * typeck.c (build_indirect_ref): Use ATTRIBUTE_UNUSED.
        * mangle.c (write_unnamed_type_name): Likewise.

2011-11-04  Magnus Fromreide  <magfr@lysator.liu.se>

        * parser.c (cp_parser_enumerator_list): Do not warn about
        trailing commas in C++0x mode.

2011-11-04  Olivier Goffart  <olivier@woboq.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/50965
        * class.c (check_field_decls): NSDMI makes a class non-aggregate.

2011-11-04  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/48420
        * call.c (conversion_null_warnings): For 'false' to NULL pointer,
        just check that TREE_TYPE (expr) is a BOOLEAN_TYPE.

2011-11-04  Ed Smith-Rowland  <3dw4rd@verizon.net>

        PR c++/50941
        * parser.c (cp_parser_userdef_string_literal): Fix string length.

2011-11-04  Jason Merrill  <jason@redhat.com>

        PR c++/48370
        * call.c (extend_ref_init_temps, extend_ref_init_temps_1): New.
        (set_up_extended_ref_temp): Use it.  Change cleanup parm to VEC.
        (initialize_reference): Just call convert_like.
        * decl.c (grok_reference_init): Just call initialize_reference.
        (build_init_list_var_init): Remove.
        (check_initializer): Change cleanup parm to VEC.  Handle references
        like other types.  Call perform_implicit_conversion instead
        of build_init_list_var_init.  Don't use build_aggr_init for
        aggregate initialization of arrays.
        (cp_finish_decl): Change cleanup to VEC.
        * typeck2.c (store_init_value): Call extend_ref_init_temps.
        Use build_vec_init for non-constant arrays.
        * init.c (expand_aggr_init_1): Adjust.
        (build_vec_init): Avoid re-converting an initializer
        that's already digested.
        * mangle.c (mangle_ref_init_variable): Add a discriminator.
        * cp-tree.h: Adjust.
        * typeck.c (convert_for_initialization): Adjust.
        * decl2.c (maybe_emit_vtables): Adjust.

2011-11-02  Jason Merrill  <jason@redhat.com>

        PR c++/50930
        * init.c (build_aggr_init): Don't set LOOKUP_ONLYCONVERTING
        if the initializer has TARGET_EXPR_DIRECT_INIT_P.
        (expand_default_init): An initializer with TARGET_EXPR_DIRECT_INIT_P
        or TARGET_EXPR_LIST_INIT_P doesn't need more processing.
        * tree.c (bot_manip): Propagate TARGET_EXPR_IMPLICIT_P,
        TARGET_EXPR_LIST_INIT_P, TARGET_EXPR_DIRECT_INIT_P.
        * call.c (convert_like_real): Set TARGET_EXPR_DIRECT_INIT_P
        as appropriate on list-value-initialization.

        * parser.c (cp_parser_decl_specifier_seq): Change "C++0x" to
        "C++11" in warnings.
        (cp_lexer_get_preprocessor_token): Likewise.
        (cp_parser_binary_expression): Likewise.

2011-11-02  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50810
        * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
        (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
        * decl.c (check_initializer): Likewise.
        * semantics.c (finish_compound_literal): Likewise.

2011-11-02  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50956
        * typeck.c (build_const_cast_1): Fix -Wcast-qual for false
        comp_ptr_ttypes_const.

2011-11-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        * Make-lang.in (g++spec.o): Pass SHLIB instead of SHLIB_LINK.

2011-11-01  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/44277
        * cvt.c (cp_convert_to_pointer): Warn for zero as null pointer
        constant.
        * typeck.c (cp_truthvalue_conversion): Handle pointers and member
        function pointers under c_inhibit_evaluation_warnings; use
        nullptr_node for data member pointers.
        (cp_build_binary_op): Tweak, just forward to cp_convert op1,
        either a nullptr_node or an integer_zero_node.
        (build_ptrmemfunc): Use nullptr_node.
        * init.c (build_zero_init_1): Likewise.

2011-11-01  Jason Merrill  <jason@redhat.com>

        PR c++/50500
        DR 1082
        * search.c (lookup_fnfields_idx_nolazy): Split out from...
        (lookup_fnfields_1): ...here.
        (lookup_fnfields_slot_nolazy): Use it.
        * cp-tree.h: Declare it.
        * class.c (type_has_move_assign): Use it.
        (type_has_user_declared_move_assign): Likewise.

2011-10-31  Jason Merrill  <jason@redhat.com>

        PR c++/50920
        * class.c (check_field_decl): Change c++0x in diags to c++11.
        * error.c (maybe_warn_cpp0x): Likewise.
        * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
        * pt.c (check_default_tmpl_args): Likewise.

2011-10-31   Diego Novillo  <dnovillo@google.com>

        * mangle.c (get_mangled_id): Factor from ...
        (mangle_decl): ... here.
        Call get_mangled_id.

2011-10-25  Gerald Pfeifer  <gerald@pfeifer.com>

        * NEWS (GCC 2.95): Refer to GNU/Linux instead of Linux.
        (EGCS 1.0): Ditto.

2011-10-29  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50901
        * call.c (build_new_op_1): Handle ABS_EXPR together with the
        other unary EXPR.

2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>

        Revert:
        2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50864
        * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
        call in case COMPONENT_REF.

2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>

        * pt.c (unify_pack_expansion): Initialize bad_old_arg and bad_new_arg.

2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50864
        * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
        call in case COMPONENT_REF.

2011-10-27  Jason Merrill  <jason@redhat.com>

        * semantics.c (cxx_eval_outermost_constant_expr): Check
        cp_has_mutable_p.
        (cxx_eval_component_reference): Check DECL_MUTABLE_P.

2011-10-27  Roberto Agostino Vitillo  <ravitillo@lbl.gov>

        PR c++/30066
        * decl2.c (determine_hidden_inline): New function.
        (determine_visibility): fvisibility-inlines-hidden affects inline
        functions.

2011-10-27  Dodji Seketeli  <dodji@redhat.com>

        * cp-tree.h (DECL_DECLARES_TYPE_P): Fix comment.

2011-10-26  Jason Merrill  <jason@redhat.com>

        * typeck.c (check_literal_operator_args): Avoid building types.

2011-10-26  Ed Smith-Rowland  <3dw4rd@verizon.net>

        Implement C++11 user-defined literals.
        * cp-objcp-common.c: (cp_tree_size) Return size of USERDEF_LITERAL tree.
        * cp-tree.h: (UDLIT_OP_*, UDLIT_OPER_P): Literal operator
        name tools. New tree code for user-defined literals.
        * cxx-pretty-print.h: (pp_cxx_userdef_literal) New.
        * cxx-pretty-print.c: (pp_cxx_userdef_literal) New.
        (pp_cxx_primary_expression, pp_cxx_expression): Use it.
        * decl.c: (cp_tree_node_structure): Return new tree code.
        (duplicate_decls): Check for raw vs. template operator conflicts.
        (grokfndecl, grokdeclarator): New checks for literal operators.
        * error.c: (dump_expr): Warn about user-defined literals
        in C++98 mode. (dump_function_name): Pretty printing.
        * mangle.c: (write_literal_operator_name): New.
        (write_unqualified_id, write_unqualified_name): Use it.
        * parser.c: (cp_parser_operator): Handle operator"".
        (cp_parser_userdef_char_literal, cp_parser_userdef_numeric_literal,
        cp_parser_userdef_string_literal): New.
        (cp_parser_primary_expression): Handle new user-defined literal tokens
        with new functions.
        * semantics.c: (potential_constant_expression_1): Add
        user-defined literals.
        * typeck.c (check_raw_literal_operator,
        check_literal_operator_args): New.

2011-10-26  Paolo Carlini  <paolo.carlini@oracle.com>

        * typeck.c (cp_build_addr_expr_1): Use BASELINK_P.
        * class.c (instantiate_type): Likewise.
        * pt.c (convert_nontype_argument_function, uses_template_parms,
        tsubst_copy, resolve_nondeduced_context, type_dependent_expression_p):
        Likewise.
        * semantics.c (finish_decltype_type): Likewise.
        * decl2.c (mark_used): Likewise.
        * name-lookup.c (arg_assoc): Likewise.

2011-10-26  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50870
        * typeck.c (non_reference): Pass NULL_TREE through.

2011-10-25  Jason Merrill  <jason@redhat.com>

        PR c++/50866
        PR c++/41449
        * semantics.c (maybe_cleanup_point_expr_void): No longer static.
        * typeck2.c (split_nonconstant_init_1): Use it.
        * cp-tree.h: Declare it.
        * decl.c (wrap_cleanups_r): Stop at CLEANUP_POINT_EXPR.

        PR c++/49996
        * tree.c (stabilize_init): Stabilize scalar elements of a
        CONSTRUCTOR, too.

2011-10-25  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50858
        * typeck.c (composite_pointer_type_r): Check return value of
        composite_pointer_type_r for error_mark_node.

2011-10-25  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50861
        * pt.c (tsubst_copy_and_build): Check return value of
        tsubst_copy_and_build for error_mark_node.

2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50841
        Revert:
        2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50810
        * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
        (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
        * decl.c (check_initializer): Likewise.
        * semantics.c (finish_compound_literal): Likewise.

2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50810
        * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
        (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
        * decl.c (check_initializer): Likewise.
        * semantics.c (finish_compound_literal): Likewise.

2011-10-21  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/45385
        * init.c (build_vec_init): Early return error_mark_node if
        maxindex is -1.

2011-10-21  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/31423
        * typeck2.c (cxx_incomplete_type_diagnostic): Improve error message
        for invalid use of member function.

2011-10-21  Ville Voutilainen  <ville.voutilainen@gmail.com>

        PR c++/50811
        * parser.c (cp_parser_class_head): Parse virt-specifiers
        regardless of whether an id is present

2011-10-20  Jason Merrill  <jason@redhat.com>

        PR c++/41449
        * typeck2.c (split_nonconstant_init_1): Handle EH cleanup of
        initialized subobjects.

2011-10-19  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/13657
        * class.c (instantiate_type): Fix error message.

2011-10-19  Jason Merrill  <jason@redhat.com>

        PR c++/50793
        * tree.c (bot_manip): Propagate AGGR_INIT_ZERO_FIRST.

2011-10-19  Roland Stigge  <stigge@antcom.de>

        PR translation/49704
        * semantics.c (potential_constant_expression_1): Use "AST" instead of
        "ast" in sorry message.

2011-10-19  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/38761
        PR c++/40872
        * decl.c (duplicate_decls, make_typename_type, grokdeclarator): Use
        G_() in error message strings to facilitate translation.
        * semantics.c (finish_id_expression): Likewise.
        * parser.c (cp_parser_nested_name_specifier_opt,
        cp_parser_parameter_declaration): Likewise.

2011-10-18  Jason Merrill  <jason@redhat.com>

        PR c++/50531
        * pt.c (instantiate_decl): Recognize when a function defaulted
        outside the class is already instantiated.

        PR c++/50742
        * decl.c (check_previous_goto_1): Handle using-decl.

2011-10-18  Jason Merrill  <jason@redhat.com>

        PR c++/50500
        DR 1082
        * class.c (type_has_user_declared_move_constructor): New.
        (type_has_user_declared_move_assign): New.
        (add_implicitly_declared_members): Add lazy copy ops
        even if there's a move.
        * method.c (lazily_declare_fn): Delete implicit copies
        if there's a move.
        (maybe_explain_implicit_delete): Explain this.  Use inform rather
        than error.
        * cp-tree.h: Declare new fns.

2011-10-18   Diego Novillo  <dnovillo@google.com>

        * parser.c: Remove ENABLE_CHECKING markers around debugging
        routines.
        (cp_lexer_dump_tokens): Add arguments START_TOKEN and CURR_TOKEN.
        Make static
        When printing CURR_TOKEN surround it in [[ ]].
        Start printing at START_TOKEN.
        Update all users.
        (cp_debug_print_tree_if_set): New.
        (cp_debug_print_context): New.
        (cp_debug_print_context_stack): New.
        (cp_debug_print_flag): New.
        (cp_debug_print_unparsed_function): New.
        (cp_debug_print_unparsed_queues): New.
        (cp_debug_parser_tokens): New.
        (cp_debug_parser): New.
        (cp_lexer_start_debugging): Set cp_lexer_debug_stream to stderr.
        (cp_lexer_stop_debugging): Set cp_lexer_debug_stream to NULL.
        * parser.h (cp_lexer_dump_tokens): Remove declaration.
        (cp_debug_parser): Declare.

2011-10-17  Michael Spertus  <mike_spertus@symantec.com>

        * cp-tree.def: Add BASES as a new tree code.
        * cp-tree.h (enum cp_trait_kind): Add CPTK_BASES, CPTK_DIRECT_BASES.
        (BASES_TYPE, BASES_DIRECT): Define.
        (calculate_bases, finish_bases, calculate_direct_bases): Declare.
        * parser.c (cp_parser_trait_expr, cp_parser_template_argument_list,
        (cp_parser_simple_type_specifier, cp_parser_save_nsdmi): Use them.
        * pt.c (find_parameter_packs_r, tsubst_pack_expansion): Likewise.
        * semantics.c (calculate_bases, finish_bases, calculate_direct_bases,
        dfs_calculate_bases_pre, dfs_calculate_bases_post,
        calculate_bases_helper): Define.

2011-10-17  Jason Merrill  <jason@redhat.com>

        PR c++/50736
        * parser.c (cp_parser_lambda_introducer): Check for more
        invalid captures.

2011-10-17  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/44524
        * typeck.c (build_class_member_access_expr): Provide a better error
        message for X.Y where X is a pointer to class type.
        (finish_class_member_access_expr): Likewise.

2011-10-15  Tom Tromey  <tromey@redhat.com>
            Dodji Seketeli  <dodji@redhat.com>

        * error.c (cp_diagnostic_starter): Pass the relevant location to
        diagnostic_report_current_module.
        (cp_diagnostic_finalizer): Call virt_loc_aware_diagnostic_finalizer.

2011-10-17  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/48489
        * typeck.c (finish_class_member_access_expr): Fix error call
        for TREE_CODE (access_path) == TREE_BINFO.

2011-10-15  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50732
        * semantics.c (finish_trait_expr): Do not try to instantiate the
        the base type of an __is_base_of trait.
        (check_trait_type): Return a tree; use complete_type_or_else.

2011-10-14  Jason Merrill  <jason@redhat.com>

        PR c++/50563
        * parser.c (cp_parser_cache_group): Handle end==CPP_COMMA.
        (cp_parser_save_nsdmi): Pass it.

        PR c++/50707
        * method.c (walk_field_subobs): Check for NSDMI before
        complaining about uninitialized fields.

        * pt.c (tsubst_decl) [FIELD_DECL]: Use void_zero_node
        instead of error_mark_node as a placeholder.

2011-10-14  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/38174
        * call.c (add_builtin_candidate): If two pointers have a composite
        pointer type, generate a single candidate with that type.

2011-10-13  Jason Merrill  <jason@redhat.com>

        PR c++/50614
        * cp-tree.h (VAR_TEMPL_TYPE_FIELD_OR_FUNCTION_DECL_CHECK): New.
        (DECL_TEMPLATE_INFO): Use it.
        * pt.c (tsubst_decl) [FIELD_DECL]: Set DECL_TEMPLATE_INFO
        if the decl has an NSDMI.
        * init.c (perform_member_init): Use it.

        PR c++/50437
        * cp-tree.h (struct tree_lambda_expr): Add closure field.
        (LAMBDA_EXPR_CLOSURE): New.
        * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Likewise.
        * semantics.c (build_lambda_object): Use it instead of TREE_TYPE.
        (begin_lambda_type, lambda_function, add_capture): Likewise.
        (add_default_capture, lambda_expr_this_capture): Likewise.

2011-10-13   Diego Novillo  <dnovillo@google.com>

        * cp-tree.h (struct language_function): Rename in_function_try_handler
        to x_in_function_try_handler.
        Rename in_base_initializer to x_in_base_initializer.
        Update all users.

2011-10-13   Diego Novillo  <dnovillo@google.com>

        * class.c (sorted_fields_type_new): Factor out of ...
        (finish_struct_1): ... here.

2011-10-13  Jason Merrill  <jason@redhat.com>

        PR c++/50618
        * init.c (expand_aggr_init_1): Don't zero-initialize virtual
        bases of a base subobject.

2011-10-12  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50594
        * decl.c (cxx_init_decl_processing): Add
        __attribute__((externally_visible)) to operator new and
        operator delete library fn.

2011-10-11  Michael Meissner  <meissner@linux.vnet.ibm.com>

        * decl.c (duplicate_decls): Delete old interface with two parallel
        arrays to hold standard builtin declarations, and replace it with
        a function based interface that can support creating builtins on
        the fly in the future.  Change all uses, and poison the old
        names.  Make sure 0 is not a legitimate builtin index.
        * except.c (build_eh_type_type): Ditto.
        (choose_personality_routine): Ditto.
        * semantics.c (finish_omp_atomic): Ditto.
        (finish_omp_barrier): Ditto.
        (finish_omp_flush): Ditto.
        (finish_omp_taskwait): Ditto.

2011-10-11  Jason Merrill  <jason@redhat.com>

        PR c++/49855
        PR c++/49896
        * cp-tree.def (IMPLICIT_CONV_EXPR): New.
        * call.c (perform_implicit_conversion_flags): Build it
        instead of NOP_EXPR.
        * cp-objcp-common.c (cp_common_init_ts): It's typed.
        * cxx-pretty-print.c (pp_cxx_cast_expression): Handle it.
        (pp_cxx_expression): Likewise.
        * error.c (dump_expr): Likewise.
        * semantics.c (potential_constant_expression_1): Likewise.
        * tree.c (cp_tree_equal): Likewise.
        (cp_walk_subtrees): Likewise.
        * pt.c (iterative_hash_template_arg): Likewise.
        (for_each_template_parm_r): Likewise.
        (type_dependent_expression_p): Likewise.
        (tsubst_copy, tsubst_copy_and_build): Handle IMPLICIT_CONV_EXPR
        and CONVERT_EXPR.
        * cp-tree.h (IMPLICIT_CONV_EXPR_DIRECT_INIT): New.

2011-10-11  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50611
        * pt.c (tsubst_copy_and_build): If (complain & tf_error) is false
        do not call unqualified_name_lookup_error.

2011-10-10  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50660
        * call.c (conversion_null_warnings): Don't look through references.

2011-10-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/38980
        * init.c (constant_value_1): Add bool parameter.
        (decl_constant_value_safe): Add.
        (integral_constant_value): Adjust.
        (decl_constant_value): Adjust.
        * cp-tree.h (decl_constant_value_safe): Declare.
        * typeck.c (decay_conversion): Use decl_constant_value_safe.
        * call.c (convert_like_real): Likewise.

2011-10-09  Jakub Jelinek  <jakub@redhat.com>
            Diego Novillo  <dnovillo@google.com>

        * pt.c (reregister_specialization): Use htab_find instead of
        htab_find_slot with INSERT.
        (maybe_process_partial_specialization, lookup_template_class_1): Change
        slot variable type to void ** to avoid aliasing problems.
        (register_specialization): Likewise.  Use slot != NULL instead of
        more expensive !optimize_specialization_lookup_p (tmpl) test.

2011-10-08  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/34927
        * typeck2.c (abstract_virtuals_error_sfinae): Don't produce duplicate
        inform messages in case of cloned destructor.

2011-10-06  Jason Merrill  <jason@redhat.com>

        PR c++/39164
        * decl.c (grokfndecl): Diagnose redefinition of defaulted fn.

2011-10-02  Jason Merrill  <jason@redhat.com>

        * pt.c (tsubst_pack_expansion): Re-use ARGUMENT_PACK_SELECTs.
        Change unsubstituted_packs to bool.

        * parser.c (cp_parser_range_for): Don't try to deduce from {}
        in a template.

        PR c++/35722
        Implement N2555 (expanding pack expansion to fixed parm list)
        * pt.c (coerce_template_parms): Allow expanding a pack expansion
        to a fixed-length argument list.
        (unify_pack_expansion): Handle explicit args properly.
        (unify) [TREE_VEC]: Handle pack expansions here.
        [TYPE_ARGUMENT_PACK]: Not here.
        (tsubst_pack_expansion): Don't try to do partial substitution.
        (pack_deducible_p): New.
        (fn_type_unification): Use it.
        (find_parameter_packs_r): Take the TYPE_MAIN_VARIANT
        of a type parameter.
        (check_non_deducible_conversion): Split from type_unification_real.
        (unify_one_argument): Split from type_unification_real...
        (unify_pack_expansion): ...and here.  Drop call_args_p parm.
        (type_unification_real, unify, more_specialized_fn): Adjust.

        * class.c (fixed_type_or_null): Handle NSDMI.
        * method.c (walk_field_subobs): Disable NSDMI noexcept checking
        for now.

2011-09-30  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (TREE_NEGATED_INT): Remove.
        * semantics.c (finish_unary_op_expr): Don't set it.

2011-09-30  Janis Johnson  <janisjo@codesourcery.com>

        PR c++/44473
        * mangle.c (write_type): Handle CV qualifiers for decimal classes.

2011-09-26   Andi Kleen <ak@linux.intel.com>

        * repo.c (finish_repo): Use HOST_WIDE_INT_PRINT_HEX_PURE.

2011-09-28  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/45278
        * typeck.c (cp_build_binary_op): With -Wextra, warn for ordered
        comparison of pointer with zero.

2011-09-27  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/31489
        * parser.c (cp_parser_elaborated_type_specifier): For RECORD_TYPE,
        set CLASSTYPE_DECLARED_CLASS.

2011-09-27  Jakub Jelinek  <jakub@redhat.com>

        * decl.c (duplicate_decls): If compatible stpcpy prototype
        is seen, set implicit_built_in_decls[BUILT_IN_STPCPY].

2011-09-26  Jason Merrill  <jason@redhat.com>

        PR c++/45012
        * pt.c (tsubst_copy_and_build) [CONST_DECL]: Don't pull out
        constant value if we're still in a template.

        PR c++/46105
        * typeck.c (structural_comptypes): Ignore cv-quals on typename scope.

        PR c++/50508
        * semantics.c (cxx_eval_logical_expression): Use tree_int_cst_equal
        rather than ==.

2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/45487
        * error.c (dump_template_bindings): Separate bindings with semicolons
        instead of commas.

2011-09-26  Jason Merrill  <jason@redhat.com>

        PR c++/50512
        * call.c (compare_ics): Only consider rvaluedness_matches_p
        if the target type is the same or it too differs in rvalueness.

        PR c++/50523
        * call.c (implicit_conversion): Mask out inappropriate LOOKUP
        flags at the top of the function.

        * pt.c (tsubst_copy) [PARM_DECL]: Handle 'this' in NSDMI.

2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

        * pt.c (convert_nontype_argument): Handle NULLPTR_TYPE.

2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/26747
        * cp-gimplify.c (get_bc_label): Remove obsolete diagnostics.

2011-09-25  Jason Merrill  <jason@redhat.com>

        * parser.c (inject_this_parameter): Split out from
        cp_parser_late_return_type_opt.
        (cp_parser_class_specifier_1): Use it for NSDMIs.
        * tree.c (bot_replace): Replace NSDMI 'this' with real 'this'.

2011-09-24  Jason Merrill  <jason@redhat.com>

        * except.c (expr_noexcept_p): Split out from finish_noexcept_expr.
        * cp-tree.h: Declare it.
        * method.c (walk_field_subobs): Use it.

        * init.c (perform_member_init): Instantiate NSDMI here.
        * pt.c (tsubst_decl) [FIELD_DECL]: Not here.

        Handle deferred parsing of NSDMIs.
        * parser.h (cp_unparsed_functions_entry): Add nsdmis field.
        * parser.c (unparsed_nsdmis, cp_parser_save_nsdmi): New.
        (cp_parser_late_parse_one_default_arg): Split out from
        cp_parser_late_parsing_default_args.
        (cp_parser_late_parsing_nsdmi): New.
        (push_unparsed_function_queues): Set it.
        (cp_parser_parameter_declaration): Save the '=' token.
        (cp_parser_template_parameter): Likewise.
        (cp_parser_default_argument): Call cp_parser_initializer
        rather than cp_parser_initializer_clause.
        (cp_parser_class_specifier_1): Parse unparsed_nsdmis.
        (cp_parser_member_declaration): Handle nsdmis.
        * decl2.c (grokfield): Handle DEFAULT_ARG for a function.

        Implement C++11 non-static data member initializers.
        * cp-tree.h (enum cpp_warn_str): Add CPP0X_NSDMI.
        * error.c (maybe_warn_cpp0x): Handle it.
        * call.c (convert_like_real) [ck_user]: Don't complain about
        using an explicit constructor for direct-initialization.
        * class.c (check_field_decl): Fix ancient typo.
        (check_field_decls): NSDMIs make the default ctor non-trivial.
        * decl.c (cp_finish_decl): Record NSDMI.
        (grokdeclarator): Allow NSDMI.
        * decl2.c (grokfield): Allow NSDMI.  Correct LOOKUP flags.
        * init.c (perform_member_init): Use NSDMI.
        * method.c (walk_field_subobs): Check for NSDMI.
        * parser.c (cp_parser_member_declaration): Parse { } init.
        * semantics.c (register_constexpr_fundef): Don't talk about
        a return statement in a constexpr constructor.
        (cxx_eval_call_expression): Check DECL_INITIAL instead of
        DECL_SAVED_TREE.

2011-09-24  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/44267
        * class.c (build_base_path): Add a tsubst_flags_t parameter.
        (convert_to_base): Adjust call.
        * typeck.c (build_class_member_access_expr,
        get_member_function_from_ptrfunc, build_static_cast_1): Likewise.
        * init.c (dfs_initialize_vtbl_ptrs, emit_mem_initializers): Likewise.
        * method.c (do_build_copy_constructor, do_build_copy_assign): Likewise.
        * rtti.c (build_dynamic_cast_1): Likewise.
        * typeck2.c (build_scoped_ref, build_m_component_ref): Likewise.
        * call.c (build_over_call, build_special_member_call): Likewise.
        * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
        build_up_reference): Likewise.
        * cp-tree.h (build_base_path): Adjust declaration.

2011-09-23  Jason Merrill  <jason@redhat.com>

        Core 253 - allow const objects with no initializer or
        user-provided default constructor if the defaulted constructor
        initializes all the subobjects.
        PR c++/20039
        PR c++/42844
        * class.c (default_init_uninitialized_part): New.
        * cp-tree.h: Declare it.
        * decl.c (check_for_uninitialized_const_var): Use it.
        * init.c (perform_member_init): Likewise.
        (build_new_1): Likewise.
        * method.c (walk_field_subobs): Likewise.

2011-09-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50258
        * decl.c (check_static_variable_definition): Allow in-class
        initialization of static data member of non-integral type in
        permissive mode.

2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50491
        * semantics.c (potential_constant_expression_1): Handle USING_DECL.

2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50371
        * pt.c (invalid_nontype_parm_type_p): Handle NULLPTR_TYPE.

2011-09-22  Jonathan Wakely  <jwakely.gcc@gmail.com>
            Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50344
        * friend.c (make_friend_class): cv-qualification is ok in a
        friend declaration.

2011-09-21  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50454
        * decl.c (grokdeclarator): Consistently handle both __int128
        and unsigned __int128 with -pedantic; suppress diagnostic in
        system headers.

2011-09-20  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (DECL_TEMPLOID_INSTANTIATION): New.
        (DECL_GENERATED_P): New.
        * class.c (finalize_literal_type_property): Use them.
        * semantics.c (is_instantiation_of_constexpr): Likewise.
        (register_constexpr_fundef): Likewise.

        * call.c (convert_default_arg): Avoid redundant copy.
        * tree.c (bot_manip): Copy everything.

2011-09-20 Roberto Agostino Vitillo <ravitillo@lbl.gov>

        * call.c (build_new_method_call_1): Use non-virtual lookup
        for final virtual functions.

2011-09-16  Jason Merrill  <jason@redhat.com>

        PR c++/50424
        * call.c (set_flags_from_callee): Split out from build_call_a.
        * cp-tree.h: Declare it.
        * tree.c (bot_manip): Call it.

2011-09-15  Jason Merrill  <jason@redhat.com>

        PR c++/50365
        * parser.c (cp_parser_late_return_type_opt): Check quals parameter
        for clearing current_class_ptr, too.

2011-09-14   Diego Novillo  <dnovillo@google.com>

        * name-lookup.c (lookup_arg_dependent): Use conditional
        timevars.
        * decl.c (xref_tag): Likewise.

2011-09-14  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50391
        * pt.c (regenerate_decl_from_template): Don't pass an error_mark_node
        to build_exception_variant.

2011-09-13  Dodji Seketeli  <dodji@redhat.com>

        PR c++/48320
        * pt.c (template_parameter_pack_p): Support TEMPLATE_PARM_INDEX
        nodes.  Add a comment.
        (arg_from_parm_pack_p):  New static function, factorized out from
        tsubst_pack_expansion and extended to support non-type parameter
        packs represented with TEMPLATE_PARM_INDEX nodes.
        (tsubst_pack_expansion): Use arg_from_parm_pack_p.

2011-09-12  Jason Merrill  <jason@redhat.com>

        * pt.c (type_unification_real): Fix handling of DEDUCE_CONV
        with no deducible template parameters.
        * call.c (rejection_reason_code): Add rr_template_conversion.
        (print_z_candidate): Handle it.
        (template_conversion_rejection): New.
        (build_user_type_conversion_1): Use it.

        * call.c (merge_conversion_sequences): Set bad_p and user_conv_p
        on all of the second conversion sequence.
        (build_user_type_conversion_1): Set bad_p on the ck_user conv.
        (convert_like_real): Handle bad ck_ref_bind with user_conv_p in the
        first section.  Fix loop logic.
        (initialize_reference): Call convert_like for diagnostics when
        we have a (bad) conversion.

        * call.c (convert_class_to_reference)
        (convert_class_to_reference_1): Remove.
        (reference_binding): Use build_user_type_conversion_1 instead.

        * call.c (initialize_reference): Add flags parm.
        * decl.c (grok_reference_init): Likewise.
        (check_initializer): Pass it.
        * typeck.c (convert_for_initialization): Likewise.
        * cp-tree.h: Adjust.

        * cp-tree.h (LOOKUP_NO_RVAL_BIND): New.
        * call.c (conditional_conversion): Use it.
        (reference_binding): Fix handling of xvalues.

2011-09-09  Jason Merrill  <jason@redhat.com>

        * call.c (implicit_conversion): Check BRACE_ENCLOSED_INITIALIZER_P
        before forcing instantiation.

2011-09-08  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50324
        * typeck2.c (digest_init_r): Call complete_type_or_maybe_complain
        instead of complete_type_or_else.

2011-09-08  Dodji Seketeli  <dodji@redhat.com>

        PR c++/33255 - Support -Wunused-local-typedefs warning
        * name-lookup.c (pushdecl_maybe_friend_1): Use the new
        record_locally_defined_typedef.
        * decl.c (finish_function): Use the new
        maybe_warn_unused_local_typedefs.
        (grokfield): Use the new record_locally_defined_typedef.
        * parser.c (lookup_name): Use the new maybe_record_typedef_use.

2011-09-07  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/50309
        * decl.c (grokdeclarator): Check u.function.exception_specification
        for error_mark_node.

2011-09-07  Jason Merrill  <jason@redhat.com>

        PR c++/50298
        * parser.c (cp_parser_member_declaration): Don't require a constant
        rvalue here in C++0x.

        * pt.c (type_unification_real): Correct complain arg for tsubsting
        default template args.

        * pt.c (tsubst_aggr_type): Check TYPE_P before tsubsting.

2011-09-06  Jason Merrill  <jason@redhat.com>

        PR c++/50296
        * semantics.c (register_constexpr_fundef): Call is_valid_constexpr_fn.
        (cx_check_missing_mem_inits): Handle bases and empty trivial members.
        (validate_constexpr_fundecl): Remove.
        * decl.c (start_preparsed_function): Don't call it.
        * cp-tree.h: Don't declare it.

2011-09-04  Jason Merrill  <jason@redhat.com>

        PR c++/49267
        * call.c (reference_binding): Don't set is_lvalue for an rvalue
        reference rfrom.

        PR c++/49267
        PR c++/49458
        DR 1328
        * call.c (reference_binding): Set rvaluedness_matches_p properly
        for reference to function conversion ops.
        (compare_ics): Adjust.

        * class.c (trivial_default_constructor_is_constexpr): Rename from
        synthesized_default_constructor_is_constexpr.
        (type_has_constexpr_default_constructor): Adjust.
        (add_implicitly_declared_members): Call it instead.
        (explain_non_literal_class): Explain about non-constexpr default ctor.
        * cp-tree.h: Adjust.
        * method.c (synthesized_method_walk): Adjust.
        * semantics.c (explain_invalid_constexpr_fn): Handle defaulted
        functions, too.

        PR c++/50248
        Core 1358
        * init.c (perform_member_init): Don't diagnose missing inits here.
        (emit_mem_initializers): Or here.
        * method.c (process_subob_fn): Don't instantiate constexpr ctors.
        * semantics.c (cx_check_missing_mem_inits): New.
        (explain_invalid_constexpr_fn): Call it.
        (register_constexpr_fundef): Likewise.  Leave
        DECL_DECLARED_CONSTEXPR_P set when the body is unsuitable.
        (cxx_eval_call_expression): Adjust diagnostics.
        (cxx_eval_constant_expression): Catch use of 'this' in a constructor.

2011-08-30  Jason Merrill  <jason@redhat.com>

        PR c++/50084
        * cp-tree.h (cp_decl_specifier_seq): Rename user_defined_type_p
        to type_definition_p.
        * parser.c (cp_parser_set_decl_spec_type): Likewise.
        * decl.c (grokdeclarator): Check it.

        PR c++/50089
        * semantics.c (finish_id_expression): Use
        current_nonlambda_class_type for qualified-ids.

        PR c++/50114
        * decl.c (poplevel): Disable for scope compatibility hack
        in C++11 mode.

        PR c++/50220
        * semantics.c (add_capture): Call complete_type for copy.

        PR c++/50234
        * semantics.c (cxx_eval_component_reference): Handle
        value-initialization for omitted initializers.

2011-08-29  Jason Merrill  <jason@redhat.com>

        PR c++/50224
        * semantics.c (finish_id_expression): Mark captured variables used.

2011-08-29  Jakub Jelinek  <jakub@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/50207
        * class.c (finish_struct_1): Complain if the first field is
        artificial.

2011-08-29  Jason Merrill  <jason@redhat.com>

        PR c++/50209
        Core DR 994
        * parser.c (cp_parser_default_argument): Use
        cp_parser_initializer_clause.
        (cp_parser_late_parsing_default_args): Likewise.

2011-08-26  Jason Merrill  <jason@redhat.com>

        Core DR 342
        PR c++/48582
        * pt.c (check_valid_ptrmem_cst_expr): A null member pointer value
        is valid in C++11.
        (convert_nontype_argument): Likewise.  Implicitly convert nullptr
        and do constant folding.
        * mangle.c (write_template_arg_literal): Mangle null member
        pointer values as 0.
        * call.c (null_member_pointer_value_p): New.
        * cp-tree.h: Declare it.

2011-08-25  Jason Merrill  <jason@redhat.com>

        * call.c (convert_like_real): Remove redundant complain checks.

        PR c++/50157
        * call.c (convert_like_real): Exit early if bad and !tf_error.

2011-08-23  Jason Merrill  <jason@redhat.com>

        * typeck2.c (build_functional_cast): Don't try to avoid calling
        build_value_init.
        * pt.c (instantiate_class_template_1): Don't copy TYPE_HAS_* flags.

2011-08-23  Jason Merrill  <jason@redhat.com>

        PR c++/49045
        Core 1321
        * tree.c (dependent_name): New.
        (cp_tree_equal): Two calls with the same dependent name are
        equivalent even if the overload sets are different.

2011-08-23  Jason Merrill  <jason@redhat.com>

        * tree.c (build_target_expr): Set TREE_CONSTANT on
        literal TARGET_EXPR if the value is constant.
        * typeck2.c (build_functional_cast): Don't set it here.

2011-08-23  Jason Merrill  <jason@redhat.com>

        Core 903 (partial)
        * call.c (null_ptr_cst_p): Only 0 qualifies in C++11.

2011-08-23  Jason Merrill  <jason@redhat.com>

        Core 975
        * decl.c (cxx_init_decl_processing): Initialize
        dependent_lambda_return_type_node.
        * cp-tree.h (cp_tree_index): Add CPTI_DEPENDENT_LAMBDA_RETURN_TYPE.
        (dependent_lambda_return_type_node): Define.
        (DECLTYPE_FOR_LAMBDA_RETURN): Remove.
        * semantics.c (lambda_return_type): Handle overloaded function.
        Use dependent_lambda_return_type_node instead of
        DECLTYPE_FOR_LAMBDA_RETURN.
        (apply_lambda_return_type): Don't check dependent_type_p.
        * pt.c (tsubst_copy_and_build): Handle lambda return type deduction.
        (instantiate_class_template_1): Likewise.
        (tsubst): Don't use DECLTYPE_FOR_LAMBDA_RETURN.
        * mangle.c (write_type): Likewise.
        * typeck.c (structural_comptypes): Likewise.
        (check_return_expr): Handle dependent_lambda_return_type_node.

2011-08-23  Jason Merrill  <jason@redhat.com>

        PR c++/50024
        * semantics.c (maybe_constant_value): Don't try to fold { }.
        * pt.c (build_non_dependent_expr): Don't wrap { }.
        * init.c (build_value_init): Allow scalar value-init in templates.

2011-08-23  Jason Merrill  <jason@redhat.com>

        * semantics.c (potential_constant_expression_1): Allow 'this'.

2011-08-23  Jakub Jelinek  <jakub@redhat.com>

        PR c++/50158
        * typeck.c (cp_build_modify_expr): Call mark_rvalue_use on rhs
        if it has side-effects and needs to be preevaluated.

2011-08-23  Siddhesh Poyarekar  <siddhesh.poyarekar@gmail.com>

        PR c++/50055
        * except.c (begin_eh_spec_block): Build EH_SPEC block on the
        same line as the function.

2011-08-23  Jakub Jelinek  <jakub@redhat.com>

        PR c++/46862
        * class.c (finish_struct_1): If TYPE_TRANSPARENT_AGGR is set on a type
        which doesn't have any fields, clear it and diagnose.

2011-08-18  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
            Marc Glisse  <marc.glisse@normalesup.org>

        PR libstdc++-v3/1773
        * mangle.c (decl_mangling_context): Call
        targetm.cxx.decl_mangling_context.
        (write_unscoped_name): Use decl_mangling_context.

2011-08-18  Dodji Seketeli  <dodji@redhat.com>

        PR c++/45625
        * pt.c (parameter_of_template_p): Handle comparison with DECLs of
        template parameters as created by process_template_parm.

2011-08-16  Jason Merrill  <jason@redhat.com>

        PR c++/50086
        * pt.c (unify_pack_expansion): Correct overloaded unification
        logic.

        * pt.c (instantiate_class_template_1): If DECL_PRESERVE_P is set
        on a member function or static data member, call mark_used.

        PR c++/50054
        * typeck2.c (cxx_incomplete_type_diagnostic): Handle
        init_list_type_node.

2011-08-13  Jason Merrill  <jason@redhat.com>

        PR c++/50075
        * name-lookup.c (local_bindings_p): New.
        * name-lookup.h: Declare it.
        * lex.c (unqualified_name_lookup_error): Use it.

        PR c++/50059
        * error.c (dump_expr): Handle MODIFY_EXPR properly.

        * decl.c (grok_reference_init): Handle constexpr here.
        * call.c (initialize_reference): Not here.

2011-08-12  David Li  <davidxl@google.com>

        * class.c (update_vtable_entry_for_fn): Set
        LOST_PRIMARY bit properly.

2011-08-12  Jason Merrill  <jason@redhat.com>

        PR c++/50034
        * call.c (convert_arg_to_ellipsis): force_rvalue only in
        potentially evaluated context.

2011-08-12  Richard Guenther  <rguenther@suse.de>

        * call.c (build_over_call): Instead of memcpy use an
        assignment of two MEM_REFs.

2011-08-11  Romain Geissler  <romain.geissler@gmail.com>
            Brian Hackett  <bhackett1024@gmail.com>

        * decl.c (cp_finish_decl): Invoke callbacks on finish_decl event.

2011-08-10  Richard Guenther  <rguenther@suse.de>

        * call.c (build_over_call): Call memcpy unconditionally.

2011-08-08  Jason Merrill  <jason@redhat.com>

        PR c++/50020
        * semantics.c (finish_call_expr): Don't look at 'this' if we
        had an explicit object argument.

        PR c++/50011
        * typeck2.c (check_narrowing): Fix integer logic.

2011-08-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        * Make-lang.in (g++$(exeext)): Add $(EXTRA_GCC_LIBS).

2011-08-05  Jason Merrill  <jason@redhat.com>

        PR c++/48993
        * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Sorry
        on 'this' in a constructor.

        PR c++/49921
        * semantics.c (finish_decltype_type): Call invalid_nonstatic_memfn_p.

        PR c++/49669
        * init.c (perform_member_init): Handle invalid array initializer.

        PR c++/49988
        * semantics.c (cxx_eval_array_reference): Handle failure to
        reduce the array operand to something we can work with.

2011-08-05  Gabriel Charette  <gchare@google.com>

        * decl.c (finish_function): Remove unecessary line 0 hack.

2011-08-05  Jason Merrill  <jason@redhat.com>

        PR c++/47453
        * typeck.c (build_x_compound_expr_from_list): Also complain
        about ({...}).

        PR c++/49812
        * typeck.c (cp_build_unary_op) [POSTINCREMENT_EXPR]: Strip cv-quals.

        PR c++/49983
        * parser.c (cp_parser_range_for): Only do auto deduction in
        template if the range is non-dependent.

        * init.c (perform_member_init): Always build_aggr_init
        for a class member with an explicit mem-initializer.

        * pt.c (unify) [TEMPLATE_TYPE_PARM]: Allow VLA for C++0x 'auto'.

2011-08-04  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/49905
        * decl.c (cxx_init_decl_processing): Add alloc_size (1) attribute
        for operator new and operator new [].  Call init_attributes.

2011-08-02  Jason Merrill  <jason@redhat.com>

        PR c++/43886
        * parser.c (cp_parser_lambda_body): Clear local_variables_forbidden_p.

        PR c++/49577
        * typeck2.c (check_narrowing): Check unsigned mismatch.
        * semantics.c (finish_compound_literal): check_narrowing.

        PR c++/49593
        * pt.c (find_parameter_packs_r): Handle CONSTRUCTOR.

        PR c++/49803
        * init.c (sort_mem_initializers): Initialize uses_unions_p here.
        (build_field_list): Not here.

        PR c++/49834
        * parser.c (build_range_temp): Split out from...
        (cp_convert_range_for): ...here.
        (do_range_for_auto_deduction): New.
        (cp_parser_range_for): Use it.

2011-08-02  Jakub Jelinek  <jakub@redhat.com>

        * cp-tree.h (finish_omp_atomic): Adjust prototype.
        (cxx_omp_const_qual_no_mutable): New prototype.
        (finish_omp_taskyield): New prototype.
        * parser.c (cp_parser_omp_atomic): (cp_parser_omp_atomic): Handle
        parsing OpenMP 3.1 atomics.  Adjust finish_omp_atomic caller.
        (cp_parser_omp_clause_name): Handle final and mergeable clauses.
        (cp_parser_omp_clause_final, cp_parser_omp_clause_mergeable): New
        functions.
        (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_FINAL
        and PRAGMA_OMP_CLAUSE_MERGEABLE.
        (OMP_TASK_CLAUSE_MASK): Allow final and mergeable clauses.
        (cp_parser_omp_taskyield): New function.
        (cp_parser_pragma): Handle PRAGMA_OMP_TASKYIELD.
        (cp_parser_omp_clause_reduction): Handle min and max.
        * pt.c (tsubst_expr) <case OMP_ATOMIC>: Handle OpenMP 3.1 atomics.
        (tsubst_omp_clauses): Handle OMP_CLAUSE_FINAL and
        OMP_CLAUSE_MERGEABLE.
        * semantics.c (finish_omp_atomic): Add OPCODE, V, LHS1 and RHS1
        arguments.  Handle OpenMP 3.1 atomics.  Adjust c_finish_omp_atomic
        caller.
        (finish_omp_clauses): Don't complain about const qualified
        predetermined vars and static data members in firstprivate clause.
        Handle OMP_CLAUSE_FINAL and OMP_CLAUSE_MERGEABLE. Handle MIN_EXPR
        and MAX_EXPR.
        (finish_omp_taskyield): New function.
        * cp-gimplify.c (cxx_omp_const_qual_no_mutable): New function.
        (cxx_omp_predetermined_sharing): Use it.

2011-08-02  Jason Merrill  <jason@redhat.com>

        * call.c (build_call_a): Also check at_function_scope_p.

2011-08-01  Jason Merrill  <jason@redhat.com>

        PR c++/49932
        * mangle.c (write_prefix): Handle decltype.

        PR c++/49924
        * semantics.c (cxx_eval_vec_init_1): Fix logic.

        PR c++/49813
        * semantics.c (potential_constant_expression_1): Allow any builtin.
        (morally_constexpr_builtin_function_p): Remove.

2011-07-29  Jason Merrill  <jason@redhat.com>

        PR c++/49867
        * parser.c (cp_parser_lambda_expression): Also clear in_statement
        and in_switch_statement_p.
        (cp_parser_class_specifier): Likewise.

2011-07-28  Jason Merrill  <jason@redhat.com>

        PR c++/49808
        * pt.c (tsubst) [TEMPLATE_PARM_INDEX]: Call convert_from_reference.
        (convert_nontype_argument, tsubst_template_arg): Handle its output.

2011-07-28  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/49813
        * semantics.c (potential_constant_expression_1):  Handle FMA_EXPR.

2011-07-27  Jeffrey Yasskin  <jyasskin@google.com>

        * pt.c (build_template_decl): Copy the function_decl's
        source location to the new template_decl.

2011-07-26  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/49776
        * typeck.c (cp_build_modify_expr): Check digest_init return value
        for error_mark_node.

2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>

        PR bootstrap/49845
        * parser.c (cp_parser_perform_range_for_lookup): Always assign *being
        and *end before returning.

2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/49838
        * parser.c (cp_parser_perform_range_for_lookup): Early return if
        error_operand_p (range).

2011-07-23  Jason Merrill  <jason@redhat.com>

        PR c++/49823
        * parser.c (cp_parser_qualifying_entity): Handle templates.

2011-07-22  Jason Merrill  <jason@redhat.com>

        PR c++/49793
        * typeck2.c (check_narrowing): Downgrade permerror to pedwarn.
        Make conditional on -Wnarrowing.

2011-07-22  Ville Voutilainen  <ville.voutilainen@gmail.com>

        Warn about the use of final/override in non-c++0x mode, and
        add __final for non-c++0x mode.
        * cp-tree.h (cpp0x_warn_str): Add CPP0X_OVERRIDE_CONTROLS.
        * error.c (maybe_warn_cpp0x): Adjust.
        * parser.c (cp_parser_virt_specifier_seq_opt): Use it. Add
        '__final' as a non-c++0x alternative for 'final'.

2011-07-22  Jason Merrill  <jason@redhat.com>
            Mark Glisse  <marc.glisse@normalesup.org>

        PR c++/30112
        * decl.c (cp_finish_decl): Apply pragma redefine_extname in
        other namespaces as well.
        * name-lookup.c (c_linkage_bindings): Define.
        (lookup_extern_c_fun_in_all_ns): Rename from
        lookup_extern_c_fun_binding_in_all_ns.  Return tree.
        (pushdecl_maybe_friend_1): Adjust.  Copy DECL_ASSEMBLER_NAME.

2011-07-20  Jason Merrill  <jason@redhat.com>

        * parser.c (cp_parser_initializer_list): Handle C99 .id= and [N]=
        designated initializer syntax.
        * decl.c (check_array_designated_initializer): Add index parm.
        (maybe_deduce_size_from_array_init): Pass it.
        (reshape_init_array_1): Likewise.

        PR c++/6709 (DR 743)
        PR c++/42603 (DR 950)
        * parser.c (token_is_decltype, cp_lexer_next_token_is_decltype): New.
        (cp_parser_nested_name_specifier_opt): Allow decltype.
        (cp_parser_qualifying_entity): Likewise.
        (cp_parser_decltype): Replace source tokens with CPP_DECLTYPE.
        (cp_parser_simple_type_specifier): Handle decltype as scope.
        (cp_parser_base_specifier): Allow decltype.
        (cp_parser_base_clause): Don't crash on null base.
        * parser.h (CPP_KEYWORD, CPP_TEMPLATE_ID): Move to c-common.h.
        (CPP_NESTED_NAME_SPECIFIER, N_CP_TTYPES): Likewise.

2011-07-19  Jason Merrill  <jason@redhat.com>

        PR c++/49785
        * pt.c (coerce_template_parms): Handle non-pack after pack.

2011-07-19  Richard Guenther  <rguenther@suse.de>

        * call.c (build_special_member_call): Use fold_build_pointer_plus.
        * class.c (build_base_path): Likewise.
        (convert_to_base_statically): Likewise.
        (dfs_accumulate_vtbl_inits): Likewise.
        * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
        * except.c (expand_start_catch_block): Likewise.
        * init.c (expand_virtual_init): Likewise.
        (build_new_1): Likewise.
        (build_vec_delete_1): Likewise.
        (build_vec_delete): Likewise.
        * rtti.c (build_headof): Likewise.
        (tinfo_base_init): Likewise.
        * typeck.c (get_member_function_from_ptrfunc): Likewise.
        (cp_build_addr_expr_1): Likewise.
        * typeck2.c (build_m_component_ref): Likewise.

2011-07-18  Martin Jambor  <mjambor@suse.cz>

        * parser.c (cp_parser_parameter_declaration_list): Initialize
        parenthesized_p.

2011-07-16  Jason Merrill  <jason@redhat.com>

        * pt.c (tinst_level_tick, last_template_error_tick): Replace with
        last_error_tinst_level.
        (push_tinst_level, pop_tinst_level): Adjust.
        (problematic_instantiation_changed): Adjust.
        (record_last_problematic_instantiation): Adjust.
        * error.c (cp_print_error_function): Don't print
        current_function_decl if we're in a template instantiation context.
        (print_instantiation_full_context): Always print first line.

2011-07-16  Nathan Froyd  <froydnj@codesourcery.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/45329
        PR c++/48934
        * cp-tree.h (fn_type_unification): Add `bool' parameter.
        * pt.c (enum template_base_result): Define.
        (unify_success, unify_unknown): Define.
        (unify_parameter_deduction_failure): Define.
        (unify_invalid, unify_cv_qual_mismatch, unify_type_mismatch): Define.
        (unify_parameter_pack_mismatch): Define.
        (unify_parameter_pack_inconsistent): Define.
        (unify_ptrmem_cst_mismatch, unify_vla_arg): Define.
        (unify_expression_unequal, unify_inconsistency): Define.
        (unify_method_type_error, unify_arity): Likewise.
        (unify_too_many_parameters, unify_too_few_parameters): Define.
        (unify_arg_conversion, unify_no_common_base): Define.
        (unify_illformed_ptrmem_cst_expr): Define.
        (unify_substitution_failure): Define.
        (unify_inconsistent_template_template_parameters): Define.
        (unify_template_deduction_failure): Define.
        (unify_template_argument_mismatch): Define.
        (unify_overload_resolution_failure): Define.
        (comp_template_args_with_info): New function, split out from...
        (comp_template_args): ...here.  Call it.
        (deduction_tsubst_fntype): Add `complain' parameter'.  Pass it
        to tsubst.
        (unify): Add `explain_p' parameter.  Pass to all relevant calls.
        Call above status functions when appropriate.
        (resolve_overloaded_unification, try_one_overload): Likewise.
        (type_unification, type_unification_real): Likewise.
        (unify_pack_expansion): Likewise.
        (get_template_base, try_class_unification): Likewise.
        (get_bindings, more_specialized_fn): Pass false to unification
        calls.
        (get_class_bindings, do_auto_deduction): Likewise.
        (convert_nontype_argument): Likewise.
        (fn_type_unification): Likewise.  Pass tf_warning_or_error if
        explain_p.
        (get_template_base): Add `explain_p' parameter and pass it to
        try_class_unification.  Return an enum template_base_result.
        * class.c (resolve_address_of_overloaded_function): Pass false to
        fn_type_unification.
        * call.c (enum rejection_reason_code): Add new codes.
        (struct rejection_reason): Add template_unification field.
        Add template_instantiation field.
        (template_unification_rejection): Define.
        (template_unification_error_rejection): Define.
        (template_instantiation_rejection): Define.
        (invalid_copy_with_fn_template_rejection): Define.
        (add_template_candidate): Pass false to unify.
        Provide more rejection reasons when possible.
        (print_template_unification_rejection): Define.
        (print_arity_rejection): Define, split out from...
        (print_z_candidate): ...here.  Add cases for new rejection
        reasons.

2011-07-15  Jason Merrill  <jason@redhat.com>

        * Make-lang.in (check-g++-strict-gc): New.
        (cp/except.o): Depend on gt-cp-except.h
        * except.c: Include gt-cp-except.h.
        * config-lang.in (gtfiles): Add cp/except.c.
        * decl2.c (mark_used): Adjust constexpr condition, set
        function_depth around template instantiation.
        * parser.c (cp_parser_lambda_body): Set function_depth.
        * semantics.c (maybe_add_lambda_conv_op): Likewise.

        PR testsuite/49741
        * Make-lang.in (check-c++0x): Use --extra_opts instead of--tool_opts.

2011-07-13  Jason Merrill  <jason@redhat.com>

        * Make-lang.in (check-c++0x): New.

2011-07-13  Richard Sandiford  <richard.sandiford@linaro.org>

        * typeck2.c (split_nonconstant_init_1): Pass the initializer directly,
        rather than a pointer to it.  Return true if the whole of the value
        was initialized by the generated statements.  Use
        complete_ctor_at_level_p instead of count_type_elements.

2011-07-12   Diego Novillo  <dnovillo@google.com>

        * name-lookup.h (cp_binding_level): Rename from cxx_scope.
        Update all users.
        (struct cp_binding_level): Fix indentation.

2011-07-11  Jason Merrill  <jason@redhat.com>

        PR c++/49672
        * pt.c (extract_fnparm_pack): Split out from...
        (make_fnparm_pack): ...here.
        (instantiate_decl): Handle non-pack parms after a pack.
        * semantics.c (maybe_add_lambda_conv_op): Don't in a template.

        * decl2.c (decl_constant_var_p): Use decl_maybe_constant_var_p.

        PR c++/44609
        * cp-tree.h (struct tinst_level): Add errors field.
        * pt.c (neglectable_inst_p, limit_bad_template_recurson): New.
        (push_tinst_level): Don't start another decl in that case.
        (reopen_tinst_level): Adjust errors field.
        * decl2.c (cp_write_global_declarations): Don't complain about
        undefined inline if its template was defined.
        * mangle.c (mangle_decl_string): Handle failure from push_tinst_level.

2011-07-10  Jason Merrill  <jason@redhat.com>

        PR c++/49691
        * parser.c (cp_parser_late_return_type_opt): Check quals parameter
        rather than current_class_type to determine whether to set 'this'.
        (cp_parser_direct_declarator): Pass -1 to quals if member_p is false.
        (cp_parser_init_declarator): Pass down member_p.

2011-07-09  Jason Merrill  <jason@redhat.com>

        * tree.c (build_vec_init_elt): Strip TARGET_EXPR.

2011-07-08  Jason Merrill  <jason@redhat.com>

        PR c++/45437
        * typeck.c (cp_build_modify_expr): Preevaluate RHS.

        * method.c (use_thunk): Use cgraph_add_to_same_comdat_group.
        * optimize.c (maybe_clone_body): Likewise.
        * semantics.c (maybe_add_lambda_conv_op): Likewise.

        PR c++/45603
        * decl.c (expand_static_init): Don't get confused by user
        declaration of __cxa_guard_acquire.

        * typeck.c (cp_apply_type_quals_to_decl): Don't check
        COMPLETE_TYPE_P either.

        PR c++/49673
        * typeck.c (cp_apply_type_quals_to_decl): Don't check
        TYPE_NEEDS_CONSTRUCTING.

2011-07-07  Jason Merrill  <jason@redhat.com>

        PR c++/49663
        * pt.c (push_deduction_access_scope): Preserve
        processing_template_decl across push_to_top_level.
        And revert:
        * class.c (pushclass): Accept NULL argument.
        (popclass): Deal with popping null class.
        * pt.c (push_access_scope, pop_access_scope): Use them rather than
        push_to_top_level/pop_from_top_level.
        * name-lookup.c (lookup_name_real_1): Check current_class_type.

2011-07-07  Jakub Jelinek  <jakub@redhat.com>

        PR c/49644
        * typeck.c (cp_build_binary_op): For MULT_EXPR and TRUNC_DIV_EXPR with
        one non-complex and one complex argument, call save_expr on both
        operands.

2011-07-06  Jason Merrill  <jason@redhat.com>

        PR c++/49353
        * semantics.c (expand_or_defer_fn_1): Clear DECL_EXTERNAL
        on kept inlines.

        PR c++/49568
        * method.c (make_thunk, use_thunk): Copy DECL_COMDAT.

2011-07-05  Jason Merrill  <jason@redhat.com>

        PR c++/48157
        * pt.c (tsubst_qualified_id): Preserve TEMPLATE_ID_EXPR in
        partial instantiation.

        PR c++/49598
        * semantics.c (finish_id_expression): convert_from_reference.

2011-07-05  Richard Guenther  <rguenther@suse.de>

        * decl.c (cxx_init_decl_processing): Defer building common
        tree nodes to c_common_nodes_and_builtins.

2011-07-04  Jason Merrill  <jason@redhat.com>

        DR 1207
        PR c++/49589
        * mangle.c (write_expression): Handle 'this'.
        * parser.c (cp_parser_postfix_dot_deref_expression): Allow
        incomplete *this.
        * semantics.c (potential_constant_expression_1): Check that
        DECL_CONTEXT is set on 'this'.

        * error.c (dump_template_bindings): Don't print typenames
        for a partial instantiation.
        (dump_function_decl): If we aren't printing function arguments,
        print template arguments as <args> rather than [with ...].
        (dump_expr): Don't print return type or template header.
        [BASELINK]: Use BASELINK_FUNCTIONS rather than get_first_fn.
        * pt.c (dependent_template_arg_p): Handle null arg.

        * error.c (type_to_string): Avoid redundant akas.

2011-07-01  Jonathan Wakely  <jwakely.gcc@gmail.com>

        PR c++/49605
        * init.c (build_delete): Only warn for sfk_deleting_destructor.

2011-07-01  Jakub Jelinek  <jakub@redhat.com>

        * Make-lang.in (cp/decl.o): Depend on pointer-set.h.
        (cp/class.o): Likewise.
        (cp/error.o): Likewise.
        (cp/name-lookup.o): Likewise.
        (cp/decl2.o): Likewise.  Don't depend on $(POINTER_SET_H).

2011-07-01  Jason Merrill  <jason@redhat.com>

        PR c++/48261
        * pt.c (lookup_template_function): Handle non-function.

        PR c++/48593
        * pt.c (tsubst_qualified_id): Check PTRMEM_OK_P.
        * tree.c (build_qualified_name): Set PTRMEM_OK_P.
        * semantics.c (finish_parenthesized_expr): Clear PTRMEM_OK_P on
        SCOPE_REF, too.
        * cp-tree.h (PTRMEM_OK_P): Apply to SCOPE_REF, too.
        (QUALIFIED_NAME_IS_TEMPLATE): Switch to lang flag 1.

        PR c++/48883
        PR c++/49609
        * pt.c (resolve_nondeduced_context): Call mark_used.

        PR c++/49085
        * semantics.c (finish_offsetof): Complain about incomplete type.

2011-06-30  Jason Merrill  <jason@redhat.com>

        PR c++/49387
        * rtti.c (get_tinfo_decl): Call complete_type.

        PR c++/49569
        * method.c (implicitly_declare_fn): Set DECL_PARM_LEVEL and
        DECL_PARM_INDEX on rhs parm.

        * pt.c (iterative_hash_template_arg): Use cp_tree_operand_length.

        PR c++/49355
        * tree.c (stabilize_init): Handle aggregate initialization.

        PR c++/48481
        * name-lookup.c (struct arg_lookup): Add fn_set.
        (add_function): Check it.
        (lookup_arg_dependent_1): Initialize it.

2011-06-29  Jason Merrill  <jason@redhat.com>

        PR c++/49216
        * init.c (build_new_1): Pass {} down to build_vec_init.
        (build_vec_init): Handle it.

        DR 1207
        PR c++/49003
        * cp-tree.h (struct saved_scope): Add x_current_class_ptr,
        x_current_class_ref.
        (current_class_ptr, current_class_ref): Use them.
        * decl.c (build_this_parm): Handle getting the class type.
        * parser.c (cp_parser_late_return_type_opt): Set up 'this'
        for use within the trailing return type.

        * pt.c (tsubst_decl) [VAR_DECL]: In unevaluated operand,
        don't tsubst DECL_INITIAL unless our type use auto.

        PR c++/49520
        * semantics.c (constexpr_fn_retval): Handle CLEANUP_POINT_EXPR here.
        (massage_constexpr_body): Not here.

        PR c++/49554
        * semantics.c (lambda_proxy_type): New.
        (build_capture_proxy): Use it.
        * cp-tree.h (DECLTYPE_FOR_LAMBDA_PROXY): New.
        * pt.c (tsubst) [DECLTYPE_TYPE]: Use them.

        PR c++/45923
        * class.c (explain_non_literal_class): New.
        (finalize_literal_type_property): Call it.
        * cp-tree.h: Declare it.
        * semantics.c (ensure_literal_type_for_constexpr_object): Call it.
        (is_valid_constexpr_fn): Likewise.
        (massage_constexpr_body): Split out from...
        (register_constexpr_fundef): ...here.
        (is_instantiation_of_constexpr): New.
        (expand_or_defer_fn_1): Leave DECL_SAVED_TREE alone in that case.
        (explain_invalid_constexpr_fn): New.
        (cxx_eval_call_expression): Call it.
        (potential_constant_expression_1): Likewise.  Avoid redundant errors.
        * method.c (process_subob_fn): Diagnose non-constexpr.
        (walk_field_subobs): Likewise.
        (synthesized_method_walk): Don't shortcut if we want diagnostics.
        (explain_implicit_non_constexpr): New.
        (defaulted_late_check): Use it.
        * call.c (build_cxx_call): Remember location.

        * method.c (maybe_explain_implicit_delete): Use pointer_set
        instead of htab.

        * class.c (finalize_literal_type_property): Update conditions.
        * method.c (defaulted_late_check): Set TYPE_HAS_CONSTEXPR_CTOR.

        * tree.c (build_vec_init_expr): Don't add TARGET_EXPR.
        * typeck2.c (digest_init_r): Handle VEC_INIT_EXPR.
        * semantics.c (cxx_eval_vec_init_1): Correct type.

        * init.c (build_value_init): Decide whether or not to zero-initialize
        based on user-providedness of default ctor, not any ctor.
        (build_value_init_noctor): Adjust assert.

        DR 990
        * call.c (convert_like_real) [ck_user]: Handle value-initialization.
        (build_new_method_call_1): Likewise.
        * init.c (expand_default_init): Handle direct list-initialization
        of aggregates.

2011-06-27  Jakub Jelinek  <jakub@redhat.com>

        * cp-tree.h (union lang_tree_node): Use it in chain_next expression.

2011-06-26  Jason Merrill  <jason@redhat.com>

        PR c++/49528
        * semantics.c (potential_constant_expression_1): Check
        for non-literality rather than cleanup.
        (cxx_eval_constant_expression): Likewise.

        PR c++/49528
        * semantics.c (potential_constant_expression_1): A TARGET_EXPR
        with a cleanup isn't constant.
        (cxx_eval_constant_expression): Likewise.
        * init.c (expand_default_init): Use maybe_constant_init.

2011-06-24  Jakub Jelinek  <jakub@redhat.com>

        PR c++/46400
        * cp-tree.h (union lang_tree_node): Use TYPE_NEXT_VARIANT
        instead of TYPE_CHAIN for chain_next for types.

2011-06-23  Gabriel Charette  <gchare@google.com>

        * name-lookup.h (cp_binding_level): Removed unused
        member names_size. Update all users.

2011-06-23  Jason Merrill  <jason@redhat.com>

        * typeck2.c (build_functional_cast): Strip cv-quals for value init.
        * init.c (build_zero_init_1): Not here.

        PR c++/35255
        * pt.c (resolve_overloaded_unification): Fix DR 115 handling.

2011-06-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/44625
        * decl2.c (build_anon_union_vars): Early return error_mark_node
        for a nested anonymous struct.

2011-06-23  Jason Merrill  <jason@redhat.com>

        PR c++/49507
        * decl2.c (mark_used): Don't call synthesize_method for
        functions defaulted outside the class.

        * optimize.c (maybe_clone_body): Set linkage flags before
        cgraph_same_body_alias.

        PR c++/49440
        * class.c (set_linkage_according_to_type): Hand off to
        determine_visibility.

        PR c++/49395
        * init.c (build_zero_init_1): Strip cv-quals from scalar types.

        PR c++/36435
        * pt.c (most_specialized_instantiation): Do check return types.

2011-06-22  Jason Merrill  <jason@redhat.com>

        PR c++/49260
        * call.c (build_call_a): Set cp_function_chain->can_throw here.
        (build_cxx_call): Not here.

2011-06-21  Jason Merrill  <jason@redhat.com>

        PR c++/49172
        * decl.c (cp_finish_decl): Adjust init_const_expr_p for refs.
        (grokdeclarator): constexpr doesn't apply const for refs.
        * parser.c (cp_parser_initializer_clause): Don't call
        maybe_constant_value here.
        * call.c (initialize_reference): Handle constexpr.

        PR c++/49482
        * semantics.c (maybe_add_lambda_conv_op): Call mark_exp_read for
        static fn parameters.

        * call.c (add_builtin_candidates): Use cv_unqualified rather than
        TYPE_MAIN_VARIANT.
        * pt.c (tsubst_arg_types): Likewise.
        * except.c (build_throw): Use cv_unqualified.

        PR c++/49418
        * call.c (cxx_type_promotes_to): Don't strip cv-quals.
        * semantics.c (lambda_return_type): Strip them here.

2011-06-21  Andrew MacLeod  <amacleod@redhat.com>

        * semantics.c: Add sync_ or SYNC__ to builtin names.

2011-06-20  Jason Merrill  <jason@redhat.com>

        PR c++/49216
        * init.c (build_vec_init): Don't try to use a CONSTRUCTOR when
        base is a pointer.
        * typeck2.c (process_init_constructor_array): Use {} for classes,
        too.
        * call.c (convert_like_real): Handle substitution failure.

        PR c++/48138
        * pt.c (canonicalize_type_argument): New.
        (convert_template_argument, unify): Use it.

        PR c++/47080
        * call.c (rejection_reason_code): Add rr_explicit_conversion.
        (print_z_candidate): Handle it.
        (explicit_conversion_rejection): New.
        (build_user_type_conversion_1): Reject an explicit conversion
        function that requires more than a qualification conversion.

        PR c++/47635
        * decl.c (grokdeclarator): Don't set ctype to an ENUMERAL_TYPE.

        PR c++/48138
        * tree.c (strip_typedefs): Use build_aligned_type.

        PR c++/49205
        * call.c (sufficient_parms_p): Allow parameter packs too.

        PR c++/43321
        * semantics.c (describable_type): Remove.
        * cp-tree.h: Likewise.
        * decl.c (cp_finish_decl): Don't call it.
        * init.c (build_new): Likewise.
        * parser.c (cp_parser_omp_for_loop): Likewise.
        * pt.c (tsubst_decl): Likewise.
        (do_auto_deduction): If we fail in a template, try again
        at instantiation time.

        PR c++/43831
        * parser.c (cp_parser_lambda_introducer): Complain about redundant
        captures.
        * semantics.c (add_capture): Likewise.
        (register_capture_members): Clear IDENTIFIER_MARKED.

2011-06-17  Jason Merrill  <jason@redhat.com>

        PR c++/49458
        * call.c (convert_class_to_reference_1): Allow binding function
        lvalue to rvalue reference.

        PR c++/43912
        Generate proxy VAR_DECLs for better lambda debug info.
        * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): Add lambda operator().
        (LAMBDA_EXPR_PENDING_PROXIES): New.
        (struct tree_lambda_expr): Add pending_proxies.
        * name-lookup.c (pushdecl_maybe_friend_1): Handle capture shadowing.
        (qualify_lookup): Use is_lambda_ignored_entity.
        * parser.c (cp_parser_lambda_expression): Don't adjust field names.
        Call insert_pending_capture_proxies.
        (cp_parser_lambda_introducer): Use this_identifier.
        (cp_parser_lambda_declarator_opt): Call the object parameter
        of the op() "__closure" instead of "this".
        (cp_parser_lambda_body): Call build_capture_proxy.
        * semantics.c (build_capture_proxy, is_lambda_ignored_entity): New.
        (insert_pending_capture_proxies, insert_capture_proxy): New.
        (is_normal_capture_proxy, is_capture_proxy): New.
        (add_capture): Add __ to field names here, return capture proxy.
        (add_default_capture): Use this_identifier, adjust to expect
        add_capture to return a capture proxy.
        (outer_lambda_capture_p, thisify_lambda_field): Remove.
        (finish_id_expression, lambda_expr_this_capture): Adjust.
        (build_lambda_expr): Initialize LAMBDA_EXPR_PENDING_PROXIES.
        * pt.c (tsubst_copy_and_build): Check that LAMBDA_EXPR_PENDING_PROXIES
        is null.

        * name-lookup.c (pushdecl_maybe_friend_1): Do check for shadowing
        of artificial locals.

        * parser.c (cp_parser_lambda_expression): Clear
        LAMBDA_EXPR_THIS_CAPTURE after parsing.
        * pt.c (tsubst_copy_and_build): Make sure it isn't set.

        * cp-tree.h (struct tree_lambda_expr): Change common to typed.
        Move non-pointers to end of struct.

        * pt.c (tsubst_decl): Handle DECL_VALUE_EXPR on reference.
        * decl.c (check_initializer): Handle DECL_VALUE_EXPR_P.

        * semantics.c (finish_non_static_data_member): Preserve dereference
        in template.

2011-06-16  Jason Merrill  <jason@redhat.com>

        PR c++/44160
        * parser.c (cp_parser_lambda_body): Share code between
        simple and complex cases instead of using cp_parser_function_body.

        PR c++/45378
        * decl.c (check_initializer): Check narrowing.

        PR c++/49229
        * pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.

        PR c++/49251
        * semantics.c (finish_id_expression): Mark even dependent
        variables as used.

        PR c++/49420
        * error.c (dump_template_argument): Don't try to omit default
        template args from an argument pack.

2011-06-15  H.J. Lu  <hongjiu.lu@intel.com>

        PR c++/49412
        * decl.c (get_dso_handle_node): Mark __dso_handle hidden if
        assembler supports hidden visibility.

2011-06-14  Jason Merrill  <jason@redhat.com>

        PR c++/49107
        * cp-tree.h (DEFERRED_NOEXCEPT_SPEC_P): Handle overload.
        * method.c (defaulted_late_check): Only maybe_instantiate_noexcept
        if the declaration had an exception-specifier.
        (process_subob_fn): Don't maybe_instantiate_noexcept.
        * pt.c (maybe_instantiate_noexcept): Handle overload.
        * typeck2.c (nothrow_spec_p_uninst): New.
        (merge_exception_specifiers): Add 'fn' parm.  Build up overload.
        * typeck.c (merge_types): Adjust.

        * pt.c (deduction_tsubst_fntype): Don't save input_location.
        (maybe_instantiate_noexcept): Likewise.

2011-06-14  Joseph Myers  <joseph@codesourcery.com>

        * Make-lang.in (cp/method.o): Update dependencies.
        * method.c: Include common/common-target.h.
        (use_thunk): Use targetm_common.have_named_sections.

2011-06-14  Steve Ellcey  <sje@cup.hp.com>

        * decl.c (cxx_init_decl_processing): Use ptr_mode instead of Pmode.

2011-06-14  Jason Merrill  <jason@redhat.com>

        * error.c (type_to_string): Print typedef-stripped version too.

        PR c++/49117
        * call.c (perform_implicit_conversion_flags): Print source type as
        well as expression.

        PR c++/49389
        * typeck2.c (build_m_component_ref): Preserve rvalueness.

        PR c++/49369
        * class.c (build_base_path): Fix cv-quals in unevaluated context.

        PR c++/49290
        * semantics.c (cxx_fold_indirect_ref): Local, more permissive copy
        of fold_indirect_ref_1.
        (cxx_eval_indirect_ref): Use it.

2011-06-11  Jan Hubicka  <jh@suse.cz>

        * decl2.c (cp_write_global_declarations): Process aliases; look trhough
        same body aliases.

2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/41769
        * decl.c (grokdeclarator): Reject operator names in parameters.

2011-06-10  Jan Hubicka  <jh@suse.cz>

        * decl2.c (clear_decl_external): New functoin.
        (cp_write_global_declarations): Use it.

2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>

        * cp-tree.h (error_operand_p): Remove.

2011-06-09  David Krauss  <potswa@mac.com>

        PR c++/49118
        * typeck2.c (build_x_arrow): Push fake template context
        to produce diagnostic on acyclic endless operator-> drill-down.
        * call.c (build_new_op): Change Boolean overload status
        value to a pointer to the overload function.
        * cp-tree.h: Likewise.
        * typeck.c: Likewise.
        * parser.c: Likewise.
        * decl2.c: Likewise.
        * pt.c: Likewise.

2011-06-09  Jason Merrill  <jason@redhat.com>

        * semantics.c (maybe_constant_value): Handle overflowed input.
        (non_const_var_error): Handle non-constant DECL_INITIAL.

        * pt.c (build_non_dependent_expr): Use fold_non_dependent_expr_sfinae.

        * parser.c (cp_parser_constant_expression): Just return the
        non-constant expression.

        * semantics.c (finish_compound_literal): Set TREE_HAS_CONSTRUCTOR.

2011-06-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/29003
        * decl.c (grokdeclarator): Reject operator names in typedefs.

2011-06-08  Jason Merrill  <jason@redhat.com>

        PR c++/49107
        * cp-tree.def (DEFERRED_NOEXCEPT): New.
        * cp-tree.h (struct tree_deferred_noexcept): New.
        (DEFERRED_NOEXCEPT_PATTERN, DEFERRED_NOEXCEPT_ARGS): New.
        (DEFERRED_NOEXCEPT_SPEC_P): New.
        (enum cp_tree_node_structure_enum): Add TS_CP_DEFERRED_NOEXCEPT.
        (union lang_tree_node): Add tree_deferred_noexcept.
        (maybe_instantiate_noexcept): Declare.
        * cp-objcp-common.c (cp_tree_size): Handle DEFERRED_NOEXCEPT.
        * error.c (dump_exception_spec): Likewise.
        * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
        * ptree.c (cxx_print_xnode): Likewise.
        * tree.c (cp_tree_equal): Likewise.
        * decl.c (cp_tree_node_structure): Likewise.
        (duplicate_decls): Call maybe_instantiate_noexcept.
        * except.c (build_noexcept_spec): Handle DEFERRED_NOEXCEPT.
        (nothrow_spec_p, type_noexcept_p, type_throw_all_p): Check
        DEFERRED_NOEXCEPT_SPEC_P.
        * typeck2.c (merge_exception_specifiers): Likewise.
        * decl2.c (mark_used): Call maybe_instantiate_noexcept.
        * method.c (process_subob_fn, defaulted_late_check): Likewise.
        * pt.c (tsubst_exception_specification): Add defer_ok parm.
        Build DEFERRED_NOEXCEPT.
        (maybe_instantiate_noexcept): New.
        (tsubst, regenerate_decl_from_template, instantiate_decl): Adjust.
        * search.c (check_final_overrider): Call maybe_instantiate_noexcept.

        * semantics.c (potential_constant_expression_1): Handle destructor
        call.

2011-06-08  Jakub Jelinek  <jakub@redhat.com>

        * cp-tree.h (struct tinst_level): Add chain_next GTY
        markup.

2011-06-08  Jason Merrill  <jason@redhat.com>

        PR c++/49322
        * pt.c (deduction_tsubst_fntype): Don't free the tinst entry
        if a pending_template entry is pointing at it.

2011-06-07  Jason Merrill  <jason@redhat.com>

        PR c++/48969
        PR c++/44175
        * error.c (subst_to_string): New.
        (cp_printer): Use it for 'S'.
        (print_instantiation_partial_context_line): Handle subst context.
        * pt.c (push_tinst_level): Handle subst context.
        (deduction_tsubst_fntype): Don't track specific substitutions.
        Use push_tinst_level.

        * pt.c (deduction_tsubst_fntype): Use push_deduction_access_scope.
        (fn_type_unification): Don't call push_deduction_access_scope here.

2011-06-06  Jason Merrill  <jason@redhat.com>

        PR c++/48780
        * typeck.c (perform_integral_promotions): Don't promote scoped enums.
        * call.c (convert_arg_to_ellipsis): Promote them here in old ABI.

2011-06-06  Nicola Pero  <nicola.pero@meta-innovation.com>,

        PR obj-c++/48275
        * parser.c (cp_parser_objc_at_property_declaration): Allow setter
        and getter names to use all the allowed method names.

2011-06-06  Jason Merrill  <jason@redhat.com>

        PR c++/49298
        * semantics.c (potential_constant_expression_1): Handle FIELD_DECL.

        PR objc++/49221
        * decl.c (cp_finish_decl): Check DECL_FUNCTION_SCOPE_P rather than
        at_function_scope_p.

        PR c++/49134
        * tree.c (build_target_expr): Deal with ARM ABI tweaks.

2011-06-04  Jonathan Wakely  <jwakely.gcc@gmail.com>

        * init.c (build_delete): Warn when deleting type with non-virtual
        destructor.

2011-06-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/49276
        * mangle.c (write_nested_name): Use CP_DECL_CONTEXT instead of
        DECL_CONTEXT.

2011-06-01  Jason Merrill  <jason@redhat.com>

        * pt.c (build_non_dependent_expr): Remove special handling of
        REFERENCE_REF_P.

        PR c++/44175
        * pt.c (template_args_equal): Handle one arg being NULL_TREE.
        (deduction_tsubst_fntype): Handle excessive non-infinite recursion.

        PR c++/49253
        * typeck2.c (build_x_arrow): Don't use build_min_nt.

2010-05-31  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/48010
        * name-lookup.c (supplement_binding_1): If the old binding was a
        type name, also check that the DECL actually refers to the same
        type or is not a type.

2011-05-31  Jason Merrill  <jason@redhat.com>

        PR c++/44870
        * tree.c (lvalue_kind): Recurse on NON_DEPENDENT_EXPR.  Handle
        ARROW_EXPR, TYPEID_EXPR, and arbitrary class-valued expressions.
        (build_min_non_dep): Preserve reference refs.
        (build_min_non_dep_call_vec): Likewise

2011-05-30  Jakub Jelinek  <jakub@redhat.com>

        PR c++/49223
        * semantics.c (finish_omp_clauses): Call require_complete_type
        even for copyin/copyprivate clauses.  Only call
        cxx_omp_create_clause_info if inner_type is COMPLETE_TYPE_P.

2011-05-28  Jason Merrill  <jason@redhat.com>

        PR c++/46124
        * parser.c (cp_parser_lambda_expression): Improve error recovery.
        (cp_parser_lambda_declarator_opt): Likewise.  Return bool.

2011-05-27  Jason Merrill  <jason@redhat.com>

        PR c++/47277
        * parser.c (cp_parser_pseudo_destructor_name): Commit to parse
        after we see the ~.

        * mangle.c (mangle_decl_string): Make sure we don't try to mangle
        templates.

        PR c++/47049
        * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
        * decl.c (start_preparsed_function): Don't call comdat_linkage for
        a template.

        PR c++/47132
        * mangle.c (write_expression): Handle MODOP_EXPR.

        PR c++/47277
        * parser.c (cp_parser_unqualified_id): Don't check
        constructor_name_p for enums.

        PR c++/47687
        * pt.c (dependent_type_p_r): Avoid infinite recursion.

        PR c++/48284
        * error.c (dump_expr) [COMPONENT_REF]: Use pp_cxx_dot
        with INDIRECT_REF of REFERENCE_TYPE.

        PR c++/49181
        * pt.c (get_mostly_instantiated_function_type): Use push_access_scope.

2011-05-27  Nathan Froyd  <froydnj@codesourcery.com>

        * cp-tree.h (building_stmt_tree): Delete.
        * decl.c (save_function_data): Tweak initializer for x_cur_stmt_list.
        (build_aggr_init_full_exprs): Call building_stmt_list_p
        instead of building_stmt_tree.
        (initialize_local_var): Likewise.
        (finish_function): Likewise.
        * decl2.c (finish_anon_union): Likewise.
        * init.c (begin_init_stmts): Likewise.
        (finish_init_stmts): Likewise.
        (expand_aggr_init_1): Likewise.
        * name-lookup.c (do_local_using_decl): Likewise.
        (do_namespace_alias): Likewise.
        (do_using_directive): Likewise.
        (cp_emit_debug_info_for_using): Likewise.
        * semantics.c (add_stmt): Assert that stmt_list_stack is non-empty.

2011-05-27  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/42056
        * typeck2.c (build_functional_cast): Complain early for invalid uses
        of 'auto' and set type to error_mark_node.

2011-05-26  Jason Merrill  <jason@redhat.com>

        PR c++/47721
        * parser.c (cp_parser_member_declaration): Allow friend T.
        * friend.c (make_friend_class): Ignore non-classes.
        * pt.c (instantiate_class_template_1): Handle TEMPLATE_TYPE_PARM.

        DR 1004
        * pt.c (convert_template_argument): Don't complain about using
        injected-class-name as template template argument.

        PR c++/47956
        * decl.c (check_static_variable_definition): Now static.
        (cp_finish_decl): Call it here.
        (grokdeclarator): Not here.
        * pt.c (instantiate_class_template_1): Or here.
        * cp-tree.h: Don't declare it.

2011-05-26  Janis Johnson  <janis187@us.ibm.com>
            Nathan Froyd  <froydnj@codesourcery.com>

        PR c++/2288
        PR c++/18770
        * name-lookup.h (enum scope_kind): Add sk_cond.
        * name-lookup.c (pushdecl_maybe_friend): Get scope of shadowed local.
        Detect and report error for redeclaration from for-init or if
        or switch condition.
        (begin_scope): Handle sk_cond.
        * semantics.c (begin_if_stmt): Use sk_cond.
        (begin switch_stmt): Ditto.

2011-05-26  Jason Merrill  <jason@redhat.com>

        PR c++/48211
        * name-lookup.h (cp_class_binding): Make base a pointer.
        * name-lookup.c (new_class_binding): Adjust.
        (poplevel_class): Adjust.

        PR c++/48424
        * decl.c (grokparms): Function parameter packs don't need to
        go at the end.
        * pt.c (type_unification_real): But they aren't deduced otherwise.

2011-05-25  Jason Merrill  <jason@redhat.com>

        PR c++/48536
        * decl.c (build_enumerator): If incremented enumerator won't fit in
        previous integral type, find one it will fit in.

        PR c++/48599
        * decl.c (create_array_type_for_decl): Complain about array of auto.

        PR c++/44994
        PR c++/49156
        * error.c (dump_template_bindings): Set processing_template_decl
        for a partial instantiation.

        PR c++/45401
        * decl.c (grokdeclarator): Don't change type when adding rvalue ref
        to another reference type.

        PR c++/44311
        * decl.c (case_conversion): New.
        (finish_case_label): Use it.

        * ptree.c (cxx_print_xnode): Handle ARGUMENT_PACK_SELECT.

        PR c++/45698
        * pt.c (dependent_template_arg_p): See through ARGUMENT_PACK_SELECT.

        PR c++/46005
        * decl.c (grokdeclarator): Complain about auto typedef.

        PR c++/46245
        * decl.c (grokdeclarator): Complain later for auto parameter.
        * pt.c (splice_late_return_type): Handle use in a template
        type-parameter.

        PR c++/46696
        * typeck.c (cp_build_modify_expr): Check DECL_DEFAULTED_FN.

        PR c++/47184
        * parser.c (cp_parser_parameter_declaration): Recognize
        list-initialization.
        (cp_parser_direct_declarator): Check for the closing
        paren before parsing definitely.

        PR c++/48935
        * parser.c (cp_parser_constructor_declarator_p): Don't check
        constructor_name_p for enums.
        (cp_parser_diagnose_invalid_type_name): Correct error message.

        PR c++/45418
        * init.c (perform_member_init): Handle list-initialization
        of array of non-trivial class type.

        PR c++/45080
        * pt.c (instantiate_class_template_1): Call maybe_add_lambda_conv_op.
        * semantics.c (lambda_function): Check COMPLETE_OR_OPEN_TYPE_P.

        PR c++/48292
        * pt.c (tsubst_decl) [PARM_DECL]: Handle partial instantiation of
        function parameter pack.
        (tsubst_pack_expansion): Likewise.

        * cp-objcp-common.c (cp_common_init_ts): TYPE_ARGUMENT_PACK has
        TS_COMMON.

2011-05-25  Jakub Jelinek  <jakub@redhat.com>

        * cp-objcp-common.c (cp_common_init_ts): Mark CTOR_INITIALIZER
        as TS_TYPED.

        PR c++/49136
        * semantics.c (cxx_eval_bit_field_ref): Handle the
        case when BIT_FIELD_REF doesn't cover only a single field.

2011-05-24  Jason Merrill  <jason@redhat.com>

        PR c++/49042
        * pt.c (get_mostly_instantiated_function_type): Use
        push_deferring_access_checks rather than set flag_access_control.

2011-05-24  Nicola Pero  <nicola.pero@meta-innovation.com>,

        * parser.c (cp_parser_objc_class_ivars): Deal gracefully with a
        syntax error in declaring an ObjC instance variable.

2011-05-24  Jason Merrill  <jason@redhat.com>

        PR c++/48884
        * class.c (pushclass): Accept NULL argument.
        (popclass): Deal with popping null class.
        * pt.c (push_access_scope, pop_access_scope): Use them rather than
        push_to_top_level/pop_from_top_level.
        (push_deduction_access_scope, pop_defarg_context): New.
        (fn_type_unification): Use them.
        * name-lookup.c (lookup_name_real_1): Check current_class_type.

2011-05-24  Paolo Carlini  <paolo.carlini@oracle.com>

        * decl.c (grokdeclarator): Use current_class_name.

2011-05-24  Joseph Myers  <joseph@codesourcery.com>

        * Make-lang.in (GXX_OBJS): Remove prefix.o.
        (g++$(exeext)): Use libcommon-target.a.
        (CXX_C_OBJS): Remove prefix.o.

2011-05-23  Jason Merrill  <jason@redhat.com>

        * pt.c (tsubst_copy_and_build): Use current_class_name.

        PR c++/49102
        * call.c (convert_arg_to_ellipsis): Call force_rvalue.

        PR c++/49105
        * typeck.c (cp_build_c_cast): Don't strip cv-quals when
        converting to reference.
        (build_static_cast_1): Update for glvalues.

        PR c++/49105
        * typeck.c (build_const_cast_1): Handle rvalue references.

        PR c++/47263
        * decl.c (use_eh_spec_block): Do use an EH spec block for a
        lambda op().

        PR c++/49058
        * call.c (splice_viable): Be strict in templates.

        PR c++/47336
        * error.c (dump_template_bindings): Suppress access control.

        PR c++/47544
        * pt.c (instantiate_decl): Handle =default.

        PR c++/48617
        * pt.c (invalid_nontype_parm_type_p): Allow DECLTYPE_TYPE.

2011-05-23  Nathan Froyd  <froydnj@codesourcery.com>

        * call.c (build_over_call): Tweak call to check_function_arguments.
        * typeck.c (cp_build_function_call_vec): Likewise.

2011-05-23  Jonathan Wakely  <jwakely.gcc@gmail.com>

        PR c++/18016
        * init.c (perform_member_init): Check for self-initialization.

2011-05-22  Jason Merrill  <jason@redhat.com>

        PR c++/48647
        * typeck.c (composite_pointer_type_r): Return error_mark_node
        on error in SFINAE context.

2011-05-20  Jason Merrill  <jason@redhat.com>

        PR c++/48945
        * decl.c (grokdeclarator): Don't add set const function-cv-qual
        for constexpr fns to memfn_quals, just add it to the type.
        (revert_static_member_fn): Don't complain about quals.
        (check_static_quals): New.
        (grokfndecl): Call it.
        (start_preparsed_function): Don't call revert_static_member_fn.

        PR c++/48945
        * decl.c (revert_static_member_fn): Ignore const on constexpr fn.

        PR c++/48780
        * cvt.c (type_promotes_to): Don't promote scoped enums.

        PR c++/49066
        * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.

        PR c++/48873
        * tree.c (stabilize_expr): Fix typo.

        DR 1073
        PR c++/49082
        * typeck.c (comp_except_specs): noexcept(false) is not compatible
        with throw(type-list).
        * typeck2.c (merge_exception_specifiers): noexcept(false)
        beats any more limited specification.

        PR c++/24163
        PR c++/29131
        * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
        unqualified lookup.
        * semantics.c (perform_koenig_lookup): Add complain parm.
        * cp-tree.h: Adjust.
        * parser.c (cp_parser_postfix_expression): Adjust.
        (cp_parser_perform_range_for_lookup): Adjust.

2011-05-20  Jason Merrill  <jason@redhat.com>

        * semantics.c (finish_call_expr): SET_EXPR_LOCATION.

2011-05-20  Joseph Myers  <joseph@codesourcery.com>

        * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.

2011-05-19  Jakub Jelinek  <jakub@redhat.com>

        PR c++/49043
        * decl.c (check_omp_return): Stop searching on sk_function_parms.

        PR c++/48869
        * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
        pass it down to locate_fn_flags.
        * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
        * semantics.c (cxx_omp_create_clause_info): Adjust callers.
        * cp-gimplify.c: Include splay-tree.h.
        (splay_tree_compare_decl_uid, omp_var_to_track,
        omp_cxx_notice_variable): New functions.
        (struct cp_genericize_omp_taskreg): New type.
        (struct cp_genericize_data): Add omp_ctx field.
        (cp_genericize_r): Attempt to determine implicitly determined
        firstprivate class type variables.
        (cp_genericize): Clear omp_ctx.
        * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).

2011-05-18  Jason Merrill  <jason@redhat.com>

        PR c++/48948
        PR c++/49015
        * class.c (finalize_literal_type_property): Do check
        for constexpr member functions of non-literal class.
        (finish_struct): Don't call check_deferred_constexpr_decls.
        * cp-tree.h: Don't declare it.
        (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
        * decl.c (grok_special_member_properties): Don't check it
        (grokfnedcl): Don't call validate_constexpr_fundecl.
        (start_preparsed_function): Do call it.
        * pt.c (tsubst_decl): Don't call it.
        (instantiate_class_template_1): Don't call
        check_deferred_constexpr_decls.
        * semantics.c (literal_type_p): Check for any incompleteness.
        (ensure_literal_type_for_constexpr_object): Likewise.
        (is_valid_constexpr_fn): Revert deferral changes.
        (validate_constexpr_fundecl): Likewise.
        (register_constexpr_fundef): Likewise.
        (check_deferred_constexpr_decls): Remove.

2011-05-16  Jason Merrill  <jason@redhat.com>

        PR c++/48969
        * pt.c (deduction_tsubst_fntype): Use a VEC initially.

2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>

        * cxx-pretty-print.c: Update comment.
        * semantics.c (trait_expr_value, finish_trait_expr):
        Reorder the cases.
        * parser.c (cp_parser_primary_expression): Likewise.

2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>

        PR c++/48994
        * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.

2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>

        Implement final on class.
        * class.c (check_bases): Diagnose derivation from a final class.
        * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
        (CLASSTYPE_FINAL): New.
        * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
        CLASSTYPE_FINAL.
        * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.

2011-05-13  Jason Merrill  <jason@redhat.com>

        PR c++/48969
        * pt.c (deduction_tsubst_fntype): New.
        (fn_type_unification): Use it.
        (init_template_processing): Initialize hash table.
        (print_template_statistics): Print hash table stats.

        * call.c (build_op_call): Use timevar_cond_start/stop.
        (build_user_type_conversion): Likewise.

2011-05-12  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
        * semantics.c (validate_constexpr_fundecl): Set it.
        (check_deferred_constexpr_decls): Clear it.
        (register_constexpr_fundef): Make sure it isn't set.
        * decl.c (grok_special_member_properties): Check it.

2011-05-11  Jason Merrill  <jason@redhat.com>

        PR c++/48948
        * semantics.c (validate_constexpr_fundecl): Defer checking if
        an argument type is being defined.
        (is_valid_constexpr_fn): Add defer_ok parm.
        (cxx_eval_call_expression): Adjust.
        (check_deferred_constexpr_decls): New.
        (literal_type_p): Make sure type isn't being defined.
        (ensure_literal_type_for_constexpr_object): Handle type being defined.
        * cp-tree.h: Declare check_deferred_constexpr_decls.
        * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
        (start_preparsed_function, cp_finish_decl): Not here.
        * class.c (finalize_literal_type_property): Don't call
        validate_constexpr_fundecl.
        (finish_struct): Call check_deferred_constexpr_decls.
        * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
        (instantiate_class_template): Call check_deferred_constexpr_decls.

        * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
        rather than DECL_TEMPLATE_INSTANTIATION.
        (cxx_eval_call_expression): Likewise.

        * semantics.c (register_constexpr_fundef): Add to hash table here.
        (validate_constexpr_fundecl): Not here.

        * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.

        * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
        do call maybe_constant_value in C++0x mode.
        * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.

        PR c++/48745
        * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.

2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>

        * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
        TYPE_VALUES_RAW.
        (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
        (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
        (TEMPLATE_TYPE_PARM_INDEX): Likewise.

2011-05-10  Jason Merrill  <jason@redhat.com>

        PR c++/48930
        * class.c (type_build_ctor_call): New.
        * cp-tree.h: Declare it.
        * decl.c (check_initializer): Use it instead of
        TYPE_NEEDS_CONSTRUCTING.
        * init.c (build_value_init, build_value_init_noctor): Likewise.
        (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
        (build_vec_init): Likewise.
        * typeck2.c (process_init_constructor_array): Likewise.
        (process_init_constructor_record): Likewise.

        PR c++/48736
        * pt.c (tsubst_copy_and_build): Handle substitution of a pack
        expansion producing another expansion.

2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>

        Fixes for override/final.
        * class.c (check_for_override): Diagnose final on a nonvirtual
        member function, diagnose override for a virtual with no matching
        override. Don't fiddle around with DECL_VINDEX.

2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>

        * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
        * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
        * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
        operand of EXPR_PACK_EXPANSION.
        (cp_tree_operand_length): Declare.
        * tree.c (cp_tree_operand_length): Define.
        (cp_tree_equal): Call it.
        * pt.c (value_dependent_expr_P): Likewise.
        * mangle.c (write_expression): Likewise.

2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/48737
        PR c++/48744
        * decl.c (reshape_init): Take a complain parameter and do
        not call error if tf_error is not set.
        (check_initializer, reshape_init_r, reshape_init_array,
        reshape_init_array_1, reshape_init_vector, reshape_init_class):
        Adjust.
        * typeck2.c (digest_init_r): Take a complain parameter and
        pass it to convert_for_initialization.
        (digest_init, digest_init_flags, process_init_constructor_array,
        process_init_constructor_record, process_init_constructor_union,
        process_init_constructor, digest_init_r): Adjust.
        * init.c (expand_default_init, build_new_1): Likewise.
        * typeck.c (cp_build_modify_expr): Likewise.
        * decl2.c (grokfield): Likewise.
        * call.c (convert_like_real, convert_default_arg): Likewise.
        * semantics.c (finish_compound_literal): Pass complain to
        reshape_init and digest_init.
        * cp-tree.h: Adjust declarations.

2011-05-07  Fabien Chêne  <fabien@gcc.gnu.org>

        PR c++/48859
        * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
        recursion if there is user defined constructor.

2011-05-09  Jason Merrill  <jason@redhat.com>

        PR c++/34772
        * decl.c (initialize_local_var): Use DECL_INITIAL for simple
        initialization.

2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>

        Implement final/override for member functions.
        * class.c (check_for_override): Check for DECL_OVERRIDE_P.
        * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
        (cp_virt_specifiers, enum virt_specifier): New.
        * decl.c (set_virt_specifiers): New.
        (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
        * parser.c (make_call_declarator): add virt-specifiers parameter.
        (cp_parser_lambda_declarator_opt): Adjust.
        (cp_parser_direct_declarator): Likewise.
        (cp_parser_virt_specifier_seq_opt): New.
        * search.c (check_final_overrider): Diagnose attempts to override
        a final member function.

2011-05-09  Dodji Seketeli  <dodji@redhat.com>

        PR c++/48574
        * class.c (fixed_type_or_null): Use type_dependent_p_push to test
        if the instance has a dependent initializer.

2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/48816
        * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
        effectively unused variable.

2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>

        * name-lookup.h (global_bindings_p): Adjust prototype.
        * name-lookup.c (global_bindings_p): Return bool.