Searched refs:ExitSet (Results 1 – 1 of 1) sorted by relevance
/external/clang/lib/Analysis/ |
D | ThreadSafety.cpp | 303 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 …]
|