Searched defs:ExitSet (Results 1 – 1 of 1) sorted by relevance
253 FactSet ExitSet; // Lockset held at exit from block member1206 const FactSet &ExitSet, in getEdgeLockset()