Lines Matching refs:sval
161 reachable_regions::handle_sval_cb (const svalue *sval,
164 this_ptr->handle_sval (sval);
167 /* Add SVAL. If it is a pointer, add the pointed-to region. */
170 reachable_regions::handle_sval (const svalue *sval)
172 m_reachable_svals.add (sval);
173 m_mutable_svals.add (sval);
174 if (const region_svalue *ptr = sval->dyn_cast_region_svalue ())
187 m_mutable_svals.add (sval);
193 = sval->dyn_cast_compound_svalue ())
202 if (const svalue *cast = sval->maybe_undo_cast ())
205 /* If SVAL is the result of a reversible operation, then the operands
207 switch (sval->get_kind ())
213 const unaryop_svalue *unaryop_sval = (const unaryop_svalue *)sval;
226 const binop_svalue *binop_sval = (const binop_svalue *)sval;
240 /* Add SVAL. If it is a pointer, add the pointed-to region.
244 reachable_regions::handle_parm (const svalue *sval, tree param_type)
252 m_mutable_svals.add (sval);
254 m_reachable_svals.add (sval);
255 if (const region *base_reg = sval->maybe_get_deref_base_region ())
259 = sval->dyn_cast_compound_svalue ())
268 if (const svalue *cast = sval->maybe_undo_cast ())
Indexes created Sun Jun 28 00:24:58 UTC 2026