12 #ifndef CPROVER_POINTER_ANALYSIS_ADD_FAILED_SYMBOLS_H 13 #define CPROVER_POINTER_ANALYSIS_ADD_FAILED_SYMBOLS_H 30 #endif // CPROVER_POINTER_ANALYSIS_ADD_FAILED_SYMBOLS_H irep_idt failed_symbol_id(const irep_idt &identifier)
exprt get_failed_symbol(const symbol_exprt &expr, const namespacet &ns)
void add_failed_symbols(symbol_tablet &symbol_table)
Base class for all expressions.
Expression to hold a symbol (variable)