🛠 Paper fixes and updates....

ThePhD · Feb 20, 2025 · e96b49e · e96b49e
1 parent 3d2766d
commit e96b49e
Show file tree

Hide file tree

Showing 25 changed files with 43,099 additions and 20,020 deletions.
diff --git a/papers/C - Improved __attribute__((cleanup)) Through defer.html b/papers/C - Improved __attribute__((cleanup)) Through defer.html
diff --git a/papers/C - Literal Suffixes for size_t.html b/papers/C - Literal Suffixes for size_t.html
diff --git a/papers/C - Transparent Aliases.html b/papers/C - Transparent Aliases.html
diff --git a/papers/C - __self_func.html b/papers/C - __self_func.html
diff --git a/papers/C - embed Synchronization.html b/papers/C - embed Synchronization.html
diff --git a/papers/d1967.html b/papers/d1967.html
diff --git a/papers/d3540.html b/papers/d3540.html
diff --git a/papers/published/n3485 - Literal Suffixes for size_t.html b/papers/published/n3485 - Literal Suffixes for size_t.html
diff --git a/papers/published/n3486 - __self_func.html b/papers/published/n3486 - __self_func.html
diff --git a/papers/published/n3487 - Transparent Aliases.html b/papers/published/n3487 - Transparent Aliases.html
diff --git a/papers/published/n3488 - Improved __attribute__((cleanup)) Through defer.html b/papers/published/n3488 - Improved __attribute__((cleanup)) Through defer.html
diff --git a/papers/published/n3490 - embed Synchronization.html b/papers/published/n3490 - embed Synchronization.html
diff --git a/papers/published/p1967r14.html b/papers/published/p1967r14.html
diff --git a/papers/published/p3540r1.html b/papers/published/p3540r1.html
diff --git a/papers/source/C - Improved __attribute__((cleanup)) Through defer.bs b/papers/source/C - Improved __attribute__((cleanup)) Through defer.bs
@@ -1,11 +1,11 @@
 <pre class='metadata'>
 Title: Improved __attribute__((cleanup)) Through defer
 H1: Improved <code>__attribute__((cleanup))</code> Through <code>defer</code>
-Shortname: XX30
+Shortname: 3488
 Revision: 2
 !Previous Revisions: <a href="https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3199.htm">n3199 (r0)</a>
 Status: P
-Date: 2025-02-25
+Date: 2025-02-20
 Group: WG14
 !Proposal Category: Change Request, Feature Request  
 !Target: C2y
@@ -36,7 +36,7 @@ path: resources/css/bikeshed-wording.html
 ## Revision 2 - February 25<sup>th</sup>, 2025 ## {#changelog-r2}
 
 - Revert to disallowing `goto` (and reaffirm ban of `return`) from inside of a deferred block.
