Searched refs:FSet2 (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 951 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
956 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2, in intersectAndWarn() argument
959 intersectAndWarn(FSet1, FSet2, JoinLoc, LEK1, LEK1, Modify); in intersectAndWarn()
2019 const FactSet &FSet2, in intersectAndWarn() argument
2027 for (const auto &Fact : FSet2) { in intersectAndWarn()
2047 LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1, in intersectAndWarn()
2055 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn()
|