Searched defs:FactEntry (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
H A DThreadSafety.cpp97 class FactEntry : public CapabilityExpr { class in namespace:__anon1151
105 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, function in class:__anon1151::FactEntry
110 virtual ~FactEntry() {}
141 std::vector<std::unique_ptr<FactEntry>> Facts;
144 FactID newFact(std::unique_ptr<FactEntry> Entry) {
149 const FactEntry &operator[](FactID F) const { return *Facts[F]; }
150 FactEntry &operator[](FactID F) { return *Facts[F]; }
190 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {
221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {
228 FactEntry *findLockUni
[all...]

Completed in 46 milliseconds