This is duplicate of #61629 but for: ```go for range uint(x) { // ... } ``` --- I didn't implemented it back then since I reused existing scanning code (`findIndVar`) which only supported signed ops: https://github.com/golang/go/blob/ef84d62cfc358ff62c60da9ceec754e7a389b5d5/src/cmd/compile/internal/ssa/loopbce.go#L99 --- I'll submit a patch.