You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
@@
|
|
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
|
