rapx::analysis::opt::checking::bounds_checking::bounds_extend

Function report_extend_bug

Source 
fn report_extend_bug(graph: &Graph, span: Span)