Skip to content

Commit 309c4e5

Browse files
committed
Set 4244 to Tentatively NAD
1 parent 1c1e712 commit 309c4e5

File tree

1 file changed

+11
-1
lines changed

1 file changed

+11
-1
lines changed

xml/issue4244.xml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version='1.0' encoding='utf-8' standalone='no'?>
22
<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
33

4-
<issue num="4244" status="New">
4+
<issue num="4244" status="Tentatively NAD">
55
<title>Whether the spuriously failed comparison applies to `compare_exchange_strong` is unclear</title>
66
<section>
77
<sref ref="[atomics.ref.ops]"/><sref ref="[atomics.types.operations]"/>
@@ -42,6 +42,16 @@ strong version should have a stronger guarantee than the weak version.
4242
<p/>
4343
Explicitly specify whether `compare_exchange_strong` can have the spurious failed comparison.
4444
</p>
45+
46+
<note>2025-10-20; Reflector poll. Status changed: New &rarr; Tentatively NAD.</note>
47+
<p>
48+
"The <i>Effects</i>: explain the behaviour, and don't allow for spurious failures."
49+
</p>
50+
<p>
51+
"The <i>Remarks</i>: are normative and are explicitly adding permission to fail
52+
spuriously. Absent such permission, the specification for strong operations
53+
is clear and has no spurious failures."
54+
</p>
4555
</discussion>
4656

4757
<resolution>

0 commit comments

Comments
 (0)