New warnings added
--- /home/cocci/outputs/results/677061/old-filtered	2024-07-10 09:34:51.162560406 -0700
+++ /home/cocci/outputs/results/677061/new-filtered	2024-07-10 09:34:51.172560478 -0700
@@ -9,0 +10 @@
+/home/cocci/testing/drivers/net/ethernet/meta/fbnic/fbnic_irq.c:42:7-27: WARNING: Threaded IRQ with no primary handler requested without IRQF_ONESHOT (unless it is nested IRQ)
Per-file breakdown
--- /tmp/tmp.5dOvQ0LXJf	2024-07-10 09:34:51.182560548 -0700
+++ /tmp/tmp.6dIcn0cwp4	2024-07-10 09:34:51.192560617 -0700
@@ -0,0 +1 @@
+      1 /drivers/net/ethernet/meta/fbnic/fbnic_irq.c