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: Use SsaReadPositionBlock.getAnSsaRead.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-11-10 14:48:14 +01:00
parent 27e6173bb7
commit 71e25521cf
2 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -254,8 +254,7 @@ module ModulusAnalysis<
or or
exists(Sem::SsaVariable v, SsaReadPositionBlock bb | exists(Sem::SsaVariable v, SsaReadPositionBlock bb |
ssaModulus(v, bb, b, val, mod) and ssaModulus(v, bb, b, val, mod) and
e = v.getAUse() and bb.getAnSsaRead(v) = e
bb.getBlock() = e.getBasicBlock()
) )
or or
exists(Sem::Expr mid, int val0, int delta | exists(Sem::Expr mid, int val0, int delta |

3
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -1167,8 +1167,7 @@ module RangeStage<
or or
exists(Sem::SsaVariable v, SsaReadPositionBlock bb | exists(Sem::SsaVariable v, SsaReadPositionBlock bb |
boundedSsa(v, b, delta, bb, upper, fromBackEdge, origdelta, reason) and boundedSsa(v, b, delta, bb, upper, fromBackEdge, origdelta, reason) and
e = v.getAUse() and bb.getAnSsaRead(v) = e
bb.getBlock() = e.getBasicBlock()
) )
or or
exists(Sem::Expr mid, D::Delta d1, D::Delta d2 | exists(Sem::Expr mid, D::Delta d1, D::Delta d2 |