typecast.cpp File Reference

#include <clang-c-frontend/typecast.h>
#include <util/lang/c_typecast.h>
#include <util/lang/c_types.h>
#include <stdexcept>
#include <sstream>
#include <clang-c-frontend/clang_c_convert.h>
#include <util/message/message.h>

Include dependency graph for typecast.cpp:

Functions
void	gen_typecast (const namespacet &ns, exprt &dest, const typet &type)
void	gen_typecast_bool (const namespacet &ns, exprt &dest)
void	gen_typecast_arithmetic (const namespacet &ns, exprt &expr1, exprt &expr2)
void	gen_typecast_arithmetic (const namespacet &ns, exprt &expr)
static const struct_union_typet::componentt &	union_init_component (const struct_union_typet::componentst &u, const typet &t)

Function Documentation

gen_typecast()

void gen_typecast	(	const namespacet &	ns,
		exprt &	dest,
		const typet &	type )

gen_typecast_arithmetic() [1/2]

void gen_typecast_arithmetic	(	const namespacet &	ns,
		exprt &	expr )

gen_typecast_arithmetic() [2/2]

void gen_typecast_arithmetic	(	const namespacet &	ns,
		exprt &	expr1,
		exprt &	expr2 )

gen_typecast_bool()

void gen_typecast_bool	(	const namespacet &	ns,
		exprt &	dest )

union_init_component()

const struct_union_typet::componentt & union_init_component ( const struct_union_typet::componentst & u, const typet & t )

static