blob: a3f7ca99c87d421bc0e456fbd807b49efe82ecd1 [file] [log] [blame] [raw]
@@
expression x, y;
statement S;
@@
x = polarssl_malloc(...);
y = polarssl_malloc(...);
...
* if (x == NULL || y == NULL)
S