➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author christian.heimes
Recipients christian.heimes, methane, vstinner, xiang.zhang
Date 2016-09-21.11:56:06
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1474458966.83.0.0519058826966.issue28042@psf.upfronthosting.co.za>
In-reply-to
Content 
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);
History
Date User Action Args
2016-09-21 11:56:06christian.heimessetrecipients: + christian.heimes, vstinner, methane, xiang.zhang
2016-09-21 11:56:06christian.heimessetmessageid: <1474458966.83.0.0519058826966.issue28042@psf.upfronthosting.co.za>
2016-09-21 11:56:06christian.heimeslinkissue28042 messages
2016-09-21 11:56:06christian.heimescreate