Files
bind9/cocci/isc_mempool_get_never_fail.spatch
2025-10-08 17:22:10 +02:00

20 lines
302 B
Plaintext

@deletion@
type T;
statement S1, S2;
expression V, E1, E2;
@@
(V =
(isc_mempool_get
|(T *)isc_mempool_get
)(...);
-if (V == NULL) S1
|V = isc_mempool_get(...);
-if (V == NULL) S1 else { S2 }
+S2
|if (V == NULL) V = isc_mempool_get(...);
-if (V == NULL) S1
|V =
- (T)
isc_mempool_get(E1, E2);
)