fn collect_rvalue_sources(rvalue: &Rvalue<'_>, out: &mut FxHashSet<Local>)Expand description
Add local operands referenced by an rvalue to out.
This is a shallow syntactic dependency extractor. It does not try to classify whether the dependency is pointer provenance, numeric dataflow, or a guard value; those distinctions belong in future precise summaries.