Python: Remove join order hints that don't work.

This commit is contained in:
Alex Eyers-Taylor
2025-05-02 18:42:29 +01:00
parent 5f7757740a
commit 1b2689cbb8

View File

@@ -187,7 +187,7 @@ class PointsToContext extends TPointsToContext {
pragma[inline]
predicate appliesTo(ControlFlowNode n) {
exists(Scope s |
this.appliesToScope(pragma[only_bind_into](s)) and pragma[only_bind_into](s) = n.getScope()
this.appliesToScope(s) and s = n.getScope()
)
}