New warnings added
--- /home/cocci/outputs/results/677241/old-filtered	2024-07-10 12:33:44.887376322 -0700
+++ /home/cocci/outputs/results/677241/new-filtered	2024-07-10 12:33:44.897376392 -0700
@@ -10,3 +10,4 @@
-/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6155:9-13: ERROR: invalid reference to the index variable of the iterator on line 6147
-/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6359:1-7: preceding lock on line 6320
-/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6496:1-7: preceding lock on line 6389
+/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6159:9-13: ERROR: invalid reference to the index variable of the iterator on line 6151
+/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6363:1-7: preceding lock on line 6324
+/home/cocci/testing/drivers/net/ethernet/marvell/octeontx2/af/rvu_nix.c:6500:1-7: preceding lock on line 6393
+/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.7Td2BU40ry	2024-07-10 12:33:44.907376466 -0700
+++ /tmp/tmp.CtAzqrmY6d	2024-07-10 12:33:44.907376466 -0700
@@ -1,0 +2 @@
+      1 /drivers/net/ethernet/meta/fbnic/fbnic_irq.c