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