Christian Heimes added the comment:

The warnings are false positives. Coverity does not understand the relationship 
between dict size and union members. I have closed all issues related to 
DK_ENTRIES().

There is still one issue left that seems worth looking into:

15. negative_return_fn: Function lookdict_index(mp->ma_keys, ep->me_hash, i) 
returns a negative number. [show details]
    16. var_assign: Assigning: signed variable j = lookdict_index.
2862    j = lookdict_index(mp->ma_keys, ep->me_hash, i);
2863    assert(j >= 0);
2864    assert(dk_get_index(mp->ma_keys, j) == i);
    CID 1372706 (#1 of 1): Improper use of negative value (NEGATIVE_RETURNS)17. 
negative_returns: Passing variable j to a parameter that cannot be negative. 
[show details]
2865    dk_set_index(mp->ma_keys, j, DKIX_DUMMY);

----------
versions: +Python 3.7

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue28042>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to