#include "c_typecast.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/expr_util.h>
#include <util/mathematical_types.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/rational.h>
#include <util/rational_tools.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include "c_qualifiers.h"
#include <algorithm>

Include dependency graph for c_typecast.cpp:

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

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

bool	c_implicit_typecast_arithmetic (exprt &expr1, exprt &expr2, const namespacet &ns)
	perform arithmetic prompotions and conversions

bool	has_a_void_pointer (const typet &type)

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

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.

◆ has_a_void_pointer()

bool has_a_void_pointer ( const typet & type )