cprover
Loading...
Searching...
No Matches
recursive_initialization.cpp File Reference
Include dependency graph for recursive_initialization.cpp:

Go to the source code of this file.

Functions

code_blockt build_null_pointer (const symbol_exprt &result_symbol)
static symboltget_fresh_global_symbol (symbol_tablet &symbol_table, const std::string &symbol_base_name, typet symbol_type, irep_idt mode)

Function Documentation

◆ build_null_pointer()

code_blockt build_null_pointer ( const symbol_exprt & result_symbol)

Definition at line 236 of file recursive_initialization.cpp.

◆ get_fresh_global_symbol()

symbolt & get_fresh_global_symbol ( symbol_tablet & symbol_table,
const std::string & symbol_base_name,
typet symbol_type,
irep_idt mode )
static

Definition at line 476 of file recursive_initialization.cpp.