diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll index 455a5b5bc13..8aa5a18650b 100644 --- a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll +++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll @@ -2154,8 +2154,7 @@ module MakeImpl Lang> { pragma[nomagic] private predicate storeStepFwd(NodeEx node1, Ap ap1, Content c, NodeEx node2, Ap ap2) { fwdFlowStore(node1, _, ap1, _, c, _, _, node2, _, _, _) and - ap2 = apCons(c, ap1) and - readStepFwd(_, ap2, c, _, _) + readStepFwd(_, ap2, c, _, ap1) } pragma[nomagic]