Annotate false positive in _raddict_report() (CID #1505146) (#4588)

coverity doesn't know that if children == NULL, len will be
zero, so children won't be dereferenced.

diff --git a/src/bin/radict.c b/src/bin/radict.c
index d3079ab8a8b69c45b65acd416f8d853dcdeac591..0294f92a58c27ebc0ee31953eaf06b193b4c9bdd 100644 (file)
--- a/src/bin/radict.c
+++ b/src/bin/radict.c
@@ -218,6 +218,7 @@ static void _raddict_export(fr_dict_t const *dict, uint64_t *count, uintptr_t *l
        children = dict_attr_children(da);
        len = talloc_array_length(children);
        for (i = 0; i < len; i++) {
+               /* coverity[dereference] */
                for (p = children[i]; p; p = p->next) {
                        _raddict_export(dict, count, low, high, p, lvl + 1);
                }