Searched refs:findLockUniv (Results 1 – 1 of 1) sorted by relevance
246 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv() function in __anone1758e2d0111::FactSet1613 const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()