New output added --- /home/cocci/outputs/results/618201/old-filtered 2024-05-30 12:34:52.251591974 -0700 +++ /home/cocci/outputs/results/618201/new-filtered 2024-05-30 12:34:52.261592042 -0700 @@ -13,2 +13,2 @@ -/home/cocci/testing/kernel/bpf/devmap.c:763:9-12: ERROR: iterator variable bound on line 762 cannot be NULL -/home/cocci/testing/net/ncsi/ncsi-manage.c:1907:28-30: ERROR: invalid reference to the index variable of the iterator on line 1900 +/home/cocci/testing/kernel/bpf/devmap.c:762:9-12: ERROR: iterator variable bound on line 761 cannot be NULL +/home/cocci/testing/net/ncsi/ncsi-manage.c:1906:28-30: ERROR: invalid reference to the index variable of the iterator on line 1899 @@ -16,3 +16,4 @@ -/home/cocci/testing/net/unix/af_unix.c:3257:3-9: preceding lock on line 3253 -/home/cocci/testing/net/smc/af_smc.c:2571:0-1: preceding lock on line 2498 -/home/cocci/testing/drivers/net/ethernet/intel/ice/ice_main.c:9255:2-8: preceding lock on line 9235 +/home/cocci/testing/net/unix/af_unix.c:3233:3-9: preceding lock on line 3229 +/home/cocci/testing/net/smc/af_smc.c:2580:0-1: preceding lock on line 2507 +/home/cocci/testing/drivers/net/ethernet/intel/ice/ice_main.c:9259:2-8: preceding lock on line 9239 +/home/cocci/testing/drivers/net/virtio/virtnet_main.c:4167:1-7: preceding lock on line 4121 Per-file breakdown