Index: uspace/lib/usbdev/include/usb/dev/request.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/request.h	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ uspace/lib/usbdev/include/usb/dev/request.h	(revision f6017ee78726b75e8fe397db8ea151608e2148b8)
@@ -109,6 +109,4 @@
 } __attribute__ ((packed)) usb_device_request_setup_packet_t;
 
-int assert[(sizeof(usb_device_request_setup_packet_t) == 8) ? 1: -1];
-
 int usb_control_request_set(usb_pipe_t *,
     usb_request_type_t, usb_request_recipient_t, uint8_t,
Index: uspace/lib/usbdev/src/pipesinit.c
===================================================================
--- uspace/lib/usbdev/src/pipesinit.c	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ uspace/lib/usbdev/src/pipesinit.c	(revision f6017ee78726b75e8fe397db8ea151608e2148b8)
@@ -340,5 +340,5 @@
 {
 	assert(pipe);
-	assert(DEV_DESCR_MAX_PACKET_SIZE_OFFSET < CTRL_PIPE_MIN_PACKET_SIZE);
+	static_assert(DEV_DESCR_MAX_PACKET_SIZE_OFFSET < CTRL_PIPE_MIN_PACKET_SIZE);
 
 	if ((pipe->direction != USB_DIRECTION_BOTH) ||
Index: uspace/lib/usbdev/src/request.c
===================================================================
--- uspace/lib/usbdev/src/request.c	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ uspace/lib/usbdev/src/request.c	(revision f6017ee78726b75e8fe397db8ea151608e2148b8)
@@ -39,4 +39,6 @@
 
 #define MAX_DATA_LENGTH ((size_t)(0xFFFF))
+
+static_assert(sizeof(usb_device_request_setup_packet_t) == 8);
 
 /** Generic wrapper for SET requests using standard control request format.