diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll b/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll index a113c28de82..7fdf240f36f 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll @@ -452,7 +452,7 @@ predicate arrayStoreStep(Node node1, Node node2) { ) or exists(Expr arr, Call call | - arr = node2.asExpr() and + arr = node2.(PostUpdateNode).getPreUpdateNode().asExpr() and call.getArgument(1) = node1.asExpr() and call.getQualifier() = arr and arr.getType() instanceof ArrayType and