gcc/cp/ * cp-tree.h (enum tsubst_flags): Add tf_fndecl_type. (flag_noexcept_type, ce_type): New. * call.c (build_conv): Add ck_fnptr. (enum conversion_kind): Change ck_tsafe to ck_fnptr. (convert_like_real): Likewise. (standard_conversion): Likewise. Allow function pointer conversions for pointers to member functions. (reference_compatible_p): Allow function pointer conversions. (direct_reference_binding): Likewise. (reference_binding): Reference-compatible is no longer a subset of reference-related. (is_subseq): Also strip ck_lvalue after next_conversion. * class.c (instantiate_type): Check fnptr_conv_p. (resolve_address_of_overloaded_function): Likewise. * cvt.c (can_convert_tx_safety): Now static. (noexcept_conv_p, fnptr_conv_p, strip_fnptr_conv): New. * decl.c (flag_noexcept_type): Define. (cxx_init_decl_processing): Set it. (bad_specifiers): Check it. (grokdeclarator) [cdk_function]: Add exception-spec to type here. * lambda.c (maybe_add_lambda_conv_op): Add exception-spec to returned pointer. * mangle.c (struct globals): Add need_cxx1z_warning. (mangle_decl): Check it. (write_exception_spec): New. (write_function_type): Call it. (canonicalize_for_substitution): Handle exception spec. (write_type): Likewise. (write_encoding): Set processing_template_decl across mangling of partially-instantiated type. * pt.c (determine_specialization): Pass tf_fndecl_type. (tsubst_decl, fn_type_unification): Likewise. (tsubst): Strip tf_fndecl_type, pass it to tsubst_exception_specification. (convert_nontype_argument_function): Handle function pointer conversion. (convert_nontype_argument): Likewise. (unify, for_each_template_parm_r): Walk into noexcept-specifier. * rtti.c (ptr_initializer): Encode noexcept. * tree.c (canonical_eh_spec): New. (build_exception_variant): Use it. * typeck.c (composite_pointer_type): Handle fnptr conversion. (comp_except_specs): Compare canonical EH specs. (structural_comptypes): Call it. gcc/c-family/ * c.opt (Wc++1z-compat): New. * c-cppbuiltin.c (c_cpp_builtins): Add __cpp_noexcept_function_type. libstdc++-v3/ * include/bits/c++config (_GLIBCXX_NOEXCEPT_PARM) (_GLIBCXX_NOEXCEPT_QUAL): New. * include/std/type_traits (is_function): Use them. * libsubc++/new (launder): Likewise. * libsupc++/cxxabi.h (__pbase_type_info::__masks): Add __noexcept_mask. * libsupc++/pbase_type_info.cc (__do_catch): Handle function pointer conversion. libiberty/ * cp-demangle.c (is_fnqual_component_type): New. (d_encoding, d_print_comp_inner, d_print_mod_list): Use it. (FNQUAL_COMPONENT_CASE): New. (d_make_comp, has_return_type, d_print_comp_inner) (d_print_function_type): Use it. (next_is_type_qual): New. (d_cv_qualifiers, d_print_mod): Handle noexcept and throw-spec. include/ * demangle.h (enum demangle_component_type): Add DEMANGLE_COMPONENT_NOEXCEPT, DEMANGLE_COMPONENT_THROW_SPEC. From-SVN: r241944
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
algorithm | Loading commit data... | |
any | Loading commit data... | |
array | Loading commit data... | |
atomic | Loading commit data... | |
bitset | Loading commit data... | |
chrono | Loading commit data... | |
codecvt | Loading commit data... | |
complex | Loading commit data... | |
condition_variable | Loading commit data... | |
deque | Loading commit data... | |
forward_list | Loading commit data... | |
fstream | Loading commit data... | |
functional | Loading commit data... | |
future | Loading commit data... | |
iomanip | Loading commit data... | |
ios | Loading commit data... | |
iosfwd | Loading commit data... | |
iostream | Loading commit data... | |
istream | Loading commit data... | |
iterator | Loading commit data... | |
limits | Loading commit data... | |
list | Loading commit data... | |
locale | Loading commit data... | |
map | Loading commit data... | |
memory | Loading commit data... | |
mutex | Loading commit data... | |
numeric | Loading commit data... | |
optional | Loading commit data... | |
ostream | Loading commit data... | |
queue | Loading commit data... | |
random | Loading commit data... | |
ratio | Loading commit data... | |
regex | Loading commit data... | |
scoped_allocator | Loading commit data... | |
set | Loading commit data... | |
shared_mutex | Loading commit data... | |
sstream | Loading commit data... | |
stack | Loading commit data... | |
stdexcept | Loading commit data... | |
streambuf | Loading commit data... | |
string | Loading commit data... | |
string_view | Loading commit data... | |
system_error | Loading commit data... | |
thread | Loading commit data... | |
tuple | Loading commit data... | |
type_traits | Loading commit data... | |
typeindex | Loading commit data... | |
unordered_map | Loading commit data... | |
unordered_set | Loading commit data... | |
utility | Loading commit data... | |
valarray | Loading commit data... | |
variant | Loading commit data... | |
vector | Loading commit data... |