New output added --- /home/cocci/outputs/results/564201/old-filtered 2024-04-23 00:37:16.840183795 -0700 +++ /home/cocci/outputs/results/564201/new-filtered 2024-04-23 00:37:16.850183843 -0700 @@ -10,2 +10,2 @@ -/home/cocci/testing/net/unix/garbage.c:449:17-23: ERROR: invalid reference to the index variable of the iterator on line 481 -/home/cocci/testing/drivers/net/ethernet/intel/ice/ice_main.c:9178:2-8: preceding lock on line 9158 +/home/cocci/testing/net/unix/garbage.c:454:17-23: ERROR: invalid reference to the index variable of the iterator on line 486 +/home/cocci/testing/drivers/net/ethernet/intel/ice/ice_main.c:9248:2-8: preceding lock on line 9228 @@ -13 +13,2 @@ -/home/cocci/testing/net/unix/af_unix.c:3242:3-9: preceding lock on line 3238 +/home/cocci/testing/net/unix/af_unix.c:3244:3-9: preceding lock on line 3240 +/home/cocci/testing/drivers/net/virtio_net.c:3530:1-7: preceding lock on line 3484 @@ -16,4 +17,3 @@ -/home/cocci/testing/mm/mm_init.c:2498:2-8: WARNING: do_div() does a 64-by-32 division, please consider using div64_ul instead. -/home/cocci/testing/arch/x86/mm/init.c:54:31-32: duplicated argument to & or | -/home/cocci/testing/arch/x86/mm/init.c:71:16-17: duplicated argument to & or | -/home/cocci/testing/arch/x86/mm/init.c:71:27-28: duplicated argument to & or | +/home/cocci/testing/mm/mm_init.c:2499:2-8: WARNING: do_div() does a 64-by-32 division, please consider using div64_ul instead. +/home/cocci/testing/arch/x86/mm/init.c:55:31-32: duplicated argument to & or | +/home/cocci/testing/arch/x86/mm/init.c:72:16-17: duplicated argument to & or | @@ -21,2 +21,3 @@ -/home/cocci/testing/arch/x86/mm/init.c:73:16-17: duplicated argument to & or | -/home/cocci/testing/arch/x86/mm/init.c:75:16-17: duplicated argument to & or | +/home/cocci/testing/arch/x86/mm/init.c:73:27-28: duplicated argument to & or | +/home/cocci/testing/arch/x86/mm/init.c:74:16-17: duplicated argument to & or | +/home/cocci/testing/arch/x86/mm/init.c:76:16-17: duplicated argument to & or | Per-file breakdown