Searched refs:KnownMLK (Results 1 – 1 of 1) sorted by relevance
8465 MemoryLocationsKind KnownMLK = getKnown(); in indicatePessimisticFixpoint() local8468 if (!(CurMLK & KnownMLK)) in indicatePessimisticFixpoint()