Skip to content
Snippets Groups Projects
Commit 527cf865 authored by DavidCok's avatar DavidCok Committed by Andre Maroneze
Browse files

[Libc] Avoid using the variable name 'template' as it is a C++ reserved word

parent 11aa6505
No related branches found
No related tags found
No related merge requests found
......@@ -686,14 +686,14 @@ extern int posix_memalign(void **memptr, size_t alignment, size_t size);
/*@
// missing: requires 'last 6 characters of template must be XXXXXX'
// missing: assigns \result, template[0..] \from 'filesystem', 'RNG';
requires valid_template: valid_string(template);
assigns template[0..] \from \nothing;
// missing: assigns \result, templat[0..] \from 'filesystem', 'RNG';
requires valid_template: valid_string(templat);
assigns templat[0..] \from \nothing;
assigns \result \from \nothing;
ensures result_error_or_valid_fd: \result == -1 ||
0 <= \result < __FC_FOPEN_MAX;
*/
extern int mkstemp(char *template);
extern int mkstemp(char *templat);
__END_DECLS
......
......@@ -2146,14 +2146,14 @@ extern size_t wcstombs(char * __restrict s, wchar_t const * __restrict pwcs,
int posix_memalign(void **memptr, size_t alignment, size_t size);
/*@ requires valid_template: valid_string(template);
/*@ requires valid_template: valid_string(templat);
ensures
result_error_or_valid_fd: \result ≡ -1 ∨ (0 ≤ \result < 16);
assigns *(template + (0 ..)), \result;
assigns *(template + (0 ..)) \from \nothing;
assigns *(templat + (0 ..)), \result;
assigns *(templat + (0 ..)) \from \nothing;
assigns \result \from \nothing;
*/
extern int mkstemp(char *template);
extern int mkstemp(char *templat);
int glob(char const *pattern, int flags,
int (*errfunc)(char const *epath, int eerrno), glob_t *pglob)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment