JS: reuse a variable

This commit is contained in:
Esben Sparre Andreasen
2019-01-11 08:32:54 +01:00
parent d3543b74c0
commit d0372dd290

View File

@@ -106,8 +106,8 @@ predicate noPropAccessBetween(string name, DataFlow::PropWrite assign1, DataFlow
then
// same block: check for access between
not exists(int i1, Expr mid, int i2 |
assign1.getWriteNode() = block1.getNode(i1) and
assign2.getWriteNode() = block2.getNode(i2) and
write1 = block1.getNode(i1) and
write2 = block2.getNode(i2) and
mid = block1.getNode([i1 + 1 .. i2 - 1]) and
maybeAccessesProperty(mid, name)
)