recursive_initialization.cpp File Reference

#include "recursive_initialization.h"
#include <goto-programs/name_mangler.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_expr.h>
#include <util/pointer_offset_size.h>
#include <util/rename.h>
#include <util/std_code.h>
#include <util/string2int.h>
#include <util/string_utils.h>
#include <iterator>
#include "common_harness_generator_options.h"
#include "goto_harness_generator.h"

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 symbolt &	get_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()

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