C++: Remove cached predicate that's no longer used.

2025-12-24 04:36:35 +01:00 · 2023-02-28 16:20:29 +00:00
parent 5845528bae
commit d5b0ad6bfc
1 changed files with 0 additions and 5 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -809,11 +809,6 @@ module SsaCached {
  predicate lastRefRedef(Definition def, IRBlock bb, int i, Definition next) {
    SsaImpl::lastRefRedef(def, bb, i, next)
  }
-
-  cached
-  predicate uncertainWriteDefinitionInput(SsaImpl::UncertainWriteDefinition def, Definition inp) {
-    SsaImpl::uncertainWriteDefinitionInput(def, inp)
-  }
 }

 cached