| H A D | ThreadSafety.cpp | 105 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, argument
107 : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt),
128 // Return true if LKind >= LK, where exclusive > shared
129 bool isAtLeast(LockKind LK) { argument
130 return (LKind == LK_Exclusive) || (LK == LK_Shared);
818 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,
820 : FactEntry(CE, LK, Loc, Asrt), Managed(Mng) {}
1505 LockKind LK = getLockKindFromAccessKind(AK);
1548 LK, Loc, &PartMatchName);
1552 LK, Lo
[all...] |