|
| double | fabs (double d) |
| |
| long double | fabsl (long double d) |
| |
| float | fabsf (float f) |
| |
| double | __builtin_fabs (double d) |
| |
| long double | __builtin_fabsl (long double d) |
| |
| float | __builtin_fabsf (float f) |
| |
| int | __CPROVER_isgreaterf (float f, float g) |
| |
| int | __CPROVER_isgreaterd (double f, double g) |
| |
| int | __CPROVER_isgreaterequalf (float f, float g) |
| |
| int | __CPROVER_isgreaterequald (double f, double g) |
| |
| int | __CPROVER_islessf (float f, float g) |
| |
| int | __CPROVER_islessd (double f, double g) |
| |
| int | __CPROVER_islessequalf (float f, float g) |
| |
| int | __CPROVER_islessequald (double f, double g) |
| |
| int | __CPROVER_islessgreaterf (float f, float g) |
| |
| int | __CPROVER_islessgreaterd (double f, double g) |
| |
| int | __CPROVER_isunorderedf (float f, float g) |
| |
| int | __CPROVER_isunorderedd (double f, double g) |
| |
| int | isfinite (double d) |
| |
| int | __finite (double d) |
| |
| int | __finitef (float f) |
| |
| int | __finitel (long double ld) |
| |
| int | isinf (double d) |
| |
| int | __isinf (double d) |
| |
| int | isinff (float f) |
| |
| int | __isinff (float f) |
| |
| int | isinfl (long double ld) |
| |
| int | __isinfl (long double ld) |
| |
| int | isnan (double d) |
| |
| int | __isnan (double d) |
| |
| int | __isnanf (float f) |
| |
| int | isnanf (float f) |
| |
| int | isnanl (long double ld) |
| |
| int | __isnanl (long double ld) |
| |
| int | isnormal (double d) |
| |
| int | __isnormalf (float f) |
| |
| float | __builtin_inff (void) |
| |
| double | __builtin_inf (void) |
| |
| long double | __builtin_infl (void) |
| |
| int | __builtin_isinf (double d) |
| |
| int | __builtin_isinff (float f) |
| |
| int | __builtin_isinfl (long double ld) |
| |
| int | __builtin_isnan (double d) |
| |
| int | __builtin_isnanf (float f) |
| |
| float | __builtin_huge_valf (void) |
| |
| double | __builtin_huge_val (void) |
| |
| long double | __builtin_huge_vall (void) |
| |
| int | _dsign (double d) |
| |
| int | _ldsign (long double ld) |
| |
| int | _fdsign (float f) |
| |
| int | signbit (double d) |
| |
| int | __signbitd (double d) |
| |
| int | __signbitf (float f) |
| |
| int | __signbit (double ld) |
| |
| short | _dclass (double d) |
| |
| short | _ldclass (long double ld) |
| |
| short | _fdclass (float f) |
| |
| int | __fpclassifyd (double d) |
| |
| int | __fpclassifyf (float f) |
| |
| int | __fpclassifyl (long double f) |
| |
| int | __fpclassify (double d) |
| |
| double | __VERIFIER_nondet_double (void) |
| |
| double | sin (double x) |
| |
| long double | __VERIFIER_nondet_long_double (void) |
| |
| long double | sinl (long double x) |
| |
| float | __VERIFIER_nondet_float (void) |
| |
| float | sinf (float x) |
| |
| double | cos (double x) |
| |
| long double | cosl (long double x) |
| |
| float | cosf (float x) |
| |
| double | __builtin_nan (const char *str) |
| |
| float | __builtin_nanf (const char *str) |
| |
| double | nan (const char *str) |
| |
| float | nanf (const char *str) |
| |
| long double | nanl (const char *str) |
| |
| float | nextUpf (float f) |
| |
| double | nextUp (double d) |
| |
| long double | nextUpl (long double d) |
| |
| float | sqrtf (float f) |
| |
| double | sqrt (double d) |
| |
| long double | sqrtl (long double d) |
| |
| double | fmax (double f, double g) |
| |
| float | fmaxf (float f, float g) |
| |
| long double | fmaxl (long double f, long double g) |
| |
| double | fmin (double f, double g) |
| |
| float | fminf (float f, float g) |
| |
| long double | fminl (long double f, long double g) |
| |
| double | fdim (double f, double g) |
| |
| float | fdimf (float f, float g) |
| |
| long double | fdiml (long double f, long double g) |
| |
| double | __sort_of_CPROVER_round_to_integral (int rounding_mode, double d) |
| |
| float | __sort_of_CPROVER_round_to_integralf (int rounding_mode, float d) |
| |
| long double | __sort_of_CPROVER_round_to_integrall (int rounding_mode, long double d) |
| |
| double | ceil (double x) |
| |
| float | ceilf (float x) |
| |
| long double | ceill (long double x) |
| |
| double | floor (double x) |
| |
| float | floorf (float x) |
| |
| long double | floorl (long double x) |
| |
| double | trunc (double x) |
| |
| float | truncf (float x) |
| |
| long double | truncl (long double x) |
| |
| double | round (double x) |
| |
| float | roundf (float x) |
| |
| long double | roundl (long double x) |
| |
| double | nearbyint (double x) |
| |
| float | nearbyintf (float x) |
| |
| long double | nearbyintl (long double x) |
| |
| double | rint (double x) |
| |
| float | rintf (float x) |
| |
| long double | rintl (long double x) |
| |
| long int | lrint (double x) |
| |
| long int | lrintf (float x) |
| |
| long int | lrintl (long double x) |
| |
| long long int | llrint (double x) |
| |
| long long int | llrintf (float x) |
| |
| long long int | llrintl (long double x) |
| |
| long int | lround (double x) |
| |
| long int | lroundf (float x) |
| |
| long int | lroundl (long double x) |
| |
| long long int | llround (double x) |
| |
| long long int | llroundf (float x) |
| |
| long long int | llroundl (long double x) |
| |
| double | modf (double x, double *iptr) |
| |
| float | modff (float x, float *iptr) |
| |
| long double | modfl (long double x, long double *iptr) |
| |
| double | __sort_of_CPROVER_remainder (int rounding_mode, double x, double y) |
| |
| float | __sort_of_CPROVER_remainderf (int rounding_mode, float x, float y) |
| |
| long double | __sort_of_CPROVER_remainderl (int rounding_mode, long double x, long double y) |
| |
| double | fmod (double x, double y) |
| |
| float | fmodf (float x, float y) |
| |
| long double | fmodl (long double x, long double y) |
| |
| double | remainder (double x, double y) |
| |
| float | remainderf (float x, float y) |
| |
| long double | remainderl (long double x, long double y) |
| |
| double | copysign (double x, double y) |
| |
| float | copysignf (float x, float y) |
| |
| long double | copysignl (long double x, long double y) |
| |
| double | exp2 (double x) |
| |
| float | exp2f (float x) |
| |
| long double | exp2l (long double x) |
| |
| int32_t | __VERIFIER_nondet_int32_t (void) |
| |
| double | exp (double x) |
| |
| float | expf (float x) |
| |
| long double | expl (long double x) |
| |
| double | log (double x) |
| |
| float | logf (float x) |
| |
| long double | logl (long double x) |
| |
| double | log2 (double x) |
| |
| float | log2f (float x) |
| |
| long double | log2l (long double x) |
| |
| double | log10 (double x) |
| |
| float | log10f (float x) |
| |
| long double | log10l (long double x) |
| |
| double | pow (double x, double y) |
| |
| float | powf (float x, float y) |
| |
| long double | powl (long double x, long double y) |
| |
| double | fma (double x, double y, double z) |
| |
| float | fmaf (float x, float y, float z) |
| |
| long double | fmal (long double x, long double y, long double z) |
| |
| double | __builtin_powi (double x, int y) |
| |
| float | __builtin_powif (float x, int y) |
| |
| long double | __builtin_powil (long double x, int y) |
| |
Include dependency graph for math.c: