| 13996 | set_error_and_return_default("expected exponent digit, saw '"sv, to_sv(*cp), "'"sv); |
| 13997 | } |
| 13998 | else if (is_decimal_digit(*cp)) |
| 13999 | { |
| 14000 | if (!seen_decimal) |
| 14001 | { |
| 14002 | if (!first_integer_part) |
| 14003 | first_integer_part = static_cast<char>(cp->bytes[0]); |
| 14004 | else if (first_integer_part == '0') |
| 14005 | set_error_and_return_default("leading zeroes are prohibited"sv); |
| 14006 | } |
| 14007 | } |
| 14008 | else |
| 14009 | set_error_and_return_default("expected decimal digit, saw '"sv, to_sv(*cp), "'"sv); |
| 14010 |
nothing calls this directly
no outgoing calls
no test coverage detected