[issue28042] Coverity Scan defects in new dict code

Christian Heimes added the comment: Perfect :) -- resolution: -> not a bug stage: needs patch -> resolved status: open -> closed ___ Python tracker ___ _

[issue28042] Coverity Scan defects in new dict code

INADA Naoki added the comment: OK, I ignored it on Coverity site. -- ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscr

[issue28042] Coverity Scan defects in new dict code

Christian Heimes added the comment: Coverity ignores asserts() because they are not in the final code. If you are sure that 'j' can never be < 0, then I can simply ignore the issue. -- ___ Python tracker _

[issue28042] Coverity Scan defects in new dict code

INADA Naoki added the comment: Thanks. It seems coverity doesn't understand assert(j >= 0); Can I tell it to coverity from source code? -- ___ Python tracker ___ ___

[issue28042] Coverity Scan defects in new dict code

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: Funct

[issue28042] Coverity Scan defects in new dict code

STINNER Victor added the comment: >>> "&mp->ma_keys->dk_indices.as_1[mp->ma_keys->dk_size * >>> ((mp->ma_keys->dk_size <= 255L) ? 1UL : ((mp->ma_keys->dk_size <= 65535L) ? >>> 2UL : ((mp->ma_keys->dk_size <= 4294967295L) ? 4UL : 8UL)))]" evaluates to >>> an address that is at byte offset 2

[issue28042] Coverity Scan defects in new dict code

Christian Heimes added the comment: No problem, you can apply for membership at https://scan.coverity.com/projects/python . I'll approve you later today. -- ___ Python tracker _

[issue28042] Coverity Scan defects in new dict code

INADA Naoki added the comment: > Inada, I sent you an invite. Does the invite sent me by email? I'm sorry, but I may lost the mail. -- ___ Python tracker ___ ___

[issue28042] Coverity Scan defects in new dict code

New submission from Christian Heimes: Coverity Scan complains about 30 defects in the new code. Inada, I sent you an invite. 30 new defect(s) introduced to Python found with Coverity Scan. 3 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverit