convert_float_literal.cpp File Reference

#include <python-frontend/math/convert_float_literal.h>
#include <python-frontend/math/parse_float.h>
#include <python-frontend/type/type_utils.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <util/arith/ieee_float.h>
#include <util/irep/std_types.h>

Include dependency graph for convert_float_literal.cpp:

Functions
void	convert_float_literal (const std::string &src, exprt &dest)
std::optional< ieee_floatt >	nonfinite_float_from_spelling (const std::string &spelling)
	The non-finite double spelling names, or empty when it names none.

Function Documentation

convert_float_literal()

void convert_float_literal	(	const std::string &	src,
		exprt &	dest )

nonfinite_float_from_spelling()

std::optional< ieee_floatt > nonfinite_float_from_spelling

(

const std::string &

spelling

)

The non-finite double spelling names, or empty when it names none.

Accepts both Python's float() spellings ("inf", "+infinity", "-inf", "nan") and the parser's non-finite literal tags, which are a subset (#7545).