| 311 | |
| 312 | template <typename KTy, typename VTy, typename MTy> |
| 313 | void RDSpace::updateMap(MTy &Map, KTy Key, VTy Val) { |
| 314 | auto Acc = Map.find(Key); |
| 315 | if (Acc == Map.end()) { |
| 316 | Map.insert(std::make_pair(Key, std::set<VTy>({Val}))); |
| 317 | return; |
| 318 | } |
| 319 | |
| 320 | Acc->second.insert(Val); |
| 321 | } |
| 322 | |
| 323 | std::set<MemoryAccess *> RDSpace::next(MemoryAccess &MA) { |
| 324 | std::set<MemoryAccess *> Result; |