Searched refs:ExitSet (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 899 FactSet ExitSet; // Lockset held at exit from block member
908 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
1437 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1738 const FactSet &ExitSet, in getEdgeLockset() argument
1741 Result = ExitSet; in getEdgeLockset()
2490 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2513 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; in runAnalysis()
2525 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()
2567 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2583 intersectAndWarn(LoopEnd->ExitSet, PreLoop->EntrySet, in runAnalysis()
[all …]
|