This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [MTASCsft PATCH 17/??] MT-, AS- and AC-Safety docs: manual/math.texi
- From: "Carlos O'Donell" <carlos at redhat dot com>
- To: Alexandre Oliva <aoliva at redhat dot com>, codonell at redhat dot com
- Cc: libc-alpha at sourceware dot org
- Date: Fri, 31 Jan 2014 04:26:09 -0500
- Subject: Re: [MTASCsft PATCH 17/??] MT-, AS- and AC-Safety docs: manual/math.texi
- Authentication-results: sourceware.org; auth=none
- References: <ortxelb5zd dot fsf at livre dot home> <or4n4uoncj dot fsf at livre dot home> <orwqhkhnb0 dot fsf_-_ at livre dot home>
On 01/27/2014 09:06 PM, Alexandre Oliva wrote:
> for ChangeLog
>
> * manual/math.texi: Document MTASC-safety properties.
OK to checkin.
> ---
> manual/math.texi | 103 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
> 1 file changed, 103 insertions(+)
>
> diff --git a/manual/math.texi b/manual/math.texi
> index 5e7c90e..152744147 100644
> --- a/manual/math.texi
> +++ b/manual/math.texi
> @@ -157,6 +157,7 @@ You can also compute the value of pi with the expression @code{acos
> @comment math.h
> @comment ISO
> @deftypefunx {long double} sinl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the sine of @var{x}, where @var{x} is given in
> radians. The return value is in the range @code{-1} to @code{1}.
> @end deftypefun
> @@ -170,6 +171,7 @@ radians. The return value is in the range @code{-1} to @code{1}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} cosl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the cosine of @var{x}, where @var{x} is given in
> radians. The return value is in the range @code{-1} to @code{1}.
> @end deftypefun
> @@ -183,6 +185,7 @@ radians. The return value is in the range @code{-1} to @code{1}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} tanl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the tangent of @var{x}, where @var{x} is given in
> radians.
>
> @@ -205,6 +208,7 @@ function to do that.
> @comment math.h
> @comment GNU
> @deftypefunx void sincosl (long double @var{x}, long double *@var{sinx}, long double *@var{cosx})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the sine of @var{x} in @code{*@var{sinx}} and the
> cosine of @var{x} in @code{*@var{cos}}, where @var{x} is given in
> radians. Both values, @code{*@var{sinx}} and @code{*@var{cosx}}, are in
> @@ -233,6 +237,9 @@ the implementation.)
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} csinl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> +@c There are calls to nan* that could trigger @mtslocale if they didn't get
> +@c empty strings.
> These functions return the complex sine of @var{z}.
> The mathematical definition of the complex sine is
>
> @@ -253,6 +260,7 @@ $$\sin(z) = {1\over 2i} (e^{zi} - e^{-zi})$$
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} ccosl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex cosine of @var{z}.
> The mathematical definition of the complex cosine is
>
> @@ -273,6 +281,7 @@ $$\cos(z) = {1\over 2} (e^{zi} + e^{-zi})$$
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} ctanl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex tangent of @var{z}.
> The mathematical definition of the complex tangent is
>
> @@ -307,6 +316,7 @@ respectively.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} asinl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the arc sine of @var{x}---that is, the value whose
> sine is @var{x}. The value is in units of radians. Mathematically,
> there are infinitely many such values; the one actually returned is the
> @@ -326,6 +336,7 @@ domain, @code{asin} signals a domain error.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} acosl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the arc cosine of @var{x}---that is, the value
> whose cosine is @var{x}. The value is in units of radians.
> Mathematically, there are infinitely many such values; the one actually
> @@ -345,6 +356,7 @@ domain, @code{acos} signals a domain error.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} atanl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the arc tangent of @var{x}---that is, the value
> whose tangent is @var{x}. The value is in units of radians.
> Mathematically, there are infinitely many such values; the one actually
> @@ -360,6 +372,7 @@ returned is the one between @code{-pi/2} and @code{pi/2} (inclusive).
> @comment math.h
> @comment ISO
> @deftypefunx {long double} atan2l (long double @var{y}, long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> This function computes the arc tangent of @var{y}/@var{x}, but the signs
> of both arguments are used to determine the quadrant of the result, and
> @var{x} is permitted to be zero. The return value is given in radians
> @@ -388,6 +401,7 @@ If both @var{x} and @var{y} are zero, @code{atan2} returns zero.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} casinl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the complex arc sine of @var{z}---that is, the
> value whose sine is @var{z}. The value returned is in radians.
>
> @@ -404,6 +418,7 @@ values of @var{z}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} cacosl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the complex arc cosine of @var{z}---that is, the
> value whose cosine is @var{z}. The value returned is in radians.
>
> @@ -421,6 +436,7 @@ values of @var{z}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} catanl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the complex arc tangent of @var{z}---that is,
> the value whose tangent is @var{z}. The value is in units of radians.
> @end deftypefun
> @@ -441,6 +457,7 @@ the value whose tangent is @var{z}. The value is in units of radians.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} expl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute @code{e} (the base of natural logarithms) raised
> to the power @var{x}.
>
> @@ -457,6 +474,7 @@ If the magnitude of the result is too large to be representable,
> @comment math.h
> @comment ISO
> @deftypefunx {long double} exp2l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute @code{2} raised to the power @var{x}.
> Mathematically, @code{exp2 (x)} is the same as @code{exp (x * log (2))}.
> @end deftypefun
> @@ -479,6 +497,7 @@ Mathematically, @code{exp2 (x)} is the same as @code{exp (x * log (2))}.
> @comment math.h
> @comment GNU
> @deftypefunx {long double} pow10l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute @code{10} raised to the power @var{x}.
> Mathematically, @code{exp10 (x)} is the same as @code{exp (x * log (10))}.
>
> @@ -496,6 +515,7 @@ preferred, since it is analogous to @code{exp} and @code{exp2}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} logl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions compute the natural logarithm of @var{x}. @code{exp (log
> (@var{x}))} equals @var{x}, exactly in mathematics and approximately in
> C.
> @@ -514,6 +534,7 @@ it may signal overflow.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} log10l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the base-10 logarithm of @var{x}.
> @code{log10 (@var{x})} equals @code{log (@var{x}) / log (10)}.
>
> @@ -528,6 +549,7 @@ These functions return the base-10 logarithm of @var{x}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} log2l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the base-2 logarithm of @var{x}.
> @code{log2 (@var{x})} equals @code{log (@var{x}) / log (2)}.
> @end deftypefun
> @@ -541,6 +563,7 @@ These functions return the base-2 logarithm of @var{x}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} logbl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions extract the exponent of @var{x} and return it as a
> floating-point value. If @code{FLT_RADIX} is two, @code{logb} is equal
> to @code{floor (log2 (x))}, except it's probably faster.
> @@ -560,6 +583,7 @@ negative), @code{logb} returns @math{@infinity{}}. If @var{x} is zero,
> @comment math.h
> @comment ISO
> @deftypefunx int ilogbl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions are equivalent to the corresponding @code{logb}
> functions except that they return signed integer values.
> @end deftypefun
> @@ -619,6 +643,7 @@ if (i == FP_ILOGB0 || i == FP_ILOGBNAN)
> @comment math.h
> @comment ISO
> @deftypefunx {long double} powl (long double @var{base}, long double @var{power})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These are general exponentiation functions, returning @var{base} raised
> to @var{power}.
>
> @@ -638,6 +663,7 @@ underflow or overflow the destination type.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} sqrtl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the nonnegative square root of @var{x}.
>
> If @var{x} is negative, @code{sqrt} signals a domain error.
> @@ -654,6 +680,7 @@ Mathematically, it should return a complex number.
> @comment math.h
> @comment BSD
> @deftypefunx {long double} cbrtl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the cube root of @var{x}. They cannot
> fail; every representable real value has a representable real cube root.
> @end deftypefun
> @@ -667,6 +694,7 @@ fail; every representable real value has a representable real cube root.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} hypotl (long double @var{x}, long double @var{y})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return @code{sqrt (@var{x}*@var{x} +
> @var{y}*@var{y})}. This is the length of the hypotenuse of a right
> triangle with sides of length @var{x} and @var{y}, or the distance
> @@ -684,6 +712,7 @@ much smaller. See also the function @code{cabs} in @ref{Absolute Value}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} expm1l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return a value equivalent to @code{exp (@var{x}) - 1}.
> They are computed in a way that is accurate even if @var{x} is
> near zero---a case where @code{exp (@var{x}) - 1} would be inaccurate owing
> @@ -699,6 +728,7 @@ to subtraction of two numbers that are nearly equal.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} log1pl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions returns a value equivalent to @w{@code{log (1 + @var{x})}}.
> They are computed in a way that is accurate even if @var{x} is
> near zero.
> @@ -719,6 +749,7 @@ logarithm functions.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} cexpl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return @code{e} (the base of natural
> logarithms) raised to the power of @var{z}.
> Mathematically, this corresponds to the value
> @@ -740,6 +771,7 @@ $$\exp(z) = e^z = e^{{\rm Re}\,z} (\cos ({\rm Im}\,z) + i \sin ({\rm Im}\,z))$$
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} clogl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the natural logarithm of @var{z}.
> Mathematically, this corresponds to the value
>
> @@ -766,6 +798,7 @@ or is very close to 0. It is well-defined for all other values of
> @comment complex.h
> @comment GNU
> @deftypefunx {complex long double} clog10l (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the base 10 logarithm of the complex value
> @var{z}. Mathematically, this corresponds to the value
>
> @@ -788,6 +821,7 @@ These functions are GNU extensions.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} csqrtl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex square root of the argument @var{z}. Unlike
> the real-valued functions, they are defined for all values of @var{z}.
> @end deftypefun
> @@ -801,6 +835,7 @@ the real-valued functions, they are defined for all values of @var{z}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} cpowl (complex long double @var{base}, complex long double @var{power})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return @var{base} raised to the power of
> @var{power}. This is equivalent to @w{@code{cexp (y * clog (x))}}
> @end deftypefun
> @@ -821,6 +856,7 @@ see @ref{Exponents and Logarithms}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} sinhl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the hyperbolic sine of @var{x}, defined
> mathematically as @w{@code{(exp (@var{x}) - exp (-@var{x})) / 2}}. They
> may signal overflow if @var{x} is too large.
> @@ -835,6 +871,7 @@ may signal overflow if @var{x} is too large.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} coshl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These function return the hyperbolic cosine of @var{x},
> defined mathematically as @w{@code{(exp (@var{x}) + exp (-@var{x})) / 2}}.
> They may signal overflow if @var{x} is too large.
> @@ -849,6 +886,7 @@ They may signal overflow if @var{x} is too large.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} tanhl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the hyperbolic tangent of @var{x},
> defined mathematically as @w{@code{sinh (@var{x}) / cosh (@var{x})}}.
> They may signal overflow if @var{x} is too large.
> @@ -868,6 +906,7 @@ complex arguments.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} csinhl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex hyperbolic sine of @var{z}, defined
> mathematically as @w{@code{(exp (@var{z}) - exp (-@var{z})) / 2}}.
> @end deftypefun
> @@ -881,6 +920,7 @@ mathematically as @w{@code{(exp (@var{z}) - exp (-@var{z})) / 2}}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} ccoshl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex hyperbolic cosine of @var{z}, defined
> mathematically as @w{@code{(exp (@var{z}) + exp (-@var{z})) / 2}}.
> @end deftypefun
> @@ -894,6 +934,7 @@ mathematically as @w{@code{(exp (@var{z}) + exp (-@var{z})) / 2}}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} ctanhl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the complex hyperbolic tangent of @var{z},
> defined mathematically as @w{@code{csinh (@var{z}) / ccosh (@var{z})}}.
> @end deftypefun
> @@ -910,6 +951,7 @@ defined mathematically as @w{@code{csinh (@var{z}) / ccosh (@var{z})}}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} asinhl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse hyperbolic sine of @var{x}---the
> value whose hyperbolic sine is @var{x}.
> @end deftypefun
> @@ -923,6 +965,7 @@ value whose hyperbolic sine is @var{x}.
> @comment math.h
> @comment ISO
> @deftypefunx {long double} acoshl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse hyperbolic cosine of @var{x}---the
> value whose hyperbolic cosine is @var{x}. If @var{x} is less than
> @code{1}, @code{acosh} signals a domain error.
> @@ -937,6 +980,7 @@ value whose hyperbolic cosine is @var{x}. If @var{x} is less than
> @comment math.h
> @comment ISO
> @deftypefunx {long double} atanhl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse hyperbolic tangent of @var{x}---the
> value whose hyperbolic tangent is @var{x}. If the absolute value of
> @var{x} is greater than @code{1}, @code{atanh} signals a domain error;
> @@ -954,6 +998,7 @@ if it is equal to 1, @code{atanh} returns infinity.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} casinhl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse complex hyperbolic sine of
> @var{z}---the value whose complex hyperbolic sine is @var{z}.
> @end deftypefun
> @@ -967,6 +1012,7 @@ These functions return the inverse complex hyperbolic sine of
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} cacoshl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse complex hyperbolic cosine of
> @var{z}---the value whose complex hyperbolic cosine is @var{z}. Unlike
> the real-valued functions, there are no restrictions on the value of @var{z}.
> @@ -981,6 +1027,7 @@ the real-valued functions, there are no restrictions on the value of @var{z}.
> @comment complex.h
> @comment ISO
> @deftypefunx {complex long double} catanhl (complex long double @var{z})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> These functions return the inverse complex hyperbolic tangent of
> @var{z}---the value whose complex hyperbolic tangent is @var{z}. Unlike
> the real-valued functions, there are no restrictions on the value of
> @@ -1005,6 +1052,7 @@ useful. Currently they only have real-valued versions.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} erfl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{erf} returns the error function of @var{x}. The error
> function is defined as
> @tex
> @@ -1026,6 +1074,7 @@ erf (x) = 2/sqrt(pi) * integral from 0 to x of exp(-t^2) dt
> @comment math.h
> @comment SVID
> @deftypefunx {long double} erfcl (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{erfc} returns @code{1.0 - erf(@var{x})}, but computed in a
> fashion that avoids round-off error when @var{x} is large.
> @end deftypefun
> @@ -1039,6 +1088,7 @@ fashion that avoids round-off error when @var{x} is large.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} lgammal (long double @var{x})
> +@safety{@prelim{}@mtunsafe{@mtasurace{:signgam}}@asunsafe{}@acsafe{}}
> @code{lgamma} returns the natural logarithm of the absolute value of
> the gamma function of @var{x}. The gamma function is defined as
> @tex
> @@ -1077,6 +1127,7 @@ singularity.
> @comment math.h
> @comment XPG
> @deftypefunx {long double} lgammal_r (long double @var{x}, int *@var{signp})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{lgamma_r} is just like @code{lgamma}, but it stores the sign of
> the intermediate result in the variable pointed to by @var{signp}
> instead of in the @var{signgam} global. This means it is reentrant.
> @@ -1091,6 +1142,7 @@ instead of in the @var{signgam} global. This means it is reentrant.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} gammal (long double @var{x})
> +@safety{@prelim{}@mtunsafe{@mtasurace{:signgam}}@asunsafe{}@acsafe{}}
> These functions exist for compatibility reasons. They are equivalent to
> @code{lgamma} etc. It is better to use @code{lgamma} since for one the
> name reflects better the actual computation, moreover @code{lgamma} is
> @@ -1106,6 +1158,7 @@ standardized in @w{ISO C99} while @code{gamma} is not.
> @comment math.h
> @comment XPG, ISO
> @deftypefunx {long double} tgammal (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{tgamma} applies the gamma function to @var{x}. The gamma
> function is defined as
> @tex
> @@ -1129,6 +1182,7 @@ This function was introduced in @w{ISO C99}.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} j0l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{j0} returns the Bessel function of the first kind of order 0 of
> @var{x}. It may signal underflow if @var{x} is too large.
> @end deftypefun
> @@ -1142,6 +1196,7 @@ This function was introduced in @w{ISO C99}.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} j1l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{j1} returns the Bessel function of the first kind of order 1 of
> @var{x}. It may signal underflow if @var{x} is too large.
> @end deftypefun
> @@ -1155,6 +1210,7 @@ This function was introduced in @w{ISO C99}.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} jnl (int @var{n}, long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{jn} returns the Bessel function of the first kind of order
> @var{n} of @var{x}. It may signal underflow if @var{x} is too large.
> @end deftypefun
> @@ -1168,6 +1224,7 @@ This function was introduced in @w{ISO C99}.
> @comment math.h
> @comment SVID
> @deftypefunx {long double} y0l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{y0} returns the Bessel function of the second kind of order 0 of
> @var{x}. It may signal underflow if @var{x} is too large. If @var{x}
> is negative, @code{y0} signals a domain error; if it is zero,
> @@ -1183,6 +1240,7 @@ is negative, @code{y0} signals a domain error; if it is zero,
> @comment math.h
> @comment SVID
> @deftypefunx {long double} y1l (long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{y1} returns the Bessel function of the second kind of order 1 of
> @var{x}. It may signal underflow if @var{x} is too large. If @var{x}
> is negative, @code{y1} signals a domain error; if it is zero,
> @@ -1198,6 +1256,7 @@ is negative, @code{y1} signals a domain error; if it is zero,
> @comment math.h
> @comment SVID
> @deftypefunx {long double} ynl (int @var{n}, long double @var{x})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> @code{yn} returns the Bessel function of the second kind of order @var{n} of
> @var{x}. It may signal underflow if @var{x} is too large. If @var{x}
> is negative, @code{yn} signals a domain error; if it is zero,
> @@ -1384,6 +1443,8 @@ value the @code{rand} function can return. In @theglibc{}, it is
> @comment stdlib.h
> @comment ISO
> @deftypefun int rand (void)
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> +@c Just calls random.
> The @code{rand} function returns the next pseudo-random number in the
> series. The value ranges from @code{0} to @code{RAND_MAX}.
> @end deftypefun
> @@ -1391,6 +1452,8 @@ series. The value ranges from @code{0} to @code{RAND_MAX}.
> @comment stdlib.h
> @comment ISO
> @deftypefun void srand (unsigned int @var{seed})
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> +@c Alias to srandom.
> This function establishes @var{seed} as the seed for a new series of
> pseudo-random numbers. If you call @code{rand} before a seed has been
> established with @code{srand}, it uses the value @code{1} as a default
> @@ -1407,6 +1470,7 @@ designed and unsuitable for serious work.
> @comment stdlib.h
> @comment POSIX.1
> @deftypefun int rand_r (unsigned int *@var{seed})
> +@safety{@prelim{}@mtsafe{}@assafe{}@acsafe{}}
> This function returns a random number in the range 0 to @code{RAND_MAX}
> just as @code{rand} does. However, all its state is stored in the
> @var{seed} argument. This means the RNG's state can only have as many
> @@ -1433,6 +1497,9 @@ The prototypes for these functions are in @file{stdlib.h}.
> @comment stdlib.h
> @comment BSD
> @deftypefun {long int} random (void)
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> +@c Takes a lock and calls random_r with an automatic variable and the
> +@c global state, while holding a lock.
> This function returns the next pseudo-random number in the sequence.
> The value returned ranges from @code{0} to @code{2147483647}.
>
> @@ -1446,6 +1513,11 @@ though.
> @comment stdlib.h
> @comment BSD
> @deftypefun void srandom (unsigned int @var{seed})
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> +@c Takes a lock and calls srandom_r with an automatic variable and a
> +@c static buffer. There's no MT-safety issue because the static buffer
> +@c is internally protected by a lock, although other threads may modify
> +@c the set state before it is used.
> The @code{srandom} function sets the state of the random number
> generator based on the integer @var{seed}. If you supply a @var{seed} value
> of @code{1}, this will cause @code{random} to reproduce the default set
> @@ -1458,6 +1530,7 @@ program runs, do @code{srandom (time (0))}.
> @comment stdlib.h
> @comment BSD
> @deftypefun {char *} initstate (unsigned int @var{seed}, char *@var{state}, size_t @var{size})
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> The @code{initstate} function is used to initialize the random number
> generator state. The argument @var{state} is an array of @var{size}
> bytes, used to hold the state information. It is initialized based on
> @@ -1472,6 +1545,7 @@ restore that state.
> @comment stdlib.h
> @comment BSD
> @deftypefun {char *} setstate (char *@var{state})
> +@safety{@prelim{}@mtsafe{}@asunsafe{@asulock{}}@acunsafe{@aculock{}}}
> The @code{setstate} function restores the random number state
> information @var{state}. The argument must have been the result of
> a previous call to @var{initstate} or @var{setstate}.
> @@ -1512,6 +1586,7 @@ functions.
> @comment stdlib.h
> @comment GNU
> @deftypefun int random_r (struct random_data *restrict @var{buf}, int32_t *restrict @var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buf}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{random_r} function behaves exactly like the @code{random}
> function except that it uses and modifies the state in the object
> pointed to by the first parameter instead of the global state.
> @@ -1520,6 +1595,7 @@ pointed to by the first parameter instead of the global state.
> @comment stdlib.h
> @comment GNU
> @deftypefun int srandom_r (unsigned int @var{seed}, struct random_data *@var{buf})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buf}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{srandom_r} function behaves exactly like the @code{srandom}
> function except that it uses and modifies the state in the object
> pointed to by the second parameter instead of the global state.
> @@ -1528,6 +1604,7 @@ pointed to by the second parameter instead of the global state.
> @comment stdlib.h
> @comment GNU
> @deftypefun int initstate_r (unsigned int @var{seed}, char *restrict @var{statebuf}, size_t @var{statelen}, struct random_data *restrict @var{buf})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buf}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{initstate_r} function behaves exactly like the @code{initstate}
> function except that it uses and modifies the state in the object
> pointed to by the fourth parameter instead of the global state.
> @@ -1536,6 +1613,7 @@ pointed to by the fourth parameter instead of the global state.
> @comment stdlib.h
> @comment GNU
> @deftypefun int setstate_r (char *restrict @var{statebuf}, struct random_data *restrict @var{buf})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buf}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{setstate_r} function behaves exactly like the @code{setstate}
> function except that it uses and modifies the state in the object
> pointed to by the first parameter instead of the global state.
> @@ -1582,6 +1660,12 @@ The prototypes for these functions are in @file{stdlib.h}.
> @comment stdlib.h
> @comment SVID
> @deftypefun double drand48 (void)
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> +@c Uses of the static state buffer are not guarded by a lock (thus
> +@c @mtasurace:drand48), so they may be found or left at a
> +@c partially-updated state in case of calls from within signal handlers
> +@c or cancellation. None of this will break safety rules or invoke
> +@c undefined behavior, but it may affect randomness.
> This function returns a @code{double} value in the range of @code{0.0}
> to @code{1.0} (exclusive). The random bits are determined by the global
> state of the random number generator in the C library.
> @@ -1595,6 +1679,9 @@ bits and they are initialized to @code{0}.
> @comment stdlib.h
> @comment SVID
> @deftypefun double erand48 (unsigned short int @var{xsubi}[3])
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> +@c The static buffer is just initialized with default parameters, which
> +@c are later read to advance the state held in xsubi.
> This function returns a @code{double} value in the range of @code{0.0}
> to @code{1.0} (exclusive), similarly to @code{drand48}. The argument is
> an array describing the state of the random number generator.
> @@ -1607,6 +1694,7 @@ initial use to obtain reproducible results.
> @comment stdlib.h
> @comment SVID
> @deftypefun {long int} lrand48 (void)
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{lrand48} function returns an integer value in the range of
> @code{0} to @code{2^31} (exclusive). Even if the size of the @code{long
> int} type can take more than 32 bits, no higher numbers are returned.
> @@ -1617,6 +1705,7 @@ generator in the C library.
> @comment stdlib.h
> @comment SVID
> @deftypefun {long int} nrand48 (unsigned short int @var{xsubi}[3])
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> This function is similar to the @code{lrand48} function in that it
> returns a number in the range of @code{0} to @code{2^31} (exclusive) but
> the state of the random number generator used to produce the random bits
> @@ -1631,6 +1720,7 @@ first call to obtain reproducible results.
> @comment stdlib.h
> @comment SVID
> @deftypefun {long int} mrand48 (void)
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{mrand48} function is similar to @code{lrand48}. The only
> difference is that the numbers returned are in the range @code{-2^31} to
> @code{2^31} (exclusive).
> @@ -1639,6 +1729,7 @@ difference is that the numbers returned are in the range @code{-2^31} to
> @comment stdlib.h
> @comment SVID
> @deftypefun {long int} jrand48 (unsigned short int @var{xsubi}[3])
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{jrand48} function is similar to @code{nrand48}. The only
> difference is that the numbers returned are in the range @code{-2^31} to
> @code{2^31} (exclusive). For the @code{xsubi} parameter the same
> @@ -1652,6 +1743,7 @@ information provided.
> @comment stdlib.h
> @comment SVID
> @deftypefun void srand48 (long int @var{seedval})
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{srand48} function sets the most significant 32 bits of the
> internal state of the random number generator to the least
> significant 32 bits of the @var{seedval} parameter. The lower 16 bits
> @@ -1671,6 +1763,7 @@ the user has called the @code{lcong48} function (see below).
> @comment stdlib.h
> @comment SVID
> @deftypefun {unsigned short int *} seed48 (unsigned short int @var{seed16v}[3])
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{seed48} function initializes all 48 bits of the state of the
> internal random number generator from the contents of the parameter
> @var{seed16v}. Here the lower 16 bits of the first element of
> @@ -1698,6 +1791,7 @@ change the parameters in the congruential formula.
> @comment stdlib.h
> @comment SVID
> @deftypefun void lcong48 (unsigned short int @var{param}[7])
> +@safety{@prelim{}@mtunsafe{@mtasurace{:drand48}}@asunsafe{}@acunsafe{@acucorrupt{}}}
> The @code{lcong48} function allows the user to change the complete state
> of the random number generator. Unlike @code{srand48} and
> @code{seed48}, this function also changes the constants in the
> @@ -1730,6 +1824,7 @@ This type should be regarded as opaque and not manipulated directly.
> @comment stdlib.h
> @comment GNU
> @deftypefun int drand48_r (struct drand48_data *@var{buffer}, double *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> This function is equivalent to the @code{drand48} function with the
> difference that it does not modify the global random number generator
> parameters but instead the parameters in the buffer supplied through the
> @@ -1747,6 +1842,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int erand48_r (unsigned short int @var{xsubi}[3], struct drand48_data *@var{buffer}, double *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{erand48_r} function works like @code{erand48}, but in addition
> it takes an argument @var{buffer} which describes the random number
> generator. The state of the random number generator is taken from the
> @@ -1763,6 +1859,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int lrand48_r (struct drand48_data *@var{buffer}, long int *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> This function is similar to @code{lrand48}, but in addition it takes a
> pointer to a buffer describing the state of the random number generator
> just like @code{drand48}.
> @@ -1777,6 +1874,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int nrand48_r (unsigned short int @var{xsubi}[3], struct drand48_data *@var{buffer}, long int *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{nrand48_r} function works like @code{nrand48} in that it
> produces a random number in the range @code{0} to @code{2^31}. But instead
> of using the global parameters for the congruential formula it uses the
> @@ -1793,6 +1891,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int mrand48_r (struct drand48_data *@var{buffer}, long int *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> This function is similar to @code{mrand48} but like the other reentrant
> functions it uses the random number generator described by the value in
> the buffer pointed to by @var{buffer}.
> @@ -1807,6 +1906,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int jrand48_r (unsigned short int @var{xsubi}[3], struct drand48_data *@var{buffer}, long int *@var{result})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> The @code{jrand48_r} function is similar to @code{jrand48}. Like the
> other reentrant functions of this function family it uses the
> congruential formula parameters from the buffer pointed to by
> @@ -1841,6 +1941,7 @@ what you expect.
> @comment stdlib.h
> @comment GNU
> @deftypefun int srand48_r (long int @var{seedval}, struct drand48_data *@var{buffer})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> The description of the random number generator represented by the
> information in @var{buffer} is initialized similarly to what the function
> @code{srand48} does. The state is initialized from the parameter
> @@ -1856,6 +1957,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int seed48_r (unsigned short int @var{seed16v}[3], struct drand48_data *@var{buffer})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> This function is similar to @code{srand48_r} but like @code{seed48} it
> initializes all 48 bits of the state from the parameter @var{seed16v}.
>
> @@ -1872,6 +1974,7 @@ programs.
> @comment stdlib.h
> @comment GNU
> @deftypefun int lcong48_r (unsigned short int @var{param}[7], struct drand48_data *@var{buffer})
> +@safety{@prelim{}@mtsafe{@mtsrace{:buffer}}@assafe{}@acunsafe{@acucorrupt{}}}
> This function initializes all aspects of the random number generator
> described in @var{buffer} with the data in @var{param}. Here it is
> especially true that the function does more than just copying the
>