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