Searched refs:retZero (Results 1 – 1 of 1) sorted by relevance
328 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex() local329 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()