Lines Matching refs:CapExprSet
85 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,
1366 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1398 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1535 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1536 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1820 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1821 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1822 CapExprSet ScopedReqsAndExcludes; in handleCall()
1855 CapExprSet AssertLocks; in handleCall()
1868 CapExprSet AssertLocks; in handleCall()
1881 CapExprSet AssertLocks; in handleCall()
2334 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2335 CapExprSet SharedLocksAcquired; in runAnalysis()
2336 CapExprSet LocksReleased; in runAnalysis()
2345 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2346 CapExprSet SharedLocksToAdd; in runAnalysis()