Skip to content

Commit

Permalink
fix sotrage offset issue
Browse files Browse the repository at this point in the history
  • Loading branch information
xunilrj committed Oct 19, 2023
1 parent 224f62b commit a362d45
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 492 deletions.
1 change: 0 additions & 1 deletion sway-ir/src/verify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -966,7 +966,6 @@ impl<'a, 'eng> InstructionVerifier<'a, 'eng> {
fn verify_store(&self, dst_val: &Value, stored_val: &Value) -> Result<(), IrError> {
let dst_ty = self.get_ptr_type(dst_val, IrError::VerifyStoreToNonPointer)?;
let stored_ty = stored_val.get_type(self.context);

if self.opt_ty_not_eq(&Some(dst_ty), &stored_ty) {
Err(IrError::VerifyStoreMismatchedTypes)
} else {
Expand Down
Loading

0 comments on commit a362d45

Please sign in to comment.