Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" |
| 2 | "http://www.w3.org/TR/html4/strict.dtd"> |
| 3 | <!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ --> |
| 4 | <html> |
| 5 | <head> |
| 6 | <meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> |
| 7 | <title>libc++ Jacksonville Status</title> |
| 8 | <link type="text/css" rel="stylesheet" href="menu.css"> |
| 9 | <link type="text/css" rel="stylesheet" href="content.css"> |
| 10 | </head> |
| 11 | |
| 12 | <body> |
| 13 | <div id="menu"> |
| 14 | <div> |
| 15 | <a href="http://llvm.org/">LLVM Home</a> |
| 16 | </div> |
| 17 | |
| 18 | <div class="submenu"> |
| 19 | <label>libc++ Info</label> |
| 20 | <a href="/index.html">About</a> |
| 21 | </div> |
| 22 | |
| 23 | <div class="submenu"> |
| 24 | <label>Quick Links</label> |
| 25 | <a href="http://lists.llvm.org/mailman/listinfo/cfe-dev">cfe-dev</a> |
| 26 | <a href="http://lists.llvm.org/mailman/listinfo/cfe-commits">cfe-commits</a> |
| 27 | <a href="http://llvm.org/bugs/">Bug Reports</a> |
| 28 | <a href="http://llvm.org/svn/llvm-project/libcxx/trunk/">Browse SVN</a> |
| 29 | <a href="http://llvm.org/viewvc/llvm-project/libcxx/trunk/">Browse ViewVC</a> |
| 30 | </div> |
| 31 | </div> |
| 32 | |
| 33 | <div id="content"> |
| 34 | <!--*********************************************************************--> |
| 35 | <h1>libc++ Jacksonville Status</h1> |
| 36 | <!--*********************************************************************--> |
| 37 | |
| 38 | <p>This is a temporary page; please check the c++1z status <a href="http://libcxx.llvm.org/cxx1z_status.html">here</a></p> |
| 39 | <p>This page shows the status of the papers and issues that are expected to be adopted in Jacksonville.</p> |
| 40 | |
| 41 | <p>The groups that have contributed papers: |
| 42 | <ul> |
| 43 | <li>LWG - Library working group</li> |
| 44 | <li>CWG - Core Language Working group</li> |
| 45 | <li>SG1 - Study group #1 (Concurrency working group)</li> |
| 46 | </ul> |
| 47 | </p> |
| 48 | |
| 49 | <h3>Paper Status</h3> |
| 50 | <table id="papers" border="1"> |
| 51 | <tr><th>Paper #</th><th>Group</th><th>Paper Name</th><th>Meeting</th><th>Status</th><th>First released version</th></tr> |
| 52 | <!-- |
| 53 | <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> |
| 54 | --> |
| 55 | <!-- <tr><td></td><td></td><td></td><td></td><td></td><td></td></tr> --> |
| 56 | </table> |
| 57 | |
| 58 | <h3>Library Working group Issues Status</h3> |
| 59 | <table id="issues" border="1"> |
| 60 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2192">2192</a></td><td>Validity and return type of <tt>std::abs(0u)</tt> is unclear</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 61 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2253">2253</a></td><td>[arrays.ts] <tt>dynarray</tt> should state which container requirements aren't met</td><td>Jacksonville</td><td>Nothing to do</td></tr> |
| 62 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2255">2255</a></td><td>[arrays.ts] <tt>dynarray</tt> constructor ambiguity</td><td>Jacksonville</td><td>Nothing to do</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 63 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2276">2276</a></td><td>Missing requirement on <tt>std::promise::set_exception</tt></td><td>Jacksonville</td><td></td></tr> |
| 64 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2450">2450</a></td><td><tt>(greater|less|greater_equal|less_equal)<void></tt> do not yield a total order for pointers</td><td>Jacksonville</td><td></td></tr> |
| 65 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2520">2520</a></td><td>N4089 broke initializing <tt>unique_ptr<T[]></tt> from a <tt>nullptr</tt></td><td>Jacksonville</td><td></td></tr> |
| 66 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2522">2522</a></td><td>[fund.ts.v2] Contradiction in <tt>set_default_resource</tt> specification</td><td>Jacksonville</td><td></td></tr> |
| 67 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2523">2523</a></td><td><tt>std::promise</tt> synopsis shows two <tt>set_value_at_thread_exit()</tt>'s for no apparent reason</td><td>Jacksonville</td><td></td></tr> |
| 68 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2537">2537</a></td><td>Constructors for <code>priority_queue</code> taking allocators should call <code>make_heap</code></td><td>Jacksonville</td><td></td></tr> |
| 69 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2539">2539</a></td><td>[fund.ts.v2] <tt>invocation_trait</tt> definition definition doesn't work for surrogate call functions</td><td>Jacksonville</td><td></td></tr> |
| 70 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2545">2545</a></td><td>Simplify wording for <tt>bind</tt> without explicitly specified return type</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 15312aa | 2016-02-16 14:42:23 +0000 | [diff] [blame] | 71 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2557">2557</a></td><td>Logical operator traits are broken in the zero-argument case</td><td>Jacksonville</td><td>Complete</td></tr> |
| 72 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2558">2558</a></td><td>[fund.ts.v2] Logical operator traits are broken in the zero-argument case</td><td>Jacksonville</td><td>Complete</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 73 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2559">2559</a></td><td>Error in LWG 2234's resolution</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 74 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2560">2560</a></td><td><tt>is_constructible</tt> underspecified when applied to a function type</td><td>Jacksonville</td><td>Complete</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 75 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2565">2565</a></td><td><tt>std::function</tt>'s move constructor should guarantee nothrow for <tt>reference_wrapper</tt>s and function pointers</td><td>Jacksonville</td><td></td></tr> |
| 76 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2566">2566</a></td><td>Requirements on the first template parameter of container adaptors</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 77 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2571">2571</a></td><td>§[map.modifiers]/2 imposes nonsensical requirement on <tt>insert(InputIterator, InputIterator)</tt></td><td>Jacksonville</td><td>Complete</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 78 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2572">2572</a></td><td>The remarks for <tt>shared_ptr::operator*</tt> should apply to <i>cv</i>-qualified <tt>void</tt> as well</td><td>Jacksonville</td><td></td></tr> |
| 79 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2574">2574</a></td><td>[fund.ts.v2] <tt>std::experimental::function::operator=(F&&)</tt> should be constrained</td><td>Jacksonville</td><td></td></tr> |
| 80 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2575">2575</a></td><td>[fund.ts.v2] <tt>experimental::function::assign</tt> should be removed</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 62d5d15 | 2016-02-16 16:05:15 +0000 | [diff] [blame] | 81 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2576">2576</a></td><td><tt>istream_iterator</tt> and <tt>ostream_iterator</tt> should use <tt>std::addressof</tt></td><td>Jacksonville</td><td>Patch done; needs tests</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 82 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2577">2577</a></td><td><tt>{shared,unique}_lock</tt> should use <tt>std::addressof</tt></td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 62d5d15 | 2016-02-16 16:05:15 +0000 | [diff] [blame] | 83 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2579">2579</a></td><td>Inconsistency wrt Allocators in <tt>basic_string</tt> assignment vs. <tt>basic_string::assign</tt></td><td>Jacksonville</td><td><i>Patch Ready</i></td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 84 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2581">2581</a></td><td>Specialization of <tt><type_traits></tt> variable templates should be prohibited</td><td>Jacksonville</td><td></td></tr> |
| 85 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2582">2582</a></td><td>§[res.on.functions]/2's prohibition against incomplete types shouldn't apply to type traits</td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | d052c68 | 2016-02-23 16:20:24 +0000 | [diff] [blame] | 86 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2583">2583</a></td><td>There is no way to supply an allocator for <tt>basic_string(str, pos)</tt></td><td>Jacksonville</td><td><i>Patch Ready</i></td></tr> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 87 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2585">2585</a></td><td><tt>forward_list::resize(size_type, const value_type&)</tt> effects incorrect</td><td>Jacksonville</td><td>Disputed</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 88 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2586">2586</a></td><td>Wrong value category used in <tt>scoped_allocator_adaptor::construct()</tt></td><td>Jacksonville</td><td></td></tr> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 89 | <tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2590">2590</a></td><td>Aggregate initialization for <tt>std::array</tt></td><td>Jacksonville</td><td>Complete</td></tr> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 90 | </table> |
| 91 | |
| 92 | <h3>Comments about the issues</h3> |
| 93 | <ul> |
| 94 | <li>2192 - </li> |
Marshall Clow | 15312aa | 2016-02-16 14:42:23 +0000 | [diff] [blame] | 95 | <li>2253 - Arrays.ts is moribund. No action needed.</li> |
| 96 | <li>2255 - Arrays.ts is moribund. No action needed.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 97 | <li>2276 - </li> |
| 98 | <li>2450 - </li> |
| 99 | <li>2520 - </li> |
| 100 | <li>2522 - </li> |
| 101 | <li>2523 - </li> |
| 102 | <li>2537 - </li> |
| 103 | <li>2539 - </li> |
| 104 | <li>2545 - </li> |
Marshall Clow | 15312aa | 2016-02-16 14:42:23 +0000 | [diff] [blame] | 105 | <li>2557 - Cleaning up wording; no code change required.</li> |
| 106 | <li>2558 - Cleaning up wording; no code change required.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 107 | <li>2559 - </li> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 108 | <li>2560 - We already do this; added tests in r261653.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 109 | <li>2565 - </li> |
| 110 | <li>2566 - </li> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 111 | <li>2571 - Cleaning up wording; no code change required.</li> |
| 112 | <li>2572 - I don't think that there's anything that needs to be done here.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 113 | <li>2574 - </li> |
| 114 | <li>2575 - I don't think we ever implemented this; so 'removing' it is trivial</li> |
Marshall Clow | 62d5d15 | 2016-02-16 16:05:15 +0000 | [diff] [blame] | 115 | <li>2576 - This one is simple, but testing it will be hard. I tried making a sublass of istringstream, but it got sliced.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 116 | <li>2577 - This one is simple</li> |
Marshall Clow | d052c68 | 2016-02-23 16:20:24 +0000 | [diff] [blame] | 117 | <li>2579 - <i>Done</i></li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 118 | <li>2581 - </li> |
| 119 | <li>2582 - </li> |
Marshall Clow | d052c68 | 2016-02-23 16:20:24 +0000 | [diff] [blame] | 120 | <li>2583 - <i>Done</i></li> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 121 | <li>2585 - This looks easy; but Alisdair wants to NAD this issue.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 122 | <li>2586 - </li> |
Marshall Clow | 54b5f6f | 2016-02-23 17:07:15 +0000 | [diff] [blame^] | 123 | <li>2590 - We already do this; added tests in r261648.</li> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 124 | </ul> |
| 125 | |
Marshall Clow | d052c68 | 2016-02-23 16:20:24 +0000 | [diff] [blame] | 126 | <p>Last Updated: 23-Feb-2015</p> |
Marshall Clow | 0e4ed2f | 2016-02-16 14:35:56 +0000 | [diff] [blame] | 127 | </div> |
| 128 | </body> |
| 129 | </html> |