-- Document existing practice for attribute cleanup and try/finally around the ability to `goto` or otherwise break out of the "deferred" code in [[#design-ordering-jump.out]]
+- Document existing practice for attribute cleanup and try/finally around the ability to `goto` or otherwise break out of the "deferred" code in [[#design-ordering-jump.out]].
 
 
 
@@ -1154,7 +1154,7 @@ Jumps by means of `goto` in *E* shall not jump over a defer statement in *E*.
 
 <div class="wording-numbered">
 
-Jumps by means of `goto` or `return` shall not exit *S*.
+Jumps by means of `goto`, `break`, `continue`, or `return` shall not exit *S*.
 </div>
 
 <div class="wording-clause-section-title">
@@ -1222,7 +1222,7 @@ the behavior is unspecified.
 
 <div class="wording-numbered">
 
-**EXAMPLE**&emsp;  Defer statements cannot be jumped over or jumped out of.
+**EXAMPLE** &emsp; Defer statements cannot be jumped over or jumped out of.
 
 ```cpp
 #include <stdio.h>
@@ -1336,7 +1336,7 @@ int p () {
 
 <div class="wording-numbered">
 
-**EXAMPLE** All the expressions and statements of an enclosing block are evaluated before executing defer statements, including any conversions. After all defer statements are executed, the block is then exited.
+**EXAMPLE** &emsp; All the expressions and statements of an enclosing block are evaluated before executing defer statements, including any conversions. After all defer statements are executed, the block is then exited.
 
 ```cpp
 int main () {
@@ -1367,7 +1367,7 @@ bool f () {
 
 <div class="wording-numbered">
 
-**EXAMPLE** It is implementation-defined if defer statements will execute if the exiting / non-returning functions detailed previously are called.
+**EXAMPLE** &emsp; It is implementation-defined if defer statements will execute if the exiting / non-returning functions detailed previously are called.
 
 ```cpp
 #include <stdio.h>
@@ -1386,7 +1386,7 @@ int main () {
 
 <div class="wording-numbered">
 
-**EXAMPLE** Defer statements, when execution reaches them, are tied to their enclosing block.
+**EXAMPLE** &emsp; Defer statements, when execution reaches them, are tied to their enclosing block.
 
 ```cpp
 #include <stdio.h>
@@ -1409,7 +1409,7 @@ int main () {
 
 <div class="wording-numbered">
 
-**EXAMPLE 5**: Defer statements execute in reverse lexical order, and nested defer statements execute in reverse lexical order but at the end of the defer statement they were invoked within. The following program:
+**EXAMPLE** &emsp; Defer statements execute in reverse lexical order, and nested defer statements execute in reverse lexical order but at the end of the defer statement they were invoked within. The following program:
 
 ```cpp
 int main () {
@@ -1444,7 +1444,7 @@ int main () {
 
 <div class="wording-numbered">
 
-**EXAMPLE** Defer statements can be executed within a `switch`, but a `switch` cannot be used to jump over a defer statement.
+**EXAMPLE** &emsp; Defer statements can be executed within a `switch`, but a `switch` cannot be used to jump over a defer statement.
 
 ```cpp
 #include <stdlib.h>
@@ -1463,9 +1463,38 @@ int main () {
 ```
 </div>
 
+
+<div class="wording-numbered">
+
+**EXAMPLE** &emsp; Defer statements can not be exited by means of `break` or `continue`.
+
+```cpp
+int main () {
+	switch (1) {
+	default:
+		defer {
+			break; // constraint violation
+		}
+	}
+	for (;;) {
+		defer {
+			break; // constraint violation
+		}
+	}
+	for (;;) {
+		defer {
+			continue; // constraint violation
+		}
+	}
+	return 0;
+}
+```
+
+</div>
+
 <div class="wording-numbered">
 
-**EXAMPLE**&emsp;  Defer statements that are not reached are not executed.
+**EXAMPLE** &emsp; Defer statements that are not reached are not executed.
 
 ```cpp
 #include <stdlib.h>
@@ -1480,7 +1509,7 @@ int main () {
 
 <div class="wording-numbered">
 
-**EXAMPLE** Defer statements can contain other compound statements.
+**EXAMPLE** &emsp; Defer statements can contain other compound statements.
 
 ```cpp
 typedef struct meow *handle;

diff --git a/papers/source/C - Literal Suffixes for size_t.bs b/papers/source/C - Literal Suffixes for size_t.bs
@@ -1,11 +1,11 @@
 <pre class='metadata'>
 Title: Literal Suffixes for size_t
 H1: Literal Suffixes for <code>size_t</code>
-Shortname: XX15
+Shortname: 3485
 Revision: 2
 Status: P
 !Previous Revisions: <a href="https://www.open-std.org/JTC1/SC22/WG14/www/docs/n2998.htm">N2998 (r1)</a> <a href="https://www.open-std.org/JTC1/SC22/WG14/www/docs/n2961.htm">N2961 (r0)</a>
-Date: 2025-03-05
+Date: 2025-02-20
 Group: WG14
 !Proposal Category: Feature Request
 !Target: C2y
@@ -33,9 +33,10 @@ path: resources/css/bikeshed-wording.html
 
 
 
-## Revision 2 - March 3<sup>rd</sup>, 2025 ## {#changelog-r2}
+## Revision 2 - February 20<sup>th</sup>, 2025 ## {#changelog-r2}
 
 - Fix typo for `u` or `U` (rather than both capital letters) in wording.
+- Add a note to help to appease unsigned vs. signed people who keep fighting about this.
 - Rebase on current section numbers and text.
 
 
@@ -186,7 +187,7 @@ If an integer literal that does not have <del>suffixes `wb`, `WB`, `uwb`, or `UW
 <div class="wording-newnumbered wording-newnumbered-9">
 <ins>
 
-**NOTE** &emsp; &emsp; An integer literal `64'800z` has the signed integer type corresponding to `size_t`, but it itself may not be suitable for representing the complete range for sizes (i.e. [`0`, `SIZE_MAX`)).
+**NOTE** &emsp; &emsp; While an integer literal `64'800z` has the signed integer type corresponding to `size_t`, such a type itself may not be suitable for representing the complete range for sizes (i.e. [`0`, `SIZE_MAX`)).
 </ins>
 </div>
 

diff --git a/papers/source/C - Transparent Aliases.bs b/papers/source/C - Transparent Aliases.bs
@@ -1,10 +1,10 @@
 <pre class='metadata'>
 Title: Transparent Aliases
-Shortname: XX21
+Shortname: 3487
 Revision: 5
 !Previous Revisions: <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3329.htm">N3329 (r4)</a>, <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3200.htm">N3200 (r3)</a>, <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2970.htm">N2970 (r2)</a>, <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2901.htm">N2901 (r1)</a>, <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2729.htm">N2729 (r0)</a>
 Status: P
-Date: 2024-10-19
+Date: 2025-02-20
 Group: WG14
 !Proposal Category: Change Request, Feature Request  
 !Target: C2y

diff --git a/papers/source/C - __self_func.bs b/papers/source/C - __self_func.bs
@@ -1,10 +1,10 @@
 <pre class='metadata'>
 Title: __self_func
 H1: <code>__self_func</code>
-Shortname: XX16
+Shortname: 3486
 Revision: 2
 Status: P
-Date: 2025-02-11
+Date: 2025-02-20
 Group: WG14
 Editor: JeanHeyd Meneide, [email protected]
 Editor: Shepherd (Shepherd's Oasis LLC), [email protected]
@@ -195,7 +195,7 @@ Semantics
 
 <div class="wording-numbered">
 
-`__self_func` is the function designator (6.3.3.1) of the function it is used in.
+`__self_func` is a function designator (6.3.3.1) designating and having the type of the function it is used in.
 </div>
 </ins>
 </blockquote>