84 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
87   void push_back_nodup(const CapabilityExpr &CapE) {  in push_back_nodup()
88     if (llvm::none_of(*this, [=](const CapabilityExpr &CapE2) {  in push_back_nodup()
104 class FactEntry : public CapabilityExpr {
125   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()
127       : CapabilityExpr(CE), LKind(LK), Source(Src), AcquireLoc(Loc) {}  in FactEntry()
145                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
214   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
233   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
239   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
247                                 const CapabilityExpr &CapE) const {  in findLockUniv()
255                                     const CapabilityExpr &CapE) const {  in findPartialMatch()
859   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()
880                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
900     CapabilityExpr Cap;
907   ScopedLockableFactEntry(const CapabilityExpr &CE, SourceLocation Loc)  in ScopedLockableFactEntry()
910   void addLock(const CapabilityExpr &M) {  in addLock()
914   void addExclusiveUnlock(const CapabilityExpr &M) {  in addExclusiveUnlock()
918   void addSharedUnlock(const CapabilityExpr &M) {  in addSharedUnlock()
951                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
973   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
987   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1023   bool inCurrentScope(const CapabilityExpr &CapE);
1027   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1084           CapabilityExpr Cp =  in insertAttrExprs()
1100           CapabilityExpr Cp =  in insertAttrExprs()
1216 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {  in inCurrentScope()
1253     CapabilityExpr NegC = !*Entry;  in addLock()
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1317     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self);  in getMutexIDs()
1329     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self);  in getMutexIDs()
1582   CapabilityExpr Cp =  in warnIfMutexNotHeld()
1642   CapabilityExpr Cp =  in warnIfMutexHeld()
1786   CapabilityExpr Scp;  in handleCall()
1799         Scp = CapabilityExpr(Placeholder.first, Placeholder.second, false);  in handleCall()