Sign in
go
/
go.git
/
fd99157f9d9c22eb35ea9c70f32908f0980d47ed
/
.
/
test
/
prove_invert_loop_with_unused_iterators.go
blob: c66f20b6e93cbd54fd4019106d1779fbc000fc5a [
file
] [
log
] [
blame
]
// errorcheck -0 -d=ssa/prove/debug=1
//go:build amd64
package main
func invert(b func(), n int) {
for i := 0; i < n; i++ {
// ERROR "(Inverted loop iteration|Induction variable: limits \[0,\?\), increment 1)"
b()
}
}