cprover
Loading...
Searching...
No Matches
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 25 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 48 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 72 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 35 of file c_typecast.cpp.