You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 lines
269 B

2 years ago
  1. @@
  2. expression x, y;
  3. statement S;
  4. @@
  5. x = mbedtls_calloc(...);
  6. y = mbedtls_calloc(...);
  7. ...
  8. * if (x == NULL || y == NULL)
  9. S
  10. @@
  11. expression x, y;
  12. statement S;
  13. @@
  14. if (
  15. * (x = mbedtls_calloc(...)) == NULL
  16. ||
  17. * (y = mbedtls_calloc(...)) == NULL
  18. )
  19. S