Home
last modified time | relevance | path

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

/external/clang/lib/Analysis/
DThreadSafety.cpp303 FactSet ExitSet; // Lockset held at exit from block member
312 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
945 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1394 const FactSet &ExitSet, in getEdgeLockset() argument
1397 Result = ExitSet; in getEdgeLockset()
2241 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2264 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; in runAnalysis()
2276 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()
2318 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2334 intersectAndWarn(LoopEnd->ExitSet, PreLoop->EntrySet, in runAnalysis()
[all …]