_ => {}
}
}
-
- match &bb.terminator().kind {
- TerminatorKind::Call {
- destination,
- func,
- args,
- ..
- } => {
- if let Some((dest_place, _dest_bb)) = destination {
- if !crate::abi::can_return_to_ssa_var(fx, func, args) {
- not_ssa(&mut flag_map, dest_place.local)
- }
- }
- }
- _ => {}
- }
}
flag_map