2021-08-25 22:16:46 +02:00
|
|
|
@@
|
|
|
|
identifier fd;
|
|
|
|
identifier die_fn =~ "^(die|die_errno)$";
|
|
|
|
@@
|
2021-09-10 22:25:50 +02:00
|
|
|
int fd =
|
2021-08-25 22:16:46 +02:00
|
|
|
- open
|
|
|
|
+ xopen
|
|
|
|
(...);
|
2021-09-10 22:25:50 +02:00
|
|
|
- if ( \( fd < 0 \| fd == -1 \) ) { die_fn(...); }
|
|
|
|
|
|
|
|
@@
|
|
|
|
expression fd;
|
|
|
|
identifier die_fn =~ "^(die|die_errno)$";
|
|
|
|
@@
|
|
|
|
fd =
|
2021-08-25 22:16:46 +02:00
|
|
|
- open
|
|
|
|
+ xopen
|
|
|
|
(...);
|
|
|
|
- if ( \( fd < 0 \| fd == -1 \) ) { die_fn(...); }
|