Good catch! Reviewed-by: Dmitry Fleytman <dmi...@daynix.com>
> On 26 Jan 2017, at 12:10 PM, Paolo Bonzini <pbonz...@redhat.com> wrote: > > Because is_first is declared inside a loop, it is always true. The store > is dead, and so is the "else" branch of "if (is_first)". is_last is > okay though. > > Reported by Coverity. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > --- > hw/net/e1000e_core.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/hw/net/e1000e_core.c b/hw/net/e1000e_core.c > index 2b11499..c99e2fb 100644 > --- a/hw/net/e1000e_core.c > +++ b/hw/net/e1000e_core.c > @@ -1507,6 +1507,7 @@ e1000e_write_packet_to_guest(E1000ECore *core, struct > NetRxPkt *pkt, > const E1000E_RingInfo *rxi; > size_t ps_hdr_len = 0; > bool do_ps = e1000e_do_ps(core, pkt, &ps_hdr_len); > + bool is_first = true; > > rxi = rxr->i; > > @@ -1514,7 +1515,6 @@ e1000e_write_packet_to_guest(E1000ECore *core, struct > NetRxPkt *pkt, > hwaddr ba[MAX_PS_BUFFERS]; > e1000e_ba_state bastate = { { 0 } }; > bool is_last = false; > - bool is_first = true; > > desc_size = total_size - desc_offset; > > -- > 2.9.3 >