excluded_locals

flux_refineck::ghost_statements::points_to

Function excluded_locals 

Source 
fn excluded_locals(body: &Body<'_>) -> DenseBitSet<Local>
Expand description

Returns all locals with projections that have their reference or address taken.