pub fn sanity_check_via_rustc_peek<'tcx, A>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    results: &Results<'tcx, A>
    A: RustcPeekAt<'tcx>,
Expand description

This function scans mir for all calls to the intrinsic rustc_peek that have the expression form rustc_peek(&expr).

For each such call, determines what the dataflow bit-state is for the L-value corresponding to expr; if the bit-state is a 1, then that call to rustc_peek is ignored by the sanity check. If the bit-state is a 0, then this pass emits an error message saying “rustc_peek: bit not set”.

The intention is that one can write unit tests for dataflow by putting code into a UI test and using rustc_peek to make observations about the results of dataflow static analyses.

(If there are any calls to rustc_peek that do not match the expression form above, then that emits an error as well, but those errors are not intended to be used for unit tests.)