Am 31.07.2024 um 16:36 hat Peter Maydell geschrieben:
> Coverity notes that the code at the end of the loop in
> bmdma_prepare_buf() is unreachable. This is because in commit
> 9fbf0fa81fca8f527 ("ide: remove hardcoded 2GiB transactional limit")
> we removed the only codepath in the loop which could "break" out of
> it, but didn't notice that this meant we should also remove the code
> at the end of the loop.
>
> Remove the dead code.
>
> Resolves: Coverity CID 1547772
> Signed-off-by: Peter Maydell <[email protected]>
> ---
> hw/ide/pci.c | 4 ----
> 1 file changed, 4 deletions(-)
>
> diff --git a/hw/ide/pci.c b/hw/ide/pci.c
> index 4675d079a17..f2cb500a94f 100644
> --- a/hw/ide/pci.c
> +++ b/hw/ide/pci.c
> @@ -266,10 +266,6 @@ static int32_t bmdma_prepare_buf(const IDEDMA *dma,
> int32_t limit)
> s->io_buffer_size += l;
> }
> }
> -
> - qemu_sglist_destroy(&s->sg);
> - s->io_buffer_size = 0;
> - return -1;
> }
Should we put a g_assert_not_reached() here instead to make it easier
for the reader to understand how this function works?
Either way:
Reviewed-by: Kevin Wolf <[email protected]>