Lines Matching refs:CapExprSet
84 class CapExprSet : public SmallVector<CapabilityExpr, 4> { class
1031 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1035 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1312 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1344 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1480 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1481 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1781 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1782 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1783 CapExprSet ScopedReqsAndExcludes; in handleCall()
1824 CapExprSet AssertLocks; in handleCall()
1835 CapExprSet AssertLocks; in handleCall()
1846 CapExprSet AssertLocks; in handleCall()
2278 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2279 CapExprSet SharedLocksAcquired; in runAnalysis()
2280 CapExprSet LocksReleased; in runAnalysis()
2289 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2290 CapExprSet SharedLocksToAdd; in runAnalysis()