12 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H 13 #define CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H 34 #endif // CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H void goto_convert(const codet &code, symbol_table_baset &symbol_table, goto_programt &dest, message_handlert &message_handler, const irep_idt &mode)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A generic container class for the GOTO intermediate representation of one function.
The symbol table base class interface.
Data structure for representing an arbitrary statement in a program.