The rt variable can only be 0 or 7, no need to check if it's 15.
Coverity-ID: 1381835
Signed-off-by: Stefano Stabellini <sstabell...@kernel.org>
diff --git a/xen/arch/arm/decode.c b/xen/arch/arm/decode.c
index c6f49a5..decd9dd 100644
--- a/xen/arch/arm/decode.c
+++ b/xen/arch/arm/decode.c
@@ -58,11 +58,6 @@ static int decode_thumb2(register_t pc, struct hsr_dabt
*dabt, uint16_t hw1)
/* Undefined opcodes */
goto bad_thumb2;
- /* Store/Load single data item */
- if ( rt == 15 )
- /* XXX: Rt == 15 is only invalid for store instruction */
- goto bad_thumb2;
-
if ( !load && sign )
/* Store instruction doesn't support sign extension */
goto bad_thumb2;
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
