From d5b0ad6bfc0ec5d737a7d3713a4cdf2fe748e34e Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Tue, 28 Feb 2023 16:20:29 +0000
Subject: [PATCH] C++: Remove cached predicate that's no longer used.

---
 .../semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll    | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
index 79c95d9f409..243b18e9ac1 100644
--- 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