Searched refs:LEK_LockedSomePredecessors (Results 1 – 3 of 3) sorted by relevance
87 LEK_LockedSomePredecessors, enumerator
2220 if (LEK1 == LEK_LockedSomePredecessors && in intersectAndWarn()2225 } else if (LEK1 == LEK_LockedSomePredecessors && LDat1.asserted() && in intersectAndWarn()2244 if (LEK2 == LEK_LockedSomePredecessors) in intersectAndWarn()2438 LEK_LockedSomePredecessors); in runAnalysis()2471 IsLoop ? LEK_LockedSomeLoopIterations : LEK_LockedSomePredecessors); in runAnalysis()
1900 case LEK_LockedSomePredecessors: in handleMutexHeldEndOfScope()