Searched refs:mnonzero (Results 1 – 1 of 1) sorted by relevance
30 …if(mnonzero.isComparison() && mnonzero[0].isVariable() && !mnonzero[0].variable()->isKnown() && !(… in warn_test_interval()39 mnonzero[0] = ((UnknownVariable*) mnonzero[0].variable())->interval(); in warn_test_interval()40 mnonzero.eval(eo2); in warn_test_interval()41 if(mnonzero.isComparison()) mnonzero = mbak; in warn_test_interval()44 mnonzero[0] = ((UnknownVariable*) mnonzero[0].variable())->interval(); in warn_test_interval()45 mnonzero.eval(eo2); in warn_test_interval()48 } else if(mnonzero.isLogicalAnd() || mnonzero.isLogicalOr()) { in warn_test_interval()70 mnonzero.eval(eo2); in warn_about_assumed_not_value()89 mnonzero.eval(eo2); in warn_about_denominators_assumed_nonzero()94 …if(mnonzero.isComparison() && mnonzero.comparisonType() == COMPARISON_NOT_EQUALS && mnonzero[1].is… in warn_about_denominators_assumed_nonzero()[all …]