tuple_handler.cpp File Reference

#include <python-frontend/tuple/tuple_handler.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/python_expr_builder.h>
#include <python-frontend/type/type_handler.h>
#include <python-frontend/symbol_id.h>
#include <python-frontend/function_call/expr.h>
#include <python-frontend/exception/python_exception_handler.h>
#include <python-frontend/python-list/python_list.h>
#include <util/arith/arith_tools.h>
#include <util/expr/base_type.h>
#include <util/lang/c_types.h>
#include <util/irep/std_code.h>
#include <util/irep/std_expr.h>
#include <util/lang/python_types.h>

Include dependency graph for tuple_handler.cpp:

Functions
static bool	is_coercible_member (const typet &from, const typet &to)
	Whether a tuple member of type from can be converted to to: a str pointer into a fixed-width str member, or one integer width to another.
static bool	has_side_effect (const exprt &expr)

Function Documentation

has_side_effect()

bool has_side_effect ( const exprt & expr )

static

is_coercible_member()

bool is_coercible_member ( const typet & from, const typet & to )

static

Whether a tuple member of type from can be converted to to: a str pointer into a fixed-width str member, or one integer width to another.