Squashed 'Sources/mbedTLS/' content from commit 432b4b7989

git-subtree-dir: Sources/mbedTLS
git-subtree-split: 432b4b7989445a34940658e45557072e6e782d62
This commit is contained in:
Sergey Abramchuk
2020-02-24 14:36:19 +03:00
commit 1a3a83f332
928 changed files with 198245 additions and 0 deletions
+20
View File
@@ -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