Skip to content

Commit f03d460

Browse files
committed
Java: Fix bad join-order.
1 parent 374859e commit f03d460

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

java/ql/src/semmle/code/java/Member.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -584,9 +584,9 @@ class Field extends Member, ExprParent, @field, Variable {
584584
exists(AssignExpr e, InitializerMethod im |
585585
e.getDest() = this.getAnAccess() and
586586
e.getSource() = result and
587-
result.getEnclosingCallable() = im and
587+
pragma[only_bind_out](result).getEnclosingCallable() = im and
588588
// This rules out updates in explicit initializer blocks as they are nested inside the compiler generated initializer blocks.
589-
e.getEnclosingStmt().getParent() = im.getBody()
589+
pragma[only_bind_out](e.getEnclosingStmt().getParent()) = pragma[only_bind_out](im.getBody())
590590
)
591591
}
592592

0 commit comments

Comments
 (0)