Dataflow: Remove unused predicate.

This commit is contained in:
Anders Schack-Mulligen
2025-01-30 12:43:05 +01:00
parent 2597ef651b
commit e55130ebce

View File

@@ -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)