diff --git a/src/main.c b/src/main.c
index 0c9e68c..634caaa 100644
--- a/src/main.c
+++ b/src/main.c
@@ -160,7 +160,13 @@ void sys_tick_handler(void)
 {
 	if (paused && !single_step) return;
 
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Warray-bounds"
+	// user_data is declared with a (mis)computed size of 0 elements, but it's
+	// really a marker for the start of a flash region sized by the linker/flash
+	// layout, not by this C type - see declaration above.
 	struct composite_report report = user_data[report_index];
+#pragma GCC diagnostic pop
 	uint16_t len = 0;
 	uint8_t id = report.report_id;