Lines Matching refs:CapExprSet
73 class CapExprSet : public SmallVector<CapabilityExpr, 4> { class
850 const CapExprSet &Excl, const CapExprSet &Shrd) in ScopedLockableFactEntry()
935 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, Expr *Exp,
939 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, Expr *Exp,
1250 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1283 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1414 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1415 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1689 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1690 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1691 CapExprSet ScopedExclusiveReqs, ScopedSharedReqs; in handleCall()
1725 CapExprSet AssertLocks; in handleCall()
1737 CapExprSet AssertLocks; in handleCall()
2135 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2136 CapExprSet SharedLocksAcquired; in runAnalysis()
2137 CapExprSet LocksReleased; in runAnalysis()
2146 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2147 CapExprSet SharedLocksToAdd; in runAnalysis()