static_lifetime_init.cpp File Reference

#include "static_lifetime_init.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/expr_initializer.h>
#include <util/namespace.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/symbol_table.h>
#include <set>

Include dependency graph for static_lifetime_init.cpp:

Go to the source code of this file.

Functions
static optionalt< codet >	static_lifetime_init (const irep_idt &identifier, symbol_tablet &symbol_table)
void	static_lifetime_init (symbol_tablet &symbol_table, const source_locationt &source_location)

Function Documentation

static_lifetime_init() [1/2]

static optionalt<codet> static_lifetime_init ( const irep_idt &  identifier, symbol_tablet &  symbol_table  )

static

Definition at line 22 of file static_lifetime_init.cpp.

static_lifetime_init() [2/2]

void static_lifetime_init	(	symbol_tablet &	symbol_table,
		const source_locationt &	source_location
	)

Definition at line 94 of file static_lifetime_init.cpp.