[support.signal] - C++14 → C++17

Files changed (1) hide show

tmp/tmpwyytxvx5/{from.md → to.md} +245 -0

tmp/tmpwyytxvx5/{from.md → to.md} RENAMED Viewed

	@@ -0,0 +1,245 @@

+### Signal handlers <a id="support.signal">[[support.signal]]</a>
+A call to the function `signal` synchronizes with any resulting
+invocation of the signal handler so installed.
+A *plain lock-free atomic operation* is an invocation of a function `f`
+from Clause  [[atomics]], such that:
+- `f` is the function `atomic_is_lock_free()`, or
+- `f` is the member function `is_lock_free()`, or
+- `f` is a non-static member function invoked on an object `A`, such
+  that `A.is_lock_free()` yields `true`, or
+- `f` is a non-member function, and for every pointer-to-atomic argument
+  `A` passed to `f`, `atomic_is_lock_free(A)` yields `true`.
+An evaluation is *signal-safe* unless it includes one of the following:
+- a call to any standard library function, except for plain lock-free
+  atomic operations and functions explicitly identified as signal-safe.
+  \[*Note 1*: This implicitly excludes the use of `new` and `delete`
+  expressions that rely on a library-provided memory
+  allocator. — *end note*]
+- an access to an object with thread storage duration;
+- a `dynamic_cast` expression;
+- throwing of an exception;
+- control entering a *try-block* or *function-try-block*;
+- initialization of a variable with static storage duration requiring
+  dynamic initialization ([[basic.start.dynamic]], [[stmt.dcl]]) [^35];
+  or
+- waiting for the completion of the initialization of a variable with
+  static storage duration ([[stmt.dcl]]).
+A signal handler invocation has undefined behavior if it includes an
+evaluation that is not signal-safe.
+The function `signal` is signal-safe if it is invoked with the first
+argument equal to the signal number corresponding to the signal that
+caused the invocation of the handler.
+ISO C 7.14.
+<!-- Link reference definitions -->
+[alg.c.library]: algorithms.md#alg.c.library
+[alloc.errors]: #alloc.errors
+[atomics]: atomics.md#atomics
+[bad.alloc]: #bad.alloc
+[bad.cast]: #bad.cast
+[bad.exception]: #bad.exception
+[bad.typeid]: #bad.typeid
+[basic.align]: basic.md#basic.align
+[basic.def.odr]: basic.md#basic.def.odr
+[basic.fundamental]: basic.md#basic.fundamental
+[basic.life]: basic.md#basic.life
+[basic.start]: basic.md#basic.start
+[basic.start.dynamic]: basic.md#basic.start.dynamic
+[basic.start.term]: basic.md#basic.start.term
+[basic.stc.dynamic]: basic.md#basic.stc.dynamic
+[basic.stc.dynamic.allocation]: basic.md#basic.stc.dynamic.allocation
+[basic.stc.dynamic.deallocation]: basic.md#basic.stc.dynamic.deallocation
+[basic.stc.dynamic.safety]: basic.md#basic.stc.dynamic.safety
+[c.locales]: localization.md#c.locales
+[c.malloc]: utilities.md#c.malloc
+[c.math.abs]: numerics.md#c.math.abs
+[c.math.rand]: numerics.md#c.math.rand
+[c.mb.wcs]: strings.md#c.mb.wcs
+[cfloat.syn]: #cfloat.syn
+[class]: class.md#class
+[class.free]: special.md#class.free
+[climits.syn]: #climits.syn
+[complex]: numerics.md#complex
+[constraints]: library.md#constraints
+[conv.ptr]: conv.md#conv.ptr
+[conv.qual]: conv.md#conv.qual
+[conv.rank]: conv.md#conv.rank
+[csetjmp.syn]: #csetjmp.syn
+[csignal.syn]: #csignal.syn
+[cstdarg.syn]: #cstdarg.syn
+[cstddef.syn]: #cstddef.syn
+[cstdint]: #cstdint
+[cstdint.syn]: #cstdint.syn
+[cstdlib.syn]: #cstdlib.syn
+[dcl.init.list]: dcl.md#dcl.init.list
+[denorm.style]: #denorm.style
+[except.handle]: except.md#except.handle
+[except.nested]: #except.nested
+[except.special]: except.md#except.special
+[except.terminate]: except.md#except.terminate
+[except.uncaught]: except.md#except.uncaught
+[exception]: #exception
+[exception.syn]: #exception.syn
+[exception.terminate]: #exception.terminate
+[expr.add]: expr.md#expr.add
+[expr.delete]: expr.md#expr.delete
+[expr.dynamic.cast]: expr.md#expr.dynamic.cast
+[expr.new]: expr.md#expr.new
+[expr.prim.lambda]: expr.md#expr.prim.lambda
+[expr.sizeof]: expr.md#expr.sizeof
+[expr.typeid]: expr.md#expr.typeid
+[fp.style]: #fp.style
+[get.new.handler]: #get.new.handler
+[get.terminate]: #get.terminate
+[hardware.interference]: #hardware.interference
+[initializer_list.syn]: #initializer_list.syn
+[intro.memory]: intro.md#intro.memory
+[intro.multithread]: intro.md#intro.multithread
+[language.support]: #language.support
+[library.c]: library.md#library.c
+[limits.syn]: #limits.syn
+[locale.codecvt]: localization.md#locale.codecvt
+[memory]: utilities.md#memory
+[multibyte.strings]: library.md#multibyte.strings
+[new.badlength]: #new.badlength
+[new.delete]: #new.delete
+[new.delete.array]: #new.delete.array
+[new.delete.dataraces]: #new.delete.dataraces
+[new.delete.placement]: #new.delete.placement
+[new.delete.single]: #new.delete.single
+[new.handler]: #new.handler
+[new.syn]: #new.syn
+[nullablepointer.requirements]: library.md#nullablepointer.requirements
+[numeric.limits]: #numeric.limits
+[numeric.limits.members]: #numeric.limits.members
+[numeric.special]: #numeric.special
+[propagation]: #propagation
+[ptr.launder]: #ptr.launder
+[res.on.data.races]: library.md#res.on.data.races
+[round.style]: #round.style
+[set.new.handler]: #set.new.handler
+[set.terminate]: #set.terminate
+[stmt.dcl]: stmt.md#stmt.dcl
+[string.classes]: strings.md#string.classes
+[support.dynamic]: #support.dynamic
+[support.exception]: #support.exception
+[support.general]: #support.general
+[support.initlist]: #support.initlist
+[support.initlist.access]: #support.initlist.access
+[support.initlist.cons]: #support.initlist.cons
+[support.initlist.range]: #support.initlist.range
+[support.limits]: #support.limits
+[support.limits.general]: #support.limits.general
+[support.rtti]: #support.rtti
+[support.runtime]: #support.runtime
+[support.signal]: #support.signal
+[support.start.term]: #support.start.term
+[support.types]: #support.types
+[support.types.byteops]: #support.types.byteops
+[support.types.layout]: #support.types.layout
+[support.types.nullptr]: #support.types.nullptr
+[tab:lang.sup.lib.summary]: #tab:lang.sup.lib.summary
+[temp.dep.constexpr]: temp.md#temp.dep.constexpr
+[temp.dep.expr]: temp.md#temp.dep.expr
+[temp.variadic]: temp.md#temp.variadic
+[terminate]: #terminate
+[terminate.handler]: #terminate.handler
+[type.info]: #type.info
+[typeinfo.syn]: #typeinfo.syn
+[uncaught.exceptions]: #uncaught.exceptions
+[^1]: Possible definitions include `0` and `0L`, but not `(void*)0`.
+[^2]: Note that `offsetof` is required to work as specified even if
+    unary `operator&` is overloaded for any of the types involved.
+[^3]: Equivalent to `CHAR_MIN`, `SHRT_MIN`, `FLT_MIN`, `DBL_MIN`, etc.
+[^4]: Equivalent to `CHAR_MAX`, `SHRT_MAX`, `FLT_MAX`, `DBL_MAX`, etc.
+[^5]: `lowest()` is necessary because not all floating-point
+    representations have a smallest (most negative) value that is the
+    negative of the largest (most positive) finite value.
+[^6]: Equivalent to `FLT_MANT_DIG`, `DBL_MANT_DIG`, `LDBL_MANT_DIG`.
+[^7]: Equivalent to `FLT_DIG`, `DBL_DIG`, `LDBL_DIG`.
+[^8]: Equivalent to `FLT_RADIX`.
+[^9]: Distinguishes types with bases other than 2 (e.g. BCD).
+[^10]: Equivalent to `FLT_EPSILON`, `DBL_EPSILON`, `LDBL_EPSILON`.
+[^11]: Rounding error is described in LIA-1 Section 5.2.4 and Annex C
+    Rationale Section C.5.2.4 — Rounding and rounding constants.
+[^12]: Equivalent to `FLT_MIN_EXP`, `DBL_MIN_EXP`, `LDBL_MIN_EXP`.
+[^13]: Equivalent to `FLT_MIN_10_EXP`, `DBL_MIN_10_EXP`,
+    `LDBL_MIN_10_EXP`.
+[^14]: Equivalent to `FLT_MAX_EXP`, `DBL_MAX_EXP`, `LDBL_MAX_EXP`.
+[^15]: Equivalent to `FLT_MAX_10_EXP`, `DBL_MAX_10_EXP`,
+    `LDBL_MAX_10_EXP`.
+[^16]: Required by LIA-1.
+[^17]: Required by LIA-1.
+[^18]: Required by LIA-1.
+[^19]: See ISO/IEC/IEEE 60559.
+[^20]: Required by LIA-1.
+[^21]: Required by LIA-1.
+[^22]: Required by LIA-1.
+[^23]: Required by LIA-1.
+[^24]: ISO/IEC/IEEE 60559:2011 is the same as IEEE 754-2008.
+[^25]: Required by LIA-1.
+[^26]: Required by LIA-1.
+[^27]: Required by LIA-1.
+[^28]: Refer to ISO/IEC/IEEE 60559. Required by LIA-1.
+[^29]: Equivalent to `FLT_ROUNDS`. Required by LIA-1.
+[^30]: A function is called for every time it is registered.
+[^31]: Objects with automatic storage duration are all destroyed in a
+    program whose `main` function ([[basic.start.main]]) contains no
+    automatic objects and executes the call to `exit()`. Control can be
+    transferred directly to such a `main` function by throwing an
+    exception that is caught in `main`.
+[^32]: The macros `EXIT_FAILURE` and `EXIT_SUCCESS` are defined in
+    `<cstdlib>`.
+[^33]: It is not the direct responsibility of `operator new[]` or
+    `operator delete[]` to note the repetition count or element size of
+    the array. Those operations are performed elsewhere in the array
+    `new` and `delete` expressions. The array `new` expression, may,
+    however, increase the `size` argument to `operator new[]` to obtain
+    space to store supplemental information.
+[^34]: Note that `va_start` is required to work as specified even if
+    unary `operator&` is overloaded for the type of `parmN`.
+[^35]: Such initialization might occur because it is the first odr-use (
+    [[basic.def.odr]]) of that variable.

Diff to HTML by rtfpessoa