| 3652 | } |
| 3653 | |
| 3654 | static char *fgets(char *s, int size, FILE *stream) |
| 3655 | { |
| 3656 | stdio_lock(stream, NULL); |
| 3657 | char *result = fgets_unlocked(s, size, stream); |
| 3658 | stdio_unlock(stream); |
| 3659 | return result; |
| 3660 | } |
| 3661 | |
| 3662 | static int getc(FILE *stream) |
| 3663 | { |
nothing calls this directly
no test coverage detected