forked from OSchip/llvm-project
222 lines
19 KiB
HTML
222 lines
19 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
||
"http://www.w3.org/TR/html4/strict.dtd">
|
||
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
||
<html>
|
||
<head>
|
||
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
|
||
<title>libc++ Upcoming Meeting Status</title>
|
||
<link type="text/css" rel="stylesheet" href="menu.css">
|
||
<link type="text/css" rel="stylesheet" href="content.css">
|
||
</head>
|
||
|
||
<body>
|
||
<div id="menu">
|
||
<div>
|
||
<a href="http://llvm.org/">LLVM Home</a>
|
||
</div>
|
||
|
||
<div class="submenu">
|
||
<label>libc++ Info</label>
|
||
<a href="/index.html">About</a>
|
||
</div>
|
||
|
||
<div class="submenu">
|
||
<label>Quick Links</label>
|
||
<a href="http://lists.llvm.org/mailman/listinfo/cfe-dev">cfe-dev</a>
|
||
<a href="http://lists.llvm.org/mailman/listinfo/cfe-commits">cfe-commits</a>
|
||
<a href="http://llvm.org/bugs/">Bug Reports</a>
|
||
<a href="http://llvm.org/svn/llvm-project/libcxx/trunk/">Browse SVN</a>
|
||
<a href="http://llvm.org/viewvc/llvm-project/libcxx/trunk/">Browse ViewVC</a>
|
||
</div>
|
||
</div>
|
||
|
||
<div id="content">
|
||
<!--*********************************************************************-->
|
||
<h1>libc++ Issaquah Status</h1>
|
||
<!--*********************************************************************-->
|
||
|
||
<p>This is a temporary page; please check the c++1z status <a href="http://libcxx.llvm.org/cxx1z_status.html">here</a></p>
|
||
<p>This page shows the status of the papers and issues that are expected to be adopted in Issaquah.</p>
|
||
|
||
<p>The groups that have contributed papers:
|
||
<ul>
|
||
<li>LWG - Library working group</li>
|
||
<li>CWG - Core Language Working group</li>
|
||
<li>SG1 - Study group #1 (Concurrency working group)</li>
|
||
</ul>
|
||
</p>
|
||
|
||
<h3>Paper Status</h3>
|
||
<table id="papers" border="1">
|
||
<tr><th>Paper #</th><th>Group</th><th>Paper Name</th><th>Meeting</th><th>Status</th><th>First released version</th></tr>
|
||
<!--
|
||
<tr><td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3346.pdf">3346</a></td><td>LWG</td><td>Terminology for Container Element Requirements - Rev 1</td><td>Kona</td><td>Complete</td><td>3.4</td></tr>
|
||
-->
|
||
<!-- <tr><td></td><td></td><td></td><td></td><td></td><td></td></tr> -->
|
||
</table>
|
||
|
||
<h3>Library Working group Issues Status</h3>
|
||
<table id="issues" border="1">
|
||
<tr><th>Issue #</th><th>Issue Name</th><th>Meeting</th><th>Status</th></tr>
|
||
|
||
<tr><td><a href="http://wg21.link/LWG2062">2062</a></td><td>Effect contradictions w/o no-throw guarantee of std::function swaps</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2166">2166</a></td><td>Heap property underspecified?</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2221">2221</a></td><td>No formatted output operator for nullptr</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2223">2223</a></td><td>shrink_to_fit effect on iterator validity</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2261">2261</a></td><td>Are containers required to use their 'pointer' type internally?</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2394">2394</a></td><td>locale::name specification unclear - what is implementation-defined?</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2460">2460</a></td><td>LWG issue 2408 and value categories</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2468">2468</a></td><td>Self-move-assignment of library types</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2475">2475</a></td><td>Allow overwriting of std::basic_string terminator with charT() to allow cleaner interoperation with legacy APIs</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2503">2503</a></td><td>multiline option should be added to syntax_option_type</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2510">2510</a></td><td>Tag types should not be DefaultConstructible</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2514">2514</a></td><td>Type traits must not be final</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2519">2519</a></td><td>Iterator operator-= has gratuitous undefined behaviour</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2531">2531</a></td><td>future::get should explicitly state that the shared state is released</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2534">2534</a></td><td>Constrain rvalue stream operators</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2536">2536</a></td><td>What should <complex.h> do?</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2540">2540</a></td><td>unordered_multimap::insert hint iterator</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2543">2543</a></td><td>LWG 2148 (hash support for enum types) seems under-specified</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2544">2544</a></td><td>istreambuf_iterator(basic_streambuf<charT, traits>* s) effects unclear when s is 0</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2556">2556</a></td><td>Wide contract for future::share()</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2562">2562</a></td><td>Consistent total ordering of pointers by comparison functors</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2567">2567</a></td><td>Specification of logical operator traits uses BaseCharacteristic, which is defined only for UnaryTypeTraits and BinaryTypeTraits</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2569">2569</a></td><td>conjunction and disjunction requirements are too strict</td><td>Issaquah</td><td>Nothing to do.</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2570">2570</a></td><td>[fund.ts.v2] conjunction and disjunction requirements are too strict</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2578">2578</a></td><td>Iterator requirements should reference iterator traits</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2584">2584</a></td><td><regex> ECMAScript IdentityEscape is ambiguous</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2589">2589</a></td><td>match_results can't satisfy the requirements of a container</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2591">2591</a></td><td>std::function's member template target() should not lead to undefined behaviour</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2598">2598</a></td><td>addressof works on temporaries</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2664">2664</a></td><td>operator/ (and other append) semantics not useful if argument has root</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2665">2665</a></td><td>remove_filename() post condition is incorrect</td><td>Issaquah</td><td>See Below</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2672">2672</a></td><td>Should is_empty use error_code in its specification?</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2678">2678</a></td><td>std::filesystem enum classes overspecified</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2679">2679</a></td><td>Inconsistent Use of Effects and Equivalent To</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2680">2680</a></td><td>Add "Equivalent to" to filesystem</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2681">2681</a></td><td>filesystem::copy() cannot copy symlinks</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2682">2682</a></td><td>filesystem::copy() won't create a symlink to a directory</td><td>Issaquah</td><td>Implemented in trunk</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2686">2686</a></td><td>Why is std::hash specialized for error_code, but not error_condition?</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2694">2694</a></td><td>Application of LWG 436 accidentally deleted definition of "facet"</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2696">2696</a></td><td>Interaction between make_shared and enable_shared_from_this is underspecified</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2699">2699</a></td><td>Missing restriction in [numeric.requirements]</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2712">2712</a></td><td>copy_file(from, to, ...) has a number of unspecified error conditions</td><td>Issaquah</td><td>Implemented in trunk</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2722">2722</a></td><td>equivalent incorrectly specifies throws clause</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2729">2729</a></td><td>Missing SFINAE on std::pair::operator=</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2732">2732</a></td><td>Questionable specification of path::operator/= and path::append</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2733">2733</a></td><td>[fund.ts.v2] gcd / lcm and bool</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2735">2735</a></td><td>std::abs(short), std::abs(signed char) and others should return int instead of double in order to be compatible with C++98 and C</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2736">2736</a></td><td>nullopt_t insufficiently constrained</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2738">2738</a></td><td>is_constructible with void types</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2739">2739</a></td><td>Issue with time_point non-member subtraction with an unsigned duration</td><td>Issaquah</td><td>Patch Ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2740">2740</a></td><td>constexpr optional<T>::operator-></td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2742">2742</a></td><td>Inconsistent string interface taking string_view</td><td>Issaquah</td><td>Patch Ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2744">2744</a></td><td>any's in_place constructors</td><td>Issaquah</td><td>Implemented in trunk</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2745">2745</a></td><td>[fund.ts.v2] Implementability of LWG 2451</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2747">2747</a></td><td>Possibly redundant std::move in [alg.foreach]</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2748">2748</a></td><td>swappable traits for optionals</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2749">2749</a></td><td>swappable traits for variants</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2750">2750</a></td><td>[fund.ts.v2] LWG 2451 conversion constructor constraint</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2752">2752</a></td><td>"Throws:" clauses of async and packaged_task are unimplementable</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2753">2753</a></td><td>Optional's constructors and assignments need constraints</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2754">2754</a></td><td>The in_place constructors and emplace functions added by P0032R3 don't require CopyConstructible</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2755">2755</a></td><td><EFBFBD>[string.view.io] uses non-existent basic_string_view::to_string function</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2756">2756</a></td><td>C++ WP optional<T> should 'forward' T's implicit conversions</td><td>Issaquah</td><td>Implemented in trunk</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2758">2758</a></td><td>std::string{}.assign("ABCDE", 0, 1) is ambiguous</td><td>We already do this</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2759">2759</a></td><td>gcd / lcm and bool for the WP</td><td>Issaquah</td><td>Patch ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2760">2760</a></td><td>non-const basic_string::data should not invalidate iterators</td><td>Issaquah</td><td>Nothing to do</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2765">2765</a></td><td>Did LWG 1123 go too far?</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2767">2767</a></td><td>not_fn call_wrapper can form invalid types</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2768">2768</a></td><td>any_cast and move semantics</td><td>Issaquah</td><td>Resolved by LWG 2769</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2769">2769</a></td><td>Redundant const in the return type of any_cast(const any&)</td><td>Issaquah</td><td>Implemented in trunk</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2771">2771</a></td><td>Broken Effects of some basic_string::compare functions in terms of basic_string_view</td><td>Issaquah</td><td>We already do this</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2773">2773</a></td><td>Making std::ignore constexpr</td><td>Issaquah</td><td></td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2777">2777</a></td><td>basic_string_view::copy should use char_traits::copy</td><td>Issaquah</td><td>Patch Ready</td></tr>
|
||
<tr><td><a href="http://wg21.link/LWG2778">2778</a></td><td>basic_string_view is missing constexpr</td><td>Issaquah</td><td></td></tr>
|
||
</table>
|
||
|
||
<h3>Comments about the issues</h3>
|
||
<ul>
|
||
<li>2062 - We already do this; added some tests to make sure we keep doing so.</li>
|
||
<li>2166 - I <b>suspect</b> that this is just better specification of the existing structure. Probably need more tests for this.</li>
|
||
<li>2221 - Patch and tests ready</li>
|
||
<li>2223 - This is just wording cleanup. </li>
|
||
<li>2261 - <b>Survey our containers to make sure we do this.</b> Ideally, this will result in no code changes.</li>
|
||
<li>2394 - This is just wording cleanup.</li>
|
||
<li>2460 - This is just wording cleanup.</li>
|
||
<li>2468 - <i>I think we already do this; but will need to survey the libray to be sure</i></li>
|
||
<li>2475 - Nothing to do here. </li>
|
||
<li>2503 - </li>
|
||
<li>2510 - <b>Need to write tests for all the tag types</b></li>
|
||
<li>2514 - Nothing to do; We don't mark any of the type traits as final. </li>
|
||
<li>2519 - This is just wording cleanup. </li>
|
||
<li>2531 - This <b>should be</b> just wording cleanup. </li>
|
||
<li>2534 - </li>
|
||
<li>2536 - We already do this. </li>
|
||
<li>2540 - We already do this, and have tests for it.</li>
|
||
<li>2543 - </li>
|
||
<li>2544 - We already do this; I've added tests to make sure we keep doing so</li>
|
||
<li>2556 - Patch and tests ready</li>
|
||
<li>2562 - I <b>suspect</b> that this is just better specification of the existing structure. Probably need more tests for this.</li>
|
||
<li>2567 - This is just wording cleanup.</li>
|
||
<li>2569 - This is just wording cleanup.</li>
|
||
<li>2570 - Same as 2569, but applied to LFTS</li>
|
||
<li>2578 - This is just wording cleanup. </li>
|
||
<li>2584 - </li>
|
||
<li>2589 - This is just wording cleanup. </li>
|
||
<li>2591 - I <b>suspect</b> that this is just better specification of the existing structure. Probably need more tests for this.</li>
|
||
<li>2598 - Patch and tests ready</li>
|
||
<li>2664 - No change needed. _LIBCPP_DEBUG mode tests the new requirements.</li>
|
||
<li>2665 - PR is incorrect as-is. We implement a modified version</li>
|
||
<li>2672 - Patch and tests in tree. </li>
|
||
<li>2678 - No change needed. Mostly wording cleanup. </li>
|
||
<li>2679 - This is just wording cleanup. </li>
|
||
<li>2680 - This is just wording cleanup. </li>
|
||
<li>2681 - LGTM </li>
|
||
<li>2682 - Current PR is incorrect. A modified version has been implemented</li>
|
||
<li>2686 - Patch and tests ready</li>
|
||
<li>2694 - Restoring inadvertently deleted text. No code changes needed.</li>
|
||
<li>2696 - I <b>suspect</b> that this is just better specification of the existing structure. Probably need more tests for this.</li>
|
||
<li>2699 - I don't think this requires any code changes; look more closely.</li>
|
||
<li>2712 - LGTM. </li>
|
||
<li>2722 - LGTM </li>
|
||
<li>2729 - </li>
|
||
<li>2732 - Our implementation is already equivalent. </li>
|
||
<li>2733 - LFTS; same as 2759</li>
|
||
<li>2735 - I <b>suspect</b> that this is just better specification of the existing structure. Probably need more tests for this.</li>
|
||
<li>2736 - </li>
|
||
<li>2738 - We already do this; I added tests for cv-void</li>
|
||
<li>2739 - Patch and tests ready</li>
|
||
<li>2740 - <i>std::optional</i>: The resolution LGTM. </li>
|
||
<li>2742 - Patch and tests ready</li>
|
||
<li>2744 - <i>std::any</i>: We already do this. We also check for a decayed in_place_type_t. </li>
|
||
<li>2745 - <i>std::optional</i> for LFTS -- should be considered for C++17</li>
|
||
<li>2747 - Patch ready, but I can't think of any way to test it.</li>
|
||
<li>2748 - <i>std::optional</i>: LGTM. </li>
|
||
<li>2749 - <i>std::variant</i></li>
|
||
<li>2750 - <i>std::optional</i> for LFTS -- should be considered for C++17</li>
|
||
<li>2752 - </li>
|
||
<li>2753 - <i>std::optional</i>: LGTM. </li>
|
||
<li>2754 - <i>std::any</i>: LGTM. </li>
|
||
<li>2755 - Both string and string_view call a common routine for output; so no code changes needed.</li>
|
||
<li>2756 - <i>std::optional</i>: Very large change. It is fully implemented and tested. </li>
|
||
<li>2758 - We already do this. </li>
|
||
<li>2759 - Patch and tests ready</li>
|
||
<li>2760 - This is just wording cleanup; no code or test changes needed.</li>
|
||
<li>2765 - is this just wording cleanup????? I don't think this actually requires code changes. </li>
|
||
<li>2767 - The test case on the issue is incorrect. See not_fn.pass.cpp for the correct test case. </li>
|
||
<li>2768 - <i>std::any</i>: There is no PR for this issue. It is resolved by LWG 2769. </li>
|
||
<li>2769 - <i>std::any</i>: The PR looks good except that
|
||
<code>remove_reference_t<remove_cv_t<T>></code> should read
|
||
<code>remove_cv_t<remove_reference_t<T>></code>. </li>
|
||
<li>2771 - We already do this.</li>
|
||
<li>2773 - </li>
|
||
<li>2777 - Patch ready; existing tests should suffice</li>
|
||
<li>2778 - This is mostly tests.</li>
|
||
</ul>
|
||
|
||
<p>Last Updated: 10-Oct-2016</p>
|
||
</div>
|
||
</body>
|
||
</html>
|