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