File: prove_invert_loop_with_unused_iterators.go

package info (click to toggle)
golang-1.24 1.24.4-4
  • links: PTS, VCS
  • area: main
  • in suites: experimental, forky, sid
  • size: 167,952 kB
  • sloc: asm: 154,901; ansic: 7,009; sh: 2,267; javascript: 1,705; perl: 1,052; python: 421; makefile: 110; cpp: 39; f90: 8; awk: 7; objc: 4
file content (11 lines) | stat: -rw-r--r-- 225 bytes parent folder | download | duplicates (16) 
1
2
3
4
5
6
7
8
9
10
11
 
// 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()
	}
}