3909 lines
75 KiB
INI
3909 lines
75 KiB
INI
<?xml version="1.0"?>
|
|
<def format="1">
|
|
<function name="abort">
|
|
<noreturn>true</noreturn>
|
|
</function>
|
|
<function name="abs">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
</arg>
|
|
</function>
|
|
<function name="acos">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="acosf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="acosl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="acosh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="acoshf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="acoshl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asctime">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- void assert (int expression) -->
|
|
<function name="assert">
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="sqrt">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sqrtf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sqrtl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sinh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sinhf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sinhl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sin">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sinf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sinl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asin">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asinf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asinl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asinh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asinhf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="asinhl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tan">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tanf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tanl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tanh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int feclearexcept (int excepts); -->
|
|
<function name="feclearexcept">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fegetenv (fenv_t* envp); -->
|
|
<function name="fegetenv">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fegetexceptflag (fexcept_t* flagp, int excepts); -->
|
|
<function name="fegetexceptflag">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fegetround (void); -->
|
|
<function name="fegetround">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<use-retval/>
|
|
<pure/>
|
|
</function>
|
|
<!-- int feholdexcept (fenv_t* envp); -->
|
|
<function name="feholdexcept">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<!-- int feraiseexcept (int excepts); -->
|
|
<function name="feraiseexcept">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fesetenv (const fenv_t* envp); -->
|
|
<function name="fesetenv">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fesetexceptflag (const fexcept_t* flagp, int excepts); -->
|
|
<function name="fesetexceptflag">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fesetround (int rdir); -->
|
|
<function name="fesetround">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int fetestexcept (int excepts); -->
|
|
<function name="fetestexcept">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int feupdateenv (const fenv_t* envp); -->
|
|
<function name="feupdateenv">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tanhf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tanhl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atan">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atanf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atanl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tgamma">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tgammaf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tgammal">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="trunc">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="truncf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="truncl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atanh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atanhf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atanhl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atan2">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atan2f">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atan2l">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atexit">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="atof">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atoi">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atol">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="atoll">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="calloc">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ceil">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ceilf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ceill">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="copysign">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="copysignf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="copysignl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="clearerr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="clock">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="cbrt">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cbrtf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cbrtl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cos">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cosf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cosl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="cosh">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="coshf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="coshl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ctime">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="difftime">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="div">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exit">
|
|
<noreturn>true</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erff">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erfl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erfc">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erfcf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="erfcl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exp">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="expf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="expl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exp2">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exp2f">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exp2l">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exmp1">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exmp1f">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="exmp1l">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fabs">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fabsf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fabsl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fdim">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fdimf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fdiml">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fclose">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="feof">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ferror">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fflush">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fgetc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fgetwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fgetpos">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="floor">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="floorf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="floorl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fma">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmaf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmal">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmax">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmaxf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmaxl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmin">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fminf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fminl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmod">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmodf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fmodl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fopen">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="vfprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="vfwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fputc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fputwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fputs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fputws">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fread">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="mul" arg="2" arg2="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="free">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="freopen">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="frexp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="frexpf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="frexpl">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="hypot">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="hypotf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="hypotl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<formatstr scan="true"/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="vfscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<formatstr scan="true"/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="fseek">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fsetpos">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fgets">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="argvalue" arg="2"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fgetws">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="argvalue" arg="2"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ftell">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fwide">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fwrite">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="mul" arg="2" arg2="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="mblen">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="mbtowc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="mbrlen">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="btowc">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="mbsinit">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="getwchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="mbstowcs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wctomb">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstombs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="getc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="getwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="getchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="ungetc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ungetwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="getenv">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="gets">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="gmtime">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int isalnum ( int c ); -->
|
|
<function name="isalnum">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isalpha ( int c ); -->
|
|
<function name="isalpha">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isblank ( int c ); -->
|
|
<function name="isblank">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int iscntrl ( int c ); -->
|
|
<function name="iscntrl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isdigit ( int c ); -->
|
|
<function name="isdigit">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isgraph ( int c ); -->
|
|
<function name="isgraph">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int islower ( int c ); -->
|
|
<function name="islower">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isprint ( int c ); -->
|
|
<function name="isprint">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int ispunct ( int c ); -->
|
|
<function name="ispunct">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isspace ( int c ); -->
|
|
<function name="isspace">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isupper ( int c ); -->
|
|
<function name="isupper">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<!-- int isxdigit ( int c ); -->
|
|
<function name="isxdigit">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="labs">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llabs">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ldexp">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ldexpf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ldexpl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lgamma">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lgammaf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lgammal">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rint">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rintf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rintl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lrint">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lrintf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lrintl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llrint">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llrintf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llrintl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llround">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llroundf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="llroundl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lround">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lroundf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lroundl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rand">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="srand">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ldiv">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="lldiv">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="localtime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="log">
|
|
<!--<use-retval/>-->
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="logf">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="logl">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="fpclassify">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isfinite">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isgreater">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isgreaterequal">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isinf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="logb">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="logbf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="logbl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isless">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="islessequal">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="islessgreater">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isnan">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isnormal">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="isunordered">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ilogbf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="ilogbl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log10">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log10f">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log10l">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log1p">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log1pf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log1pl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log2">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log2f">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="log2l">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nearbyint">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nearbyintf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nearbyintl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nextafter">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nextafterf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nextafterl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nexttoward">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nexttowardf">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="nexttowardl">
|
|
<pure/>
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- void longjmp (jmp_buf env, int val); -->
|
|
<function name="longjmp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="malloc">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="alloca">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="memchr">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="memcmp">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="memcpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="memmove">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="memset">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="mktime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="modf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="modff">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="modfl">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="perror">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="pow">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="powf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="powl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="remainder">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="remainderf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="remainderl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="remquo">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="remquof">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="remquol">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
<function name="printf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="vprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="vwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="bsearch">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="5">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="qsort">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="putc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="putwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="putchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="putwchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="puts">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="realloc">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="remove">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rename">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="rewind">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="round">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="roundf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="roundl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalbln">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalblnf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalblnl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalbn">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalbnf">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scalbnl">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="signbit">
|
|
<use-retval/>
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- void (*signal(int sig, void (*func)(int)))(int); -->
|
|
<function name="signal">
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int raise (int sig); -->
|
|
<function name="raise">
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="scanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="vscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="vwscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="setbuf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-bool/>
|
|
</arg>
|
|
</function>
|
|
<function name="setvbuf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- int setjmp (jmp_buf env); -->
|
|
<function name="setjmp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<memory>
|
|
<dealloc>free</dealloc>
|
|
<alloc init="false">malloc</alloc>
|
|
<alloc init="true">calloc</alloc>
|
|
</memory>
|
|
<resource>
|
|
<dealloc>fclose</dealloc>
|
|
<alloc init="true">fopen</alloc>
|
|
<alloc init="true">tmpfile</alloc>
|
|
<alloc init="true">freopen</alloc>
|
|
</resource>
|
|
<function name="strcat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcscat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strchr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcschr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strcmp">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcscmp">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strcpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="strlen" arg="2"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcscpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strftime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strlen">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcslen">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strncpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<minsize type="sizeof" arg="2"/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strpbrk">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strncat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
<minsize type="argvalue" arg="3"/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsncat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strncmp">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsncmp">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-bool/>
|
|
<valid>0:</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strstr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsstr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strspn">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strxfrm">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsxfrm">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsspn">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<!-- struct lconv* localeconv (void); -->
|
|
<function name="localeconv">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<!-- char* setlocale (int category, const char* locale); -->
|
|
<function name="setlocale">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strerror">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strcspn">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcscspn">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcspbrk">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsncpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strcoll">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcscoll">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strrchr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strbprk">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<pure/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcsrchr">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtok">
|
|
<!-- strtok may modify the first argument, so using the return value is not mandatory -->
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtol">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strtof">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtod">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtold">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtoul">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strtoll">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="strtoull">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="time">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="tmpnam">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"/>
|
|
</function>
|
|
<function name="tmpfile">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
</function>
|
|
<function name="tolower">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="toupper">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<valid>0:255</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="va_arg">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="va_copy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="va_end">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="va_start">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="wcstof">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstod">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="mbrtowc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="4">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstold">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstol">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstoll">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstoul">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wcstoull">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="3">
|
|
<valid>0,2:36</valid>
|
|
</arg>
|
|
</function>
|
|
<function name="wprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
<arg nr="any">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="sprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="vsprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="fwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="snprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="3">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="vsnprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="3">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="fnprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="3">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="wscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="1">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="sscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="fwscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<function name="swscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/>
|
|
<arg nr="2">
|
|
<formatstr/>
|
|
</arg>
|
|
</function>
|
|
<container id="stdContainer" endPattern="> !!::">
|
|
<type templateParameter="0"/>
|
|
<size>
|
|
<function name="resize" action="resize"/>
|
|
<function name="clear" action="clear"/>
|
|
<function name="size" yields="size"/>
|
|
<function name="empty" yields="empty"/>
|
|
</size>
|
|
<access>
|
|
<function name="begin" yields="start-iterator"/>
|
|
<function name="cbegin" yields="start-iterator"/>
|
|
<function name="rbegin" yields="start-iterator"/>
|
|
<function name="crbegin" yields="start-iterator"/>
|
|
<function name="end" yields="end-iterator"/>
|
|
<function name="cend" yields="end-iterator"/>
|
|
<function name="rend" yields="end-iterator"/>
|
|
<function name="crend" yields="end-iterator"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdVectorDeque" startPattern="std :: vector|deque <" inherits="stdContainer">
|
|
<size>
|
|
<function name="push_back" action="push"/>
|
|
<function name="pop_back" action="pop"/>
|
|
<function name="push_front" action="push"/>
|
|
<function name="pop_front" action="pop"/>
|
|
</size>
|
|
<access indexOperator="array-like">
|
|
<function name="at" yields="at_index"/>
|
|
<function name="front" yields="item"/>
|
|
<function name="back" yields="item"/>
|
|
<function name="data" yields="buffer"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdArray" startPattern="std :: array <" inherits="stdContainer">
|
|
<size templateParameter="1"/>
|
|
<access indexOperator="array-like">
|
|
<function name="at" yields="at_index"/>
|
|
<function name="front" yields="item"/>
|
|
<function name="back" yields="item"/>
|
|
<function name="data" yields="buffer"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdSet" startPattern="std :: set <" inherits="stdContainer">
|
|
<access>
|
|
<function name="find" action="find"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdMap" startPattern="std :: map <" inherits="stdContainer">
|
|
<type templateParameter="1"/>
|
|
<access>
|
|
<function name="at" yields="at_index"/>
|
|
<function name="find" action="find"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdAllString" inherits="stdContainer">
|
|
<type string="std-like"/>
|
|
<size>
|
|
<function name="push_back" action="push"/>
|
|
<function name="pop_back" action="pop"/>
|
|
</size>
|
|
<access indexOperator="array-like">
|
|
<function name="at" yields="at_index"/>
|
|
<function name="front" yields="item"/>
|
|
<function name="back" yields="item"/>
|
|
<function name="data" yields="buffer"/>
|
|
<function name="c_str" yields="buffer-nt"/>
|
|
<function name="length" yields="size"/>
|
|
<function name="find" action="find"/>
|
|
</access>
|
|
</container>
|
|
<container id="stdBasicString" startPattern="std :: basic_string <" inherits="stdAllString">
|
|
<type templateParameter="0"/>
|
|
</container>
|
|
<container id="stdString" startPattern="std :: string|wstring|u16string|u32string" endPattern="" inherits="stdAllString">
|
|
</container>
|
|
<podtype name="int8_t" sign="s" size="1"/>
|
|
<podtype name="int16_t" sign="s" size="2"/>
|
|
<podtype name="int32_t" sign="s" size="4"/>
|
|
<podtype name="int64_t" sign="s" size="8"/>
|
|
<podtype name="uint8_t" sign="u" size="1"/>
|
|
<podtype name="uint16_t" sign="u" size="2"/>
|
|
<podtype name="uint32_t" sign="u" size="4"/>
|
|
<podtype name="uint64_t" sign="u" size="8"/>
|
|
<podtype name="int_fast8_t" sign="s"/>
|
|
<podtype name="int_fast16_t" sign="s"/>
|
|
<podtype name="int_fast32_t" sign="s"/>
|
|
<podtype name="int_fast64_t" sign="s"/>
|
|
<podtype name="uint_fast8_t" sign="u"/>
|
|
<podtype name="uint_fast16_t" sign="u"/>
|
|
<podtype name="uint_fast32_t" sign="u"/>
|
|
<podtype name="uint_fast64_t" sign="u"/>
|
|
<podtype name="intptr_t" sign="s"/>
|
|
<podtype name="uintptr_t" sign="u"/>
|
|
<podtype name="double_t"/>
|
|
<podtype name="float_t"/>
|
|
<!--Not part of standard, but widely supported by runtime libraries-->
|
|
<function name="itoa">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
</arg>
|
|
</function>
|
|
</def>
|