Lines Matching defs:CurMLK

8445     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS;
8446          CurMLK *= 2, ++Idx) {
8447       if (CurMLK & RequestedMLK)
8452           if (!Pred(AI.I, AI.Ptr, AI.Kind, CurMLK))
8467     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2)
8468       if (!(CurMLK & KnownMLK))
8469         updateStateAndAccessesMap(getState(), CurMLK, I, nullptr, Changed,
8702     for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2) {
8703       if (CBAssumedNotAccessedLocsNoArgMem & CurMLK)
8705       updateStateAndAccessesMap(AccessedLocs, CurMLK, &I, nullptr, Changed,