Searched refs:LockableFactEntry (Results 1 – 1 of 1) sorted by relevance
866 class LockableFactEntry : public FactEntry { class874 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon06d2d5b10a11::LockableFactEntry911 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()918 std::unique_ptr<LockableFactEntry> tryReenter(LockKind ReenterKind) const { in tryReenter()923 auto NewFact = std::make_unique<LockableFactEntry>(*this); in tryReenter()930 std::unique_ptr<LockableFactEntry> leaveReentrant() const { in leaveReentrant()934 auto NewFact = std::make_unique<LockableFactEntry>(*this); in leaveReentrant()1045 const auto &Fact = cast<LockableFactEntry>(FactMan[*It]); in lock()1055 std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed)); in lock()1062 const auto &Fact = cast<LockableFactEntry>(FactMan[*It]); in unlock()[all …]