hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: use range instead of ad hoc LT/GT

Browse Source
This commit is contained in:
Esben Sparre Andreasen
2018-11-06 08:33:27 +01:00
parent 1389009388
commit 470c241c82
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
javascript/ql/src/Declarations/DeadStoreOfProperty.ql
View File

@@ -92,11 +92,10 @@ predicate noPropAccessBetween(string name, Assignment assign1, Assignment assign
assign2.getBasicBlock() = block2 and
if block1 = block2 then
// same block: check for access between
not exists (int i1, int iMid, Expr mid, int i2 |
not exists (int i1, Expr mid, int i2 |
assign1 = block1.getNode(i1) and
assign2 = block2.getNode(i2) and
i1 < iMid and iMid < i2 and
mid = block1.getNode(iMid) and
mid = block1.getNode([i1+1..i2-1]) and
maybeAccessesProperty(mid, name)
)
else