28 data_typet::const_iterator it;
30 for(it=
data.cbegin(); it!=
data.cend(); ++it)
32 if(local_read && it->id==read.
id)
42 if(local_write && it->id==write.
id)
75 for(
auto it1=
data.cbegin(); it1!=
data.cend(); ++it1)
93 for(; it2!=
data.cend(); ++it2)
106 if(it1->eq_class==it2->eq_class)
129 for(
auto it1=
data.cbegin(); it1!=
data.cend(); ++it1)
137 for(; it2!=
data.cend(); ++it2)
150 for(
auto it3=
data.begin(); it3!=
data.end(); ++it3)
151 if(it3->eq_class==from)
164 data_typet::const_iterator it;
165 std::map<unsigned, std::set<source_locationt> > classed;
167 for(it=
data.cbegin(); it!=
data.cend(); ++it)
169 if(classed.find(it->eq_class)==classed.end())
171 std::set<source_locationt> s;
173 classed[it->eq_class]=s;
176 classed[it->eq_class].insert(it->loc);
179 for(std::map<
unsigned, std::set<source_locationt> >::const_iterator
180 m_it=classed.begin();
181 m_it!=classed.end(); ++m_it)
184 std::set<source_locationt>::const_iterator l_it;
185 for(l_it=m_it->second.begin(); l_it!=m_it->second.end(); ++l_it)