fix: false positive

Author: karamaru-alpha

copyloopvar.go

@@ -69,7 +69,7 @@ func checkRangeStmt(pass *analysis.Pass, rangeStmt *ast.RangeStmt) {
 			if !ok {
 				continue
 			}
-			if right.Name != key.Name && (value != nil && right.Name != value.Name) {
+			if right.Name != key.Name && (value == nil || right.Name != value.Name) {
 				continue
 			}
 			if ignoreAlias {

testdata/src/basic/main.go

@@ -8,7 +8,8 @@ func main() {
 		_v := v      // want `The copy of the 'for' variable "v" can be deleted \(Go 1\.22\+\)`
 		a, b := 1, i // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
 		c, d := 1, v // want `The copy of the 'for' variable "v" can be deleted \(Go 1\.22\+\)`
-		_, _, _, _, _, _, _, _ = i, _i, v, _v, a, b, c, d
+		e := false
+		_, _, _, _, _, _, _, _, _ = i, _i, v, _v, a, b, c, d, e
 	}
 
 	for i, j := 1, 1; i+j <= 3; i++ {
@@ -18,7 +19,16 @@ func main() {
 		_j := j      // want `The copy of the 'for' variable "j" can be deleted \(Go 1\.22\+\)`
 		a, b := 1, i // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
 		c, d := 1, j // want `The copy of the 'for' variable "j" can be deleted \(Go 1\.22\+\)`
-		_, _, _, _, _, _, _, _ = i, _i, j, _j, a, b, c, d
+		e := false
+		_, _, _, _, _, _, _, _, _ = i, _i, j, _j, a, b, c, d, e
+	}
+
+	for i := range []int{1, 2, 3} {
+		i := i       // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
+		_i := i      // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
+		a, b := 1, i // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
+		c := false
+		_, _, _, _, _ = i, _i, a, b, c
 	}
 
 	var t struct {

testdata/src/ignorealias/main.go

@@ -8,7 +8,8 @@ func main() {
 		_v := v
 		a, b := 1, i
 		c, d := 1, v
-		_, _, _, _, _, _, _, _ = i, _i, v, _v, a, b, c, d
+		e := false
+		_, _, _, _, _, _, _, _, _ = i, _i, v, _v, a, b, c, d, e
 	}
 
 	for i, j := 1, 1; i+j <= 3; i++ {
@@ -18,7 +19,16 @@ func main() {
 		_j := j
 		a, b := 1, i
 		c, d := 1, j
-		_, _, _, _, _, _, _, _ = i, _i, j, _j, a, b, c, d
+		e := false
+		_, _, _, _, _, _, _, _, _ = i, _i, j, _j, a, b, c, d, e
+	}
+
+	for i := range []int{1, 2, 3} {
+		i := i // want `The copy of the 'for' variable "i" can be deleted \(Go 1\.22\+\)`
+		_i := i
+		a, b := 1, i
+		c := false
+		_, _, _, _, _ = i, _i, a, b, c
 	}
 
 	var t struct {