flowistry_pdg_construction::body_cache

Function clean_undecodable_data_from_body

Source
fn clean_undecodable_data_from_body(body: &mut Body<'_>)
Expand description

Some data in a Body is not cross-crate compatible. Usually because it involves storing a LocalDefId. This function makes sure to sanitize those out.