Home
last modified time | relevance | path

Searched refs:CapExprSet (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
DThreadSafety.cpp73 class CapExprSet : public SmallVector<CapabilityExpr, 4> { class
848 const CapExprSet &Excl, const CapExprSet &Shrd) in ScopedLockableFactEntry()
933 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, Expr *Exp,
937 void getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, Expr *Exp,
1253 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1286 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr, in getMutexIDs()
1417 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()
1418 CapExprSet SharedLocksToAdd; in getEdgeLockset()
1692 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()
1693 CapExprSet ExclusiveLocksToRemove, SharedLocksToRemove, GenericLocksToRemove; in handleCall()
[all …]