File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed
move-bytecode-verifier/src Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -673,8 +673,8 @@ impl<'a> BoundsChecker<'a> {
673673 | LdI8 ( _) | LdI16 ( _) | LdI32 ( _) | LdI64 ( _) | LdI256 ( _) | LdI128 ( _) | CastI8
674674 | CastI16 | CastI32 | CastI64 | CastI128 | CastI256 | LdTrue | LdFalse
675675 | ReadRef | WriteRef | Add | Sub | Mul | Mod | Div | Negate | BitOr | BitAnd
676- | Xor | Shl | Shr | Or | And | Not | Eq | Neq | Lt | Gt | Le | Ge | Abort | AbortMsg | Nop => {
677- } ,
676+ | Xor | Shl | Shr | Or | And | Not | Eq | Neq | Lt | Gt | Le | Ge | Abort
677+ | AbortMsg | Nop => { } ,
678678 }
679679 }
680680 Ok ( ( ) )
Original file line number Diff line number Diff line change @@ -151,9 +151,9 @@ impl<'a> InstructionConsistency<'a> {
151151 | Xor | Shl | Shr | Or | And | Not | Eq | Neq | Lt | Gt | Le | Ge | CopyLoc ( _)
152152 | MoveLoc ( _) | StLoc ( _) | MutBorrowLoc ( _) | ImmBorrowLoc ( _) | VecLen ( _)
153153 | VecImmBorrow ( _) | VecMutBorrow ( _) | VecPushBack ( _) | VecPopBack ( _)
154- | VecSwap ( _) | Abort | AbortMsg | Nop | LdI8 ( _) | LdI16 ( _) | LdI32 ( _) | LdI64 ( _ )
155- | LdI128 ( _) | LdI256 ( _) | CastI8 | CastI16 | CastI32 | CastI64 | CastI128
156- | CastI256 => ( ) ,
154+ | VecSwap ( _) | Abort | AbortMsg | Nop | LdI8 ( _) | LdI16 ( _) | LdI32 ( _)
155+ | LdI64 ( _ ) | LdI128 ( _) | LdI256 ( _) | CastI8 | CastI16 | CastI32 | CastI64
156+ | CastI128 | CastI256 => ( ) ,
157157 }
158158 }
159159 Ok ( ( ) )
You can’t perform that action at this time.
0 commit comments