| 4264 | }; |
| 4265 | |
| 4266 | static __attribute__((__noinline__)) char scanf_get_char( |
| 4267 | struct scanf_stream_s *in) |
| 4268 | { |
| 4269 | char c = EOF; |
| 4270 | if (in->stream != NULL) |
| 4271 | c = fgetc_unlocked(in->stream); |
| 4272 | else |
| 4273 | { |
| 4274 | if (in->pos < 0 || in->str[in->pos] == '\0') |
| 4275 | in->pos = -1; |
| 4276 | else |
| 4277 | c = in->str[in->pos++]; |
| 4278 | } |
| 4279 | return c; |
| 4280 | } |
| 4281 | |
| 4282 | static __attribute__((__noinline__)) void scanf_unget_char(char c, |
| 4283 | struct scanf_stream_s *in) |
no test coverage detected