From f2b52650d54c3b0df851e5eabcdfe14390b4263d Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 2 Nov 2023 15:29:56 +0100 Subject: [PATCH] Rangeanalysis: Filter useless modulo results. --- shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll b/shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll index 06ff117fcaa..ee8a79237a0 100644 --- 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