JS: Fix possible typo in DominatingPaths::hasWrite

Should most likely refer to `AccessPathWrite` and look for write nodes.
This also improves the performance of `rankedAccessPath`, since the
set of candidate blocks is now limited to blocks with both a read and a write.
This commit is contained in:
Aditya Sharad
2021-12-22 16:03:01 -08:00
committed by Henry Mercer
parent 1d507f1993
commit c553330ee3

View File

@@ -492,7 +492,7 @@ module AccessPath {
*/
pragma[noinline]
private predicate hasWrite(ReachableBasicBlock bb) {
bb = getAccessTo(_, _, AccessPathRead()).getBasicBlock()
bb = getAccessTo(_, _, AccessPathWrite()).getBasicBlock()
}
/**