Searched refs:outer_lhs (Results 1 – 2 of 2) sorted by relevance
799 bool add_constraints_from_binop (const svalue *outer_lhs,
3163 region_model::add_constraints_from_binop (const svalue *outer_lhs, in add_constraints_from_binop() argument3169 while (const svalue *cast = outer_lhs->maybe_undo_cast ()) in add_constraints_from_binop()3170 outer_lhs = cast; in add_constraints_from_binop()3171 const binop_svalue *binop_sval = outer_lhs->dyn_cast_binop_svalue (); in add_constraints_from_binop()