Add test case

smowton · smowton · commit 4e86edf4fe7d · 2023-02-17T19:16:36.000Z
diff --git a/go/ql/test/query-tests/Security/CWE-681/IncorrectIntegerConversion.go b/go/ql/test/query-tests/Security/CWE-681/IncorrectIntegerConversion.go
@@ -264,6 +264,9 @@ func testBoundsChecking(input string) {
 				_ = int16(parsed)
 			}
 		}
+		if parsed <= math.MaxUint32 {
+			_ = uint32(parsed)
+		}
 	}
 	{
 		parsed, err := strconv.ParseUint(input, 10, 32)

Original file line number	Diff line number	Diff line change
`@@ -264,6 +264,9 @@ func testBoundsChecking(input string) {`
`264`	`264`	`_ = int16(parsed)`
`265`	`265`	`}`
`266`	`266`	`}`
	`267`	`+ if parsed <= math.MaxUint32 {`
	`268`	`+ _ = uint32(parsed)`
	`269`	`+ }`
`267`	`270`	`}`
`268`	`271`	`{`
`269`	`272`	`parsed, err := strconv.ParseUint(input, 10, 32)`