/usr/share/splint/imports/math.lcl is in splint-data 3.1.2.dfsg1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 | /*
** math.h
*/
int errno, signgam;
typedef struct exception {
int ttype ; /* should be type */
char *name ;
double arg1 ;
double arg2 ;
double retval ;
} __exception ;
double acos(double __x ) { ensures true; }
double acosh(double __x ) { ensures true; }
double asin(double __x ) { ensures true; }
double asinh(double __x ) { ensures true; }
double atan(double __x ) { ensures true; }
double atanh(double __x) { ensures true; }
double atan2(double __x,double __y ) { ensures true; }
double cbrt(double __x ) { ensures true; }
double ceil(double __x ) { ensures true; }
double cos(double __x ) { ensures true; }
double cosh(double __x ) { ensures true; }
double exp(double __x ) { ensures true; }
double fabs(double __x ) { ensures true; }
double floor(double __x ) { ensures true; }
double fmod(double __x,double __y ) { ensures true; }
double frexp(double __value, int *__eptr ) { ensures true; }
double ldexp(double __value, int __exp ) { ensures true; }
double log(double __x ) { ensures true; }
double log10(double __x ) { ensures true; }
double modf(double __value,double *__iptr) { ensures true; }
double pow(double __x,double __y ) { ensures true; }
double rint(double __x ) { ensures true; }
double sin(double __x ) { ensures true; }
double sinh(double __x ) { ensures true; }
double sqrt(double __x ) { ensures true; }
double tan(double __x ) { ensures true; }
double tanh(double __x ) { ensures true; }
double trunc(double __x ) { ensures true; }
double j0(double __x ) { ensures true; }
double j1(double __x ) { ensures true; }
double jn( int __n,double __x ) { ensures true; }
double y0(double __x ) { ensures true; }
double y1(double __x ) { ensures true; }
double yn( int __n,double __x ) { ensures true; }
double erf(double __x ) { ensures true; }
double erfc(double __x ) { ensures true; }
double gamma(double __x ) { ensures true; }
double lgamma(double __x ) { ensures true; }
double hypot(double __x,double __y ) { ensures true; }
| int : bool | isnan() { ensures true; }
int matherr(struct exception *__x) { ensures true; }
constant double M_E;
constant double M_LOG2E;
constant double M_LOG10E;
constant double M_LN2;
constant double M_LN10;
constant double M_PI ;
constant double M_PI_2 ;
constant double M_PI_4 ;
constant double M_1_PI ;
constant double M_2_PI ;
constant double M_2_SQRTPI ;
constant double M_SQRT2 ;
constant double M_SQRT1_2 ;
constant double MAXFLOAT;
constant double HUGE;
enum { DOMAIN, SING, OVERFLOW,
UNDERFLOW, TLOSS, PLOSS } _matherrors;
|