r228462 - in /trunk: gcc/ChangeLog gcc/builtins...

[jason@gcc.gnu.org]

Author: jason
Date: Sun Oct  4 19:17:19 2015
New Revision: 228462

URL: https://gcc.gnu.org/viewcvs?rev=228462&root=gcc&view=rev
Log:
	Implement N4514, C++ Extensions for Transactional Memory.

gcc/
	* builtins.def (BUILT_IN_ABORT): Add transaction_pure attribute.
gcc/c-family/
	* c-common.c (c_common_reswords): Add C++ TM TS keywords.
	(c_common_attribute_table): Add transaction_safe_dynamic.
	transaction_safe now affects type identity.
	(handle_tm_attribute): Handle transaction_safe_dynamic.
	* c-common.h (enum rid): Add RID_ATOMIC_NOEXCEPT,
	RID_ATOMIC_CANCEL, RID_SYNCHRONIZED.
	(OBJC_IS_CXX_KEYWORD): Add RID_SYNCHRONIZED.
	(D_TRANSMEM): New.
	* c-cppbuiltin.c (c_cpp_builtins): Define __cpp_transactional_memory.
	* c-pretty-print.c (pp_c_attributes_display): Don't print
	transaction_safe in C++.
gcc/c/
	* c-parser.c (c_lex_one_token): Handle @synchronized.
	* c-decl.c (match_builtin_function_types): A declaration of a built-in
	can change whether the function is transaction_safe.
gcc/cp/
	* cp-tree.h (struct cp_declarator): Add tx_qualifier field.
	(BCS_NORMAL, BCS_TRANSACTION): New enumerators.
	* lex.c (init_reswords): Limit TM kewords to -fgnu-tm.
	* parser.c (cp_lexer_get_preprocessor_token): Fix @synchronized.
	(make_call_declarator): Take tx_qualifier.
	(cp_parser_tx_qualifier_opt): New.
	(cp_parser_lambda_declarator_opt): Use it.
	(cp_parser_direct_declarator): Likewise.
	(cp_parser_statement): Handle atomic_noexcept, atomic_cancel.
	(cp_parser_compound_statement): Change in_try parameter to bcs_flags.
	(cp_parser_std_attribute): Map optimize_for_synchronized to
	transaction_callable.
	(cp_parser_transaction): Take the token.  Handle atomic_noexcept.
	* lambda.c (maybe_add_lambda_conv_op): Handle transaction-safety.
	* call.c (enum conversion_kind): Add ck_tsafe.
	(standard_conversion): Handle transaction-safety conversion.
	(convert_like_real, resolve_address_of_overloaded_function): Likewise.
	(check_methods): Diagnose transaction_safe_dynamic on non-virtual
	function.
	(look_for_tm_attr_overrides): Don't inherit transaction_safe_dynamic.
	* cvt.c (tx_safe_fn_type_p, tx_unsafe_fn_variant)
	(can_convert_tx_safety): New.
	* typeck.c (composite_pointer_type): Handle transaction-safety.
	* name-lookup.h (enum scope_kind): Add sk_transaction.
	* name-lookup.c (begin_scope): Handle it.
	* semantics.c (begin_compound_stmt): Pass it.
	* decl.c (check_previous_goto_1): Check it.
	(struct named_label_entry): Add in_transaction_scope.
	(poplevel_named_label_1): Set it.
	(check_goto): Check it.
	(duplicate_decls): A specialization can be transaction_safe
	independently of its template.
	(grokdeclarator): Handle tx-qualifier.
	* rtti.c (ptr_initializer): Handle transaction-safe.
	* search.c (check_final_overrider): Check transaction_safe_dynamic.
	Don't check transaction_safe.
	* mangle.c (write_function_type): Mangle transaction_safe here.
	(write_CV_qualifiers_for_type): Not here.
	(write_type): Preserve transaction_safe when stripping attributes.
	* error.c (dump_type_suffix): Print transaction_safe.
libiberty/
	* cp-demangle.c (d_cv_qualifiers): Dx means transaction_safe.
	(cplus_demangle_type): Let d_cv_qualifiers handle it.
	(d_dump, d_make_comp, has_return_type, d_encoding)
	(d_count_templates_scopes, d_print_comp_inner)
	(d_print_mod_list, d_print_mod, d_print_function_type)
	(is_ctor_or_dtor): Handle DEMANGLE_COMPONENT_TRANSACTION_SAFE.

Modified:
    trunk/libstdc++-v3/libsupc++/cxxabi.h
    trunk/libstdc++-v3/libsupc++/pbase_type_info.cc

Changes in other areas also in this revision:
Added:
    trunk/gcc/testsuite/g++.dg/tm/composite1.C
    trunk/gcc/testsuite/g++.dg/tm/dynamic1.C
    trunk/gcc/testsuite/g++.dg/tm/dynamic2.C
    trunk/gcc/testsuite/g++.dg/tm/eh1.C
    trunk/gcc/testsuite/g++.dg/tm/eh2.C
    trunk/gcc/testsuite/g++.dg/tm/eh4.C
    trunk/gcc/testsuite/g++.dg/tm/inherit1.C
    trunk/gcc/testsuite/g++.dg/tm/inherit2.C
    trunk/gcc/testsuite/g++.dg/tm/jump1.C
    trunk/gcc/testsuite/g++.dg/tm/keyword1.C
    trunk/gcc/testsuite/g++.dg/tm/lambda1.C
    trunk/gcc/testsuite/g++.dg/tm/lambda2.C
    trunk/gcc/testsuite/g++.dg/tm/macro1.C
    trunk/gcc/testsuite/g++.dg/tm/mangle1.C
    trunk/gcc/testsuite/g++.dg/tm/noexcept-7.C
    trunk/gcc/testsuite/g++.dg/tm/overload1.C
    trunk/gcc/testsuite/g++.dg/tm/overload2.C
    trunk/gcc/testsuite/g++.dg/tm/pretty-print1.C
    trunk/gcc/testsuite/g++.dg/tm/static_cast1.C
    trunk/gcc/testsuite/g++.dg/tm/sync1.C
    trunk/gcc/testsuite/g++.dg/tm/sync2.C
    trunk/gcc/testsuite/g++.dg/tm/template-3.C
    trunk/gcc/testsuite/g++.dg/tm/template-4.C
    trunk/gcc/testsuite/g++.dg/tm/template-5.C
    trunk/gcc/testsuite/g++.dg/tm/unsafe1.C
    trunk/gcc/testsuite/g++.dg/tm/unsafe2.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.def
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/c-family/c-common.h
    trunk/gcc/c-family/c-cppbuiltin.c
    trunk/gcc/c-family/c-pretty-print.c
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-decl.c
    trunk/gcc/c/c-parser.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/error.c
    trunk/gcc/cp/lambda.c
    trunk/gcc/cp/lex.c
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/name-lookup.c
    trunk/gcc/cp/name-lookup.h
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/rtti.c
    trunk/gcc/cp/search.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/lib/g++.exp
    trunk/gcc/tree.c
    trunk/gcc/tree.h
    trunk/include/demangle.h
    trunk/libiberty/ChangeLog
    trunk/libiberty/cp-demangle.c
    trunk/libiberty/testsuite/demangle-expected