| //===-- Int type specifier converters for scanf -----------------*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "src/stdio/scanf_core/float_converter.h" |
| |
| #include "src/__support/CPP/limits.h" |
| #include "src/__support/char_vector.h" |
| #include "src/__support/ctype_utils.h" |
| #include "src/stdio/scanf_core/converter_utils.h" |
| #include "src/stdio/scanf_core/core_structs.h" |
| #include "src/stdio/scanf_core/reader.h" |
| |
| #include <stddef.h> |
| |
| namespace LIBC_NAMESPACE { |
| namespace scanf_core { |
| |
| // All of the floating point conversions are the same for scanf, every name will |
| // accept every style. |
| int convert_float(Reader *reader, const FormatSection &to_conv) { |
| // %a/A/e/E/f/F/g/G "Matches an optionally signed floating-point number, |
| // infinity, or NaN, whose format is the same as expected for the subject |
| // sequence of the strtod function. The corresponding argument shall be a |
| // pointer to floating." |
| |
| CharVector out_str = CharVector(); |
| bool is_number = false; |
| |
| size_t max_width = cpp::numeric_limits<size_t>::max(); |
| if (to_conv.max_width > 0) { |
| max_width = to_conv.max_width; |
| } |
| |
| char cur_char = reader->getc(); |
| // Handle the sign. |
| if (cur_char == '+' || cur_char == '-') { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| if (out_str.length() == max_width) { |
| return MATCHING_FAILURE; |
| } else { |
| cur_char = reader->getc(); |
| } |
| } |
| |
| static constexpr char DECIMAL_POINT = '.'; |
| static const char inf_string[] = "infinity"; |
| |
| // Handle inf |
| |
| if (to_lower(cur_char) == inf_string[0]) { |
| size_t inf_index = 0; |
| |
| for (; inf_index < sizeof(inf_string) && out_str.length() < max_width && |
| to_lower(cur_char) == inf_string[inf_index]; |
| ++inf_index) { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| cur_char = reader->getc(); |
| } |
| |
| if (inf_index == 3 || inf_index == sizeof(inf_string) - 1) { |
| write_float_with_length(out_str.c_str(), to_conv); |
| return READ_OK; |
| } else { |
| return MATCHING_FAILURE; |
| } |
| } |
| |
| static const char nan_string[] = "nan"; |
| |
| // Handle nan |
| if (to_lower(cur_char) == nan_string[0]) { |
| size_t nan_index = 0; |
| |
| for (; nan_index < sizeof(nan_string) && out_str.length() < max_width && |
| to_lower(cur_char) == nan_string[nan_index]; |
| ++nan_index) { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| cur_char = reader->getc(); |
| } |
| |
| if (nan_index == sizeof(nan_string) - 1) { |
| write_float_with_length(out_str.c_str(), to_conv); |
| return READ_OK; |
| } else { |
| return MATCHING_FAILURE; |
| } |
| } |
| |
| // Assume base of 10 by default but check if it is actually base 16. |
| int base = 10; |
| |
| // If the string starts with 0 it might be in hex. |
| if (cur_char == '0') { |
| is_number = true; |
| // Read the next character to check. |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| // If we've hit the end, then this is "0", which is valid. |
| if (out_str.length() == max_width) { |
| write_float_with_length(out_str.c_str(), to_conv); |
| return READ_OK; |
| } else { |
| cur_char = reader->getc(); |
| } |
| |
| // If that next character is an 'x' then this is a hexadecimal number. |
| if (to_lower(cur_char) == 'x') { |
| base = 16; |
| |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| // If we've hit the end here, we have "0x" which is a valid prefix to a |
| // floating point number, and will be evaluated to 0. |
| if (out_str.length() == max_width) { |
| write_float_with_length(out_str.c_str(), to_conv); |
| return READ_OK; |
| } else { |
| cur_char = reader->getc(); |
| } |
| } |
| } |
| |
| const char exponent_mark = ((base == 10) ? 'e' : 'p'); |
| bool after_decimal = false; |
| |
| // The format for the remaining characters at this point is DD.DDe+/-DD for |
| // base 10 and XX.XXp+/-DD for base 16 |
| |
| // This handles the digits before and after the decimal point, but not the |
| // exponent. |
| while (out_str.length() < max_width) { |
| if (internal::isalnum(cur_char) && |
| internal::b36_char_to_int(cur_char) < base) { |
| is_number = true; |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| cur_char = reader->getc(); |
| } else if (cur_char == DECIMAL_POINT && !after_decimal) { |
| after_decimal = true; |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| cur_char = reader->getc(); |
| } else { |
| break; |
| } |
| } |
| |
| // Handle the exponent, which has an exponent mark, an optional sign, and |
| // decimal digits. |
| if (to_lower(cur_char) == exponent_mark) { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| if (out_str.length() == max_width) { |
| // This is laid out in the standard as being a matching error (100e is not |
| // a valid float) but may conflict with existing implementations. |
| return MATCHING_FAILURE; |
| } else { |
| cur_char = reader->getc(); |
| } |
| |
| if (cur_char == '+' || cur_char == '-') { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| if (out_str.length() == max_width) { |
| return MATCHING_FAILURE; |
| } else { |
| cur_char = reader->getc(); |
| } |
| } |
| |
| // It is specified by the standard that "100er" is a matching failure since |
| // the longest prefix of a possibly valid floating-point number (which is |
| // "100e") is not a valid floating-point number. If there is an exponent |
| // mark then there must be a digit after it else the number is not valid. |
| // Some implementations will roll back two characters (to just "100") and |
| // accept that since the prefix is not valid, and some will interpret an |
| // exponent mark followed by no digits as an additional exponent of 0 |
| // (accepting "100e" and returning 100.0). Both of these behaviors are wrong |
| // by the standard, but they may be used in real code, see Hyrum's law. This |
| // code follows the standard, but may be incompatible due to code expecting |
| // these bugs. |
| if (!internal::isdigit(cur_char)) { |
| return MATCHING_FAILURE; |
| } |
| |
| while (internal::isdigit(cur_char) && out_str.length() < max_width) { |
| if (!out_str.append(cur_char)) { |
| return ALLOCATION_FAILURE; |
| } |
| cur_char = reader->getc(); |
| } |
| } |
| |
| // We always read one more character than will be used, so we have to put the |
| // last one back. |
| reader->ungetc(cur_char); |
| |
| // If we haven't actually found any digits, this is a matching failure (this |
| // catches cases like "+.") |
| if (!is_number) { |
| return MATCHING_FAILURE; |
| } |
| write_float_with_length(out_str.c_str(), to_conv); |
| |
| return READ_OK; |
| } |
| |
| } // namespace scanf_core |
| } // namespace LIBC_NAMESPACE |