Home
last modified time | relevance | path

Searched refs:Fact (Results 1 – 6 of 6) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DLifetimeSafety.cpp213 class Fact { class
232 Fact(Kind K) : K(K) {} in Fact() function in clang::__anon2e25c8880111::Fact
235 virtual ~Fact() = default;
249 class IssueFact : public Fact {
254 static bool classof(const Fact *F) { return F->getKind() == Kind::Issue; } in classof()
256 IssueFact(LoanID LID, OriginID OID) : Fact(Kind::Issue), LID(LID), OID(OID) {} in IssueFact()
265 class ExpireFact : public Fact {
269 static bool classof(const Fact *F) { return F->getKind() == Kind::Expire; } in classof()
271 ExpireFact(LoanID LID) : Fact(Kind::Expire), LID(LID) {} in ExpireFact()
278 class AssignOriginFact : public Fact {
[all …]
H A DThreadSafety.cpp1045 const auto &Fact = cast<LockableFactEntry>(FactMan[*It]); in lock() local
1046 if (std::unique_ptr<FactEntry> RFact = Fact.tryReenter(kind)) { in lock()
1050 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact.loc(), loc); in lock()
1062 const auto &Fact = cast<LockableFactEntry>(FactMan[*It]); in unlock() local
1063 if (std::unique_ptr<FactEntry> RFact = Fact.leaveReentrant()) { in unlock()
2025 const FactEntry *Fact = FSet.findLock(Analyzer->FactMan, Cp); in handleCall() local
2026 if (!Fact) { in handleCall()
2032 const auto *Scope = cast<ScopedLockableFactEntry>(Fact); in handleCall()
2380 for (const auto &Fact : ExitSet) { in intersectAndWarn() local
2381 const FactEntry &ExitFact = FactMan[Fact]; in intersectAndWarn()
[all …]
/freebsd/contrib/one-true-awk/testdir/
H A Dfunstack.ok2003 Inference in Fact Retrieval Systems . . 707--712
H A Dfunstack.in15087 title = "Heuristic Approach to Inductive Inference in Fact Retrieval Systems",
/freebsd/contrib/tzdata/
H A Deurope1917 # From the Fact File, Lithuanian State Department of Tourism
/freebsd/contrib/ncurses/misc/
H A Dterminfo.src11159 # sw4 Used in conjunction with S4 for comm interface control - Fact 0
11161 # sw5 Secondary Channel Control (Hardware implementation only) - Fact 0