Skip to content

Commit 686e98c

Browse files
hvitvedaschackmull
andauthored
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
1 parent 568de02 commit 686e98c

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -88,14 +88,14 @@ module FlowStepsInput implements UniversalFlow::UniversalFlowInput<Location> {
8888
n =
8989
rank[result](FlowNode n0, int a, int b |
9090
a = 0 and
91-
idOf(any(n0.asField()), b)
91+
idOf(n0.asField(), b)
9292
or
9393
// no case for `n0.asSsa()`; here we rely on the built-in location-based ranking
9494
a = 1 and
95-
idOf(any(n0.asExpr()), b)
95+
idOf(n0.asExpr(), b)
9696
or
9797
a = 2 and
98-
idOf(any(n0.asMethod()), b)
98+
idOf(n0.asMethod(), b)
9999
|
100100
n0 order by a, b
101101
)

0 commit comments

Comments
 (0)