35 for(
const auto &symbol_pair : symbol_table.
symbols)
40 const symbolt &sym = symbol_pair.second;
55 flags = (flags << 1) | static_cast<int>(sym.
is_weak);
56 flags = (flags << 1) | static_cast<int>(sym.
is_type);
57 flags = (flags << 1) | static_cast<int>(sym.
is_property);
58 flags = (flags << 1) | static_cast<int>(sym.
is_macro);
59 flags = (flags << 1) | static_cast<int>(sym.
is_exported);
60 flags = (flags << 1) | static_cast<int>(sym.
is_input);
61 flags = (flags << 1) | static_cast<int>(sym.
is_output);
62 flags = (flags << 1) | static_cast<int>(sym.
is_state_var);
63 flags = (flags << 1) | static_cast<int>(sym.
is_parameter);
64 flags = (flags << 1) | static_cast<int>(sym.
is_auxiliary);
65 flags = (flags << 1) | static_cast<int>(
false);
66 flags = (flags << 1) | static_cast<int>(sym.
is_lvalue);
70 flags = (flags << 1) | static_cast<int>(sym.
is_extern);
71 flags = (flags << 1) | static_cast<int>(sym.
is_volatile);
81 if(gf_entry.second.body_available())
89 if(fct.second.body_available())
97 for(
const auto &instruction : fct.second.body.instructions)
107 for(
const auto &t_it : instruction.targets)
112 for(
const auto &l_it : instruction.labels)
145 out << char(0x7f) <<
"GBF";
165 const std::string &filename,
174 message.error() <<
"Failed to open '" << filename <<
"'";