Rangeanalysis: Filter useless modulo results.

aschackmull · aschackmull · commit f2b52650d54c · 2023-11-02T15:29:56.000+01:00
diff --git a/shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll b/shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll
@@ -268,6 +268,7 @@ module ModulusAnalysis<
       exprModulus(mid, b, v, m1) and
       e = modExpr(mid, m2) and
       mod = m1.gcd(m2) and
+      mod != 1 and
       val = remainder(v, mod)
     )
     or
