21 const std::size_t loop_id)
23 target->source_location_nonconst().set(
ID_loop_id, loop_id);
26 std::optional<std::size_t>
29 if(target->source_location().get(
ID_loop_id).empty())
32 return target->source_location().get_size_t(
ID_loop_id);
40 return loop_id_opt.has_value() && loop_id_opt.value() == loop_id;
47 target->source_location_nonconst().set(tag,
true);
54 return target->source_location().get_bool(tag);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::list< instructiont >::const_iterator const_targett
std::list< instructiont >::iterator targett
The target for gotos and for start_thread nodes.
A generic container class for the GOTO intermediate representation of one function.
instructionst instructions
The list of instructions in the goto program.
instructionst::iterator targett
void remove(const irep_idt &name)