mirror of
https://github.com/isc-projects/bind9.git
synced 2026-02-27 20:11:12 -05:00
33eefe9f85
The dns_message_create() function cannot soft fail (as all memory allocations either succeed or cause abort), so we change the function to return void and cleanup the calls.
84 lines
810 B
Text
84 lines
810 B
Text
@@
|
|
statement S;
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- if (V != ISC_R_SUCCESS) S
|
|
|
|
@@
|
|
statement S1, S2;
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- if (V == ISC_R_SUCCESS)
|
|
S1
|
|
- else S2
|
|
|
|
@@
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- check_result(V, ...);
|
|
|
|
@@
|
|
@@
|
|
|
|
- CHECK(
|
|
dns_message_create(...)
|
|
- )
|
|
;
|
|
|
|
@@
|
|
@@
|
|
|
|
- DO(...,
|
|
dns_message_create(...)
|
|
- )
|
|
;
|
|
|
|
@@
|
|
@@
|
|
|
|
- RETERR(
|
|
dns_message_create(...)
|
|
- )
|
|
;
|
|
|
|
@@
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- assert_int_equal(V, ISC_R_SUCCESS);
|
|
|
|
@@
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- CHECK(..., V);
|
|
|
|
@@
|
|
expression V;
|
|
statement S;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- if (ISC_UNLIKELY(V != ISC_R_SUCCESS)) S
|
|
|
|
@@
|
|
expression V;
|
|
@@
|
|
|
|
- V =
|
|
dns_message_create(...);
|
|
- RUNTIME_CHECK(V == ISC_R_SUCCESS);
|