hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 06:12:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix tests for NegativeLengthCheck.

Browse Source
This commit is contained in:
Max Schaefer
2020-08-24 17:04:55 +01:00
parent 149ceda636
commit 368227fff5
2 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ql/test/query-tests/RedundantCode/NegativeLengthCheck/NegativeLengthCheck.expected
View File

@@ -4,4 +4,3 @@
| main.go:18:5:18:22 | ...<=... | 'len' is always non-negative, and hence cannot be less than -1. |
| main.go:22:5:22:22 | ...==... | 'len' is always non-negative, and hence cannot equal -1. |
| main.go:28:9:28:13 | ...<... | This unsigned value is always non-negative, and hence cannot be less than 0. |
| main.go:36:9:36:15 | ...==... | This unsigned value is always non-negative, and hence cannot equal -1. |

4
ql/test/query-tests/RedundantCode/NegativeLengthCheck/main.go
View File

@@ -31,7 +31,3 @@ func checkNegative(x uint) bool {
func checkNonPositive(x uint) bool {
return x <= 0 // OK
}
func checkIsMinusOne(x uint) bool {
return x == -1 // NOT OK
}