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