typecast.h File Reference

#include <util/symtab/namespace.h>
#include <util/irep/std_expr.h>

Include dependency graph for typecast.h:

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

Go to the source code of this file.

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)

Function Documentation

gen_typecast()

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

extern

gen_typecast_arithmetic() [1/2]

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

extern

gen_typecast_arithmetic() [2/2]

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

extern

gen_typecast_bool()

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

extern