Message ID | 1321892148-16835-7-git-send-email-kraxel@redhat.com |
---|---|
State | New |
Headers | show |
diff --git a/hw/usb-ehci.c b/hw/usb-ehci.c index cdd5aae..3eea94d 100644 --- a/hw/usb-ehci.c +++ b/hw/usb-ehci.c @@ -2046,6 +2046,7 @@ static void ehci_advance_state(EHCIState *ehci, break; case EST_WRITEBACK: + assert(q != NULL); again = ehci_state_writeback(q, async); break;
Coverity thinks q could be NULL there and warns. I believe it can't be NULL there. Add assert to prove it. Signed-off-by: Gerd Hoffmann <kraxel@redhat.com> --- hw/usb-ehci.c | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)