Skip to main content

remap_paths

forge_lint::sol::high::reentrancy

Function remap_paths 

Source 
fn remap_paths(
    hir: &Hir<'_>,
    func_id: FunctionId,
    parameters: &[VariableId],
    parameter_predicates: &[Option<(PathPredicate, bool)>],
    paths: &BTreeSet<BTreeMap<PathPredicate, bool>>,
) -> BTreeSet<BTreeMap<PathPredicate, bool>>