hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-23 10:23:41 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-05 12:49:40 +01:00
committed by GitHub
parent 1acbb84444
commit 3f63d3a865
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
View File

@@ -157,7 +157,7 @@ private module Input implements TypeFlowInput<J::Location> {
*/
pragma[nomagic]
private predicate upcastCand(TypeFlowNode n, RefType t1, RefType t1e, RefType t2, RefType t2e) {
exists(TypeFlowNode next | step(n, next) or Make<J::Location, Input>::joinStep(n, next) |
exists(TypeFlowNode next | step(n, next) or joinStep(n, next) |
n.getType() = t1 and
next.getType() = t2 and
t1.getErasure() = t1e and