Merge pull request #8496 from ronald-cron-arm/remove-cocci-files

Remove unused *.cocci files
This commit is contained in:
Gilles Peskine 2023-11-08 18:05:13 +00:00 committed by GitHub
commit b97058e2d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 27 deletions

View file

@ -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

View file

@ -1,7 +0,0 @@
@rm_calloc_cast@
expression x, n, m;
type T;
@@
x =
- (T *)
mbedtls_calloc(n, m)