Searched refs:ScopedLockableFactEntry (Results 1 – 1 of 1) sorted by relevance
891 class ScopedLockableFactEntry : public FactEntry { class907 ScopedLockableFactEntry(const CapabilityExpr &CE, SourceLocation Loc) in ScopedLockableFactEntry() function in __anon721e4a080a11::ScopedLockableFactEntry1920 auto ScopedEntry = std::make_unique<ScopedLockableFactEntry>(Scp, Loc); in handleCall()