From Jason Turner

[support.runtime]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp04box8zc/{from.md → to.md} +13 -15
tmp/tmp04box8zc/{from.md → to.md} RENAMED
@@ -21,41 +21,39 @@ the `setlocale` function.
21
 
22
  ### Header `<cstdarg>` synopsis <a id="cstdarg.syn">[[cstdarg.syn]]</a>
23
 
24
  ``` cpp
25
  // all freestanding
 
 
26
  namespace std {
27
  using va_list = see below;
28
  }
29
 
30
  #define va_arg(V, P) see below
31
  #define va_copy(VDST, VSRC) see below
32
  #define va_end(V) see below
33
- #define va_start(V, P) see below
34
  ```
35
 
36
  The contents of the header `<cstdarg>` are the same as the C standard
37
  library header `<stdarg.h>`, with the following changes:
38
 
39
- - In lieu of the default argument promotions specified in ISO C 6.5.2.2,
40
- the definition in  [[expr.call]] applies.
41
- - The restrictions that ISO C places on the second parameter to the
42
- `va_start` macro in header `<stdarg.h>` are different in this
43
- document. The parameter `parmN` is the rightmost parameter in the
44
- variable parameter list of the function definition (the one just
45
- before the `...`).[^33] If the parameter `parmN` is a pack expansion
46
- [[temp.variadic]] or an entity resulting from a lambda capture
47
- [[expr.prim.lambda]], the program is ill-formed, no diagnostic
48
- required. If the parameter `parmN` is of a reference type, or of a
49
- type that is not compatible with the type that results when passing an
50
- argument for which there is no parameter, the behavior is undefined.
51
 
52
- See also: ISO C 7.16.1.1
53
 
54
  ### Header `<csetjmp>` synopsis <a id="csetjmp.syn">[[csetjmp.syn]]</a>
55
 
56
  ``` cpp
 
 
57
  namespace std {
58
  using jmp_buf = see below;
59
  [[noreturn]] void longjmp(jmp_buf env, int val);
60
  }
61
 
@@ -130,11 +128,11 @@ An evaluation is *signal-safe* unless it includes one of the following:
130
  - an access to an object with thread storage duration;
131
  - a `dynamic_cast` expression;
132
  - throwing of an exception;
133
  - control entering a *try-block* or *function-try-block*;
134
  - initialization of a variable with static storage duration requiring
135
- dynamic initialization [[basic.start.dynamic]], [[stmt.dcl]][^34] ; or
136
  - waiting for the completion of the initialization of a variable with
137
  static storage duration [[stmt.dcl]].
138
 
139
  A signal handler invocation has undefined behavior if it includes an
140
  evaluation that is not signal-safe.
 
21
 
22
  ### Header `<cstdarg>` synopsis <a id="cstdarg.syn">[[cstdarg.syn]]</a>
23
 
24
  ``` cpp
25
  // all freestanding
26
+ #define __STDC_VERSION_STDARG_H__ 202311L
27
+
28
  namespace std {
29
  using va_list = see below;
30
  }
31
 
32
  #define va_arg(V, P) see below
33
  #define va_copy(VDST, VSRC) see below
34
  #define va_end(V) see below
35
+ #define va_start(V, ...) see below
36
  ```
37
 
38
  The contents of the header `<cstdarg>` are the same as the C standard
39
  library header `<stdarg.h>`, with the following changes:
40
 
41
+ - In lieu of the default argument promotions specified in ISO/IEC
42
+ 9899:2018 (C) 6.5.3.3, the definition in  [[expr.call]] applies.
43
+ - The preprocessing tokens comprising the second and subsequent
44
+ arguments to `va_start` (if any) are discarded. \[*Note 1*: `va_start`
45
+ accepts a second argument for compatibility with prior revisions of
46
+ C++. *end note*]
 
 
 
 
 
 
47
 
48
+ See also: ISO C 7.16
49
 
50
  ### Header `<csetjmp>` synopsis <a id="csetjmp.syn">[[csetjmp.syn]]</a>
51
 
52
  ``` cpp
53
+ #define __STDC_VERSION_SETJMP_H__ 202311L
54
+
55
  namespace std {
56
  using jmp_buf = see below;
57
  [[noreturn]] void longjmp(jmp_buf env, int val);
58
  }
59
 
 
128
  - an access to an object with thread storage duration;
129
  - a `dynamic_cast` expression;
130
  - throwing of an exception;
131
  - control entering a *try-block* or *function-try-block*;
132
  - initialization of a variable with static storage duration requiring
133
+ dynamic initialization [[basic.start.dynamic]], [[stmt.dcl]][^33] ; or
134
  - waiting for the completion of the initialization of a variable with
135
  static storage duration [[stmt.dcl]].
136
 
137
  A signal handler invocation has undefined behavior if it includes an
138
  evaluation that is not signal-safe.