| Mansour Moufid | 961c626 | 2015-02-17 13:07:29 -0500 | [diff] [blame] | 1 | @@ |
| 2 | expression x, y; |
| 3 | statement S; |
| 4 | @@ |
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 5 | x = mbedtls_malloc(...); |
| 6 | y = mbedtls_malloc(...); |
| Mansour Moufid | 961c626 | 2015-02-17 13:07:29 -0500 | [diff] [blame] | 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 ( |
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 16 | * (x = mbedtls_malloc(...)) == NULL |
| Mansour Moufid | 263438b | 2015-02-17 13:40:48 -0500 | [diff] [blame] | 17 | || |
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 18 | * (y = mbedtls_malloc(...)) == NULL |
| Mansour Moufid | 263438b | 2015-02-17 13:40:48 -0500 | [diff] [blame] | 19 | ) |
| 20 | S |
