Searched defs:CurMLK (Results 1 – 1 of 1) sorted by relevance
8452 if (!Pred(AI.I, AI.Ptr, AI.Kind, CurMLK)) in indicatePessimisticFixpoint() local 8430 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; checkForAllAccessesToMemoryKind() local 8687 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2) { categorizeAccessedLocations() local [all...]