Lines Matching refs:CapExprSet
84 class CapExprSet : public SmallVector<CapabilityExpr, 4> { class
1032 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1036 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, const Expr *Exp,
1326 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1358 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1494 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1495 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1798 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1799 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
1800 CapExprSet ScopedReqsAndExcludes; in handleCall()
1841 CapExprSet AssertLocks; in handleCall()
1852 CapExprSet AssertLocks; in handleCall()
1863 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()