Searched refs:Fact (Results 1 – 3 of 3) sorted by relevance
5 auto Fact = [](auto Self, unsigned n) -> unsigned { in __anonad8db0ae0102() variable9 auto six = Fact(Fact, 3);
976 if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) { in lock() local978 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(), in lock()2183 for (const auto &Fact : ExitSet) { in intersectAndWarn() local2184 const FactEntry &ExitFact = FactMan[Fact]; in intersectAndWarn()2190 *EntryIt = Fact; in intersectAndWarn()2198 for (const auto &Fact : EntrySetOrig) { in intersectAndWarn() local2199 const FactEntry *EntryFact = &FactMan[Fact]; in intersectAndWarn()
157 ; Fact holds for exiting branch, but not for earlier use