diff options
author | Ulrich Drepper <drepper@redhat.com> | 2004-09-22 08:20:57 +0000 |
---|---|---|
committer | Ulrich Drepper <drepper@redhat.com> | 2004-09-22 08:20:57 +0000 |
commit | be27d08c05911a658949ba7b84f4321a65a2dbf4 (patch) | |
tree | 849cfb5164610c39e7cdaa09317289f848f28694 /stdlib | |
parent | 4ff389feb39f2eb649530b843d478c80c27ab4cf (diff) | |
download | glibc-be27d08c05911a658949ba7b84f4321a65a2dbf4.tar glibc-be27d08c05911a658949ba7b84f4321a65a2dbf4.tar.gz glibc-be27d08c05911a658949ba7b84f4321a65a2dbf4.tar.bz2 glibc-be27d08c05911a658949ba7b84f4321a65a2dbf4.zip |
2004-09-22 Ulrich Drepper <drepper@redhat.com>
* string/string.h: Add __nonnull annotations.
* stdlib/stdlib.h: Likewise.
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/stdlib.h | 196 |
1 files changed, 116 insertions, 80 deletions
diff --git a/stdlib/stdlib.h b/stdlib/stdlib.h index e178568dd3..dc0c712df7 100644 --- a/stdlib/stdlib.h +++ b/stdlib/stdlib.h @@ -139,58 +139,64 @@ extern size_t __ctype_get_mb_cur_max (void) __THROW; __BEGIN_NAMESPACE_STD /* Convert a string to a floating-point number. */ -extern double atof (__const char *__nptr) __THROW __attribute_pure__; +extern double atof (__const char *__nptr) + __THROW __attribute_pure__ __nonnull ((1)); /* Convert a string to an integer. */ -extern int atoi (__const char *__nptr) __THROW __attribute_pure__; +extern int atoi (__const char *__nptr) + __THROW __attribute_pure__ __nonnull ((1)); /* Convert a string to a long integer. */ -extern long int atol (__const char *__nptr) __THROW __attribute_pure__; +extern long int atol (__const char *__nptr) + __THROW __attribute_pure__ __nonnull ((1)); __END_NAMESPACE_STD #if defined __USE_ISOC99 || (defined __GLIBC_HAVE_LONG_LONG && defined __USE_MISC) __BEGIN_NAMESPACE_C99 /* Convert a string to a long long integer. */ __extension__ extern long long int atoll (__const char *__nptr) - __THROW __attribute_pure__; + __THROW __attribute_pure__ __nonnull ((1)); __END_NAMESPACE_C99 #endif __BEGIN_NAMESPACE_STD /* Convert a string to a floating-point number. */ extern double strtod (__const char *__restrict __nptr, - char **__restrict __endptr) __THROW; + char **__restrict __endptr) __THROW __nonnull ((1)); __END_NAMESPACE_STD #ifdef __USE_ISOC99 __BEGIN_NAMESPACE_C99 /* Likewise for `float' and `long double' sizes of floating-point numbers. */ extern float strtof (__const char *__restrict __nptr, - char **__restrict __endptr) __THROW; + char **__restrict __endptr) __THROW __nonnull ((1)); extern long double strtold (__const char *__restrict __nptr, - char **__restrict __endptr) __THROW; + char **__restrict __endptr) + __THROW __nonnull ((1)); __END_NAMESPACE_C99 #endif __BEGIN_NAMESPACE_STD /* Convert a string to a long integer. */ extern long int strtol (__const char *__restrict __nptr, - char **__restrict __endptr, int __base) __THROW; + char **__restrict __endptr, int __base) + __THROW __nonnull ((1)); /* Convert a string to an unsigned long integer. */ extern unsigned long int strtoul (__const char *__restrict __nptr, char **__restrict __endptr, int __base) - __THROW; + __THROW __nonnull ((1)); __END_NAMESPACE_C99 #if defined __GLIBC_HAVE_LONG_LONG && defined __USE_BSD /* Convert a string to a quadword integer. */ __extension__ extern long long int strtoq (__const char *__restrict __nptr, - char **__restrict __endptr, int __base) __THROW; + char **__restrict __endptr, int __base) + __THROW __nonnull ((1)); /* Convert a string to an unsigned quadword integer. */ __extension__ extern unsigned long long int strtouq (__const char *__restrict __nptr, char **__restrict __endptr, int __base) - __THROW; + __THROW __nonnull ((1)); #endif /* GCC and use BSD. */ #if defined __USE_ISOC99 || (defined __GLIBC_HAVE_LONG_LONG && defined __USE_MISC) @@ -198,12 +204,13 @@ __BEGIN_NAMESPACE_C99 /* Convert a string to a quadword integer. */ __extension__ extern long long int strtoll (__const char *__restrict __nptr, - char **__restrict __endptr, int __base) __THROW; + char **__restrict __endptr, int __base) + __THROW __nonnull ((1)); /* Convert a string to an unsigned quadword integer. */ __extension__ extern unsigned long long int strtoull (__const char *__restrict __nptr, char **__restrict __endptr, int __base) - __THROW; + __THROW __nonnull ((1)); __END_NAMESPACE_C99 #endif /* ISO C99 or GCC and use MISC. */ @@ -228,33 +235,36 @@ __END_NAMESPACE_C99 use as an additional parameter. */ extern long int strtol_l (__const char *__restrict __nptr, char **__restrict __endptr, int __base, - __locale_t __loc) __THROW; + __locale_t __loc) __THROW __nonnull ((1, 4)); extern unsigned long int strtoul_l (__const char *__restrict __nptr, char **__restrict __endptr, - int __base, __locale_t __loc) __THROW; + int __base, __locale_t __loc) + __THROW __nonnull ((1, 4)); __extension__ extern long long int strtoll_l (__const char *__restrict __nptr, char **__restrict __endptr, int __base, - __locale_t __loc) __THROW; + __locale_t __loc) + __THROW __nonnull ((1, 4)); __extension__ extern unsigned long long int strtoull_l (__const char *__restrict __nptr, char **__restrict __endptr, int __base, __locale_t __loc) - __THROW; + __THROW __nonnull ((1, 4)); extern double strtod_l (__const char *__restrict __nptr, char **__restrict __endptr, __locale_t __loc) - __THROW; + __THROW __nonnull ((1, 3)); extern float strtof_l (__const char *__restrict __nptr, - char **__restrict __endptr, __locale_t __loc) __THROW; + char **__restrict __endptr, __locale_t __loc) + __THROW __nonnull ((1, 3)); extern long double strtold_l (__const char *__restrict __nptr, char **__restrict __endptr, - __locale_t __loc) __THROW; + __locale_t __loc) __THROW __nonnull ((1, 3)); #endif /* GNU */ @@ -263,23 +273,25 @@ extern long double strtold_l (__const char *__restrict __nptr, extern double __strtod_internal (__const char *__restrict __nptr, char **__restrict __endptr, int __group) - __THROW; + __THROW __nonnull ((1)); extern float __strtof_internal (__const char *__restrict __nptr, char **__restrict __endptr, int __group) - __THROW; + __THROW __nonnull ((1)); extern long double __strtold_internal (__const char *__restrict __nptr, char **__restrict __endptr, - int __group) __THROW; + int __group) __THROW __nonnull ((1)); #ifndef __strtol_internal_defined extern long int __strtol_internal (__const char *__restrict __nptr, char **__restrict __endptr, - int __base, int __group) __THROW; + int __base, int __group) + __THROW __nonnull ((1)); # define __strtol_internal_defined 1 #endif #ifndef __strtoul_internal_defined extern unsigned long int __strtoul_internal (__const char *__restrict __nptr, char **__restrict __endptr, - int __base, int __group) __THROW; + int __base, int __group) + __THROW __nonnull ((1)); # define __strtoul_internal_defined 1 #endif #if defined __GNUC__ || defined __USE_ISOC99 @@ -287,7 +299,8 @@ extern unsigned long int __strtoul_internal (__const char *__restrict __nptr, __extension__ extern long long int __strtoll_internal (__const char *__restrict __nptr, char **__restrict __endptr, - int __base, int __group) __THROW; + int __base, int __group) + __THROW __nonnull ((1)); # define __strtoll_internal_defined 1 # endif # ifndef __strtoull_internal_defined @@ -296,7 +309,7 @@ extern unsigned long long int __strtoull_internal (__const char * __restrict __nptr, char **__restrict __endptr, int __base, int __group) - __THROW; + __THROW __nonnull ((1)); # define __strtoull_internal_defined 1 # endif #endif /* GCC */ @@ -408,7 +421,8 @@ __END_NAMESPACE_C99 extern char *l64a (long int __n) __THROW; /* Read a number from a string S in base 64 as above. */ -extern long int a64l (__const char *__s) __THROW __attribute_pure__; +extern long int a64l (__const char *__s) + __THROW __attribute_pure__ __nonnull ((1)); #endif /* Use SVID || extended X/Open. */ @@ -430,11 +444,11 @@ extern void srandom (unsigned int __seed) __THROW; 32, 64, 128 and 256, the bigger the better; values less than 8 will cause an error and values greater than 256 will be rounded down. */ extern char *initstate (unsigned int __seed, char *__statebuf, - size_t __statelen) __THROW; + size_t __statelen) __THROW __nonnull ((2)); /* Switch the random number generator to state buffer STATEBUF, which should have been previously initialized by `initstate'. */ -extern char *setstate (char *__statebuf) __THROW; +extern char *setstate (char *__statebuf) __THROW __nonnull ((1)); # ifdef __USE_MISC @@ -454,16 +468,19 @@ struct random_data }; extern int random_r (struct random_data *__restrict __buf, - int32_t *__restrict __result) __THROW; + int32_t *__restrict __result) __THROW __nonnull ((1, 2)); -extern int srandom_r (unsigned int __seed, struct random_data *__buf) __THROW; +extern int srandom_r (unsigned int __seed, struct random_data *__buf) + __THROW __nonnull ((2)); extern int initstate_r (unsigned int __seed, char *__restrict __statebuf, size_t __statelen, - struct random_data *__restrict __buf) __THROW; + struct random_data *__restrict __buf) + __THROW __nonnull ((2, 4)); extern int setstate_r (char *__restrict __statebuf, - struct random_data *__restrict __buf) __THROW; + struct random_data *__restrict __buf) + __THROW __nonnull ((1, 2)); # endif /* Use misc. */ #endif /* Use SVID || extended X/Open || BSD. */ @@ -486,20 +503,23 @@ extern int rand_r (unsigned int *__seed) __THROW; /* Return non-negative, double-precision floating-point value in [0.0,1.0). */ extern double drand48 (void) __THROW; -extern double erand48 (unsigned short int __xsubi[3]) __THROW; +extern double erand48 (unsigned short int __xsubi[3]) __THROW __nonnull ((1)); /* Return non-negative, long integer in [0,2^31). */ extern long int lrand48 (void) __THROW; -extern long int nrand48 (unsigned short int __xsubi[3]) __THROW; +extern long int nrand48 (unsigned short int __xsubi[3]) + __THROW __nonnull ((1)); /* Return signed, long integers in [-2^31,2^31). */ extern long int mrand48 (void) __THROW; -extern long int jrand48 (unsigned short int __xsubi[3]) __THROW; +extern long int jrand48 (unsigned short int __xsubi[3]) + __THROW __nonnull ((1)); /* Seed random number generator. */ extern void srand48 (long int __seedval) __THROW; -extern unsigned short int *seed48 (unsigned short int __seed16v[3]) __THROW; -extern void lcong48 (unsigned short int __param[7]) __THROW; +extern unsigned short int *seed48 (unsigned short int __seed16v[3]) + __THROW __nonnull ((1)); +extern void lcong48 (unsigned short int __param[7]) __THROW __nonnull ((1)); # ifdef __USE_MISC /* Data structure for communication with thread safe versions. This @@ -516,34 +536,39 @@ struct drand48_data /* Return non-negative, double-precision floating-point value in [0.0,1.0). */ extern int drand48_r (struct drand48_data *__restrict __buffer, - double *__restrict __result) __THROW; + double *__restrict __result) __THROW __nonnull ((1, 2)); extern int erand48_r (unsigned short int __xsubi[3], struct drand48_data *__restrict __buffer, - double *__restrict __result) __THROW; + double *__restrict __result) __THROW __nonnull ((1, 2)); /* Return non-negative, long integer in [0,2^31). */ extern int lrand48_r (struct drand48_data *__restrict __buffer, - long int *__restrict __result) __THROW; + long int *__restrict __result) + __THROW __nonnull ((1, 2)); extern int nrand48_r (unsigned short int __xsubi[3], struct drand48_data *__restrict __buffer, - long int *__restrict __result) __THROW; + long int *__restrict __result) + __THROW __nonnull ((1, 2)); /* Return signed, long integers in [-2^31,2^31). */ extern int mrand48_r (struct drand48_data *__restrict __buffer, - long int *__restrict __result) __THROW; + long int *__restrict __result) + __THROW __nonnull ((1, 2)); extern int jrand48_r (unsigned short int __xsubi[3], struct drand48_data *__restrict __buffer, - long int *__restrict __result) __THROW; + long int *__restrict __result) + __THROW __nonnull ((1, 2)); /* Seed random number generator. */ extern int srand48_r (long int __seedval, struct drand48_data *__buffer) - __THROW; + __THROW __nonnull ((2)); extern int seed48_r (unsigned short int __seed16v[3], - struct drand48_data *__buffer) __THROW; + struct drand48_data *__buffer) __THROW __nonnull ((1, 2)); extern int lcong48_r (unsigned short int __param[7], - struct drand48_data *__buffer) __THROW; + struct drand48_data *__buffer) + __THROW __nonnull ((1, 2)); # endif /* Use misc. */ #endif /* Use SVID or X/Open. */ @@ -586,7 +611,7 @@ extern void *valloc (size_t __size) __THROW __attribute_malloc__; #ifdef __USE_XOPEN2K /* Allocate memory of SIZE bytes with an alignment of ALIGNMENT. */ extern int posix_memalign (void **__memptr, size_t __alignment, size_t __size) - __THROW __attribute_malloc__; + __THROW __attribute_malloc__ __nonnull ((1)); #endif __BEGIN_NAMESPACE_STD @@ -595,14 +620,14 @@ extern void abort (void) __THROW __attribute__ ((__noreturn__)); /* Register a function to be called when `exit' is called. */ -extern int atexit (void (*__func) (void)) __THROW; +extern int atexit (void (*__func) (void)) __THROW __nonnull ((1)); __END_NAMESPACE_STD #ifdef __USE_MISC /* Register a function to be called with the status given to `exit' and the given argument. */ extern int on_exit (void (*__func) (int __status, void *__arg), void *__arg) - __THROW; + __THROW __nonnull ((1)); #endif __BEGIN_NAMESPACE_STD @@ -623,28 +648,28 @@ __END_NAMESPACE_C99 __BEGIN_NAMESPACE_STD /* Return the value of envariable NAME, or NULL if it doesn't exist. */ -extern char *getenv (__const char *__name) __THROW; +extern char *getenv (__const char *__name) __THROW __nonnull ((1)); __END_NAMESPACE_STD /* This function is similar to the above but returns NULL if the programs is running with SUID or SGID enabled. */ -extern char *__secure_getenv (__const char *__name) __THROW; +extern char *__secure_getenv (__const char *__name) __THROW __nonnull ((1)); #if defined __USE_SVID || defined __USE_XOPEN /* The SVID says this is in <stdio.h>, but this seems a better place. */ /* Put STRING, which is of the form "NAME=VALUE", in the environment. If there is no `=', remove NAME from the environment. */ -extern int putenv (char *__string) __THROW; +extern int putenv (char *__string) __THROW __nonnull ((1)); #endif #if defined __USE_BSD || defined __USE_XOPEN2K /* Set NAME to VALUE in the environment. If REPLACE is nonzero, overwrite an existing value. */ extern int setenv (__const char *__name, __const char *__value, int __replace) - __THROW; + __THROW __nonnull ((1, 2)); /* Remove the variable NAME from the environment. */ -extern int unsetenv (__const char *__name) __THROW; +extern int unsetenv (__const char *__name) __THROW __nonnull ((1)); #endif #ifdef __USE_MISC @@ -660,7 +685,7 @@ extern int clearenv (void) __THROW; The last six characters of TEMPLATE must be "XXXXXX"; they are replaced with a string that makes the file name unique. Returns TEMPLATE, or a null pointer if it cannot get a unique file name. */ -extern char *mktemp (char *__template) __THROW; +extern char *mktemp (char *__template) __THROW __nonnull ((1)); /* Generate a unique temporary file name from TEMPLATE. The last six characters of TEMPLATE must be "XXXXXX"; @@ -671,16 +696,16 @@ extern char *mktemp (char *__template) __THROW; This function is a possible cancellation points and therefore not marked with __THROW. */ # ifndef __USE_FILE_OFFSET64 -extern int mkstemp (char *__template); +extern int mkstemp (char *__template) __nonnull ((1)); # else # ifdef __REDIRECT -extern int __REDIRECT (mkstemp, (char *__template), mkstemp64); +extern int __REDIRECT (mkstemp, (char *__template), mkstemp64) __nonnull ((1)); # else # define mkstemp mkstemp64 # endif # endif # ifdef __USE_LARGEFILE64 -extern int mkstemp64 (char *__template); +extern int mkstemp64 (char *__template) __nonnull ((1)); # endif #endif @@ -690,7 +715,7 @@ extern int mkstemp64 (char *__template); they are replaced with a string that makes the directory name unique. Returns TEMPLATE, or a null pointer if it cannot get a unique name. The directory is created mode 700. */ -extern char *mkdtemp (char *__template) __THROW; +extern char *mkdtemp (char *__template) __THROW __nonnull ((1)); #endif @@ -707,7 +732,8 @@ __END_NAMESPACE_STD /* Return a malloc'd string containing the canonical absolute name of the named file. The last file name component need not exist, and may be a symlink to a nonexistent file. */ -extern char *canonicalize_file_name (__const char *__name) __THROW; +extern char *canonicalize_file_name (__const char *__name) + __THROW __nonnull ((1)); #endif #if defined __USE_BSD || defined __USE_XOPEN_EXTENDED @@ -718,7 +744,7 @@ extern char *canonicalize_file_name (__const char *__name) __THROW; ENAMETOOLONG; if the name fits in fewer than PATH_MAX chars, returns the name in RESOLVED. */ extern char *realpath (__const char *__restrict __name, - char *__restrict __resolved) __THROW; + char *__restrict __resolved) __THROW __nonnull ((1)); #endif @@ -736,12 +762,13 @@ __BEGIN_NAMESPACE_STD /* Do a binary search for KEY in BASE, which consists of NMEMB elements of SIZE bytes each, using COMPAR to perform the comparisons. */ extern void *bsearch (__const void *__key, __const void *__base, - size_t __nmemb, size_t __size, __compar_fn_t __compar); + size_t __nmemb, size_t __size, __compar_fn_t __compar) + __nonnull ((1, 2, 5)); /* Sort NMEMB elements of BASE, of SIZE bytes each, using COMPAR to perform the comparisons. */ extern void qsort (void *__base, size_t __nmemb, size_t __size, - __compar_fn_t __compar); + __compar_fn_t __compar) __nonnull ((1, 4)); /* Return the absolute value of X. */ @@ -782,44 +809,50 @@ __END_NAMESPACE_C99 this. Set *DECPT with the position of the decimal character and *SIGN with the sign of the number. */ extern char *ecvt (double __value, int __ndigit, int *__restrict __decpt, - int *__restrict __sign) __THROW; + int *__restrict __sign) __THROW __nonnull ((3, 4)); /* Convert VALUE to a string rounded to NDIGIT decimal digits. Set *DECPT with the position of the decimal character and *SIGN with the sign of the number. */ extern char *fcvt (double __value, int __ndigit, int *__restrict __decpt, - int *__restrict __sign) __THROW; + int *__restrict __sign) __THROW __nonnull ((3, 4)); /* If possible convert VALUE to a string with NDIGIT significant digits. Otherwise use exponential representation. The resulting string will be written to BUF. */ -extern char *gcvt (double __value, int __ndigit, char *__buf) __THROW; +extern char *gcvt (double __value, int __ndigit, char *__buf) + __THROW __nonnull ((3)); # ifdef __USE_MISC /* Long double versions of above functions. */ extern char *qecvt (long double __value, int __ndigit, - int *__restrict __decpt, int *__restrict __sign) __THROW; + int *__restrict __decpt, int *__restrict __sign) + __THROW __nonnull ((3, 4)); extern char *qfcvt (long double __value, int __ndigit, - int *__restrict __decpt, int *__restrict __sign) __THROW; -extern char *qgcvt (long double __value, int __ndigit, char *__buf) __THROW; + int *__restrict __decpt, int *__restrict __sign) + __THROW __nonnull ((3, 4)); +extern char *qgcvt (long double __value, int __ndigit, char *__buf) + __THROW __nonnull ((3)); /* Reentrant version of the functions above which provide their own buffers. */ extern int ecvt_r (double __value, int __ndigit, int *__restrict __decpt, int *__restrict __sign, char *__restrict __buf, - size_t __len) __THROW; + size_t __len) __THROW __nonnull ((3, 4, 5)); extern int fcvt_r (double __value, int __ndigit, int *__restrict __decpt, int *__restrict __sign, char *__restrict __buf, - size_t __len) __THROW; + size_t __len) __THROW __nonnull ((3, 4, 5)); extern int qecvt_r (long double __value, int __ndigit, int *__restrict __decpt, int *__restrict __sign, - char *__restrict __buf, size_t __len) __THROW; + char *__restrict __buf, size_t __len) + __THROW __nonnull ((3, 4, 5)); extern int qfcvt_r (long double __value, int __ndigit, int *__restrict __decpt, int *__restrict __sign, - char *__restrict __buf, size_t __len) __THROW; + char *__restrict __buf, size_t __len) + __THROW __nonnull ((3, 4, 5)); # endif /* misc */ #endif /* use MISC || use X/Open Unix */ @@ -852,7 +885,7 @@ __END_NAMESPACE_STD or negative response expression as specified by the LC_MESSAGES category in the program's current locale. Returns 1 if affirmative, 0 if negative, and -1 if not matching. */ -extern int rpmatch (__const char *__response) __THROW; +extern int rpmatch (__const char *__response) __THROW __nonnull ((1)); #endif @@ -865,13 +898,14 @@ extern int rpmatch (__const char *__response) __THROW; token or at the terminating NUL character. */ extern int getsubopt (char **__restrict __optionp, char *__const *__restrict __tokens, - char **__restrict __valuep) __THROW; + char **__restrict __valuep) + __THROW __nonnull ((1, 2, 3)); #endif #ifdef __USE_XOPEN /* Setup DES tables according KEY. */ -extern void setkey (__const char *__key) __THROW; +extern void setkey (__const char *__key) __THROW __nonnull ((1)); #endif @@ -903,7 +937,8 @@ extern char *ptsname (int __fd) __THROW; /* Store at most BUFLEN characters of the pathname of the slave pseudo terminal associated with the master FD is open on in BUF. Return 0 on success, otherwise an error number. */ -extern int ptsname_r (int __fd, char *__buf, size_t __buflen) __THROW; +extern int ptsname_r (int __fd, char *__buf, size_t __buflen) + __THROW __nonnull ((2)); /* Open a master pseudo terminal and return its file descriptor. */ extern int getpt (void); @@ -913,7 +948,8 @@ extern int getpt (void); /* Put the 1 minute, 5 minute and 15 minute load averages into the first NELEM elements of LOADAVG. Return the number written (never more than three, but may be less than NELEM), or -1 if an error occurred. */ -extern int getloadavg (double __loadavg[], int __nelem) __THROW; +extern int getloadavg (double __loadavg[], int __nelem) + __THROW __nonnull ((1)); #endif #endif /* don't just need malloc and calloc */ |