From 92260064e2073a6b3e18c0d2c042002740711c7b Mon Sep 17 00:00:00 2001 From: iximeow Date: Sat, 23 Dec 2023 13:22:59 -0800 Subject: another fuzz catch: checked ld!=11 but did not prove sz!=11 --- src/lib.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/lib.rs b/src/lib.rs index aa9d5c7..67272b0 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1601,7 +1601,8 @@ fn decode_inst< 0b00 => SizeCode::B, 0b01 => SizeCode::W, 0b10 => SizeCode::L, - _ => { unreachable!("checked for ld!=11 earlier"); } + 0b11 => { return Err(StandardDecodeError::InvalidOperand) }, + _ => { unreachable!("sz is only two bits"); } }; let op = handler.decode_mem_op(rs, ld, sz, words)?; -- cgit v1.1