std.cfg: Improved support for math functions.

This commit is contained in:
Martin Ettl 2015-01-18 13:35:40 +01:00
parent a83fe0e268
commit b23772381d
1 changed files with 314 additions and 0 deletions

View File

@ -178,6 +178,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex casin(double complex x); -->
<function name="casin">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float asinf(float x); --> <!-- float asinf(float x); -->
<function name="asinf"> <function name="asinf">
<use-retval/> <use-retval/>
@ -188,6 +198,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex casinf(float complex x); -->
<function name="casinf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double asinl(long double x); --> <!-- long double asinl(long double x); -->
<function name="asinl"> <function name="asinl">
<use-retval/> <use-retval/>
@ -198,6 +218,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex casinl(long double complex x); -->
<function name="casinl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- double asinh(double x); --> <!-- double asinh(double x); -->
<function name="asinh"> <function name="asinh">
<use-retval/> <use-retval/>
@ -208,6 +238,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex casinh(double complex x); -->
<function name="casinh">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float asinhf(float x); --> <!-- float asinhf(float x); -->
<function name="asinhf"> <function name="asinhf">
<use-retval/> <use-retval/>
@ -218,6 +258,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex casinhf(float complex x); -->
<function name="casinhf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double asinhl(long double x); --> <!-- long double asinhl(long double x); -->
<function name="asinhl"> <function name="asinhl">
<use-retval/> <use-retval/>
@ -228,6 +278,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex casinhl(long double complex x); -->
<function name="casinhl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- size_t wcsftime (wchar_t* ptr, size_t maxsize, const wchar_t* format, const struct tm* timeptr); --> <!-- size_t wcsftime (wchar_t* ptr, size_t maxsize, const wchar_t* format, const struct tm* timeptr); -->
<function name="wcsftime"> <function name="wcsftime">
<pure/> <pure/>
@ -409,6 +469,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex catan(double complex x); -->
<function name="catan">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float atanf(float x); --> <!-- float atanf(float x); -->
<function name="atanf"> <function name="atanf">
<use-retval/> <use-retval/>
@ -419,6 +489,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex catanf(float complex x); -->
<function name="catanf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double atanl(long double x); --> <!-- long double atanl(long double x); -->
<function name="atanl"> <function name="atanl">
<use-retval/> <use-retval/>
@ -429,6 +509,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex catanl(long double complex x); -->
<function name="catanl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<function name="tgamma"> <function name="tgamma">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -493,6 +583,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex catanh(double complex x); -->
<function name="catanh">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float atanhf(float x); --> <!-- float atanhf(float x); -->
<function name="atanhf"> <function name="atanhf">
<use-retval/> <use-retval/>
@ -503,6 +603,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex catanhf(float complex x); -->
<function name="catanhf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double atanhl(long double x); --> <!-- long double atanhl(long double x); -->
<function name="atanhl"> <function name="atanhl">
<use-retval/> <use-retval/>
@ -513,6 +623,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex catanhl(long double complex x); -->
<function name="catanhl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- double atan2(double x, double y); --> <!-- double atan2(double x, double y); -->
<function name="atan2"> <function name="atan2">
<use-retval/> <use-retval/>
@ -612,6 +732,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double ceil(double x); -->
<function name="ceil"> <function name="ceil">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -621,6 +742,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float ceilf(float x); -->
<function name="ceilf"> <function name="ceilf">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -630,6 +752,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double ceill(long double x); -->
<function name="ceill"> <function name="ceill">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -675,6 +798,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- void cearerr(FILE * stream); -->
<function name="clearerr"> <function name="clearerr">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
@ -683,11 +807,13 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- clock_t clock(void); -->
<function name="clock"> <function name="clock">
<use-retval/> <use-retval/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
</function> </function>
<!-- double cbrt(double x); -->
<function name="cbrt"> <function name="cbrt">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -697,6 +823,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float cbrtf(float x); -->
<function name="cbrtf"> <function name="cbrtf">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -706,6 +833,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double cbrtl(long double x); -->
<function name="cbrtl"> <function name="cbrtl">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -715,6 +843,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double cos(double x); -->
<function name="cos"> <function name="cos">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -724,6 +853,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex ccos(double complex x); -->
<function name="ccos">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float cosf(float x); -->
<function name="cosf"> <function name="cosf">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -733,6 +873,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex ccosf(float complex x); -->
<function name="ccosf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double csol(long double x); -->
<function name="cosl"> <function name="cosl">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -742,6 +893,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex ccsol(long double complex x); -->
<function name="ccosl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- double cosh(double x); -->
<function name="cosh"> <function name="cosh">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -751,6 +913,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex ccosh(double complex x); -->
<function name="ccosh">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float coshf(float x); -->
<function name="coshf"> <function name="coshf">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -760,6 +933,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex ccoshf(float complex x); -->
<function name="ccoshf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double coshl(long double x); -->
<function name="coshl"> <function name="coshl">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -769,6 +953,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double ccoshl(long double complex x); -->
<function name="ccoshl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<function name="ctime"> <function name="ctime">
<use-retval/> <use-retval/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -890,6 +1084,7 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double exp(double x); -->
<function name="exp"> <function name="exp">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -899,6 +1094,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex cexp(double complex x); -->
<function name="cexp">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float expf(float x); -->
<function name="expf"> <function name="expf">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -908,6 +1114,17 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex cexpf(float complex x); -->
<function name="cexpf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double expl(long double x); -->
<function name="expl"> <function name="expl">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -917,6 +1134,46 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex cexpl(long double complex x); -->
<function name="cexpl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- double complex cimag(double complex x); -->
<function name="cimagl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float complex cimagf(float complex x); -->
<function name="cimagf">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double complex cimagl(long double complex x); -->
<function name="cimagl">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<function name="exp2"> <function name="exp2">
<use-retval/> <use-retval/>
<pure/> <pure/>
@ -2434,6 +2691,7 @@
<not-null/> <not-null/>
</arg> </arg>
</function> </function>
<!-- double log(double x); -->
<function name="log"> <function name="log">
<!--<use-retval/>--> <!--<use-retval/>-->
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -2442,6 +2700,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- double complex clog(double complex x); -->
<function name="clog">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float logf(float x); -->
<function name="logf"> <function name="logf">
<use-retval/> <use-retval/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -2450,6 +2718,16 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- float complex clogf(float complex x); -->
<function name="clogf">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double logl(long double x);-->
<function name="logl"> <function name="logl">
<use-retval/> <use-retval/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -2458,6 +2736,42 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- long double complex clogl(long double complex x);-->
<function name="clogl">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- double complex conj(double complex x);-->
<function name="conjl">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- float complex conjf(float complex x);-->
<function name="conjf">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- long double complex conjl(long double complex x);-->
<function name="conjl">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<function name="fpclassify"> <function name="fpclassify">
<pure/> <pure/>
<use-retval/> <use-retval/>