From a96b0d119d586b16f2b17fc36f49c44a5dde162d Mon Sep 17 00:00:00 2001 From: Mark Dickinson Date: Sat, 24 Sep 2011 09:01:16 +0100 Subject: [PATCH] Backport issue #12973 itertools fix from 3.x. --- Misc/NEWS | 6 +++--- Modules/itertoolsmodule.c | 4 +++- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/Misc/NEWS b/Misc/NEWS index b4dd2159c8f..c4f0cb09fe6 100644 --- a/Misc/NEWS +++ b/Misc/NEWS @@ -15,9 +15,9 @@ Core and Builtins - Issue #12973: Fix overflow checks that invoked undefined behaviour in int.__pow__. These overflow checks were causing int.__pow__ to produce incorrect results with recent versions of Clang, as a result of the - compiler optimizing the check away. Also fix similar overflow check - in list_repeat (which caused test_list to fail with recent versions - of Clang). + compiler optimizing the check away. Also fix similar overflow checks + in list_repeat (listobject.c) and islice_next (itertoolsmodule.c). These + bugs caused test failures with recent versions of Clang. - Issue #12266: Fix str.capitalize() to correctly uppercase/lowercase titlecased and cased non-letter characters. diff --git a/Modules/itertoolsmodule.c b/Modules/itertoolsmodule.c index ff25335c04b..b51ccf96436 100644 --- a/Modules/itertoolsmodule.c +++ b/Modules/itertoolsmodule.c @@ -1234,7 +1234,9 @@ islice_next(isliceobject *lz) return NULL; lz->cnt++; oldnext = lz->next; - lz->next += lz->step; + /* The (size_t) cast below avoids the danger of undefined + behaviour from signed integer overflow. */ + lz->next += (size_t)lz->step; if (lz->next < oldnext || (stop != -1 && lz->next > stop)) lz->next = stop; return item;