From 686e98c6ffe6d22bf0defbf6c0016ed2dbbe1c40 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Mon, 15 Jun 2026 11:37:14 +0200 Subject: [PATCH] Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll Co-authored-by: Anders Schack-Mulligen --- java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll index 6627b3ed004..e11013f1232 100644 --- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll @@ -88,14 +88,14 @@ module FlowStepsInput implements UniversalFlow::UniversalFlowInput { n = rank[result](FlowNode n0, int a, int b | a = 0 and - idOf(any(n0.asField()), b) + idOf(n0.asField(), b) or // no case for `n0.asSsa()`; here we rely on the built-in location-based ranking a = 1 and - idOf(any(n0.asExpr()), b) + idOf(n0.asExpr(), b) or a = 2 and - idOf(any(n0.asMethod()), b) + idOf(n0.asMethod(), b) | n0 order by a, b )