| Mansour Moufid | 961c626 | 2015-02-17 13:07:29 -0500 | [diff] [blame] | 1 | @@ |
| 2 | expression x, y; | ||||
| 3 | statement S; | ||||
| 4 | @@ | ||||
| 5 | x = polarssl_malloc(...); | ||||
| 6 | y = polarssl_malloc(...); | ||||
| 7 | ... | ||||
| 8 | * if (x == NULL || y == NULL) | ||||
| 9 | S | ||||
| Mansour Moufid | 263438b | 2015-02-17 13:40:48 -0500 | [diff] [blame] | 10 | |
| 11 | @@ | ||||
| 12 | expression x, y; | ||||
| 13 | statement S; | ||||
| 14 | @@ | ||||
| 15 | if ( | ||||
| 16 | * (x = polarssl_malloc(...)) == NULL | ||||
| 17 | || | ||||
| 18 | * (y = polarssl_malloc(...)) == NULL | ||||
| 19 | ) | ||||
| 20 | S | ||||