Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D140395 Diff 486797 clang/test/Analysis/Inputs/system-header-simulator.h

Changeset View

Standalone View

View Options

clang/test/Analysis/Inputs/system-header-simulator.h

Show All 36 Lines
int setvbuf(FILE *restrict, char *restrict, int, size_t); int setvbuf(FILE *restrict, char *restrict, int, size_t);
FILE *funopen(const void *, FILE *funopen(const void *,
int (*)(void *, char *, int), int (*)(void *, char *, int),
int (*)(void *, const char *, int), int (*)(void *, const char *, int),
fpos_t (*)(void *, fpos_t, int), fpos_t (*)(void *, fpos_t, int),
int (*)(void *)); int (*)(void *));
FILE *fopen(const char *path, const char *mode); FILE *fopen(const char *restrict path, const char *restrict mode);
FILE *tmpfile(void); FILE *tmpfile(void);
FILE *freopen(const char *pathname, const char *mode, FILE *stream); FILE *freopen(const char *restrict pathname, const char *restrict mode, FILE *restrict stream);
int fclose(FILE *fp); int fclose(FILE *fp);
size_t fread(void *restrict, size_t, size_t, FILE *restrict); size_t fread(void *restrict, size_t, size_t, FILE *restrict);
size_t fwrite(const void *restrict, size_t, size_t, FILE *restrict); size_t fwrite(const void *restrict, size_t, size_t, FILE *restrict);
int fputc(int ch, FILE *stream); int fputc(int ch, FILE *stream);
int fseek(FILE *__stream, long int __off, int __whence); int fseek(FILE *__stream, long int __off, int __whence);
long int ftell(FILE *__stream); long int ftell(FILE *__stream);
void rewind(FILE *__stream); void rewind(FILE *__stream);
int fgetpos(FILE *stream, fpos_t *pos); int fgetpos(FILE *restrict stream, fpos_t *restrict pos);
int fsetpos(FILE *stream, const fpos_t *pos); int fsetpos(FILE *stream, const fpos_t *pos);
void clearerr(FILE *stream); void clearerr(FILE *stream);
int feof(FILE *stream); int feof(FILE *stream);
int ferror(FILE *stream); int ferror(FILE *stream);
int fileno(FILE *stream); int fileno(FILE *stream);
size_t strlen(const char *); size_t strlen(const char *);
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines