Searched refs:arith_undef_handled (Results 1 – 1 of 1) sorted by relevance
27 bool arith_undef_handled = false; in importCell() local58 arith_undef_handled = true; in importCell()92 if (model_undef && !arith_undef_handled) in importCell()512 log_assert(!model_undef || arith_undef_handled); in importCell()609 log_assert(arith_undef_handled); in importCell()785 log_assert(arith_undef_handled); in importCell()