typecast.h

Go to the documentation of this file.

#ifndef TYPECAST_H_
#define TYPECAST_H_
 
#include <util/symtab/namespace.h>
#include <util/irep/std_expr.h>
 
extern void gen_typecast(const namespacet &ns, exprt &dest, const typet &type);
 
extern void gen_typecast_bool(const namespacet &ns, exprt &dest);
 
extern void
gen_typecast_arithmetic(const namespacet &ns, exprt &expr1, exprt &expr2);
 
extern void gen_typecast_arithmetic(const namespacet &ns, exprt &expr);
 
#endif /* TYPECAST_H_ */