C++: Replace not exists by forex in clearsContent

2025-12-24 04:36:35 +01:00 · 2023-06-26 20:04:14 +02:00
parent 527b537fee
commit 54632cd474
1 changed files with 4 additions and 5 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -785,11 +785,10 @@ predicate clearsContent(Node n, Content c) {
      p.getAnOperand() = op.getUse().getAst()
    )
    or
-    not exists(PostUpdateNode pun, Content d |
-      d.impliesClearOf(c) and
-      storeStepImpl(_, d, pun, true) and
-      c.getIndirectionIndex() > d.getIndirectionIndex() and
-      pun.getPreUpdateNode() = n
+    forex(PostUpdateNode pun, Content d |
+      d.impliesClearOf(c) and storeStepImpl(_, d, pun, true) and pun.getPreUpdateNode() = n
+    |
+      c.getIndirectionIndex() = d.getIndirectionIndex()
    )
  )
 }