diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 07:24:22 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 07:24:22 +0000 |
commit | 45d6379135504814ab723b57f0eb8be23393a51d (patch) | |
tree | d4f2ec4acca824a8446387a758b0ce4238a4dffa /cocci/isc_event_allocat_never_fail.spatch | |
parent | Initial commit. (diff) | |
download | bind9-upstream.tar.xz bind9-upstream.zip |
Adding upstream version 1:9.16.44.upstream/1%9.16.44upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'cocci/isc_event_allocat_never_fail.spatch')
-rw-r--r-- | cocci/isc_event_allocat_never_fail.spatch | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/cocci/isc_event_allocat_never_fail.spatch b/cocci/isc_event_allocat_never_fail.spatch new file mode 100644 index 0000000..eab2265 --- /dev/null +++ b/cocci/isc_event_allocat_never_fail.spatch @@ -0,0 +1,33 @@ +@@ +statement S; +expression V; +@@ + +V = isc_event_allocate(...); +- if (V == NULL) S + +@@ +type T; +statement S; +expression V; +@@ + +V = (T *)isc_event_allocate(...); +- if (V == NULL) S + +@@ +statement S; +expression V; +@@ + +if (V == NULL) V = isc_event_allocate(...); +- if (V == NULL) S + +@@ +statement S1, S2; +expression V; +@@ + +V = isc_event_allocate(...); +- if (V == NULL) S1 else { S2 } ++ S2 |