Skip to content
Snippets Groups Projects
Commit b8a2c102 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Libc] add missign 'extern's for uniformity

parent a22838dd
No related branches found
No related tags found
No related merge requests found
...@@ -582,7 +582,7 @@ extern int pclose(FILE *stream); ...@@ -582,7 +582,7 @@ extern int pclose(FILE *stream);
// ssize_t, so we must check it // ssize_t, so we must check it
#ifdef __FC_POSIX_VERSION #ifdef __FC_POSIX_VERSION
/*@ assigns (*lineptr)[0 .. *n-1], *n, *stream, \result \from *stream; */ /*@ assigns (*lineptr)[0 .. *n-1], *n, *stream, \result \from *stream; */
ssize_t getline(char **lineptr, size_t *n, FILE *stream); extern ssize_t getline(char **lineptr, size_t *n, FILE *stream);
#endif #endif
// POSIX extension // POSIX extension
...@@ -617,7 +617,7 @@ extern FILE *fmemopen(void *restrict buf, size_t size, ...@@ -617,7 +617,7 @@ extern FILE *fmemopen(void *restrict buf, size_t size,
ensures result_error_or_written_bytes: \result == -1 || \result >= 0; ensures result_error_or_written_bytes: \result == -1 || \result >= 0;
allocates *strp; allocates *strp;
*/ */
int asprintf(char **strp, const char *fmt, ...); extern int asprintf(char **strp, const char *fmt, ...);
// GNU extension // GNU extension
/*@ /*@
......
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