Searched refs:MemoryLocationsKind (Results 1 – 3 of 3) sorted by relevance
4704 using MemoryLocationsKind = StateType::base_t;4814 bool isAssumedSpecifiedMemOnly(MemoryLocationsKind MLK) const {4820 MemoryLocationsKind getAssumedNotAccessedLocation() const {4829 static MemoryLocationsKind4830 inverseLocation(MemoryLocationsKind Loc, bool AndLocalMem, bool AndConstMem) {4836 static std::string getMemoryLocationsAsStr(MemoryLocationsKind MLK);4853 MemoryLocationsKind)>4855 MemoryLocationsKind MLK) const = 0;
8269 AAMemoryLocation::MemoryLocationsKind MLK) { in getMemoryLocationsAsStr()8419 MemoryLocationsKind)> in checkForAllAccessesToMemoryKind()8421 MemoryLocationsKind RequestedMLK) const override { in checkForAllAccessesToMemoryKind()8425 MemoryLocationsKind AssumedMLK = getAssumedNotAccessedLocation(); in checkForAllAccessesToMemoryKind()8430 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; in checkForAllAccessesToMemoryKind()8450 MemoryLocationsKind KnownMLK = getKnown(); in indicatePessimisticFixpoint()8500 AAMemoryLocation::MemoryLocationsKind8551 MemoryLocationsKind MLK = NO_LOCATIONS; in categorizePtrValue()8649 AAMemoryLocation::MemoryLocationsKind8699 AccessKind Kind, MemoryLocationsKind MLK) { in categorizeAccessedLocations()[all …]
3269 AAMemoryLocation::MemoryLocationsKind) { in updateImpl() argument