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, doko, eric.smith, mark.dickinson, serhiy.storchaka
Date 2015-04-19.13:03:53
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1429448633.74.0.512494654015.issue23999@psf.upfronthosting.co.za>
In-reply-to
Content
You could be right. I didn't track all paths manually. All this bit shifting is making my head dizzy... :)

Anyways I have sent you an invite for Coverity, so you can check the result yourself. The Python test suite passes with assert(k < 32); inside the problematic block, too.
History
Date User Action Args
2015-04-19 13:03:53christian.heimessetrecipients: + christian.heimes, doko, mark.dickinson, eric.smith, serhiy.storchaka
2015-04-19 13:03:53christian.heimessetmessageid: <1429448633.74.0.512494654015.issue23999@psf.upfronthosting.co.za>
2015-04-19 13:03:53christian.heimeslinkissue23999 messages
2015-04-19 13:03:53christian.heimescreate