Function raptor::analysis::reaching_definitions

pub fn reaching_definitions<'r, V: Value>(
    function: &'r Function<V>
) -> Result<HashMap<ProgramLocation, LocationSet>>

Compute reaching definitions for the given function.