Searched refs:LockData (Results 1 – 1 of 1) sorted by relevance
743 struct LockData { struct756 LockData(SourceLocation AcquireLoc, LockKind LKind, bool M = false) in LockData() argument761 LockData(SourceLocation AcquireLoc, LockKind LKind, const SExpr &Mu) in LockData() function766 bool operator==(const LockData &other) const { in operator ==() argument770 bool operator!=(const LockData &other) const { in operator !=() argument790 LockData LDat;792 FactEntry(const SExpr& M, const LockData& L) in FactEntry()807 FactID newLock(const SExpr& M, const LockData& L) { in newLock()842 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) { in addLock()867 LockData* findLock(FactManager &FM, const SExpr &M) const { in findLock()[all …]