JS: avoid joining on =0

2026-04-30 11:15:13 +02:00 · 2018-11-21 16:42:37 +00:00
parent 6d7ac885ec
commit 2c51f86f1b
1 changed files with 2 additions and 2 deletions
--- a/javascript/ql/src/semmle/javascript/RangeAnalysis.qll
+++ b/javascript/ql/src/semmle/javascript/RangeAnalysis.qll
@@ -497,9 +497,9 @@ module RangeAnalysis {
    (x < 0 or x = 0 and sharpx = true) and
    (y > 0 or y = 0 and sharpy = false) and
    (
-      x = 0
+      x <= 0 and x >= 0
      or
-      y = 0
+      y <= 0 and y >= 0
      or
      // If non-zero, check that the values are within a factor 16 of each other
      x.abs().bitShiftRight(4) < y.abs() and