1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
use move_binary_format::errors::{PartialVMError, VMError};
use move_core_types::vm_status::{StatusCode, StatusType};
use tracing::error;
pub fn expect_no_verification_errors(err: VMError) -> VMError {
match err.status_type() {
status_type @ StatusType::Deserialization | status_type @ StatusType::Verification => {
let message = format!(
"Unexpected verifier/deserialization error! This likely means there is code \
stored on chain that is unverifiable!\nError: {:?}",
&err
);
let (_old_status, _old_sub_status, _old_message, location, indices, offsets) =
err.all_data();
let major_status = match status_type {
StatusType::Deserialization => StatusCode::UNEXPECTED_DESERIALIZATION_ERROR,
StatusType::Verification => StatusCode::UNEXPECTED_VERIFIER_ERROR,
_ => unreachable!(),
};
error!("[VM] {}", message);
PartialVMError::new(major_status)
.with_message(message)
.at_indices(indices)
.at_code_offsets(offsets)
.finish(location)
}
_ => err,
}
}