Correctly report dst in call instructions

This commit is contained in:
Andrzej Janik 2024-08-31 03:42:27 +02:00
commit 0c9339325e

View file

@ -1256,7 +1256,7 @@ impl<T: Operand> CallArgs<T> {
.iter() .iter()
.zip(details.input_arguments.iter()) .zip(details.input_arguments.iter())
{ {
visitor.visit(param, Some((type_, *space)), true, false)?; visitor.visit(param, Some((type_, *space)), false, false)?;
} }
Ok(()) Ok(())
} }
@ -1280,7 +1280,7 @@ impl<T: Operand> CallArgs<T> {
.iter_mut() .iter_mut()
.zip(details.input_arguments.iter()) .zip(details.input_arguments.iter())
{ {
visitor.visit(param, Some((type_, *space)), true, false)?; visitor.visit(param, Some((type_, *space)), false, false)?;
} }
Ok(()) Ok(())
} }
@ -1304,7 +1304,7 @@ impl<T: Operand> CallArgs<T> {
.input_arguments .input_arguments
.into_iter() .into_iter()
.zip(details.input_arguments.iter()) .zip(details.input_arguments.iter())
.map(|(param, (type_, space))| visitor.visit(param, Some((type_, *space)), true, false)) .map(|(param, (type_, space))| visitor.visit(param, Some((type_, *space)), false, false))
.collect::<Result<Vec<_>, _>>()?; .collect::<Result<Vec<_>, _>>()?;
Ok(CallArgs { Ok(CallArgs {
return_arguments, return_arguments,