/// Working with a local that is not currently live.
DeadLocal,
/// Data size is not equal to target size
- ArgumentSizeMismatch {
+ ScalarSizeMismatch {
target_size: u64,
data_size: u64,
},
"using uninitialized data, but this operation requires initialized memory"
),
DeadLocal => write!(f, "accessing a dead local variable"),
- ArgumentSizeMismatch { target_size, data_size } => write!(
+ ScalarSizeMismatch { target_size, data_size } => write!(
f,
- "argument size mismatch: expected {} bytes but got {} bytes instead",
+ "scalar size mismatch: expected {} bytes but got {} bytes instead",
target_size, data_size
),
}
match self {
Scalar::Raw { data, size } => {
if target_size.bytes() != u64::from(size) {
- throw_ub!(ArgumentSizeMismatch {
+ throw_ub!(ScalarSizeMismatch {
target_size: target_size.bytes(),
- data_size: u64::from(size)
+ data_size: u64::from(size),
});
}
Scalar::check_data(data, size);