| 3810 | #define PRINTF_FLAG_64 0x1000 |
| 3811 | |
| 3812 | static __attribute__((__noinline__)) size_t printf_put_char(char *str, |
| 3813 | size_t size, size_t idx, char c) |
| 3814 | { |
| 3815 | if (str == NULL || idx >= size) |
| 3816 | return idx+1; |
| 3817 | str[idx++] = c; |
| 3818 | return idx; |
| 3819 | } |
| 3820 | |
| 3821 | static __attribute__((__noinline__)) size_t printf_put_num(char *str, |
| 3822 | size_t size, size_t idx, unsigned flags, size_t width, size_t precision, |
no outgoing calls
no test coverage detected