| 3615 | } |
| 3616 | |
| 3617 | static int fgetc(FILE *stream) |
| 3618 | { |
| 3619 | stdio_lock(stream, EOF); |
| 3620 | int result = fgetc_unlocked(stream); |
| 3621 | stdio_unlock(stream); |
| 3622 | return result; |
| 3623 | } |
| 3624 | |
| 3625 | static char *fgets_unlocked(char *s, int size, FILE *stream) |
| 3626 | { |
no test coverage detected