Removed a number of unnecessary FP/pattern-not cases. For instance, none of these were needed, because the innermost metavariable has a different name, indicating that it is not using a loop variable being memory aliased, which is what this is trying to find.
- pattern-not: |
for $X, $Y := range ... {
...
go func(..., $V, ...){
...
$FOO(..., $V, ...)
...
}(..., $Y, ...)
...
}
- pattern-not: |
for $Y, $X := range ... {
...
go func(..., $CP, ...){
...
$CP(...)
...
}($X)
...
}
- pattern-not: |
for $X:=...;$Y;$Z {
...
go func(..., $V, ...) {
...
$FOO(..., $V,...)
...
}(..., $X, ...)
...
}
Added a couple additional -pattern-not rules based on FP I have seen detected recently, along with related tests
pattern-not
cases. For instance, none of these were needed, because the innermost metavariable has a different name, indicating that it is not using a loop variable being memory aliased, which is what this is trying to find.-pattern-not
rules based on FP I have seen detected recently, along with related tests