10 #ifndef CPROVER_CPP_CPP_UTIL_H 11 #define CPROVER_CPP_CPP_UTIL_H 20 exprt tmp(ID_already_typechecked);
25 #endif // CPROVER_CPP_CPP_UTIL_H
void copy_to_operands(const exprt &expr)
Copy the given argument to the end of exprt's operands.
void already_typechecked(irept &irep)
Base class for tree-like data structures with sharing.
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Base class for all expressions.
Expression to hold a symbol (variable)