Function is_division_or_tainted 

fn is_division_or_tainted(
    gcx: Gcx<'_>,
    expr: &Expr<'_>,
    tainted: &HashSet<VariableId>,
) -> bool

The value of expr is a division result, directly or through a tainted local.