c_typecast.h File Reference

#include <util/namespace.h>
#include <util/expr.h>

Include dependency graph for c_typecast.h:

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

Go to the source code of this file.

Classes
class	c_typecastt

Functions
bool	check_c_implicit_typecast (const typet &src_type, const typet &dest_type)
bool	check_c_implicit_typecast (const typet &src_type, const typet &dest_type, const namespacet &ns)
bool	c_implicit_typecast (exprt &expr, const typet &dest_type, const namespacet &ns)
bool	c_implicit_typecast_arithmetic (exprt &expr1, exprt &expr2, const namespacet &ns)
	perform arithmetic prompotions and conversions More...

Function Documentation

c_implicit_typecast()

bool c_implicit_typecast	(	exprt &	expr,
		const typet &	dest_type,
		const namespacet &	ns
	)

Definition at line 26 of file c_typecast.cpp.

References c_typecastt::errors, and c_typecastt::implicit_typecast().

Referenced by value_set_dereferencet::bounds_check(), and c_sizeoft::sizeof_rec().

c_implicit_typecast_arithmetic()

bool c_implicit_typecast_arithmetic	(	exprt &	expr1,
		exprt &	expr2,
		const namespacet &	ns
	)

perform arithmetic prompotions and conversions

Definition at line 49 of file c_typecast.cpp.

References c_typecastt::errors, and c_typecastt::implicit_typecast_arithmetic().

check_c_implicit_typecast() [1/2]

bool check_c_implicit_typecast	(	const typet &	src_type,
		const typet &	dest_type
	)

Definition at line 71 of file c_typecast.cpp.

References check_c_implicit_typecast(), irept::get_bool(), irept::id(), is_void_pointer(), and typet::subtype().

check_c_implicit_typecast() [2/2]

bool check_c_implicit_typecast	(	const typet &	src_type,
		const typet &	dest_type,
		const namespacet &	ns
	)

Definition at line 36 of file c_typecast.cpp.

References c_typecastt::errors, c_typecastt::implicit_typecast(), and exprt::type().

Referenced by check_c_implicit_typecast(), and c_typecastt::implicit_typecast_followed().