/usr/share/splint/imports/locale.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 | /*
** locale.h
*/
constant int LC_ALL;
constant int LC_COLLATE;
constant int LC_CTYPE;
constant int LC_NUMERIC;
constant int LC_TIME;
constant int LC_MONETARY;
/* lcl can't handle just struct lconv... */
typedef struct lconv {
char *decimal_point ;
char *thousands_sep ;
char *grouping ;
char *int_curr_symbol ;
char *currency_symbol ;
char *mon_decimal_point ;
char *mon_thousands_sep ;
char *mon_grouping ;
char *positive_sign ;
char *negative_sign ;
char int_frac_digits ;
char frac_digits ;
char p_cs_precedes ;
char p_sep_by_space ;
char n_cs_precedes ;
char n_sep_by_space ;
char p_sign_posn ;
char n_sign_posn ;
} __lconv ;
struct lconv *localeconv(void) { ensures true; }
char *etlocale(int __category, char *__locale ) { ensures true; }
|