35 symbolt &init_symbol=*maybe_symbol;
48 std::set<std::string> symbols;
50 for(
const auto &symbol_pair : symbol_table.
symbols)
52 symbols.insert(
id2string(symbol_pair.first));
55 for(
const std::string &
id : symbols)
70 identifier==
"__func__" ||
71 identifier==
"__FUNCTION__" ||
72 identifier==
"__PRETTY_FUNCTION__" ||
73 identifier==
"argc'" ||
74 identifier==
"argv'" ||
75 identifier==
"envp'" ||
76 identifier==
"envp_size'")
86 if(type.
id()==ID_code ||
99 if(type.
id()==ID_array &&
109 if(type.
id()==ID_incomplete_struct ||
110 type.
id()==ID_incomplete_union)
113 if(symbol.
value.
id()==ID_nondet)
142 for(
const std::string &
id : symbols)
146 if(symbol.
type.
id() != ID_code)
The type of an expression.
irep_idt name
The unique identifier.
const std::string & id2string(const irep_idt &d)
const code_typet & to_code_type(const typet &type)
Cast a generic typet to a code_typet.
Goto Programs with Functions.
void move_to_operands(exprt &expr)
exprt value
Initial value of symbol.
bool static_lifetime_init(symbol_tablet &symbol_table, const source_locationt &source_location, message_handlert &message_handler)
unsignedbv_typet size_type()
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
virtual symbolt * get_writeable(const irep_idt &name) override
Find a symbol in the symbol table for read-write access.
Expression Initialization.
const irep_idt & id() const
void add(const codet &code)
class symbol_exprt symbol_expr() const
produces a symbol_exprt for a symbol
#define INITIALIZE_FUNCTION
API to expression classes.
A label for branch targets.
bool has_prefix(const std::string &s, const std::string &prefix)
const exprt & size() const
const typet & follow(const typet &) const
exprt zero_initializer(const typet &type, const source_locationt &source_location, const namespacet &ns, message_handlert &message_handler)
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
const array_typet & to_array_type(const typet &type)
Cast a generic typet to an array_typet.
Base class for all expressions.
const parameterst & parameters() const
source_locationt & add_source_location()
const codet & to_code(const exprt &expr)
const code_blockt & to_code_block(const codet &code)
goto_programt coverage_criteriont message_handlert & message_handler
const typet & return_type() const
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().
void set(const irep_namet &name, const irep_idt &value)