Java: Fix bad join-order.

aschackmull · aschackmull · commit d408105fad02 · 2021-11-16T14:25:19.000+01:00
diff --git a/java/ql/lib/semmle/code/java/Member.qll b/java/ql/lib/semmle/code/java/Member.qll
@@ -285,7 +285,8 @@ private predicate overrides(Method m1, Method m2) {
     or
     m2.isProtected()
     or
-    m2.isPackageProtected() and t1.getPackage() = t2.getPackage()
+    m2.isPackageProtected() and
+    pragma[only_bind_out](t1.getPackage()) = pragma[only_bind_out](t2.getPackage())
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -285,7 +285,8 @@ private predicate overrides(Method m1, Method m2) {`
`285`	`285`	`or`
`286`	`286`	`m2.isProtected()`
`287`	`287`	`or`
`288`		`- m2.isPackageProtected() and t1.getPackage() = t2.getPackage()`
	`288`	`+ m2.isPackageProtected() and`
	`289`	`+ pragma[only_bind_out](t1.getPackage()) = pragma[only_bind_out](t2.getPackage())`
`289`	`290`	`)`
`290`	`291`	`}`
`291`	`292`