From c0681d2b0e76fe49f541f31b95cc235c984c68ff Mon Sep 17 00:00:00 2001 From: Marshall Clow Date: Mon, 14 Nov 2016 14:41:33 +0000 Subject: [PATCH] Update C++1z status with C++17 issues from Issaquah. Still to come: LFTS issues and papers llvm-svn: 286828 --- libcxx/www/cxx1z_status.html | 74 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 73 insertions(+), 1 deletion(-) diff --git a/libcxx/www/cxx1z_status.html b/libcxx/www/cxx1z_status.html index 34ea703..15e1363 100644 --- a/libcxx/www/cxx1z_status.html +++ b/libcxx/www/cxx1z_status.html @@ -312,6 +312,78 @@ 2726[recursive_]directory_iterator::increment(error_code&) is underspecifiedOuluComplete 2727Parallel algorithms with constexpr specifierOulu 2728status(p).permissions() and symlink_status(p).permissions() are not specifiedOuluComplete + + 2062Effect contradictions w/o no-throw guarantee of std::function swapsIssaquahComplete + 2166Heap property underspecified?Issaquah + 2221No formatted output operator for nullptrIssaquah + 2223shrink_to_fit effect on iterator validityIssaquahComplete + 2261Are containers required to use their 'pointer' type internally?Issaquah + 2394locale::name specification unclear - what is implementation-defined?IssaquahComplete + 2460LWG issue 2408 and value categoriesIssaquahComplete + 2468Self-move-assignment of library typesIssaquah + 2475Allow overwriting of std::basic_string terminator with charT() to allow cleaner interoperation with legacy APIsIssaquahComplete + 2503multiline option should be added to syntax_option_typeIssaquah + 2510Tag types should not be DefaultConstructibleIssaquah + 2514Type traits must not be finalIssaquahComplete + 2519Iterator operator-= has gratuitous undefined behaviourIssaquahComplete + 2531future::get should explicitly state that the shared state is releasedIssaquah + 2534Constrain rvalue stream operatorsIssaquah + 2536What should <complex.h> do?IssaquahComplete + 2540unordered_multimap::insert hint iteratorIssaquahComplete + 2543LWG 2148 (hash support for enum types) seems under-specifiedIssaquahComplete + 2544istreambuf_iterator(basic_streambuf* s) effects unclear when s is 0IssaquahComplete + 2556Wide contract for future::share()IssaquahPatch ready + 2562Consistent total ordering of pointers by comparison functorsIssaquah + 2567Specification of logical operator traits uses BaseCharacteristic, which is defined only for UnaryTypeTraits and BinaryTypeTraitsIssaquahComplete + 2569conjunction and disjunction requirements are too strictIssaquahComplete + 2570[fund.ts.v2] conjunction and disjunction requirements are too strictIssaquah + 2578Iterator requirements should reference iterator traitsIssaquahComplete + 2584 ECMAScript IdentityEscape is ambiguousIssaquah + 2589match_results can't satisfy the requirements of a containerIssaquahComplete + 2591std::function's member template target() should not lead to undefined behaviourIssaquah + 2598addressof works on temporariesIssaquahPatch ready + 2664operator/ (and other append) semantics not useful if argument has rootIssaquahComplete + 2665remove_filename() post condition is incorrectIssaquahSee Below + 2672Should is_empty use error_code in its specification?IssaquahComplete + 2678std::filesystem enum classes overspecifiedIssaquahComplete + 2679Inconsistent Use of Effects and Equivalent ToIssaquahComplete + 2680Add "Equivalent to" to filesystemIssaquahComplete + 2681filesystem::copy() cannot copy symlinksIssaquahComplete + 2682filesystem::copy() won't create a symlink to a directoryIssaquahComplete + 2686Why is std::hash specialized for error_code, but not error_condition?IssaquahPatch ready + 2694Application of LWG 436 accidentally deleted definition of "facet"IssaquahComplete + 2696Interaction between make_shared and enable_shared_from_this is underspecifiedIssaquah + 2699Missing restriction in [numeric.requirements]Issaquah + 2712copy_file(from, to, ...) has a number of unspecified error conditionsIssaquahComplete + 2722equivalent incorrectly specifies throws clauseIssaquahComplete + 2729Missing SFINAE on std::pair::operator=Issaquah + 2732Questionable specification of path::operator/= and path::appendIssaquahComplete + 2733[fund.ts.v2] gcd / lcm and boolIssaquah + 2735std::abs(short), std::abs(signed char) and others should return int instead of double in order to be compatible with C++98 and CIssaquah + 2736nullopt_t insufficiently constrainedIssaquah + 2738is_constructible with void typesIssaquahComplete + 2739Issue with time_point non-member subtraction with an unsigned durationIssaquahPatch Ready + 2740constexpr optional::operator->IssaquahComplete + 2742Inconsistent string interface taking string_viewIssaquahPatch Ready + 2744any's in_place constructorsIssaquahComplete + 2745[fund.ts.v2] Implementability of LWG 2451Issaquah + 2747Possibly redundant std::move in [alg.foreach]IssaquahPatch ready + 2748swappable traits for optionalsIssaquahComplete + 2749swappable traits for variantsIssaquah + 2750[fund.ts.v2] LWG 2451 conversion constructor constraintIssaquah + 2752"Throws:" clauses of async and packaged_task are unimplementableIssaquah + 2755ยง[string.view.io] uses non-existent basic_string_view::to_string functionIssaquahComplete + 2756C++ WP optional should 'forward' T's implicit conversionsIssaquahComplete + 2758std::string{}.assign("ABCDE", 0, 1) is ambiguousComplete + 2759gcd / lcm and bool for the WPIssaquahPatch ready + 2760non-const basic_string::data should not invalidate iteratorsIssaquahComplete + 2765Did LWG 1123 go too far?Issaquah + 2767not_fn call_wrapper can form invalid typesIssaquahComplete + 2769Redundant const in the return type of any_cast(const any&)IssaquahComplete + 2771Broken Effects of some basic_string::compare functions in terms of basic_string_viewIssaquahComplete + 2773Making std::ignore constexprIssaquah + 2777basic_string_view::copy should use char_traits::copyIssaquahPatch Ready + 2778basic_string_view is missing constexprIssaquah -

Last Updated: 13-Oct-2016

+

Last Updated: 14-Nov-2016

-- 2.7.4