pub fn reaching_definitions(
    function: &il::Function,
) -> Result<HashMap<il::ProgramLocation, LocationSet>> {
    let rda = ReachingDefinitionsAnalysis { function };
    fixed_point::fixed_point_forward(rda, function)
}
/// Compute reaching definitions for the given function.
Compute reaching definitions for the given function.
Compute reaching definitions for the given function .
pub fn reaching_definitions(
    function: &il::Function,
) -> Result<HashMap<il::ProgramLocation, LocationSet>> {
    let rda = ReachingDefinitionsAnalysis { function };
    fixed_point::fixed_point_forward(rda, function)
}
pub fn reaching_definitions ( function : & il :: Function , ) -> Result < HashMap < il :: ProgramLocation , LocationSet > > { let rda = ReachingDefinitionsAnalysis { function } ; fixed_point :: fixed_point_forward ( rda , function ) }
Compute reaching definitions for the given function.
Compute reaching definitions for the given function .
function
&il::Function
function
&il::Function