Issue #28517: Fixed of-by-one error in the peephole optimizer that caused

keeping unreachable code.

1 files changed, 2 insertions, 2 deletions

diff --git a/Python/peephole.c b/Python/peephole.c
index 84eb2dbefd..dd8f3e4807 100644
--- a/Python/peephole.c
+++ b/Python/peephole.c
@@ -704,11 +704,11 @@ PyCode_Optimize(PyObject *code, PyObject* consts, PyObject *names,
                 /* Remove unreachable ops after RETURN */
             case RETURN_VALUE:
                 h = i + 1;
-                while (h + 1 < codelen && ISBASICBLOCK(blocks, i, h + 1)) {
+                while (h < codelen && ISBASICBLOCK(blocks, i, h)) {
                     h++;
                 }
                 if (h > i + 1) {
-                    fill_nops(codestr, i + 1, h + 1);
+                    fill_nops(codestr, i + 1, h);
                     nexti = find_op(codestr, h);
                 }
                 break;