HomeSort by: relevance | last modified time | path
    Searched defs:divisor_sval (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
sm-taint.cc 986 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL); local
988 state_t state = sm_ctxt->get_state (assign, divisor_sval);
996 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval);
1004 sm_ctxt->set_next_state (assign, divisor_sval, m_stop);
  /src/external/gpl3/gcc/dist/gcc/analyzer/
sm-taint.cc 1414 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL); local
1416 state_t state = sm_ctxt->get_state (assign, divisor_sval);
1424 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval);
1432 sm_ctxt->set_next_state (assign, divisor_sval, m_stop);

Completed in 13 milliseconds