codeql/rust/ql/test/library-tests/dataflow/closures/main.rs

fn source(i: i64) -> i64 {
    1000 + i
}

fn sink(s: i64) {
    println!("{}", s);
}


fn closure_flow_out() {
    let f = |cond| if cond { source(92) } else { 0 };
    sink(f(true)); // $ hasValueFlow=92
}

fn closure_flow_in() {
    let f = |cond, data|
        if cond {
            sink(data); // $ hasValueFlow=87
        } else {
            sink(0)
        };
    let a = source(87);
    f(true, a);
}

fn closure_flow_through() {
    let f = |cond, data|
        if cond {
            data
        } else {
            0
        };
    let a = source(43);
    let b = f(true, a);
    sink(b); // $ hasValueFlow=43
}

fn closure_captured_variable() {
    let mut capt = 1;
    sink(capt);
    let mut f = || {
        capt = source(73);
    };
    f();
    sink(capt); // $ hasValueFlow=73
    let g = || {
        sink(capt); // $ hasValueFlow=73
    };
    g();
}

fn main() {
    closure_flow_out();
    closure_flow_in();
    closure_flow_through();
    closure_captured_variable();
}