diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index 27d80d8df8d..e60f49ffa6a 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -113,7 +113,8 @@ private predicate variableCaptureStep(Node node1, ExprNode node2) { */ predicate jumpStep(Node node1, Node node2) { staticFieldStep(node1, node2) or - variableCaptureStep(node1, node2) + variableCaptureStep(node1, node2) or + variableCaptureStep(node1.(PostUpdateNode).getPreUpdateNode(), node2) } /**