Searched defs:ExitSet (Results 1 - 1 of 1) sorted by relevance
/external/clang/lib/Analysis/ |
H A D | ThreadSafety.cpp | 923 FactSet ExitSet; // Lockset held at exit from block member in struct:__anon15161::CFGBlockInfo 932 return Side == CBS_Entry ? EntrySet : ExitSet; 1469 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet, 1678 /// as the ExitSet parameter) plus any trylocks, which are conditionally held. 1680 const FactSet &ExitSet, 1683 Result = ExitSet; 2451 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); 2476 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; 2488 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, 2530 CurrBlockInfo->ExitSet 1679 getEdgeLockset(FactSet& Result, const FactSet &ExitSet, const CFGBlock *PredBlock, const CFGBlock *CurrBlock) argument [all...] |
Completed in 53 milliseconds