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