24 symbol.
base_name=
"__CPROVER_rounding_mode";
38 symbol.
base_name=
"__CPROVER_malloc_object";
52 symbol.
mode = ID_java;
irep_idt name
The unique identifier.
pointer_typet pointer_type(const typet &subtype)
#define INFLIGHT_EXCEPTION_VARIABLE_NAME
Remove function exceptional returns.
irep_idt mode
Language mode.
The null pointer constant.
exprt value
Initial value of symbol.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Internally generated symbol table entryThis is a symbol generated as part of translation to or modifi...
#define INFLIGHT_EXCEPTION_VARIABLE_BASENAME
typet type
Type of symbol.
irep_idt base_name
Base (non-scoped) name.
The symbol table base class interface.
void java_internal_additions(symbol_table_baset &dest)
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
const pointer_typet & to_pointer_type(const typet &type)
Cast a generic typet to a pointer_typet.
signedbv_typet signed_int_type()