rapx::analysis::opt::checking::bounds_checking::bounds_len

Function report_upperbound_bug

source 
fn report_upperbound_bug(
    graph: &Graph,
    upperbound_node_idx: Local,
    index_record: &Vec<Local>,
)