[issue23999] Undefined behavior in dtoa.c (rshift 32 of 32bit data type)

[Mark Dickinson]

Mark Dickinson added the comment:

Looking more closely, the report doesn't make sense to me:  `k` is the return value from a call to `lo0bits`.  From the source of `lo0bits`, I don't see any way that `k` can be 32: it's always going to be in the range [0, 31].  Christian: do you have any more information from Coverity?  This looks like a false positive to me.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue23999>
_______________________________________