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