Lines Matching refs:CapExprSet
86 class CapExprSet : public SmallVector<CapabilityExpr, 4> { class
1037 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1041 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1349 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1381 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1518 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1519 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1804 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1805 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1806 CapExprSet ScopedExclusiveReqs, ScopedSharedReqs; in handleCall()
1839 CapExprSet AssertLocks; in handleCall()
1851 CapExprSet AssertLocks; in handleCall()
1863 CapExprSet AssertLocks; in handleCall()
2300 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2301 CapExprSet SharedLocksAcquired; in runAnalysis()
2302 CapExprSet LocksReleased; in runAnalysis()
2311 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2312 CapExprSet SharedLocksToAdd; in runAnalysis()