[qemu-xen master] target/riscv: Quiet Coverity complains about vamo*

[patchbot@xxxxxxx]

commit eabfeb0cb9e054108b3e29a3a85363b3d80d9c38
Author:     LIU Zhiwei <zhiwei_liu@xxxxxxxxx>
AuthorDate: Tue Jul 21 21:37:41 2020 +0800
Commit:     Alistair Francis <alistair.francis@xxxxxxx>
CommitDate: Wed Jul 22 09:39:46 2020 -0700

    target/riscv: Quiet Coverity complains about vamo*
    
    Signed-off-by: LIU Zhiwei <zhiwei_liu@xxxxxxxxx>
    Reviewed-by: Alistair Francis <alistair.francis@xxxxxxx>
    Message-Id: <20200721133742.2298-1-zhiwei_liu@xxxxxxxxx>
    Signed-off-by: Alistair Francis <alistair.francis@xxxxxxx>
---
 target/riscv/insn_trans/trans_rvv.inc.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/target/riscv/insn_trans/trans_rvv.inc.c 
b/target/riscv/insn_trans/trans_rvv.inc.c
index c0b7375927..7b4752b911 100644
--- a/target/riscv/insn_trans/trans_rvv.inc.c
+++ b/target/riscv/insn_trans/trans_rvv.inc.c
@@ -733,6 +733,7 @@ static bool amo_op(DisasContext *s, arg_rwdvm *a, uint8_t 
seq)
             g_assert_not_reached();
 #endif
         } else {
+            assert(seq < ARRAY_SIZE(fnsw));
             fn = fnsw[seq];
         }
     }
--
generated by git-patchbot for /home/xen/git/qemu-xen.git#master