Sign in
go
/
go
/
3b83560baf1e2ba9e03a718fcc91f820c714ecdf
/
.
/
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()
}
}