12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_POINTER_CASTS_H 13 #define CPROVER_JAVA_BYTECODE_JAVA_POINTER_CASTS_H 22 const typet &target_type,
30 #endif // CPROVER_JAVA_BYTECODE_JAVA_POINTER_CASTS_H The type of an expression.
exprt make_clean_pointer_cast(const exprt &ptr, const pointer_typet &target_type, const namespacet &ns)
Base class for all expressions.
bool find_superclass_with_type(exprt &ptr, const typet &target_type, const namespacet &ns)