hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 14:52:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add Fmt.Fprint to isVariadic tests

Browse Source 
We didn't have any tests involving a function in an imported package.
This commit is contained in:
Owen Mansel-Chan
2021-11-30 15:07:57 -05:00
parent adbe19878f
commit a6d8deae3e
5 changed files with 17 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ql/test/library-tests/semmle/go/Function/getParameter.expected
View File

@@ -9,4 +9,4 @@
| main.go:13:6:13:7 | f4 | 1 | main.go:13:16:13:16 | y |
| main.go:15:6:15:7 | f5 | 0 | main.go:15:9:15:9 | x |
| main.go:17:6:17:7 | f6 | 0 | main.go:17:9:17:9 | x |
| variadicFunctions.go:7:6:7:29 | variadicDeclaredFunction | 0 | variadicFunctions.go:7:31:7:31 | x |
| variadicFunctions.go:9:6:9:29 | variadicDeclaredFunction | 0 | variadicFunctions.go:9:31:9:31 | x |

11
ql/test/library-tests/semmle/go/Function/variadicFunctions.go
View File

@@ -1,14 +1,17 @@
package main
import "fmt"
func testing() {
variadicDeclaredFunction() // $ isVariadic
}
func variadicDeclaredFunction(x ...int) int {
a := make([]int, 0, 10) // $ isVariadic
y := append(x, a...) // $ isVariadic
print(x[0], x[1]) // $ isVariadic
println(x[0], x[1]) // $ isVariadic
a := make([]int, 0, 10) // $ isVariadic
y := append(x, a...) // $ isVariadic
print(x[0], x[1]) // $ isVariadic
println(x[0], x[1]) // $ isVariadic
fmt.Fprint(nil, nil, nil) // $ MISSING: isVariadic
variadicFunctionLiteral := func(z ...int) int { return z[1] }
return variadicFunctionLiteral(y...)
}

6
ql/test/library-tests/semmle/go/Types/SignatureType_getNumParameter.expected
View File

@@ -10,6 +10,6 @@
| pkg1/tst.go:37:1:37:26 | function declaration | 1 |
| pkg1/tst.go:39:1:57:1 | function declaration | 2 |
| unknownFunction.go:8:1:12:1 | function declaration | 0 |
| variadicFunctions.go:3:1:5:1 | function declaration | 0 |
| variadicFunctions.go:7:1:14:1 | function declaration | 1 |
| variadicFunctions.go:12:29:12:62 | function literal | 1 |
| variadicFunctions.go:5:1:7:1 | function declaration | 0 |
| variadicFunctions.go:9:1:17:1 | function declaration | 1 |
| variadicFunctions.go:15:29:15:62 | function literal | 1 |

6
ql/test/library-tests/semmle/go/Types/SignatureType_getNumResult.expected
View File

@@ -10,6 +10,6 @@
| pkg1/tst.go:37:1:37:26 | function declaration | 0 |
| pkg1/tst.go:39:1:57:1 | function declaration | 0 |
| unknownFunction.go:8:1:12:1 | function declaration | 0 |
| variadicFunctions.go:3:1:5:1 | function declaration | 0 |
| variadicFunctions.go:7:1:14:1 | function declaration | 1 |
| variadicFunctions.go:12:29:12:62 | function literal | 1 |
| variadicFunctions.go:5:1:7:1 | function declaration | 0 |
| variadicFunctions.go:9:1:17:1 | function declaration | 1 |
| variadicFunctions.go:15:29:15:62 | function literal | 1 |

3
ql/test/library-tests/semmle/go/Types/variadicFunctions.go
View File

@@ -1,5 +1,7 @@
package main
import "fmt"
func testing() {
variadicDeclaredFunction()
}
@@ -9,6 +11,7 @@ func variadicDeclaredFunction(x ...int) int { // $ isVariadic
y := append(x, a...)
print(x[0], x[1])
println(x[0], x[1])
fmt.Fprint(nil, nil, nil)
variadicFunctionLiteral := func(z ...int) int { return z[1] } // $ isVariadic
return variadicFunctionLiteral(y...)
}