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

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
sm-taint.cc 981 const region_model *old_model = sm_ctxt->get_old_region_model (); local
982 if (!old_model)
986 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL);
993 = old_model->get_manager ()->get_or_create_int_cst
996 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval);
sm-malloc.cc 1838 const region_model *old_model = old_state->m_region_model; local
1839 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL);
1840 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL);
  /src/external/gpl3/gcc/dist/gcc/analyzer/
sm-taint.cc 1088 const region_model *old_model = sm_ctxt->get_old_region_model (); local
1089 const svalue *sval = old_model->get_rvalue (expr, NULL);
1403 const region_model *old_model = sm_ctxt->get_old_region_model (); local
1404 if (!old_model)
1414 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL);
1421 = old_model->get_manager ()->get_or_create_int_cst
1424 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval);
sm-malloc.cc 1906 const region_model *old_model = sm_ctxt->get_old_region_model (); local
1907 if (!old_model)
1912 = old_model->eval_condition (ptr, NE_EXPR, null_ptr_cst, NULL);
1920 (old_model->get_current_frame ());
2008 if (const region_model *old_model = sm_ctxt->get_old_region_model ())
2010 = old_model->get_builtin_kf (call))
2260 const region_model *old_model = old_state->m_region_model; local
2261 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL);
2262 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL);

Completed in 34 milliseconds