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()
1767 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1768 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1769 CapExprSet ScopedReqsAndExcludes; in handleCall()
1799 CapExprSet AssertLocks; in handleCall()
1810 CapExprSet AssertLocks; in handleCall()
1821 CapExprSet AssertLocks; in handleCall()
2279 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2280 CapExprSet SharedLocksAcquired; in runAnalysis()
2281 CapExprSet LocksReleased; in runAnalysis()
2290 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2291 CapExprSet SharedLocksToAdd; in runAnalysis()