Searched defs:PropertyAccesses (Results 1 – 1 of 1) sorted by relevance
506 PropertyAccessesMapTy PropertyAccesses = State->get<PropertyAccessesMap>(); in checkDeadSymbols() local909 PropertyAccessesMapTy PropertyAccesses = State->get<PropertyAccessesMap>(); in evalAssume() local