Merge commit '1a3a83f33224876bfe5e8131542a8e124f4bc89b' as 'Sources/mbedTLS'

2026-04-24 00:00:05 +08:00 · 2020-02-24 14:36:19 +03:00
parent 9b6210faab 1a3a83f332
commit c274ea6ecc
928 changed files with 198245 additions and 0 deletions
@@ -0,0 +1,20 @@
+@@
+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