Searched refs:ValidR (Results 1 – 1 of 1) sorted by relevance
2758 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec() local2759 assert(ValidR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()2760 (void)ValidR; in emitConjunctionRec()