Searched refs:LEK_LockedAtEndOfFunction (Results 1 – 3 of 3) sorted by relevance
103 LEK_LockedAtEndOfFunction, enumerator
987 if (LEK == LEK_LockedAtEndOfFunction || LEK == LEK_NotLockedAtEndOfFunction) in handleRemovalFromIntersection()2387 } else if (!ExitFact.managed() || EntryLEK == LEK_LockedAtEndOfFunction) { in intersectAndWarn()2726 LEK_LockedAtEndOfFunction, LEK_NotLockedAtEndOfFunction); in runAnalysis()
2089 case LEK_LockedAtEndOfFunction: in handleMutexHeldEndOfScope()