cprover
recursive_initialization.cpp File Reference
#include "recursive_initialization.h"
#include <goto-programs/name_mangler.h>
#include <util/allocate_objects.h>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/fresh_symbol.h>
#include <util/irep.h>
#include <util/optional_utils.h>
#include <util/pointer_offset_size.h>
#include <util/rename.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/string2int.h>
#include <util/string_utils.h>
#include <functional>
#include <iterator>
+ 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 234 of file recursive_initialization.cpp.

◆ get_fresh_global_symbol()

static 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 474 of file recursive_initialization.cpp.