Lines Matching full:lockdata
743 struct LockData {
757 LockData(SourceLocation AcquireLoc, LockKind LKind, bool M=false,
763 LockData(SourceLocation AcquireLoc, LockKind LKind, const SExpr &Mu)
768 bool operator==(const LockData &other) const {
772 bool operator!=(const LockData &other) const {
792 LockData LDat;
794 FactEntry(const SExpr& M, const LockData& L)
809 FactID newLock(const SExpr& M, const LockData& L) {
844 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
879 LockData* findLock(FactManager &FM, const SExpr &M) const {
888 LockData* findLockUniv(FactManager &FM, const SExpr &M) const {
910 typedef llvm::ImmutableMap<SExpr, LockData> Lockset;
1452 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat);
1490 /// \param LDat -- the LockData for the lock
1492 const LockData &LDat) {
1517 const LockData *LDat = FSet.findLock(FactMan, Mutex);
1734 LockData(Loc, LK_Exclusive));
1738 LockData(Loc, LK_Shared));
1815 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);
1849 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);
1960 LockData(Loc, LK_Exclusive, false, true));
1971 LockData(Loc, LK_Shared, false, true));
2031 LockData(Loc, LK_Exclusive, isScopedVar));
2035 LockData(Loc, LK_Shared, isScopedVar));
2046 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive,
2050 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared,
2206 const LockData &LDat2 = FactMan[*I].LDat;
2210 const LockData* LDat1 = &FactMan[*I1].LDat;
2246 const LockData &LDat1 = FactMan[*I].LDat;
2390 LockData(Loc, LK_Exclusive));
2394 LockData(Loc, LK_Shared));
2569 LockData(D->getLocation(), LK_Exclusive));
2573 LockData(D->getLocation(), LK_Shared));
