New warnings added
--- /home/cocci/outputs/results/774441/old-filtered	2024-09-16 00:29:15.111380188 -0700
+++ /home/cocci/outputs/results/774441/new-filtered	2024-09-16 00:29:15.121380250 -0700
@@ -6,4 +6,4 @@
-/home/cocci/testing/kernel/bpf/syscall.c:2290:5-26: WARNING: atomic_dec_and_test variation before object free at line 2293.
-/home/cocci/testing/kernel/bpf/syscall.c:3095:6-27: WARNING: atomic_dec_and_test variation before object free at line 3099.
-/home/cocci/testing/kernel/bpf/syscall.c:3105:6-27: WARNING: atomic_dec_and_test variation before object free at line 3107.
-/home/cocci/testing/kernel/bpf/syscall.c:798:5-26: WARNING: atomic_dec_and_test variation before object free at line 800.
+/home/cocci/testing/kernel/bpf/syscall.c:2297:5-26: WARNING: atomic_dec_and_test variation before object free at line 2300.
+/home/cocci/testing/kernel/bpf/syscall.c:3102:6-27: WARNING: atomic_dec_and_test variation before object free at line 3106.
+/home/cocci/testing/kernel/bpf/syscall.c:3112:6-27: WARNING: atomic_dec_and_test variation before object free at line 3114.
+/home/cocci/testing/kernel/bpf/syscall.c:806:5-26: WARNING: atomic_dec_and_test variation before object free at line 808.
@@ -15,7 +15,7 @@
-/home/cocci/testing/kernel/bpf/btf.c:4808:6-7: ERROR: iterator variable bound on line 4806 cannot be NULL
-/home/cocci/testing/kernel/bpf/btf.c:8953:1-7: preceding lock on line 8907
-/home/cocci/testing/tools/testing/selftests/bpf/progs/test_rdonly_maps.c:67:31-32: WARNING: Use ARRAY_SIZE
-/home/cocci/testing/tools/testing/selftests/bpf/progs/syscall.c:122:26-27: WARNING: Use ARRAY_SIZE
-/home/cocci/testing/tools/testing/selftests/bpf/test_loader.c:718:64-69: WARNING: conversion to bool not needed here
-/home/cocci/testing/tools/lib/bpf/libbpf.c:2041:43-48: WARNING: conversion to bool not needed here
-/home/cocci/testing/tools/testing/selftests/bpf/prog_tests/reg_bounds.c:42:6-9: WARNING use flexible-array member instead (https://www.kernel.org/doc/html/latest/process/deprecated.html#zero-length-and-one-element-arrays)
+/home/cocci/testing/kernel/bpf/btf.c:4803:6-7: ERROR: iterator variable bound on line 4801 cannot be NULL
+/home/cocci/testing/kernel/bpf/btf.c:9022:1-7: preceding lock on line 8976
+/home/cocci/testing/tools/testing/selftests/bpf/prog_tests/core_reloc_raw.c:93:29-30: WARNING: Use ARRAY_SIZE
+/home/cocci/testing/tools/testing/selftests/bpf/prog_tests/core_reloc_raw.c:98:34-35: WARNING: Use ARRAY_SIZE
+/home/cocci/testing/tools/testing/selftests/bpf/prog_tests/core_reloc_raw.c:101:34-35: WARNING: Use ARRAY_SIZE
+/home/cocci/testing/tools/testing/selftests/bpf/test_loader.c:1033:64-69: WARNING: conversion to bool not needed here
+/home/cocci/testing/tools/lib/bpf/libbpf.c:2040:43-48: WARNING: conversion to bool not needed here
@@ -23,2 +23,3 @@
-/home/cocci/testing/tools/testing/selftests/bpf/progs/test_tunnel_kern.c:666:41-47: ERROR: application of sizeof to pointer
-/home/cocci/testing/kernel/bpf/helpers.c:1518:33-38: ERROR: t is NULL but dereferenced.
+/home/cocci/testing/tools/testing/selftests/bpf/prog_tests/reg_bounds.c:42:6-9: WARNING use flexible-array member instead (https://www.kernel.org/doc/html/latest/process/deprecated.html#zero-length-and-one-element-arrays)
+/home/cocci/testing/tools/testing/selftests/bpf/progs/test_tunnel_kern.c:678:41-47: ERROR: application of sizeof to pointer
+/home/cocci/testing/kernel/bpf/helpers.c:1519:33-38: ERROR: t is NULL but dereferenced.
Per-file breakdown
--- /tmp/tmp.VtZzNi2dzM	2024-09-16 00:29:15.131380313 -0700
+++ /tmp/tmp.Cx4OgOBbAg	2024-09-16 00:29:15.141380376 -0700
@@ -6,0 +7 @@
+      3 /tools/testing/selftests/bpf/prog_tests/core_reloc_raw.c
@@ -8,2 +8,0 @@
-      1 /tools/testing/selftests/bpf/progs/syscall.c
-      1 /tools/testing/selftests/bpf/progs/test_rdonly_maps.c