Searched defs:LockableFactEntry (Results 1 – 1 of 1) sorted by relevance
813 class LockableFactEntry : public FactEntry { class818 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon4f66b6dc0811::LockableFactEntry