diff options
| author | Victor Stinner <victor.stinner@gmail.com> | 2017-10-27 07:27:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-27 07:27:12 -0700 |
| commit | 93fd478231bba0c00a3561ea8db31774909ec714 (patch) | |
| tree | ce29df5e9b40737873ecf42bfa5ccedda02bc899 /Python/getplatform.c | |
| parent | 7351f9e5a91c403d15c6d556f9989b443f1296f9 (diff) | |
| download | cpython-git-93fd478231bba0c00a3561ea8db31774909ec714.tar.gz | |
faulthandler: use _PyTime_t rather than double for timeout (#4139)
Use the _PyTime_t type rather than double for the faulthandler
timeout in dump_traceback_later().
This change should fix the following Coverity warning:
CID 1420311: Incorrect expression (UNINTENDED_INTEGER_DIVISION)
Dividing integer expressions "9223372036854775807LL" and "1000LL",
and then converting the integer quotient to type "double". Any
remainder, or fractional part of the quotient, is ignored.
if ((timeout * 1e6) >= (double) PY_TIMEOUT_MAX) {
The warning comes from (double)PY_TIMEOUT_MAX with:
#define PY_TIMEOUT_MAX (PY_LLONG_MAX / 1000)
Diffstat (limited to 'Python/getplatform.c')
0 files changed, 0 insertions, 0 deletions