Skip to content

Commit 23b0160

Browse files
author
github-actions
committed
Automatic update from GitHub Actions workflow
1 parent 0513171 commit 23b0160

22 files changed

+413
-44
lines changed

‎issue4407.html‎

Lines changed: 130 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,130 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8">
5+
<title>Issue 4407: constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
6+
constructor</title>
7+
<meta property="og:title" content="Issue 4407: constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
8+
constructor">
9+
<meta property="og:description" content="C++ library issue. Status: New">
10+
<meta property="og:url" content="https://cplusplus.github.io/LWG/issue4407.html">
11+
<meta property="og:type" content="website">
12+
<meta property="og:image" content="http://cplusplus.github.io/LWG/images/cpp_logo.png">
13+
<meta property="og:image:alt" content="C++ logo">
14+
<style>
15+
p {text-align:justify}
16+
li {text-align:justify}
17+
pre code.backtick::before { content: "`" }
18+
pre code.backtick::after { content: "`" }
19+
blockquote.note
20+
{
21+
background-color:#E0E0E0;
22+
padding-left: 15px;
23+
padding-right: 15px;
24+
padding-top: 1px;
25+
padding-bottom: 1px;
26+
}
27+
ins {background-color:#A0FFA0}
28+
del {background-color:#FFA0A0}
29+
table.issues-index { border: 1px solid; border-collapse: collapse; }
30+
table.issues-index th { text-align: center; padding: 4px; border: 1px solid; }
31+
table.issues-index td { padding: 4px; border: 1px solid; }
32+
table.issues-index td:nth-child(1) { text-align: right; }
33+
table.issues-index td:nth-child(2) { text-align: left; }
34+
table.issues-index td:nth-child(3) { text-align: left; }
35+
table.issues-index td:nth-child(4) { text-align: left; }
36+
table.issues-index td:nth-child(5) { text-align: center; }
37+
table.issues-index td:nth-child(6) { text-align: center; }
38+
table.issues-index td:nth-child(7) { text-align: left; }
39+
table.issues-index td:nth-child(5) span.no-pr { color: red; }
40+
@media (prefers-color-scheme: dark) {
41+
html {
42+
color: #ddd;
43+
background-color: black;
44+
}
45+
ins {
46+
background-color: #225522
47+
}
48+
del {
49+
background-color: #662222
50+
}
51+
a {
52+
color: #6af
53+
}
54+
a:visited {
55+
color: #6af
56+
}
57+
blockquote.note
58+
{
59+
background-color: rgba(255, 255, 255, .10)
60+
}
61+
}
62+
</style>
63+
</head>
64+
<body>
65+
<hr>
66+
<p><em>This page is a snapshot from the LWG issues list, see the <a href="lwg-active.html">Library Active Issues List</a> for more information and the meaning of <a href="lwg-active.html#New">New</a> status.</em></p>
67+
<h3 id="4407"><a href="lwg-active.html#4407">4407</a>. <code><i>constexpr-wrapper-like</i></code> needs <code class='backtick'>remove_cvref_t</code> in <code class='backtick'>simd::basic_vec</code>
68+
constructor</h3>
69+
<p><b>Section:</b> 29.10.7.2 <a href="https://wg21.link/simd.ctor">[simd.ctor]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
70+
<b>Submitter:</b> Hewill Kang <b>Opened:</b> 2025-10-05 <b>Last modified:</b> 2025-10-10</p>
71+
<p><b>Priority: </b>Not Prioritized
72+
</p>
73+
<p><b>View other</b> <a href="lwg-index-open.html#simd.ctor">active issues</a> in [simd.ctor].</p>
74+
<p><b>View all other</b> <a href="lwg-index.html#simd.ctor">issues</a> in [simd.ctor].</p>
75+
<p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p>
76+
<p><b>Discussion:</b></p>
77+
<p>
78+
<code class='backtick'>decltype(From::value)</code> would be <code>const int&amp;</code> if <code class='backtick'>From</code> is a type of <code>std::cw&lt;42&gt;</code>,
79+
so the reference also needs to be removed for checking the arithmetic type.
80+
</p>
81+
82+
83+
<p id="res-4407"><b>Proposed resolution:</b></p>
84+
<p>
85+
This wording is relative to <a href="https://wg21.link/N5014">N5014</a>.
86+
</p>
87+
88+
<ol>
89+
90+
<li><p>Modify 29.10.7.2 <a href="https://wg21.link/simd.ctor">[simd.ctor]</a> as indicated:</p>
91+
92+
<blockquote>
93+
<pre>
94+
template&lt;class U&gt; constexpr explicit(<i>see below</i>) basic_vec(U&amp;&amp; value) noexcept;
95+
</pre>
96+
<blockquote>
97+
<p>
98+
-1- Let <code class='backtick'>From</code> denote the type <code>remove_cvref_t&lt;U&gt;</code>.
99+
<p/>
100+
[&hellip;]
101+
<p/>
102+
-4- <i>Remarks</i>: The expression inside <code class='backtick'>explicit</code> evaluates to <code class='backtick'>false</code> if and only if <code class='backtick'>U</code>
103+
satisfies <code>convertible_to&lt;value_type&gt;</code>, and either
104+
</p>
105+
<ol style="list-style-type: none">
106+
<li><p>
107+
(4.1) &mdash; <code class='backtick'>From</code> is not an arithmetic type and does not satisfy <code><i>constexpr-wrapper-like</i></code>,
108+
</p></li>
109+
<li><p>
110+
(4.2) &mdash; <code class='backtick'>From</code> is an arithmetic type and the conversion from <code class='backtick'>From</code> to <code class='backtick'>value_type</code> is
111+
value-preserving (29.10.1 <a href="https://wg21.link/simd.general">[simd.general]</a>), or
112+
</p></li>
113+
<li><p>
114+
(4.3) &mdash; <code class='backtick'>From</code> satisfies <code><i>constexpr-wrapper-like</i></code>,
115+
<code><ins>remove_cvref_t</ins><del>remove_const_t</del>&lt;decltype(From::value)&gt;</code>
116+
is an arithmetic type, and <code class='backtick'>From::value</code> is representable by <code class='backtick'>value_type</code>.
117+
</p></li>
118+
</ol>
119+
</blockquote>
120+
</blockquote>
121+
</li>
122+
</ol>
123+
124+
125+
126+
127+
128+
129+
</body>
130+
</html>

‎lwg-active.html‎

Lines changed: 69 additions & 5 deletions
Large diffs are not rendered by default.

‎lwg-closed.html‎

Lines changed: 6 additions & 5 deletions
Large diffs are not rendered by default.

‎lwg-defects.html‎

Lines changed: 6 additions & 5 deletions
Large diffs are not rendered by default.

‎lwg-immediate.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues Resolved Directly In [INSERT CURRENT MEETING HER
6262
</tr>
6363
<tr>
6464
<td align="left">Date:</td>
65-
<td align="left">Revised 2025-10-10 at 15:08:00 UTC
65+
<td align="left">Revised 2025-10-10 at 15:26:54 UTC
6666
</td>
6767
</tr>
6868
<tr>

‎lwg-index-open.html‎

Lines changed: 14 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
6666
<p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>.</p>
6767
<h2>Index by Section (non-Ready active issues only)</h2>
6868
<p><a href="lwg-index.html">(view all issues)</a></p>
69-
<p>Revised 2025-10-10 at 15:08:00 UTC
69+
<p>Revised 2025-10-10 at 15:26:54 UTC
7070
</p><h2 id="Section_3">Section 3 (2 issues)</h2>
7171
<p><a href="lwg-index.html#Section_3">(view all issues)</a></p>
7272
<table class="issues-index">
@@ -5282,7 +5282,7 @@ <h2 id="Section_28">Section 28 (59 issues)</h2>
52825282
<td></td>
52835283
</tr>
52845284
</table>
5285-
<h2 id="Section_29">Section 29 (38 issues)</h2>
5285+
<h2 id="Section_29">Section 29 (39 issues)</h2>
52865286
<p><a href="lwg-index.html#Section_29">(view all issues)</a></p>
52875287
<table class="issues-index">
52885288
<tr>
@@ -5513,9 +5513,20 @@ <h2 id="Section_29">Section 29 (38 issues)</h2>
55135513
<td></td>
55145514
</tr>
55155515
<tr>
5516-
<td id="4403"><a href="lwg-active.html#4403" title="simd::basic_vec CTAD misses difference type casting (Status: New)">4403</a><sup><a href="https://cplusplus.github.io/LWG/issue4403">(i)</a></sup></td>
5516+
<td id="4407"><a href="lwg-active.html#4407" title="constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
5517+
constructor (Status: New)">4407</a><sup><a href="https://cplusplus.github.io/LWG/issue4407">(i)</a></sup></td>
55175518
<td><a href="lwg-active.html#New">New</a></td>
55185519
<td>29.10.7.2 [simd.ctor]<a id="simd.ctor"></a></td>
5520+
<td><code><i>constexpr-wrapper-like</i></code> needs <code class='backtick'>remove_cvref_t</code> in <code class='backtick'>simd::basic_vec</code>
5521+
constructor</td>
5522+
<td>Yes</td>
5523+
<td></td>
5524+
<td></td>
5525+
</tr>
5526+
<tr>
5527+
<td id="4403"><a href="lwg-active.html#4403" title="simd::basic_vec CTAD misses difference type casting (Status: New)">4403</a><sup><a href="https://cplusplus.github.io/LWG/issue4403">(i)</a></sup></td>
5528+
<td><a href="lwg-active.html#New">New</a></td>
5529+
<td>29.10.7.2 [simd.ctor]</td>
55195530
<td><code class='backtick'>simd::basic_vec</code> CTAD misses difference type casting</td>
55205531
<td>Yes</td>
55215532
<td></td>

‎lwg-index.html‎

Lines changed: 14 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
6666
<p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>, <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.</p>
6767
<h2>Index by Section</h2>
6868
<p><a href="lwg-index-open.html">(view only non-Ready open issues)</a></p>
69-
<p>Revised 2025-10-10 at 15:08:00 UTC
69+
<p>Revised 2025-10-10 at 15:26:54 UTC
7070
</p><h2 id="Section_2">Section 2 (2 issues)</h2>
7171
<table class="issues-index">
7272
<tr>
@@ -24452,7 +24452,7 @@ <h2 id="Section_28">Section 28 (288 issues)</h2>
2445224452
<td></td>
2445324453
</tr>
2445424454
</table>
24455-
<h2 id="Section_29">Section 29 (203 issues)</h2>
24455+
<h2 id="Section_29">Section 29 (204 issues)</h2>
2445624456
<p><a href="lwg-index-open.html#Section_29">(view only non-Ready open issues)</a></p>
2445724457
<table class="issues-index">
2445824458
<tr>
@@ -26172,9 +26172,20 @@ <h2 id="Section_29">Section 29 (203 issues)</h2>
2617226172
<td></td>
2617326173
</tr>
2617426174
<tr>
26175-
<td id="4403"><a href="lwg-active.html#4403" title="simd::basic_vec CTAD misses difference type casting (Status: New)">4403</a><sup><a href="https://cplusplus.github.io/LWG/issue4403">(i)</a></sup></td>
26175+
<td id="4407"><a href="lwg-active.html#4407" title="constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
26176+
constructor (Status: New)">4407</a><sup><a href="https://cplusplus.github.io/LWG/issue4407">(i)</a></sup></td>
2617626177
<td><a href="lwg-active.html#New">New</a></td>
2617726178
<td>29.10.7.2 [simd.ctor]<a id="simd.ctor"></a></td>
26179+
<td><code><i>constexpr-wrapper-like</i></code> needs <code class='backtick'>remove_cvref_t</code> in <code class='backtick'>simd::basic_vec</code>
26180+
constructor</td>
26181+
<td>Yes</td>
26182+
<td></td>
26183+
<td></td>
26184+
</tr>
26185+
<tr>
26186+
<td id="4403"><a href="lwg-active.html#4403" title="simd::basic_vec CTAD misses difference type casting (Status: New)">4403</a><sup><a href="https://cplusplus.github.io/LWG/issue4403">(i)</a></sup></td>
26187+
<td><a href="lwg-active.html#New">New</a></td>
26188+
<td>29.10.7.2 [simd.ctor]</td>
2617826189
<td><code class='backtick'>simd::basic_vec</code> CTAD misses difference type casting</td>
2617926190
<td>Yes</td>
2618026191
<td></td>

‎lwg-ready.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues to be moved in [INSERT CURRENT MEETING HERE]</h1
6262
</tr>
6363
<tr>
6464
<td align="left">Date:</td>
65-
<td align="left">Revised 2025-10-10 at 15:08:00 UTC
65+
<td align="left">Revised 2025-10-10 at 15:26:54 UTC
6666
</td>
6767
</tr>
6868
<tr>

‎lwg-status-date.html‎

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ <h1>Index by Status and Date</h1>
6767
This document is the Index by Status and Date for the <a href="lwg-active.html">Library Active Issues List</a>,
6868
<a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.
6969
</p>
70-
<p>Revised 2025-10-10 at 15:08:00 UTC
70+
<p>Revised 2025-10-10 at 15:26:54 UTC
7171
</p><h2 id="Ready">Ready (1 issues)</h2>
7272
<table class="issues-index">
7373
<tr>
@@ -356,7 +356,7 @@ <h2 id="Tentatively_NAD">Tentatively NAD (14 issues)</h2>
356356
<td></td>
357357
</tr>
358358
</table>
359-
<h2 id="New">New (611 issues)</h2>
359+
<h2 id="New">New (612 issues)</h2>
360360
<table class="issues-index">
361361
<tr>
362362
<th><a href="lwg-toc.html">Issue</a></th>
@@ -413,6 +413,17 @@ <h2 id="New">New (611 issues)</h2>
413413
<td></td>
414414
</tr>
415415
<tr>
416+
<td id="4407"><a href="lwg-active.html#4407" title="constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
417+
constructor (Status: New)">4407</a><sup><a href="https://cplusplus.github.io/LWG/issue4407">(i)</a></sup></td>
418+
<td><a href="lwg-active.html#New">New</a></td>
419+
<td>29.10.7.2 [simd.ctor]</td>
420+
<td><code><i>constexpr-wrapper-like</i></code> needs <code class='backtick'>remove_cvref_t</code> in <code class='backtick'>simd::basic_vec</code>
421+
constructor</td>
422+
<td>Yes</td>
423+
<td></td>
424+
<td></td>
425+
</tr>
426+
<tr>
416427
<td id="4322"><a href="lwg-active.html#4322" title="Problematic Constraints on incomplete types in indirect and polymorphic (Status: New)">4322</a><sup><a href="https://cplusplus.github.io/LWG/issue4322">(i)</a></sup></td>
417428
<td><a href="lwg-active.html#New">New</a></td>
418429
<td>20.4 [mem.composite.types]</td>

‎lwg-status.html‎

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ <h1>Index by Status and Section</h1>
6262
<a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.
6363
</p>
6464

65-
<p>Revised 2025-10-10 at 15:08:00 UTC
65+
<p>Revised 2025-10-10 at 15:26:54 UTC
6666
</p><h2 id="Ready">Ready (1 issues)</h2>
6767
<table class="issues-index">
6868
<tr>
@@ -351,7 +351,7 @@ <h2 id="Tentatively_NAD">Tentatively NAD (14 issues)</h2>
351351
<td></td>
352352
</tr>
353353
</table>
354-
<h2 id="New">New (611 issues)</h2>
354+
<h2 id="New">New (612 issues)</h2>
355355
<table class="issues-index">
356356
<tr>
357357
<th><a href="lwg-toc.html">Issue</a></th>
@@ -4583,6 +4583,17 @@ <h2 id="New">New (611 issues)</h2>
45834583
<td></td>
45844584
</tr>
45854585
<tr>
4586+
<td id="4407"><a href="lwg-active.html#4407" title="constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec
4587+
constructor (Status: New)">4407</a><sup><a href="https://cplusplus.github.io/LWG/issue4407">(i)</a></sup></td>
4588+
<td><a href="lwg-active.html#New">New</a></td>
4589+
<td>29.10.7.2 [simd.ctor]</td>
4590+
<td><code><i>constexpr-wrapper-like</i></code> needs <code class='backtick'>remove_cvref_t</code> in <code class='backtick'>simd::basic_vec</code>
4591+
constructor</td>
4592+
<td>Yes</td>
4593+
<td></td>
4594+
<td></td>
4595+
</tr>
4596+
<tr>
45864597
<td id="4403"><a href="lwg-active.html#4403" title="simd::basic_vec CTAD misses difference type casting (Status: New)">4403</a><sup><a href="https://cplusplus.github.io/LWG/issue4403">(i)</a></sup></td>
45874598
<td><a href="lwg-active.html#New">New</a></td>
45884599
<td>29.10.7.2 [simd.ctor]</td>

0 commit comments

Comments
 (0)