don't use getEnclosingStmt

This commit is contained in:
Erik Krogh Kristensen
2020-06-04 11:33:28 +02:00
parent 34d6a4dcf8
commit 55565a51df

View File

@@ -444,7 +444,7 @@ module AccessPath {
ref = getAccessTo(root, path, _) and
ref.getBasicBlock() = bb
|
ref order by any(int i | ref.asExpr().getEnclosingStmt() = bb.getNode(i))
ref order by any(int i | ref.asExpr() = bb.getNode(i))
) and
result = getAccessTo(root, path, type)
}