target/riscv: Quiet Coverity complains about vamo*

Backports eabfeb0cb9e054108b3e29a3a85363b3d80d9c38
2025-01-03 16:35:46 +00:00 · 2021-03-08 12:15:47 -05:00 · 2021-03-08 12:15:47 -05:00 · fdfa52f424
parent cd956f5aa6
commit fdfa52f424
1 changed files with 1 additions and 0 deletions
--- a/qemu/target/riscv/insn_trans/trans_rvv.inc.c
+++ b/qemu/target/riscv/insn_trans/trans_rvv.inc.c
@ -743,6 +743,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];
        }
    }