Searched refs:ExitSet (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 305 FactSet ExitSet; // Lockset held at exit from block member
314 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
947 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1391 const FactSet &ExitSet, in getEdgeLockset() argument
1394 Result = ExitSet; in getEdgeLockset()
2246 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2269 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; in runAnalysis()
2281 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()
2323 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2339 intersectAndWarn(LoopEnd->ExitSet, PreLoop->EntrySet, in runAnalysis()
[all …]
|