Searched refs:PropertyAccesses (Results 1 – 1 of 1) sorted by relevance
512 PropertyAccessesMapTy PropertyAccesses = State->get<PropertyAccessesMap>(); in checkDeadSymbols() local513 for (ObjectPropPair PropKey : llvm::make_first_range(PropertyAccesses)) { in checkDeadSymbols()952 PropertyAccessesMapTy PropertyAccesses = State->get<PropertyAccessesMap>(); in evalAssume() local953 for (auto [PropKey, PropVal] : PropertyAccesses) { in evalAssume()