diff options
| author |   mpi <mpi@openbsd.org> | 2018-04-29 09:00:42 +0000 |
|---|---|---|
| committer | mpi <mpi@openbsd.org> | 2018-04-29 09:00:42 +0000 |
| commit | d87e98b431e29fedc7d41ce174db257899dba762 (patch) | |
| tree | 0ee5ed61b1df62b1ae2038bbae66d2fa3777c67f /sys/dev | |
| parent | move "mail from" and "rcpt to" code into their own function. (diff) | |
| download | wireguard-openbsd-d87e98b431e29fedc7d41ce174db257899dba762.tar.xz wireguard-openbsd-d87e98b431e29fedc7d41ce174db257899dba762.zip | |
Unsigned values are always >= 0, fix Coverity 1468443.
Diffstat (limited to 'sys/dev')
| -rw-r--r-- | sys/dev/usb/xhci.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/dev/usb/xhci.c b/sys/dev/usb/xhci.c index 801609df49a..3ca1bea01d9 100644 --- a/sys/dev/usb/xhci.c +++ b/sys/dev/usb/xhci.c @@ -1,4 +1,4 @@ -/* $OpenBSD: xhci.c,v 1.83 2018/04/28 08:20:23 mpi Exp $ */ +/* $OpenBSD: xhci.c,v 1.84 2018/04/29 09:00:42 mpi Exp $ */ /* * Copyright (c) 2014-2015 Martin Pieuchot @@ -1149,7 +1149,7 @@ xhci_pipe_interval(struct usbd_pipe *pipe) } } - KASSERT(ival >= 0 && ival <= 15); + KASSERT(ival <= 15); return (XHCI_EPCTX_SET_IVAL(ival)); } |