Add change note

owen-mc · owen-mc · commit 5a2c48f37f08 · 2023-12-17T06:28:35.000Z
diff --git a/go/ql/src/change-notes/2023-12-17-incorrect-integer-conversion-fix.md b/go/ql/src/change-notes/2023-12-17-incorrect-integer-conversion-fix.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* There was a bug which meant that upper bound checks using a strict inequality (`<`) and comparing against `math.MaxInt` or `math.MaxUint` were not considered correctly, which led to false positives. This has now been fixed.

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +category: minorAnalysis
 +---
 +* There was a bug which meant that upper bound checks using a strict inequality (`<`) and comparing against `math.MaxInt` or `math.MaxUint` were not considered correctly, which led to false positives. This has now been fixed.