mirror of
https://gitlab.isc.org/isc-projects/bind9
synced 2025-08-22 01:59:26 +00:00
7a69ac32c9
Some semantic patches are meant to be run just once, as they work on functions with changed prototypes. We keep them for reference, but disabled them from the CI to save time.
41 lines
611 B
Plaintext
41 lines
611 B
Plaintext
@@
|
|
expression E1, E2, E3;
|
|
statement S;
|
|
expression V;
|
|
@@
|
|
|
|
- V = dns_name_dup(E1, E2, E3);
|
|
+ dns_name_dup(E1, E2, E3);
|
|
- if (V != ISC_R_SUCCESS) S
|
|
|
|
@@
|
|
expression E1, E2, E3;
|
|
statement S1, S2;
|
|
expression V;
|
|
@@
|
|
|
|
- V = dns_name_dup(E1, E2, E3);
|
|
- if (V != ISC_R_SUCCESS) S1 else { S2 }
|
|
+ dns_name_dup(E1, E2, E3);
|
|
+ S2
|
|
|
|
@@
|
|
expression E1, E2, E3;
|
|
expression V;
|
|
@@
|
|
|
|
- V = dns_name_dup(E1, E2, E3);
|
|
- RUNTIME_CHECK(V == ISC_R_SUCCESS);
|
|
+ dns_name_dup(E1, E2, E3);
|
|
|
|
@@
|
|
expression E1, E2, E3;
|
|
statement S1, S2;
|
|
expression V;
|
|
@@
|
|
|
|
- V = dns_name_dup(E1, E2, E3);
|
|
+ dns_name_dup(E1, E2, E3);
|
|
S1
|
|
- if (V != ISC_R_SUCCESS) S2
|