Searched defs:FSet2 (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 1441 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
1446 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2, argument
1449 intersectAndWarn(FSet1, FSet2, JoinLoc, LEK1, LEK1, Modify);
2243 /// \param FSet2 The second lockset.
2248 const FactSet &FSet2,
2255 // Find locks in FSet2 that conflict or are not in FSet1, and warn.
2256 for (const auto &Fact : FSet2) {
2267 // Take the exclusive lock, which is the one in FSet2.
2272 // The non-asserted lock in FSet2 is the one we want to track.
2277 if (FSet2
2247 intersectAndWarn(FactSet &FSet1, const FactSet &FSet2, SourceLocation JoinLoc, LockErrorKind LEK1, LockErrorKind LEK2, bool Modify) argument
[all...] |
Completed in 2224 milliseconds