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()
858   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()
879                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
899     CapabilityExpr Cap;
906   ScopedLockableFactEntry(const CapabilityExpr &CE, SourceLocation Loc)  in ScopedLockableFactEntry()
909   void addLock(const CapabilityExpr &M) {  in addLock()
913   void addExclusiveUnlock(const CapabilityExpr &M) {  in addExclusiveUnlock()
917   void addSharedUnlock(const CapabilityExpr &M) {  in addSharedUnlock()
950                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
972   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
986   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1024   bool inCurrentScope(const CapabilityExpr &CapE);
1028   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1098           CapabilityExpr Cp =  in insertAttrExprs()
1114           CapabilityExpr Cp =  in insertAttrExprs()
1230 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {  in inCurrentScope()
1267     CapabilityExpr NegC = !*Entry;  in addLock()
1297 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1331     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self);  in getMutexIDs()
1343     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self);  in getMutexIDs()
1596   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexNotHeld()
1655   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexHeld()
1803   CapabilityExpr Scp;  in handleCall()
1816         Scp = CapabilityExpr(Placeholder.first, Placeholder.second, false);  in handleCall()