Python: Simplify binding fix

tausbn · yoff · tausbn · commit b17e74dfe84c · 2022-08-16T11:41:43.000Z
Co-authored-by: yoff &lt;yoff@github.com&gt;
diff --git a/python/ql/lib/semmle/python/essa/Essa.qll b/python/ql/lib/semmle/python/essa/Essa.qll
@@ -633,8 +633,7 @@ class DeletionDefinition extends EssaNodeDefinition {
 class ScopeEntryDefinition extends EssaNodeDefinition {
   ScopeEntryDefinition() {
     this.getDefiningNode() =
-      pragma[only_bind_into](pragma[only_bind_out](this.getSourceVariable()))
-          .getScopeEntryDefinition() and
+      pragma[only_bind_out](this.getSourceVariable()).getScopeEntryDefinition() and
     not this instanceof ImplicitSubModuleDefinition
   }
 

Original file line number	Diff line number	Diff line change
`@@ -633,8 +633,7 @@ class DeletionDefinition extends EssaNodeDefinition {`
`633`	`633`	`class ScopeEntryDefinition extends EssaNodeDefinition {`
`634`	`634`	`ScopeEntryDefinition() {`
`635`	`635`	`this.getDefiningNode() =`
`636`		`- pragma[only_bind_into](pragma[only_bind_out](this.getSourceVariable()))`
`637`		`- .getScopeEntryDefinition() and`
	`636`	`+ pragma[only_bind_out](this.getSourceVariable()).getScopeEntryDefinition() and`
`638`	`637`	`not this instanceof ImplicitSubModuleDefinition`
`639`	`638`	`}`
`640`	`639`