This is an archive of the discontinued LLVM Phabricator instance.

Differential D145814

Release notes and C++ status
AbandonedPublic

Authored by bolshakov-a on Mar 10 2023, 10:37 AM.

Details

Reviewers
None

Diff Detail

Event Timeline

bolshakov-a created this revision.Mar 10 2023, 10:37 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 10 2023, 10:37 AM
bolshakov-a requested review of this revision.Mar 10 2023, 10:37 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 10 2023, 10:37 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript
Harbormaster completed remote builds in B218724: Diff 504215.Mar 10 2023, 10:38 AM
bolshakov-a added a comment.Mar 10 2023, 10:40 AM

Occasional PR, sorry. I'm still learning Arcanist...

bolshakov-a abandoned this revision.Mar 10 2023, 1:35 PM

Revision Contents

PathSize
clang/
docs/
2 lines
www/
18 lines

Diff 504215

clang/docs/ReleaseNotes.rst

Show First 20 Lines • Show All 72 Lines • ▼ Show 20 Lines
- Improved ``-O0`` code generation for calls to ``std::forward_like``. Similarly to - Improved ``-O0`` code generation for calls to ``std::forward_like``. Similarly to
``std::move, std::forward`` et al. it is now treated as a compiler builtin and implemented ``std::move, std::forward`` et al. it is now treated as a compiler builtin and implemented
directly rather than instantiating the definition from the standard library. directly rather than instantiating the definition from the standard library.
- Implemented `CWG2518 <https://wg21.link/CWG2518>`_ which allows ``static_assert(false)`` - Implemented `CWG2518 <https://wg21.link/CWG2518>`_ which allows ``static_assert(false)``
to not be ill-formed when its condition is evaluated in the context of a template definition. to not be ill-formed when its condition is evaluated in the context of a template definition.
C++20 Feature Support C++20 Feature Support
^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^
- Implemented `P1907R1 <https://wg21.link/P1907R1>` which extends allowed non-type template argument
kinds with e.g. floating point values and pointers and references to subobjects.
C++2b Feature Support C++2b Feature Support
^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^
- Implemented `P2036R3: Change scope of lambda trailing-return-type <https://wg21.link/P2036R3>`_ - Implemented `P2036R3: Change scope of lambda trailing-return-type <https://wg21.link/P2036R3>`_
and `P2579R0 Mitigation strategies for P2036 <https://wg21.link/P2579R0>`_. and `P2579R0 Mitigation strategies for P2036 <https://wg21.link/P2579R0>`_.
These proposals modify how variables captured in lambdas can appear in trailing return type These proposals modify how variables captured in lambdas can appear in trailing return type
expressions and how their types are deduced therein, in all C++ language versions. expressions and how their types are deduced therein, in all C++ language versions.
▲ Show 20 Lines • Show All 241 Lines • Show Last 20 Lines

clang/www/cxx_status.html

Show First 20 Lines • Show All 1,047 Lines • ▼ Show 20 Lines </tr>
</tr> </tr>
<tr> <tr>
<td>Pack expansion in lambda <i>init-capture</i></td> <td>Pack expansion in lambda <i>init-capture</i></td>
<td><a href="https://wg21.link/p0780r2">P0780R2</a></td> <td><a href="https://wg21.link/p0780r2">P0780R2</a></td>
<td class="full" align="center">Clang 9</td> <td class="full" align="center">Clang 9</td>
</tr> </tr>
<!-- Rapperswil papers --> <!-- Rapperswil papers -->
<tr> <tr>
<td rowspan="2">Class types as non-type template parameters</td> <td>Class types as non-type template parameters</td>
<td><a href="https://wg21.link/p0732r2">P0732R2</a></td> <td><a href="https://wg21.link/p0732r2">P0732R2</a></td>
<td rowspan="2" class="partial" align="center">Partial</td> <td class="full" align="center">Clang 12</td>
</tr> </tr>
<tr> <!-- from Belfast --> <tr> <!-- from Belfast -->
<td>Generalized non-type template parameters of scalar type</td>
<td><a href="https://wg21.link/p1907r1">P1907R1</a></td> <td><a href="https://wg21.link/p1907r1">P1907R1</a></td>
<td class="partial" align="center">
<details>
<summary>Clang 16 (Partial)</summary>
Reference type template arguments referring to instantiation-dependent objects and subobjects
(i.e. delcared inside a template but neither type- nor value-dependent) aren't fully supported.
</details>
</td>
</tr> </tr>
<tr> <tr>
<td>Destroying operator delete</td> <td>Destroying operator delete</td>
<td><a href="https://wg21.link/p0722r3">P0722R3</a></td> <td><a href="https://wg21.link/p0722r3">P0722R3</a></td>
<td class="full" align="center">Clang 6</td> <td class="full" align="center">Clang 6</td>
</tr> </tr>
<tr> <tr>
<td rowspan="7">Relaxations of <tt>constexpr</tt> restrictions</td> <td rowspan="7">Relaxations of <tt>constexpr</tt> restrictions</td>
<td><a href="https://wg21.link/p1064r0">P1064R0</a></td> <td><a href="https://wg21.link/p1064r0">P1064R0</a></td>
▲ Show 20 Lines • Show All 618 Lines • Show Last 20 Lines