#include <optional>
#include <string>
#include <util/arith/ieee_float.h>
#include <util/irep/expr.h>

Include dependency graph for convert_float_literal.h:

This graph shows which files directly or indirectly include this file:

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 )

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).