Home
last modified time | relevance | path

Searched refs:zero_sval (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dsm-taint.cc992 const svalue *zero_sval in check_for_tainted_divisor() local
996 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval); in check_for_tainted_divisor()
H A Dstore.cc1368 const svalue *zero_sval = sval_mgr->get_or_create_int_cst (char_type_node, 0); in zero_fill_region() local
1369 fill_region (mgr, reg, zero_sval); in zero_fill_region()
2669 const svalue *zero_sval = sval_mgr->get_or_create_int_cst (char_type_node, 0); in zero_fill_region() local
2670 fill_region (mgr, reg, zero_sval); in zero_fill_region()
H A Dregion-model.cc1997 const svalue *zero_sval in on_longjmp() local
1999 tristate eq_zero = eval_condition (fake_retval_sval, EQ_EXPR, zero_sval); in on_longjmp()
2010 m_constraints->add_constraint (fake_retval_sval, NE_EXPR, zero_sval); in on_longjmp()