blob: a3f7ca99c87d421bc0e456fbd807b49efe82ecd1 [file] [log] [blame]
Mansour Moufid961c6262015-02-17 13:07:29 -05001@@
2expression x, y;
3statement S;
4@@
5 x = polarssl_malloc(...);
6 y = polarssl_malloc(...);
7 ...
8* if (x == NULL || y == NULL)
9 S