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,
1364 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1396 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1533 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1534 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1818 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1819 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1820 CapExprSet ScopedReqsAndExcludes; in handleCall()
1853 CapExprSet AssertLocks; in handleCall()
1866 CapExprSet AssertLocks; in handleCall()
1879 CapExprSet AssertLocks; in handleCall()
2317 CapExprSet ExclusiveLocksAcquired; in runAnalysis()
2318 CapExprSet SharedLocksAcquired; in runAnalysis()
2319 CapExprSet LocksReleased; in runAnalysis()
2328 CapExprSet ExclusiveLocksToAdd; in runAnalysis()
2329 CapExprSet SharedLocksToAdd; in runAnalysis()