tree 8652a9cc34edac13eeedb5d40a5ae383eac066f8
parent 17083a2fdf4475c3f11a3e6a0ef8cb595a5fc4d6
author Keith Randall <khr@golang.org> 1656534179 -0700
committer David Chase <drchase@google.com> 1656601879 +0000

cmd/compile: fix prove pass when upper condition is <= maxint

When the terminating condition is <= X, we need to make sure that
X+step doesn't overflow.

Fixes #53600

Change-Id: I36e5384d05b4d7168e48db6094200fcae409bfe5
Reviewed-on: https://go-review.googlesource.com/c/go/+/415219
Reviewed-by: Than McIntosh <thanm@google.com>
Run-TryBot: David Chase <drchase@google.com>
Reviewed-by: David Chase <drchase@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>