Searched refs:findLockUniv (Results 1 – 1 of 1) sorted by relevance
228 FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const { in findLockUniv() function in __anon4f66b6dc0111::FactSet1538 FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()