Searched refs:AMap (Results 1 – 2 of 2) sorted by relevance
498 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume() local499 if (AMap.isEmpty()) in evalAssume()523 for (auto [Sym, AllocState] : AMap) { in evalAssume()534 AllocatedDataTy AMap = State->get<AllocatedData>(); in checkDeadSymbols() local535 if (AMap.isEmpty()) in checkDeadSymbols()540 for (const auto &[Sym, AllocState] : AMap) { in checkDeadSymbols()644 AllocatedDataTy AMap = State->get<AllocatedData>(); in printState() local646 if (!AMap.isEmpty()) { in printState()648 for (SymbolRef Sym : llvm::make_first_range(AMap)) { in printState()
1001 # ibAMapLast; offset to the last AMap page