GCC 12 static analyzer: warning: use of uninitialized value 'svcb.svclen' in rdata.c
GCC 12.2.1 static analyzer (-fanalyzer) from Fedora 37 identified the following errors in rdata.c.
Full GCC 12 static analyzer rdata.c report
rdata.c: In function 'dns_rdata_checksvcb':
rdata.c:2446:39: warning: use of uninitialized value 'svcb.svclen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
2446 | if (svcb.priority == 0 && svcb.svclen != 0) {
| ~~~~^~~~~~~
'dns_rdata_checksvcb': events 1-2
|
| 2432 | dns_rdata_checksvcb(const dns_name_t *owner, const dns_rdata_t *rdata) {
| | ^~~~~~~~~~~~~~~~~~~
| | |
| | (1) entry to 'dns_rdata_checksvcb'
| 2433 | dns_rdata_in_svcb_t svcb;
| | ~~~~
| | |
| | (2) region created on stack here
|
'dns_rdata_checksvcb': event 3
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (3) following 'true' branch (when 'owner' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2436:9: note: in expansion of macro 'REQUIRE'
| 2436 | REQUIRE(owner != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 4
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (4) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 5
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (5) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 6
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (6) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 7
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (7) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': events 8-9
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | | |
| | | (9) calling 'dns_rdata_tostruct' from 'dns_rdata_checksvcb'
| | (8) ...to here
|
+--> 'dns_rdata_tostruct': event 10
|
| 1277 | dns_rdata_tostruct(const dns_rdata_t *rdata, void *target, isc_mem_t *mctx) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (10) entry to 'dns_rdata_tostruct'
|
'dns_rdata_tostruct': event 11
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (11) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1281:9: note: in expansion of macro 'REQUIRE'
| 1281 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 12
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (12) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 13
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (13) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 14
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (14) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 15
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (15) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 16
|
|code.h:1203:9:
| 1203 | switch (rdata->type) { \
| | ^~~~~~
| | |
| | (16) ...to here
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
'dns_rdata_tostruct': event 17
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (17) calling 'tostruct_null' from 'dns_rdata_tostruct'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
+--> 'tostruct_null': event 18
|
|rdata/generic/null_10.c:96:1:
| 96 | tostruct_null(ARGS_TOSTRUCT) {
| | ^~~~~~~~~~~~~
| | |
| | (18) entry to 'tostruct_null'
|
'tostruct_null': event 19
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (19) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:100:9: note: in expansion of macro 'REQUIRE'
| 100 | REQUIRE(rdata->type == dns_rdatatype_null);
| | ^~~~~~~
|
'tostruct_null': event 20
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (20) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': event 21
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (21) following 'true' branch (when 'target' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': events 22-23
|
| 103 | null->common.rdclass = rdata->rdclass;
| | ^~~~
| | |
| | (22) ...to here
|......
| 107 | dns_rdata_toregion(rdata, &r);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (23) calling 'dns_rdata_toregion' from 'tostruct_null'
|
+--> 'dns_rdata_toregion': event 24
|
|rdata.c:785:1:
| 785 | dns_rdata_toregion(const dns_rdata_t *rdata, isc_region_t *r) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (24) entry to 'dns_rdata_toregion'
|
'dns_rdata_toregion': event 25
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (25) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:786:9: note: in expansion of macro 'REQUIRE'
| 786 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 26
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (26) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 27
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (27) following 'true' branch (when 'r' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 28
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (28) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 29
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (29) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 30
|
| 790 | r->base = rdata->data;
| | ^
| | |
| | (30) ...to here
|
<------+
|
'tostruct_null': events 31-32
|
|rdata/generic/null_10.c:107:9:
| 107 | dns_rdata_toregion(rdata, &r);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (31) returning to 'tostruct_null' from 'dns_rdata_toregion'
| 108 | null->length = r.length;
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (32) calling 'mem_maybedup' from 'tostruct_null'
|
+--> 'mem_maybedup': event 33
|
|rdata.c:416:1:
| 416 | mem_maybedup(isc_mem_t *mctx, void *source, size_t length) {
| | ^~~~~~~~~~~~
| | |
| | (33) entry to 'mem_maybedup'
|
'mem_maybedup': event 34
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (34) following 'true' branch (when 'source' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:419:9: note: in expansion of macro 'REQUIRE'
| 419 | REQUIRE(source != NULL);
| | ^~~~~~~
|
'mem_maybedup': events 35-36
|
| 421 | if (mctx == NULL) {
| | ^~ ~
| | | |
| | | (36) following 'true' branch (when 'mctx' is NULL)...
| | (35) ...to here
|
'mem_maybedup': event 37
|
|cc1:
| (37): ...to here
|
<------+
|
'tostruct_null': event 38
|
|rdata/generic/null_10.c:109:22:
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (38) returning to 'tostruct_null' from 'mem_maybedup'
|
<------+
|
'dns_rdata_tostruct': event 39
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (39) returning to 'dns_rdata_tostruct' from 'tostruct_null'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
<------+
|
'dns_rdata_checksvcb': event 40
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (40) returning to 'dns_rdata_checksvcb' from 'dns_rdata_tostruct'
|
'dns_rdata_checksvcb': event 41
|
|../../lib/isc/include/isc/util.h:361:27:
| 361 | ((cond) ? (void)0 : FATAL_ERROR("RUNTIME_CHECK(%s) failed", #cond))
| | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (41) following 'false' branch (when 'result == 0')...
rdata.c:2441:9: note: in expansion of macro 'RUNTIME_CHECK'
| 2441 | RUNTIME_CHECK(result == ISC_R_SUCCESS);
| | ^~~~~~~~~~~~~
|
'dns_rdata_checksvcb': events 42-45
|
| 2446 | if (svcb.priority == 0 && svcb.svclen != 0) {
| | ^~ ~ ~~~~~~~~~~~
| | | | |
| | | | (44) ...to here
| | | | (45) use of uninitialized value 'svcb.svclen' here
| | | (43) following 'true' branch...
| | (42) ...to here
|
rdata.c:2451:48: warning: use of uninitialized value 'svcb.svc' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
2451 | isc_region_t r = { .base = svcb.svc, .length = svcb.svclen };
| ~~~~^~~~
'dns_rdata_checksvcb': events 1-2
|
| 2432 | dns_rdata_checksvcb(const dns_name_t *owner, const dns_rdata_t *rdata) {
| | ^~~~~~~~~~~~~~~~~~~
| | |
| | (1) entry to 'dns_rdata_checksvcb'
| 2433 | dns_rdata_in_svcb_t svcb;
| | ~~~~
| | |
| | (2) region created on stack here
|
'dns_rdata_checksvcb': event 3
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (3) following 'true' branch (when 'owner' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2436:9: note: in expansion of macro 'REQUIRE'
| 2436 | REQUIRE(owner != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 4
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (4) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 5
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (5) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 6
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (6) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 7
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (7) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': events 8-9
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | | |
| | | (9) calling 'dns_rdata_tostruct' from 'dns_rdata_checksvcb'
| | (8) ...to here
|
+--> 'dns_rdata_tostruct': event 10
|
| 1277 | dns_rdata_tostruct(const dns_rdata_t *rdata, void *target, isc_mem_t *mctx) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (10) entry to 'dns_rdata_tostruct'
|
'dns_rdata_tostruct': event 11
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (11) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1281:9: note: in expansion of macro 'REQUIRE'
| 1281 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 12
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (12) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 13
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (13) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 14
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (14) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 15
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (15) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 16
|
|code.h:1203:9:
| 1203 | switch (rdata->type) { \
| | ^~~~~~
| | |
| | (16) ...to here
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
'dns_rdata_tostruct': event 17
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (17) calling 'tostruct_null' from 'dns_rdata_tostruct'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
+--> 'tostruct_null': event 18
|
|rdata/generic/null_10.c:96:1:
| 96 | tostruct_null(ARGS_TOSTRUCT) {
| | ^~~~~~~~~~~~~
| | |
| | (18) entry to 'tostruct_null'
|
'tostruct_null': event 19
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (19) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:100:9: note: in expansion of macro 'REQUIRE'
| 100 | REQUIRE(rdata->type == dns_rdatatype_null);
| | ^~~~~~~
|
'tostruct_null': event 20
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (20) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': event 21
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (21) following 'true' branch (when 'target' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': events 22-23
|
| 103 | null->common.rdclass = rdata->rdclass;
| | ^~~~
| | |
| | (22) ...to here
|......
| 107 | dns_rdata_toregion(rdata, &r);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (23) calling 'dns_rdata_toregion' from 'tostruct_null'
|
+--> 'dns_rdata_toregion': event 24
|
|rdata.c:785:1:
| 785 | dns_rdata_toregion(const dns_rdata_t *rdata, isc_region_t *r) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (24) entry to 'dns_rdata_toregion'
|
'dns_rdata_toregion': event 25
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (25) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:786:9: note: in expansion of macro 'REQUIRE'
| 786 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 26
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (26) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 27
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (27) following 'true' branch (when 'r' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 28
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (28) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 29
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (29) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 30
|
| 790 | r->base = rdata->data;
| | ^
| | |
| | (30) ...to here
|
<------+
|
'tostruct_null': events 31-32
|
|rdata/generic/null_10.c:107:9:
| 107 | dns_rdata_toregion(rdata, &r);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (31) returning to 'tostruct_null' from 'dns_rdata_toregion'
| 108 | null->length = r.length;
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (32) calling 'mem_maybedup' from 'tostruct_null'
|
+--> 'mem_maybedup': event 33
|
|rdata.c:416:1:
| 416 | mem_maybedup(isc_mem_t *mctx, void *source, size_t length) {
| | ^~~~~~~~~~~~
| | |
| | (33) entry to 'mem_maybedup'
|
'mem_maybedup': event 34
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (34) following 'true' branch (when 'source' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:419:9: note: in expansion of macro 'REQUIRE'
| 419 | REQUIRE(source != NULL);
| | ^~~~~~~
|
'mem_maybedup': events 35-36
|
| 421 | if (mctx == NULL) {
| | ^~ ~
| | | |
| | | (36) following 'true' branch (when 'mctx' is NULL)...
| | (35) ...to here
|
'mem_maybedup': event 37
|
|cc1:
| (37): ...to here
|
<------+
|
'tostruct_null': event 38
|
|rdata/generic/null_10.c:109:22:
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (38) returning to 'tostruct_null' from 'mem_maybedup'
|
<------+
|
'dns_rdata_tostruct': event 39
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (39) returning to 'dns_rdata_tostruct' from 'tostruct_null'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
<------+
|
'dns_rdata_checksvcb': event 40
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (40) returning to 'dns_rdata_checksvcb' from 'dns_rdata_tostruct'
|
'dns_rdata_checksvcb': event 41
|
|../../lib/isc/include/isc/util.h:361:27:
| 361 | ((cond) ? (void)0 : FATAL_ERROR("RUNTIME_CHECK(%s) failed", #cond))
| | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (41) following 'false' branch (when 'result == 0')...
rdata.c:2441:9: note: in expansion of macro 'RUNTIME_CHECK'
| 2441 | RUNTIME_CHECK(result == ISC_R_SUCCESS);
| | ^~~~~~~~~~~~~
|
'dns_rdata_checksvcb': events 42-45
|
| 2446 | if (svcb.priority == 0 && svcb.svclen != 0) {
| | ^~
| | |
| | (42) ...to here
|......
| 2450 | if (dns_name_isdnssvcb(owner)) {
| | ~
| | |
| | (43) following 'true' branch...
| 2451 | isc_region_t r = { .base = svcb.svc, .length = svcb.svclen };
| | ~~~~~~~~~~~~ ~~~~~~~~
| | | |
| | | (45) use of uninitialized value 'svcb.svc' here
| | (44) ...to here
|
rdata.c:2451:68: warning: use of uninitialized value 'svcb.svclen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
2451 | isc_region_t r = { .base = svcb.svc, .length = svcb.svclen };
| ~~~~^~~~~~~
'dns_rdata_checksvcb': events 1-2
|
| 2432 | dns_rdata_checksvcb(const dns_name_t *owner, const dns_rdata_t *rdata) {
| | ^~~~~~~~~~~~~~~~~~~
| | |
| | (1) entry to 'dns_rdata_checksvcb'
| 2433 | dns_rdata_in_svcb_t svcb;
| | ~~~~
| | |
| | (2) region created on stack here
|
'dns_rdata_checksvcb': event 3
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (3) following 'true' branch (when 'owner' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2436:9: note: in expansion of macro 'REQUIRE'
| 2436 | REQUIRE(owner != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 4
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (4) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 5
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (5) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2437:9: note: in expansion of macro 'REQUIRE'
| 2437 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 6
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (6) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': event 7
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (7) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:2438:9: note: in expansion of macro 'REQUIRE'
| 2438 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_checksvcb': events 8-9
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | | |
| | | (9) calling 'dns_rdata_tostruct' from 'dns_rdata_checksvcb'
| | (8) ...to here
|
+--> 'dns_rdata_tostruct': event 10
|
| 1277 | dns_rdata_tostruct(const dns_rdata_t *rdata, void *target, isc_mem_t *mctx) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (10) entry to 'dns_rdata_tostruct'
|
'dns_rdata_tostruct': event 11
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (11) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1281:9: note: in expansion of macro 'REQUIRE'
| 1281 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 12
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (12) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 13
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (13) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1282:9: note: in expansion of macro 'REQUIRE'
| 1282 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_tostruct': event 14
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (14) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 15
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (15) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:1283:9: note: in expansion of macro 'REQUIRE'
| 1283 | REQUIRE((rdata->flags & DNS_RDATA_UPDATE) == 0);
| | ^~~~~~~
|
'dns_rdata_tostruct': event 16
|
|code.h:1203:9:
| 1203 | switch (rdata->type) { \
| | ^~~~~~
| | |
| | (16) ...to here
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
'dns_rdata_tostruct': event 17
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (17) calling 'tostruct_null' from 'dns_rdata_tostruct'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
+--> 'tostruct_null': event 18
|
|rdata/generic/null_10.c:96:1:
| 96 | tostruct_null(ARGS_TOSTRUCT) {
| | ^~~~~~~~~~~~~
| | |
| | (18) entry to 'tostruct_null'
|
'tostruct_null': event 19
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (19) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:100:9: note: in expansion of macro 'REQUIRE'
| 100 | REQUIRE(rdata->type == dns_rdatatype_null);
| | ^~~~~~~
|
'tostruct_null': event 20
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (20) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': event 21
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (21) following 'true' branch (when 'target' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata/generic/null_10.c:101:9: note: in expansion of macro 'REQUIRE'
| 101 | REQUIRE(null != NULL);
| | ^~~~~~~
|
'tostruct_null': events 22-23
|
| 103 | null->common.rdclass = rdata->rdclass;
| | ^~~~
| | |
| | (22) ...to here
|......
| 107 | dns_rdata_toregion(rdata, &r);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (23) calling 'dns_rdata_toregion' from 'tostruct_null'
|
+--> 'dns_rdata_toregion': event 24
|
|rdata.c:785:1:
| 785 | dns_rdata_toregion(const dns_rdata_t *rdata, isc_region_t *r) {
| | ^~~~~~~~~~~~~~~~~~
| | |
| | (24) entry to 'dns_rdata_toregion'
|
'dns_rdata_toregion': event 25
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (25) following 'true' branch (when 'rdata' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:786:9: note: in expansion of macro 'REQUIRE'
| 786 | REQUIRE(rdata != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 26
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (26) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 27
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (27) following 'true' branch (when 'r' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:787:9: note: in expansion of macro 'REQUIRE'
| 787 | REQUIRE(r != NULL);
| | ^~~~~~~
|
'dns_rdata_toregion': event 28
|
|../../lib/isc/include/isc/assertions.h:45:9:
| 45 | ((void)((cond) || \
| | ^
| | |
| | (28) ...to here
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 29
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (29) following 'true' branch...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:788:9: note: in expansion of macro 'REQUIRE'
| 788 | REQUIRE(DNS_RDATA_VALIDFLAGS(rdata));
| | ^~~~~~~
|
'dns_rdata_toregion': event 30
|
| 790 | r->base = rdata->data;
| | ^
| | |
| | (30) ...to here
|
<------+
|
'tostruct_null': events 31-32
|
|rdata/generic/null_10.c:107:9:
| 107 | dns_rdata_toregion(rdata, &r);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (31) returning to 'tostruct_null' from 'dns_rdata_toregion'
| 108 | null->length = r.length;
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (32) calling 'mem_maybedup' from 'tostruct_null'
|
+--> 'mem_maybedup': event 33
|
|rdata.c:416:1:
| 416 | mem_maybedup(isc_mem_t *mctx, void *source, size_t length) {
| | ^~~~~~~~~~~~
| | |
| | (33) entry to 'mem_maybedup'
|
'mem_maybedup': event 34
|
|../../lib/isc/include/isc/assertions.h:45:10:
| 45 | ((void)((cond) || \
| | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (34) following 'true' branch (when 'source' is non-NULL)...
| 46 | ((isc_assertion_failed)(__FILE__, __LINE__, \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 47 | isc_assertiontype_require, #cond), \
| | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| 48 | 0)))
| | ~~~~
../../lib/isc/include/isc/util.h:312:22: note: in expansion of macro 'ISC_REQUIRE'
| 312 | #define REQUIRE(e) ISC_REQUIRE(e)
| | ^~~~~~~~~~~
rdata.c:419:9: note: in expansion of macro 'REQUIRE'
| 419 | REQUIRE(source != NULL);
| | ^~~~~~~
|
'mem_maybedup': events 35-36
|
| 421 | if (mctx == NULL) {
| | ^~ ~
| | | |
| | | (36) following 'true' branch (when 'mctx' is NULL)...
| | (35) ...to here
|
'mem_maybedup': event 37
|
|cc1:
| (37): ...to here
|
<------+
|
'tostruct_null': event 38
|
|rdata/generic/null_10.c:109:22:
| 109 | null->data = mem_maybedup(mctx, r.base, r.length);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (38) returning to 'tostruct_null' from 'mem_maybedup'
|
<------+
|
'dns_rdata_tostruct': event 39
|
|code.h:1219:27:
| 1219 | case 10: result = tostruct_null(rdata, target, mctx); break; \
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (39) returning to 'dns_rdata_tostruct' from 'tostruct_null'
rdata.c:1285:9: note: in expansion of macro 'TOSTRUCTSWITCH'
| 1285 | TOSTRUCTSWITCH
| | ^~~~~~~~~~~~~~
|
<------+
|
'dns_rdata_checksvcb': event 40
|
| 2440 | result = dns_rdata_tostruct(rdata, &svcb, NULL);
| | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (40) returning to 'dns_rdata_checksvcb' from 'dns_rdata_tostruct'
|
'dns_rdata_checksvcb': event 41
|
|../../lib/isc/include/isc/util.h:361:27:
| 361 | ((cond) ? (void)0 : FATAL_ERROR("RUNTIME_CHECK(%s) failed", #cond))
| | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (41) following 'false' branch (when 'result == 0')...
rdata.c:2441:9: note: in expansion of macro 'RUNTIME_CHECK'
| 2441 | RUNTIME_CHECK(result == ISC_R_SUCCESS);
| | ^~~~~~~~~~~~~
|
'dns_rdata_checksvcb': events 42-45
|
| 2446 | if (svcb.priority == 0 && svcb.svclen != 0) {
| | ^~
| | |
| | (42) ...to here
|......
| 2450 | if (dns_name_isdnssvcb(owner)) {
| | ~
| | |
| | (43) following 'true' branch...
| 2451 | isc_region_t r = { .base = svcb.svc, .length = svcb.svclen };
| | ~~~~~~~~~~~~ ~~~~~~~~~~~
| | | |
| | (44) ...to here (45) use of uninitialized value 'svcb.svclen' here
|