c_typecast.h File Reference

#include <list>
#include <optional>
#include <string>

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

Function Documentation

c_implicit_typecast()

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

Definition at line 27 of file c_typecast.cpp.

c_implicit_typecast_arithmetic()

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

perform arithmetic prompotions and conversions

Definition at line 50 of file c_typecast.cpp.

check_c_implicit_typecast() [1/2]

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

Definition at line 74 of file c_typecast.cpp.

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 37 of file c_typecast.cpp.