Searched refs:effective_precision (Results 1 – 1 of 1) sorted by relevance
743 int effective_precision = precision.value_or(shortest_full_precision); in __floating_to_chars_hex() local745 if (effective_precision < shortest_full_precision) in __floating_to_chars_hex()759 const int dropped_bits = 4*(full_hex_precision - effective_precision); in __floating_to_chars_hex()793 excess_precision = effective_precision - shortest_full_precision; in __floating_to_chars_hex()794 effective_precision = shortest_full_precision; in __floating_to_chars_hex()818 if (effective_precision + excess_precision > 0) in __floating_to_chars_hex()820 expected_output_length += effective_precision; in __floating_to_chars_hex()837 if (effective_precision + excess_precision > 0) in __floating_to_chars_hex()840 if (effective_precision > 0) in __floating_to_chars_hex()860 __glibcxx_assert(written_hexits <= effective_precision); in __floating_to_chars_hex()[all …]