#include <util/lang/c_expr2string.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_misc.h>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <util/arith/fixedbv.h>
#include <util/base/i2string.h>
#include <util/arith/ieee_float.h>
#include <util/base/prefix.h>
#include <util/irep/std_code.h>
#include <util/irep/std_types.h>

Include dependency graph for c_expr2string.cpp:

Functions
static bool	is_pointer_arithmetic (const exprt &e, const exprt *&ptr, exprt &idx)
static const char *	ieee_arith_name (const irep_idt &id)
	Display name of the two-operand IEEE arithmetic nodes, which all print as a call; null when id is not one of them.
std::string	c_expr2string (const exprt &expr, const namespacet &ns, unsigned flags)
std::string	c_type2string (const typet &type, const namespacet &ns, unsigned flags)

Function Documentation

◆ c_expr2string()

std::string c_expr2string	(	const exprt &	expr,
		const namespacet &	ns,
		unsigned	flags )

◆ c_type2string()

std::string c_type2string	(	const typet &	type,
		const namespacet &	ns,
		unsigned	flags )

◆ ieee_arith_name()

const char * ieee_arith_name ( const irep_idt & id )

static

Display name of the two-operand IEEE arithmetic nodes, which all print as a call; null when id is not one of them.

◆ is_pointer_arithmetic()

bool is_pointer_arithmetic	(	const exprt &	e,
		const exprt *&	ptr,
		exprt &	idx )