10 #ifndef CPROVER_GOTO_PROGRAMS_POINTER_ARITHMETIC_H 11 #define CPROVER_GOTO_PROGRAMS_POINTER_ARITHMETIC_H 27 #endif // CPROVER_GOTO_PROGRAMS_POINTER_ARITHMETIC_H
void add_to_offset(const exprt &src)
pointer_arithmetict(const exprt &src)
void read(const exprt &src)
void make_pointer(const exprt &src)
Base class for all expressions.