- V = dns_name_copy(E1, E2, NULL);
- if (V != ISC_R_SUCCESS) S
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2);
@@
expression V, E1, E2;
- V = dns_name_copy(E1, E2, NULL);
- if (V == ISC_R_SUCCESS) S1 else S2;
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2);
+ S2
@@
- V = dns_name_copy(E1, E2, NULL);
- S1
- if (V == ISC_R_SUCCESS) S2
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2):
+ S1
+ S2
@@
- dns_name_copy(E1, E2, NULL);
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2);
@@
expression E1, E2;
@@
- (void)dns_name_copy(E1, E2, NULL);
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2);
@@
expression E1, E2;
@@
- return (dns_name_copy(E1, E2, NULL));
-+ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copy(E1, E2);
+ return (ISC_R_SUCCESS);
// ./bin/named/query.c processing broken with this rule, fix manually
//
// - V = dns_name_copy(E1, E2, NULL);
// - RUNTIME_CHECK(V == ISC_R_SUCCESS);
-// + RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
+// + dns_name_copy(E1, E2);