2015-02-17 19:07:29 +01:00
|
|
|
@@
|
|
|
|
|
expression x, y;
|
|
|
|
|
statement S;
|
|
|
|
|
@@
|
|
|
|
|
x = polarssl_malloc(...);
|
|
|
|
|
y = polarssl_malloc(...);
|
|
|
|
|
...
|
|
|
|
|
* if (x == NULL || y == NULL)
|
|
|
|
|
S
|
2015-02-17 19:40:48 +01:00
|
|
|
|
|
|
|
|
@@
|
|
|
|
|
expression x, y;
|
|
|
|
|
statement S;
|
|
|
|
|
@@
|
|
|
|
|
if (
|
|
|
|
|
* (x = polarssl_malloc(...)) == NULL
|
|
|
|
|
||
|
|
|
|
|
* (y = polarssl_malloc(...)) == NULL
|
|
|
|
|
)
|
|
|
|
|
S
|
