Lines Matching defs:CurMLK

8497     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS;
8498          CurMLK *= 2, ++Idx) {
8499       if (CurMLK & RequestedMLK)
8504           if (!Pred(AI.I, AI.Ptr, AI.Kind, CurMLK))
8519     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2)
8520       if (!(CurMLK & KnownMLK))
8521         updateStateAndAccessesMap(getState(), CurMLK, I, nullptr, Changed,
8754     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2) {
8755       if (CBAssumedNotAccessedLocsNoArgMem & CurMLK)
8757       updateStateAndAccessesMap(AccessedLocs, CurMLK, &I, nullptr, Changed,