Remove unused *.cocci files

Signed-off-by: Ronald Cron <[email protected]>
2026-08-15 07:37:48 +00:00 · 2023-11-08 10:08:09 +01:00
parent b578514b03
commit f95b678729
2 changed files with 0 additions and 27 deletions
@@ -1,20 +0,0 @@
-@@
-expression x, y;
-statement S;
-@@
-  x = mbedtls_calloc(...);
-  y = mbedtls_calloc(...);
-  ...
-* if (x == NULL || y == NULL)
-    S
-
-@@
-expression x, y;
-statement S;
-@@
-  if (
-*   (x = mbedtls_calloc(...)) == NULL
-    ||
-*   (y = mbedtls_calloc(...)) == NULL
-  )
-    S
@@ -1,7 +0,0 @@
-@rm_calloc_cast@
-expression x, n, m;
-type T;
-@@
-  x =
- (T *)
-  mbedtls_calloc(n, m)