Searched defs:binop_sval (Results 1 – 5 of 5) sorted by relevance
226 const binop_svalue *binop_sval = (const binop_svalue *)sval; in handle_sval() local
219 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ()) in can_merge_p() local237 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ()) in can_merge_p() local689 const binop_svalue *binop_sval in maybe_get_deref_base_region() local
708 const binop_svalue *binop_sval = as_a <const binop_svalue *> (sval); in alt_get_inherited_state() local
782 binop_svalue *binop_sval = new binop_svalue (type, op, arg0, arg1); in get_or_create_binop() local
2539 const binop_svalue *binop_sval in deref_rvalue() local3171 const binop_svalue *binop_sval = outer_lhs->dyn_cast_binop_svalue (); in add_constraints_from_binop() local3398 if (const binop_svalue *binop_sval = sval->dyn_cast_binop_svalue ()) in get_representative_path_var_1() local