Dataflow: Remove unused predicate.

github · Jan 30, 2025 · dd0a07e · dd0a07e
1 parent 1fba8d9
commit dd0a07e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
@@ -1520,8 +1520,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
 
       predicate callContextNone = CachedCallContextSensitivity::ccNone/0;
 
-      predicate callContextSomeCall = CachedCallContextSensitivity::ccSomeCall/0;
-
       private predicate callableStep(DataFlowCallable c1, DataFlowCallable c2) {
         exists(NodeEx node1, NodeEx node2 |
           jumpStepEx1(node1, node2)