Searched defs:CurMLK (Results 1 – 1 of 1) sorted by relevance
6578 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; in checkForAllAccessesToMemoryKind() local6600 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2) in indicatePessimisticFixpoint() local6833 for (MemoryLocationsKind CurMLK = 1; CurMLK < NO_LOCATIONS; CurMLK *= 2) { in categorizeAccessedLocations() local