hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rangeanalysis: Remove useless pragma.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-11-01 15:21:33 +01:00
parent f6794fe859
commit bb2bbd2d4d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
shared/rangeanalysis/codeql/rangeanalysis/ModulusAnalysis.qll
View File

@@ -191,7 +191,7 @@ module ModulusAnalysis<
// equals `v2` modulo `mod`. The largest value of `mod` that satisfies
// this is the greatest common divisor of `m1`, `m2`, and `v1 - v2`.
exists(int v2, int m2 |
U::rankedPhiInput(pragma[only_bind_out](phi), inp, edge, rix) and
U::rankedPhiInput(phi, inp, edge, rix) and
phiModulusRankStep(phi, b, v1, m1, rix - 1) and
ssaModulus(inp, edge, b, v2, m2) and
mod = m1.gcd(m2).gcd(v1 - v2)