Index: uspace/lib/usbdev/src/devdrv.c
===================================================================
--- uspace/lib/usbdev/src/devdrv.c	(revision 5ef169038f3c0afb4938a7b77c8772fc6025b1b7)
+++ uspace/lib/usbdev/src/devdrv.c	(revision cdc433468942845e697cf19ce654c95c544c367e)
@@ -115,6 +115,7 @@
 static inline size_t count_pipes(const usb_endpoint_description_t **endpoints)
 {
-	size_t count;
-	for (count = 0; endpoints != NULL && endpoints[count] != NULL; ++count);
+	size_t count = 0;
+	while (endpoints != NULL && endpoints[count] != NULL)
+		++count;
 	return count;
 }