Searched refs:findLockUniv (Results 1 – 1 of 1) sorted by relevance
876 LockData* findLockUniv(FactManager &FM, const SExpr &M) const { in findLockUniv() function in __anond7afc2f90111::FactSet1802 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()