From: LIU Zhiwei <zhiwei_liu@c-sky.com>
Date: Tue, 21 Jul 2020 13:37:41 +0000 (+0800)
Subject: target/riscv: Quiet Coverity complains about vamo*
X-Git-Tag: v5.1.0-rc2~21^2~3
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=eabfeb0cb9e054108b3e29a3a85363b3d80d9c38;p=users%2Fdwmw2%2Fqemu.git

target/riscv: Quiet Coverity complains about vamo*

Signed-off-by: LIU Zhiwei <zhiwei_liu@c-sky.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Message-Id: <20200721133742.2298-1-zhiwei_liu@c-sky.com>
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
---

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];
         }
     }