Home
last modified time | relevance | path

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

/external/clang/lib/Analysis/
DThreadSafety.cpp2024 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn() local
2025 FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, *LDat2); in intersectAndWarn()
2029 if (LDat1->kind() != LDat2->kind()) { in intersectAndWarn()
2030 Handler.handleExclusiveAndShared("mutex", LDat2->toString(), in intersectAndWarn()
2031 LDat2->loc(), LDat1->loc()); in intersectAndWarn()
2037 else if (Modify && LDat1->asserted() && !LDat2->asserted()) { in intersectAndWarn()
2042 LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1, in intersectAndWarn()
2050 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn() local
2052 if (!LDat2) { in intersectAndWarn()