24 for(cfgt::entry_mapt::iterator
38 for(value_mapt::const_iterator
43 out << v_it->first <<
":";
45 for(object_id_sett::const_iterator
46 o_it=v_it->second.begin();
47 o_it!=v_it->second.end();
62 switch(instruction.
type)
goto_program_instruction_typet type
What kind of instruction?
Field-sensitive, location-insensitive points-to analysis.
This class represents an instruction in the GOTO intermediate representation.
bool transform(const cfgt::nodet &)
void output(std::ostream &out) const