diff options
| author | Martin Pieuchot <mpi@cvs.openbsd.org> | 2018-04-29 09:00:43 +0000 |
|---|---|---|
| committer | Martin Pieuchot <mpi@cvs.openbsd.org> | 2018-04-29 09:00:43 +0000 |
| commit | 02cf12dc34992c402b470595ec9cfc8e65d81026 (patch) | |
| tree | 0dcddb131ce27ae2416ad70a102005fa924f3960 /sys/dev/usb | |
| parent | 0448d8c823afc3fcbf547146188e772e5238741c (diff) | |
Unsigned values are always >= 0, fix Coverity 1468443.
Diffstat (limited to 'sys/dev/usb')
| -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)); } |