Sync shared files

2026-04-30 11:15:13 +02:00 · 2021-08-31 13:40:49 +02:00
parent b9745c8e27
commit 50158b82c8
2 changed files with 7 additions and 8 deletions
--- a/ql/lib/codeql/ruby/dataflow/internal/SsaImplCommon.qll
+++ b/ql/lib/codeql/ruby/dataflow/internal/SsaImplCommon.qll
@@ -284,8 +284,7 @@ private module SsaDefReaches {
  predicate ssaDefReachesReadWithinBlock(SourceVariable v, Definition def, BasicBlock bb, int i) {
    exists(int rnk |
      ssaDefReachesRank(bb, def, rnk, v) and
-      rnk = ssaRefRank(bb, i, v, SsaRead()) and
-      variableRead(bb, i, v, _)
+      rnk = ssaRefRank(bb, i, v, SsaRead())
    )
  }